Algebraic Graph Theory
Algebraic Graph Theory
net/publication/235410068
CITATIONS READS
7,998 36,964
2 authors:
All content following this page was uploaded by Chris D. Godsil on 11 January 2014.
During the course of this semester I have read chapters (1), (2), 3, 4, 5, (8),
12, 13 and 15 of Algebraic Graph Theory by Chris Godsil and Gordon
Royle. The chapters in brackets were revision or introductory material.
Briefly, the content of each (important) chapter was:
Chapter 5: Partial linear spaces, generalized polygons, Moore graphs, the Hoffman-
Singleton graph.
Chapter 12: Generalized line graphs, the characterization of all graphs with minimum
eigenvalue at least -2 using root systems.
Chapter 13: The Laplacian of a graph, counting spanning trees, representations, results on
the second-lowest eigenvalue of the Laplacian, interlacing, conductance.
Chapter 15: Matroids and their relationship with graphs and codes, the rank polynomial,
deletion-contraction.
This report consists of hints for selected exercises from each of these
chapters. Most of the exercises I completed are included here, although I left
out “semi-proved” exercises, and a few (most of these were from Chapter
13) where I had a complete proof but I could not find a way to hint at or
summarize the solution concisely. Scribbled versions of these proofs are in
the notes handed in with this report. I have indicated some of my favourite
exercises with a *.
In a few places my notation differs from that of the text. I have used x·y for
the inner product of x and y instead of <x,y>, radians instead of degrees, A
+B for the union of sets A and B, and A * B for the Cartesian product of
graphs A and B.
Hints on Selected Exercises
Chapter 3
It should be clear that this provides an isomorphism, and also that any
permutation of {1, 2, 3, 4, 5} acting on vertex labels is an automorphism.
These automorphisms are transitive on the edges, but no automorphism can
map e.g. 1 to 12, because it would also have to map 1’ to 12.
2. There are only two groups on ten vertices, Z10 and D5. Imagine that the
Petersen graph is X(G, C) where G is either of these groups. Considering the
possibilities for C it is quickly seen that if X(G, C) is cubic it must contain a
4-cycle.
3. The dodecahedron is a 2-fold cover of the Petersen graph (this can be seen
by identifying opposite points on the dodecahedron). If the dodecahedron
were a Cayley graph X(G, C) and f the homomorphism from the
dodecahedron to the Petersen graph then the Petersen graph would be the
Cayley graph X(f(G), f(C)). It is apparent that each element of C would have
a distinct image under f by considering the neighbors of 1.
4.If X(G, C) is connected then for any g in G there is a path from e to g-1.
Multiplying along this path shows that g is a product of elements of C.
Conversely if g = c1…cn, then we have the following path in X(G, C): {e, cn,
cn-1cn,… ,c1…cn = g}.
9. If |C| ≥ 3, then we have a,b in C such that a ≠ b-1. In this case, {e, a, ab, b}
is a 4-cycle in X(G, C).
24. This follows from Theorem 3.8.1. Alt(5) has 60 elements, α and β are
both of order 3, and so each have 20 cycles in their action on Alt(5) by left
multiplication. β-1α = (12543) has order 5. Then by the theorem, X(Alt(5),
{α, β}) can only be partitioned into an even number of disjoint directed
cycles, and the result follows.
Chapter 4
3. The arcs of X(s) correspond with the s+1 arcs of X, and so do the vertices
of X(s + 1), so the vertex sets of DL(X(s)) and X(s + 1) are the same. Now
observe that the edges of each graph correspond with the s+2 arcs of X.
10. The Latin square graph of a group G is the Cayley graph X (G’, C)
where G’ is the direct sum of G and H, H is the group on the same set as G
with a*Hb = b*Ga, and C = { (h, e) for all h in H\{e}, (e, g) for all g in G\{e},
(g, g-1) for all g in G }.
11. An easier way is to notice that the Latin square graph of (Z2)2 contains 4
elements at a pairwise distance of 2, while the Latin square graph of Z4 does
not.
13(*). Let G be a distance transitive graph with girth at least five. Let k = 1.
Then G is at least k-arc transitive.
Consider any two k+1-arcs (they may be taken to start from the same vertex
x because G is vertex-transitive). If they have an edge in common, then k-arc
transitivity shows that the required automorphism exists. If not, since the
end-point of each k+1 arc is at a distance of k+1 from x, there is an
automorphism that exchanges them and fixes x. A little thought shows that
this automorphism also exchanges the neighbours of x on each k+1 arc
(using the fact that the girth is at least 2k+1), and k-arc transitivity does the
rest.
Chapter 5
5(*). Let x be a vertex in a generalized hexagon of order (2, 2). Clearly x has
exactly 3 neighbours. For i < 6, if there is an edge between two vertices at a
distance i from x or two edges between a vertex at a distance i from x and
vertices at a distance i – 1 from x, then there would be a cycle shorter than
12. So we know the intersection array is {3, 2, 2, 2, 2, 2; 1, 1, 1, 1, 1, y}.
Still following 5.9, we see that (3250 – c)µ2 – 104cµ + c2 + 56c = Σ (ki - µ)2.
11. First count 5-cycles. By Theorem 5.8.2, there are k(k-1) paths of length 2
from any given vertex x. Choosing one of these, then one of the other (k-1)
vertices at a distance of 2 from x gives a 5-cycle. Each 5-cycle can be
generated thus in 2 ways, so there are k(k-1)2/2 5-cycles.
Chapter 12
3 & 4(*). One way to do this is by working out the distance partition from a
vertex x (note the graph may not be distance regular, so this is not identical
for every vertex). Wolog take x +ve.
Note that ±y is a neighbour of x if the angle between <x> and <y> is π/3.
Again wolog take y –ve, so that y is a neighbour of x. Now, it can be seen
that - x + y belongs to L (star-closure), and is a neighbour of y and –x. So
far, then, we have {x, N(x), N(-x), -x}, and the one to one correspondence
between N(x) and N(-x) required for exercise 4 is apparent. Vectors
orthogonal to x clearly must be orthogonal to –x, but orthogonal to some
member of N(x) or N(-x) because L is decomposable. So they are each at a
distance of 2 or 3 from x. Thus the diameter of Y is 3 as required.
5. Since the members of S are in An, we will certainly have 2’s on the
diagonal of the Gram matrix, and non-negative inner products guarantees it
will be 2I + A(X) for some X. If it satisfies BTB = 2I + A(X) where B is the
incidence matrix of some graph Y we will have that X = L(Y). First, note
that since all inner products are non-negative, replacing all -1s with 1s in the
vectors of S will have no effect on the Gram matrix. Now we need only
deduce the characteristics of Y. This is done by noticing that if an odd
number of distinct elements of An have a position in common (which
corresponds to their representing adjacent edges in Y) then the inner product
of one of the pairs has to be odd. Thus Y has no odd cycles, and is bipartite.
7(*). Let X be a graph with minimum eigenvalue at least -2. From Theorem
12.8.1, we need only show that A(X) + 2I is not the Gram matrix of a set of
vectors contained in E8. Imagine that there is an independent set of size ≥9 in
X. Wolog index 9 of the independent vertices {1,…,9}. Then the top left
corner of A(X) + 2I will be 2I9 and this implies that if the set of vectors with
Gram matrix A(X) + 2I is labelled {v1,…} then vi·vj = 0 for i≠j ≤ 9. It is easy
to see that no such 9 vectors exist in E8, and so X is a generalized line graph.
Chapter 13
1. Proceed by induction on the size of the square submatrix S. The base case
is that S is 2*2. In this case there is a 0 in S, because the two columns of D
passing through S cannot have 1’s in the same rows. The inductive step has
two cases: if there is a column in S with zero or one non-zero entries, then a
cofactor expansion along that column gives the result. Otherwise, ST1 = 0,
so 0 is an eigenvalue of ST, S is thus non-invertible and det S = 0 as
required.
Chapter 15
Case 1: U\V includes some x not in a circuit in U, and hence in s for some s
in S, so that s is not contained in V.
If e is a cut-edge, then assume that e = st, and that v is in the same connected
component of X\e as s. Then the other component of X\e containing t must
be acyclic, and so must have a source. This source must therefore be t, and
each orientation of X/e with v as unique source can be turned into an
orientation of X with v as the unique source in exactly one way by orienting
e s -> t.
If e is neither a loop nor a cut-edge, there are two more cases. If e = st and
neither s nor t is v, then the result follows exactly as in Theorem 15.6.1. If
wolog s = v then still proceed by counting acyclic orientations of X\e with v
as the unique source. Now, there are κ(X/e,v) of these with no directed path
from s=v to t, but when we re-add e, we have all edges leaving t except for
the one from v. Reversing each of the edges leaving t gives another acyclic
orientation. So we have 2κ(X/e,v) orientations. Finally, there are still κ(X
\e,v) - κ(X/e,v) more orientations to count (those derived from acyclic
orientations of X\e with a directed path from v to t).
κ(X,v) = R(M(X);0,-1), and there are 714 such orientations in the Petersen
graph.
9. Let e = uv. Then consider any homomorphism f:X -> Y. There is a 1-1
correspondence between homomorphisms where f(u)f(v) is an edge in Y and
homomorphisms from X/e to Y. There is also a 1-1 correspondence between
homomorphisms where f(u)f(v) is not an edge in Y and homomorphisms
from X\e to Y. The result follows.
11. Noting that rk(M\e) = rk(M) whenever e is not a coloop, that rk(M/e) =
rk(M) - 1 whenever e is not a loop, and that the same element is never a loop
and a coloop, the result is an easy induction on |M|.
12(*). First, notice that any non-zero value can be assigned to a loop and that
no non-zero value can be assigned to a bridge, so that the first two parts of
the equation are easy.
Let e = uv. Clearly every nowhere-zero q-flow on X can be used to generate
one on X/e (simply assign the same values to all the edges). All nowhere-
zero q-flows on X/e can be generated in this way except those where the
total on edges between uv and N(u) = the total on edges between uv and
N(v) = 0 (these could only be generated by flows on X where the value on e
was 0). However, each of these flows corresponds with a nowhere-zero q-
flow on X\e, and the result follows.