Biggs - Algebraic Graph Theory
Biggs - Algebraic Graph Theory
Second Edition
NORMAN BIGGS
London School of Economics
CAMBRIDGE
UNIVERSITY PRESS
CAMBRIDGE u n i v e r s i t y p r e s s
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore,
São Paulo, Delhi, Dubai, Tokyo, Mexico City
www.cambridge.org
Information on this title: www.cambridge.org/9780521458979
Preface vii
1 Introduction 1
PART ONE - LINEAR ALGEBRA IN GRAPH THEORY
2 The spectrum of a graph 7
3 Regular graphs and line graphs 14
4 Cycles and cuts 23
5 Spanning trees and associated structures 31
6 The tree-number 38
7 Deteminant expansions 44
8 Vertex-partitions and the spectrum 52
PART TWO - COLOURING PROBLEMS
9 The chromatic polynomial 63
10 Subgraph expansions 73
11 The multiplicative expansion 81
12 The induced subgraph expansion 89
13 The Tutte polynomial 97
14 Chromatic polynomials and spanning trees 106
PART THREE - SYMMETRY AND REGULARITY
15 Automorphisms of graphs 115
16 Vertex-transitive graphs 122
17 Symmetric graphs 130
vi Contents
These are:
Spectra of Graphs: D.M. Cvetkovic, M. Doob, and H. Sachs, Academic
Press (New York) 1980.
Distance-Regular Graphs: A.E. Brouwer, A.M. Cohen, and A. Neumaier,
Springer-Verlag (Berlin) 1989.
References to these two books are given in the form [CvDS, p. 777], and
[BCN, p. 888].
CD. Godsil's recent book Algebraic Combinatorics (Chapman and
Hall, 1993) arrived too late to be quoted as reference. It is in many
ways complementary to this book, since it covers several of the same
topics from a different point of view. Finally, the long-awaited Handbook
of Combinatorics will contain authoritative accounts of many subjects
discussed in these pages.
edge is incident with two vertices, and no two edges are incident with
the same pair of vertices, then we say that F is a strict graph or briefly,
a graph. In this case, ET can be regarded as a subset of the set of
unordered pairs of vertices. We shall deal mainly with graphs (that is,
strict graphs), except in Part Two, where it is sometimes essential to
consider general graphs.
If v and w are vertices of a graph F, and e = {v, w] is an edge of F,
then we say that e joins v and w, and that v and w are the ends of e.
The number of edges of which v is an end is called the degree of v. A
subgraph of F is constructed by taking a subset S of ET together with
all vertices incident in F with some edge belonging to S. An induced
subgraph of F is obtained by taking a subset U of VT together with
all edges which are incident in F only with vertices belonging to U. In
both cases the incidence relation in the subgraph is inherited from the
incidence relation in F. We shall use the notation (S)r, (U)r for these
subgraphs, and usually, when the context is clear, the subscript F will
be omitted.
PART ONE
SpecF= ( A ° Al
"• As
~J
\m(X0) m(Ai)
For example, the complete graph Kn is the graph with n vertices in
which each distinct pair are adjacent. Thus the graph K4 has adjacency
matrix
-0 1 1 1-
1 0 1 1
A =
1 1 0 1
.1 1 1 0 .
and an easy calculation shows that the spectrum of K4 is
'3 - 1 "
Spec K4 = , „
J2 (A L k = JT(AL)ihahj = {AL+l)i3.
{vh,vj}€ ET h=l
It follows that the number of walks of length L + 1 joining Vi to Vj is
(AL+1)ij. The general result follows by induction. •
Additional Results
2a A reduction formula for x Suppose F is a graph with a vertex
vi of degree 1, and let V2 be the vertex adjacent to v\. Let T\ be
the induced subgraph obtained by removing v\, and Fi2 the induced
subgraph obtained by removing {ui,^}- Then
2g The walk-generating matrix Let gij (r) denote the number of walks
of length r in F from Vi to Vj. If we write G(z) for the matrix
r=l
l
then G(z) = (I — zA) , where A is the adjacency matrix of F. This
may be regarded as a matrix over the ring of formal power series in z,
or as a real matrix defined whenever z fi SpecF. From the formula for
the inverse matrix and 2e, we obtain
trG(z) =
is twice the number of edges, and the sum of the cubes is six times the
number of triangles.
2i An upper bound for the largest eigenvalue Suppose that the eigen-
values of F are Ao > Ai > ... > An_i, where F has n vertices and m
edges. Prom 2h we obtain 52 A^ = 0 and J2 ^t = ^rn- I* follows that
a=0
This yields the following expression for the individual walk-generating
functions:
n-l
a=0
where £ ' denotes summation over those k vertices Vi which are adjacent
to Vj. By the maximal property of Xj, it follows that xt = Xj for all
these vertices. If F is connected we may proceed successively in this way,
eventually showing that all entries of x are equal. Thus x is a multiple
of u, and the space of eigenvectors associated with the eigenvalue k has
dimension 1.
(3) Suppose that Ay = Ay, y ^ 0, and let yj denote an entry of y
Regular graphs and line graphs 15
Proof It follows from the proof of Proposition 3.2 that q(A) = aJ,
for some constant a. Now the eigenvalues of q(A) are q(k) and q(Xi) for
1 < i < s — 1, and all of these except q(k) are zero. The only non-zero
eigenvalue of aJ is an, hence a = q(k)/n. •
16 Linear algebra in graph theory
For some classes of regular graphs, such as the strongly regular graphs
(3c), it is possible to determine the polynomial function / for which
/(A) = J by direct means, based on Lemma 2.5. This provides a pow-
erful method for determining the spectra of these graphs. At a more
basic level, there is a special class of regular graphs whose spectra can
be found by means of a well-known technique in matrix theory. As
this class contains several important families of graphs, we shall briefly
review the relevant theory.
An nxn matrix S is said to be a circulant matrix if its entries satisfy
Sij — Sij-i+i, where the subscripts are reduced modulo n and lie in the
set {1,2,..., n}. In other words, row i of S is obtained from the first
row of S by a cyclic shift of i — 1 steps, and so any circulant matrix is
determined by its first row. Let W denote the circulant matrix whose
first row is [0,1,0,..., 0], and let S denote a general circulant matrix
whose first row is [si,S2,...,s n ]. Then a straightforward calculation
shows that
3=2
Proof This result follows directly from the expression for the eigen-
values of a circulant matrix. •
s-2 0 -2
Lemma 3.6 Suppose that F and X are as above. Let A denote the
adjacency matrix ofT and AL the adjacency matrix of L(T). Then:
(1) X*X = AL + 2I m ;
(2) if F is regular of degree k, then XX* = A + kln.
The subscripts denote the sizes of the identity matrices.
Proof (1) We have
Spec LCT) = ,
1
1 mi ... ms-i m—n
For example, the line graph L(Kt) is sometimes called the triangle
graph and denoted by At. Its vertices correspond to the ^t(t — 1) pairs of
numbers from the set {1,2,..., t}, two vertices being adjacent whenever
the corresponding pairs have just one common member. From the known
spectrum of Kt, and Theorem 3.8, we have
2t-4 i-4 -2
20 Linear algebra in graph theory
Additional results
Cih by adding new edges joining each pair of 'opposite' vertices, and so
it is a circulant graph. The eigenvalues are the numbers
Xj = 2 COS(TTj/h) + (-l)J (0<j<2h- 1).
3f Graphs characterized by their spectra Although there are many ex-
amples of cospectral graphs, there are also cases where there is a unique
graph with a given spectrum. We give two instances.
(o) The spectrum of the triangle graph A t = L(Kt) is given above. If
F is a graph for which SpecF = SpecA^, and t ^ 8, then F = A t . In
the case t = 8 there are three exceptional graphs, not isomorphic with
As, but having the same spectrum as As (Chang 1959, Hoffman 1960).
(b) The complete bipartite graph Ka<a is constructed by taking two
sets of a vertices and joining every vertex in the first set to every vertex
in the second. If F is a graph for which SpecF = Speci(X a i O ), and
a 7^ 4, then F = L{Ka^a). In the case a = 4 there is one exceptional
graph; this graph is depicted in Figure 2 (Shrikhande 1959).
13
d < 2 2k V log 2 n
defined by
0, otherwise;
and hence represent a function £ : ET -» C by a column vector x =
[xi,X2,---,xm]t such that x» = £(e») (1 < i < m). We shall refer to
the bases {u>i,u;2,... ,wn} and {ei, £2,..., e m } as the standard bases for
Co(r)andC,(r).
We now introduce a useful device. For each edge ea = {vrr,vT} of F,
we shall choose one of va,vT to be the positive end of e a , and the other
one to be the negative end. We refer to this procedure by saying that F
has been given an orientation. Although this device is employed in the
proofs of several results, the results themselves are independent of it.
Definition 4.2 The incidence matrix D of F, with respect to a given
orientation of F, is the n xm matrix (d^) whose entries are
{
+1, if Vi is the positive end of e^;
— 1, if Vi is the negative end of ej;
0, otherwise.
The rows of the incidence matrix correspond to the vertices of F, and
its columns correspond to the edges of F; each column contains just two
non-zero entries, +1 and — 1, representing the positive and negative ends
of the corresponding edge.
We remark that D is the representation, with respect to the standard
bases, of a linear mapping from Ci(F) to CQ(T). This mapping will be
called the incidence mapping, and be denoted by D. For each £ : ET —> C
the function Df; : VT —* C is defined by
For the rest of this chapter we shall let c denote the number of con-
nected components of F.
Proposition 4.3 The incidence matrix D o / F has rank n — c.
Proof The incidence matrix can be written in the partitioned form
D(1) 0 ... 0
2
0 D< > . . . 0
0 0 . . . D^c
by a suitable labelling of the vertices and edges of F, where the matrix
£>(*) (1 < i < c) is the incidence matrix of a component fM of F. We
shall show that the rank of D^-1 is n, — 1, where rij = |VT^|, from which
the required result follows by addition.
Cycles and cuts 25
two edges, and the choice of signs in the definition of £Q implies that the
inner product is again 0. Thus Dxg = 0, and £Q belongs to the kernel
of D. U
where the over line indicates the complex conjugate. When p and a are
represented by coordinate vectors, with respect to the standard basis
of Ci(F), this inner product corresponds to the usual inner product
of vectors in the complex vector space C m . (In practice we use only
functions with real values, so the conjugation is irrelevant.)
Definition 4.6 The cycle-subspace of F is the kernel of the incidence
mapping of F. The cut-subspace of F is the orthogonal complement of
the cycle-subspace in Ci(F), with respect to the inner product defined
above.
The first part of this definition is justified by the result of Theorem 4.5,
which says that vectors representing cycles belong to the cycle-subspace:
indeed, in the next chapter we shall show how to construct a basis for the
cycle-subspace consisting entirely of cycles. We now proceed to justify
the second part of the definition.
Let VT = V\ U V2 be a partition of VT into non-empty disjoint subsets.
If the set H of edges of F which have one vertex in Vj and one vertex in
V2 is non-empty, then we say that if is a cut in F. We may choose one of
the two possible cut-orientations for H, by specifying that one of Vi, V2
contains the positive ends of all edges in H, while the other contains
the negative ends. We now define a function £H in Ci(F) by putting
£tf (e) = +1 if e belongs to H and its cut-orientation coincides with its
orientation in F, £# (e) = — 1 if e belongs to H and its cut-orientation is
the reverse of its orientation in F, and £#(e) = 0 if e is not in H.
Proposition 4.7 The cut-subspace of F is a vector space whose di-
mension is equal to the rank ofT. If H is a cut in F, then £# belongs
to the cut-subspace.
Proof Since the dimension of the cycle-subspace is m — n 4- c, its
orthogonal complement, the cut-subspace, has dimension n — c = r(F).
If if is a cut in F, we have VT — Vi U V2, where V\ and V2 are disjoint
and non-empty, and H consists precisely of those edges which have one
vertex in V\ and one vertex in V2- Thus, if x # is the column vector
Cycles and cuts 27
Additional Results
where the polynomials / , are defined above. Then for any fc-regular
graph with girth g = 2r + 1 the excess e satisfies
e>|<7r(A)|, (A e Spec F, X ^ k).
4e The Laplacian spectrum Let /io < /^i < • • • < M«-i D e the eigen-
values of the Laplacian matrix Q. Then:
(a) (J,Q = 0, with eigenvector [ 1 , 1 , . . . , 1];
(b) if F is connected, /J,\ > 0;
(c) if F is regular of degree k, then /u, = k - A*, where the Aj are
the (ordinary) eigenvalues of F, in weakly decreasing order.
vevr
A more sophisticated way of expressing this result is as follows. Let
S : Co(F) —> C denote the linear map defined by S^w) = ^Zw(u); this is
known as the augmentation map. Then the sequence of linear maps
Ci(r) - ^ co(F) -£> c —> o
is exact. In particular, this means that the image of D is equal to the
kernel of 5.
The problem of finding bases for the cycle-subspace and the cut-subspace
is of great practical and theoretical importance. It was originally solved
by Kirchhoff (1847) in his studies of electrical networks, and we shall
give a brief exposition of that topic at the end of the chapter.
We shall restrict our attention to connected graphs, because the cycle-
subspace and the cut-subspace of a disconnected graph are the direct
sums of the corresponding spaces for the components. Throughout this
chapter, F will denote a connected graph with n vertices and m edges,
so that r(F) = n — 1 and s(F) = m — n + 1. We shall also assume that
F has been given an orientation.
A spanning tree in F is a subgraph which has n — 1 edges and contains
no cycles. It follows that a spanning tree is connected. We shall use the
symbol T to denote both the spanning tree itself and its edge-set. The
following simple lemma is a direct consequence of the definition.
Lemma 5.1 Let T be a spanning tree in a connected graph F. Then:
(1) for each edge gofT which is not in T there is a unique cycle in F
containing g and edges in T only.
(2) for each edge h of T which is in T, there is a unique cut in F
containing h and edges not in T only. D
We write cyc(T, g) and cut(T, h) for the unique cycle and cut whose
existence is guaranteed by Lemma 5.1. We give cyc(T,g) and cut(T, h)
the cycle-orientation and cut-orientation which coincide, on g and h
respectively, with the orientation in F. Then we have elements
32 Linear algebra in graph theory
and £{T,h) of the edge-space Ci(F); these elements axe defined (in terms
of the given cycle and cut) as in Chapter 4.
Theorem 5.2 With the same hypothesis as in Lemma 5.1, we have:
(1) as g runs through the set £T — T, the m — n + 1 elements £(T, 9 )
form a basis for the cycle-sub space of F.
(2) as h runs through the set T, the n — 1 elements €(T,h) form a basis
for the cut-subspace of F.
Proof (1) Since the elements £(T,g) correspond to cycles, it follows
from Theorem 4.5 that they belong to the cycle-subspace. They form
a linearly independent set, because a given edge g in EF — T belongs
to cyc(T, g) but to no other cyc(T, g') for g' ^ g. Finally, since there
are m - n + 1 of these elements, and this is the dimension of the cycle-
subspace, it follows that we have a basis.
(2) This is proved by arguments analogous to those used in the proof
of the first part. •
We shall now put the foregoing ideas into a form which will show
explicitly how cycles and cuts can be derived from the incidence matrix,
by means of simple matrix operations. To do this, we shall require some
properties of submatrices of the incidence matrix.
Proposition 5.3 (Poincare 1901) Any square submatrix of the inci-
dence matrix D of a graph F has determinant equal to 0 or +1 or — 1.
Proof Let S denote a square submatrix of D. If every column of S
has two non-zero entries, then these entries must be +1 and —1 and so,
since each column has sum zero, S is singular and det S = 0. Also, if
every column of S has no non-zero entries, then det S = 0.
The remaining case occurs when a column of S has precisely one non-
zero entry. In this case we can expand det S in terms of this column,
obtaining det S = ± det S', where S' has one row and column fewer
than S. Continuing this process, we eventually arrive at either a zero
determinant or a single entry of D, and so the result is proved. •
Our equations for Cx and Kx show how the basic cycles and cuts asso-
ciated with T can be deduced from the incidence matrix. We also have
an algebraic proof of the following proposition.
Proposition 5.5 Let T be a spanning tree of T and let a and b be
edges of T such that a€T,b&T. Then
b 6 cut(r, a)<*ae cyc(T, b).
Proof This result follows immediately from the definitions of Cx and
K T , and the fact that C T + K^ = 0. •
34 Linear algebra in graph theory
Additional Results
(i) if a column has two non-zero elements with the same sign, then
their rows are in different parts;
(ii) if a column has two non-zero elements with opposite signs, then
their rows are in the same part.
that z = D*</> for some potential <f> in the vertex-space. Using the other
two equations we obtain
D D V = Dn; that is, Qcj> = n,
where Q is the Laplacian matrix and 77 is a vector in which t)v is the
current flowing into the network at the vertex v. In particular, defining
{
+1, iiv = x;
-1, Hv = y;
0, otherwise;
we see that the solution of the network equations when a current /
enters at x and leaves at y is given by finding the potential satisfying
Q0 = Irfv.
5i The effective resistance For any two vertices x and y let <f> be the
potential satisfying Q</> = Irfv. Following Ohm's law, the effective
resistance from x to y is defined to be (4>x — 4>y)/I- If x and y are
adjacent vertices this is equal to KXV/K, where Kxy is the number of
spanning trees which contain the edge {x,y}.
For example, it can be shown (see p. 39) that the number of spanning
trees of the complete graph Kn is n n ~ 2 ; since each one contains n — 1
of the n(n — l)/2 edges, there are 2n"~ 3 spanning trees containing a
given edge. It follows that the effective resistance across an edge of Kn
Spanning trees and associated structures 37
The tree-number
\ mi ... ms-i
then
Additional Results
< 1- I nk
n \n — 1
with equality if and only if F = Kn.
n \n — 1 /
This is clearly a generalisation of result 6a, since 2m = nk in the fc-
regular case. Grone and Merris (1988) showed that if TT(F) is the product
of the vertex-degrees then
6c A recursion for the tree-number For any (general) graph F, and any
edge e which is not a loop, we define the graph F ^ to be the subgraph
obtained by removing e, and F(e) to be the graph obtained from F^e) by
identifying the vertices of e. Note that even if F itself is a graph (rather
than a general graph) this process may produce a general graph. We
have
For example, in the complete graph K± there are just two kinds of ele-
mentary subgraph with four vertices: pairs of disjoint edges (for which
r — 2 and s = 0) and 4-cycles (for which r = 3 and s = 1. There are
three subgraphs of each kind so we have
det A(K4) = 3(-l) 2 2° + 3(-l) 3 2 1 = - 3 .
At the beginning of this book we obtained a description of the first
few coefficients of the characteristic polynomial of F, in terms of some
small subgraphs of F (Proposition 2.3). We shall now extend that result
to all the coefficients. We shall suppose, as before, that
X (F; A) - Xn + cxA""1 + c2A"-2 + ... + c n .
The only elementary graphs with fewer than four vertices are: K2 (an
edge), and C3 (a triangle). Thus, we can immediately regain the results
of Proposition 2.3 from the general formula of Proposition 7.3. We
can also use Proposition 7.3 to derive explicit expressions for the other
coefficients, for example, c\. Since the only elementary graphs with four
vertices are the cycle graph C4 and the graph having two disjoint edges,
it follows that
C4 = na - 2rib,
where na is the number of pairs of disjoint edges in F, and rib is the
number of 4-cycles in F. (See 7i.)
As well as giving explicit expressions for the coefficients of the charac-
teristic polynomial, Proposition 7.3 throws some light on the problem of
cospectral graphs (2f). The fact that elementary subgraphs are rather
loosely related to the structure of a graph helps to explain why there are
many pairs of non-isomorphic graphs having the same spectrum. This
is particularly so in the case of trees (see 7b and 7c).
We now turn to an expansion of the characteristic function of the
Laplacian matrix
<x(F; H) = detOil - Q).
Although the Laplacian matrix Q differs from —A only in its diagonal
entries, the ideas involved in this expansion are quite different from those
which we have used to investigate the characteristic polynomial of A.
One reason for this is that a principal submatrix of Q is (in general) not
the Laplacian matrix of an induced subgraph of F (the diagonal entries
give the degrees in F, rather than in the subgraph).
We shall write
CT(F; H) = det(/tl - Q) = nn + q-i/i""1 + ... + ?«-iM + qn.
The coefficient (—1)*^ is the sum of the principal minors of Q which
have i rows and columns. Using results from Chapter 6 and some simple
Determinant expansions 47
observations we obtain
qi = -2\ET\, gn_x = (-ly^n/cOT), gn = 0.
We shall find a general expression for qi which subsumes these results.
The method is based on the expansion of a principal minor of Q = DD*
by means of the Binet-Cauchy theorem, as in the proof of Theorem 6.3.
Let X be a non-empty subset of the vertex-set of F, and Y a non-empty
subset of the edge-set of F. We denote by D(X, Y) the submatrix of the
incidence matrix D of F defined by the rows corresponding to vertices in
X and the columns corresponding to edges in Y. The following lemma
amplifies the results of Propositions 5.3 and 5.4.
Lemma 7.4 Let X and Y be as above, with \X\ = \Y\, and let VQ
denote the vertex-set of the subgraph (Y). Then D(X,Y) is invertible if
and only if the following conditions are satisfied:
(1) X is a subset ofVo;
(2) (Y) contains no cycles;
(3) VQ\X contains precisely one vertex from each component of (Y).
Proof Suppose that D(X,Y) is invertible. If X were not a subset
of VQ, then T)(X,Y) would contain a row of zeros and would not be
invertible; hence condition (1) holds. The matrix ~D(Vo,Y) is the inci-
dence matrix of (Y), and if (Y) contains a cycle then D(Vo, Y)z = 0 for
the vector z representing this cycle. Consequently D(X, Y)z = 0 and
T>(X,Y) is not invertible. Thus condition (2) holds. It follows that the
co-rank of (Y) is zero; that is,
where the summation is over all sub-forests $ o/F which have i edges.
Proof Let Qx denote the principal submatrix of Q whose rows and
columns correspond to the vertices in a subset X of VF. Then <jj =
J^detQx, where the summation is over all X with \X\ = i. Using the
notation of Lemma 7.4 and the fact that Q — DD', it follows from the
Binet-Cauchy theorem that
)2 2
det Qx = ^2 det T)(X, Y) det D{X, Yf = ^ ( d e t D(X, Y))
This summation is over all subsets Y of ET with \Y\ = \X\ = i. Thus,
X,Y
By Proposition 5.3, (detD(X, Y))2 is either 0 or 1, and it takes the
value 1 if and only if the three conditions of Lemma 7.4 hold. For each
forest $ = (Y) there are p($) ways of omitting one vertex from each
component of $, and consequently there are y>($) summands equal to 1
in the expression for qi. This is the result.
where the summation is over all forests $ which are subgraphs of the
complement ofT.
Proof The result of Proposition 6.6, part (3), expresses K(T) in terms
of the a function of F c . The stated result follows from the formula of
Theorem 7.5 for the coefficients of a. •
where the summation is over all forests $ which are subgraphs of F with
\E&\ = n-i.
Proof Prom part (2) of Proposition 6.6, we have
Determinant expansions 49
i=0
Comparing this with a(T; (i) = J2 Qn-i/J-1, we have the result. •
Additional Results
x
is reconstructible, where the sum is taken over all isomorphism classes
of graphs X such that \VX\ = |VT|.
Determinant expansions 51
This example illustrates the fact (Proposition 8.2) that the spectrum
of a bipartite graph is symmetrical with respect to the origin. Indeed,
the converse of this result is also true [CvDS, p. 87]. But if i/(r) > 2
the spectrum of F does not have a distinctive property, as it does in
the bipartite case. However, as we shall see, it is possible to make
useful deductions about the chromatic number from a knowledge of the
maximum and minimum eigenvalues of F.
54 Linear algebra in graph theory
For any real symmetric matrix M , we shall denote the maximum and
minimum eigenvalues of M by A max (M) and A m i n (M). If M is the
adjacency matrix of a graph F we shall also use the notation Amax(F)
and A m ; n (F). It follows from Proposition 8.2 that, for a bipartite graph
F, we have A m i n (r) = - A m a x ( F ) .
We need a useful technique from matrix theory. Let (x, y) denote the
inner product of the column vectors x, y. For any real n x n symmetric
matrix X, and any real non-zero n x l column vector z, the number
(z, Xz)/(z, z) is known as the Rayleigh quotient, and written i?(X;z).
In matrix theory it is proved that
A m . x (X)> J R(X;*)>A I I l l l l (X) for all z jk 0,
a result which has important applications in spectral graph theory.
R(A; u) = ± £ ay = i £ *« = fcave(F).
i,j i
The Rayleigh quotient i?(A; u) is at most A m a x (A), that is A max (F), and
it is clear that the average degree is not less than the minimum degree.
Hence
A max (F) > fcave(F) > kmin(T).
Finally, let x be an eigenvector corresponding to the eigenvalue Ao =
Amax(F), and let Xj be a largest positive entry of x. By an argument
similar to that used in Proposition 3.1, we have
= (Aox)j = E'xi < k^Xj < kmax(r)Xj,
Vertex-partitions and the spectrum 55
where the sum E' is taken over the vertices Vi adjacent to Vj. Thus
(). n
We shall now bound the chromatic number of F in terms of A max (r)
and A min (r). A graph F is l-critical if i/(F) = /, and for all induced
subgraphs A ^ F w e have u(A) < I.
Lemma 8.4 Suppose F is a graph with chromatic number I > 2. Then
F has an l-critical induced subgraph A, and every vertex of A has degree
at least I - 1 in A.
Proof The set of all induced subgraphs of F is non-empty and contains
some graphs (for example, F itself) whose chromatic number is I, and
also some graphs (for example, those with one vertex) whose chromatic
number is not /. Let A be an induced subgraph whose chromatic number
is I, and which is minimal with respect to the number of vertices; then
clearly A is Z-critical. If v is any vertex of A, then {VA \ v) is an induced
subgraph of A and has a vertex-colouring with l — l colours. If the degree
of v in A were less than l — l, then we could extend this vertex-colouring
to A, contradicting the fact that v(A) = I. Thus the degree of v is at
least I - 1. •
Additional Results
<r> s
58 Linear algebra in graph theory
{v,w}eE ' v
Mi < |**| (-
\x n — x/
It follows that, for the isoperimetric number defined in 4b, we have
*(F) > Mi/2, and in the fc-regular case, i(T) > (k — X\)/2 (Alon and
Milman 1985).
8f The odd graphs (Biggs 1979) Let k be a natural number greater than
1, and let 5 be a set of cardinality 2k — 1. The odd graph Ok is defined as
follows: its vertices correspond to the subsets of S of cardinality k — 1,
and two vertices are adjacent if and only if the corresponding subsets
are disjoint. (For example, O2 = -K3, and O3 is the Petersen graph.) Ok
is a regular graph of degree k; when k — 2 its girth is 3, when k = 3 it
is 5, and when k > 4 it is 6,
The spectrum of Ok can be obtained by the methods described in
Chapters 20 and 21 (see 21b). In particular, the largest eigenvalue Amax
Vertex-partitions and the spectrum 59
=1.
To see how good these bounds are, let V[a,/?] denote the set of vertices
containing a given pair a,0 € S; let V[a, /?] denote the set of vertices
containing a but not /3; and so on. Then the three sets V[a, 0\, V\a, 0\,
and V[a, /3]uV[a, /?] form a colour partition, so v(Ok) = 3. Furthermore,
the cut denned by X — V[a, /?] U V[a, 0\ and its complement satisfies
2( 2 *r 2 3 ) k
Thus i(Ofc) < 1 + (k — I ) " 1 . Further results about the odd graphs may
be found in 17d, 20b, and 21b.
1 >
w(r) - n2 '
In particular, we have Turdn's Theorem: if F has no triangles, then
m < n 2 /4.
8h Another spectral bound Let s be the sum of the entries of the nor-
malized eigenvector corresponding to Amax. Wilf (1985) observed that
the Motzkin-Straus formula leads to the result w > s2/(s2 — A max ). Since
s2 < n it follows that u > n/(n — A max ). Furthermore, the chromatic
number v cannot be less than w, so this strengthens the result 8b of
Cvetkovic.
PART TWO
Colouring problems
9
has one edge fewer than F, and F(ej has one edge and one vertex fewer
than F, and so the following Proposition provides a method for calculat-
ing the chromatic polynomial by repeated reduction to 'smaller' graphs.
This is known as the deletion-contraction method.
For example, the complete bipartite graph -^3,3 is the join ./V3 + JV3,
where Nn is the graph with n vertices and no edges. From Corollary
9.6, we have
for all s >t. The corresponding identity for the polynomials follows.
•
The formula of Proposition 9.9 is often useful in working out chromatic
polynomials of small graphs. For instance, the graph shown in Figure 3
is 'two K3's with a common K2'; hence its chromatic polynomial is
" ( * - ! ) ( « - 2 ) « ( u - ! ) ( « - 2 ) = u(u _ 1 ) ( n _ 2)2_
Additional Results
9a Wheels and pyramids The cone of the cycle graph Cn-\ is the wheel
or pyramid Wn\ the suspension of Cn-i is the double pyramid Un. The
chromatic polynomials of these graphs are
C(Wn; u) = u(u - 2) 71 - 1 -(- ( - l ) " - 1 ^ - 2);
I n ; u) = u(u - l)(u - 3) n - 2 + u(u - 2)n~2 + (-l)nu(u2 - 3u + 1).
In this form the coefficients Ci are all positive, and they are:
1, 10, 56, 230, 759, 2112, 5104, 10912, 20880, 35972,
fc=0 V
' r=0
2.
fc=0 V ;
p
where the sum is over all colour-partitions P of VT with r parts. Clearly,
putting <f>i — <f>2 — • • • = (j>n-i = 1 we obtain the ordinary m r (F), as
defined on p. 63.
Ray and Wright (1992) show that the corresponding generalization of
the chromatic polynomial is obtained by replacing the expressions U(r)
by what are known as the conjugate Bell polynomials bf{u). Thus they
define the umbral chromatic polynomial
r=l
They obtain interpolation formulae like those in 9g and analogues of
other properties of the ordinary chromatic polynomial.
10
Subgraph expansions
Here the rows are labelled by the values of the rank r from 0 to 5, and the
columns are labelled by the values of the co-rank s from 0 to 4. We notice
that since r(S)+s{S) — \S\ for all S C ET, an antidiagonal (sloping from
bottom left to top right) corresponds to subgraphs with a fixed number
t of edges, and consequently sums to the binomial coefficient (^). We
observe also that the number in the bottom left-hand corner (generally
Pn-i,o, where n is the number of vertices) is just the tree-number of the
graph. These facts mean that in this case very few entries need to be
calculated explicitly.
As we shall see, several interesting functions can be obtained by as-
signing particular values to the indeterminates x and y in the rank poly-
nomial. Trivially, putting y = x gives R(T;x,x) = (x + l)'^ 1 "', because
r{S) + s(S) = \S\ for all S C ET. The main result to be proved in
this chapter is that by assigning certain values to x and y we obtain the
chromatic polynomial.
For any natural number u, let [u] denote the set {1,2,... ,u}, which
we shall think of as a set of u colours, and let [u]x denote the set of all
functions u> : X —» [u]. For a general graph F, the set [u]vr contains
some functions which are vertex-colourings of F with u colours available,
and some functions which are not vertex-colourings since they violate the
condition that adjacent vertices must receive different colours. In order
to pick out the vertex-colourings we make the following definition.
n
Proof The product n ^ ( e ) *s z e r 0 unless Q(e) = 1 for all e € EF,
and this is so only if u> is a vertex-colouring of F. Thus the sum of these
products is the number of vertex-colourings of F using at most u colours.
The result follows from Proposition 9.2. •
e =
^) E
Expanding the product of terms 1 + /(e) we obtain a sum of
expressions n/( e )> o n e f° r e a c n subset S C ET. That is,
c(r;«)= X) E
We now switch the order in the double sum. For each 5 C ET let
VS — V(S); then any function from VS to [u] is the restriction to VS
of u l v r \ v s l functions from VT to [u]. Thus
|yrxvsi 1
E E n(-(«)-!)= E-
vr
w6[u] scsrees sccr
E nw- )'
ue[u]v's ces
Consider the product n ( ^ ( e ) ~ 1) o v e r a ^ edges e € 5. If the product
is non-zero, uj(e) must be 0 for each e G S, which means that w is
constant on each component of (S). In this case the value of the product
is (—1)ISL If {S) has c components there are uc such functions ui; hence
the sum of the product over all v)vs\ functions u> : VS —> [u] is (—l)'slufi.
The result follows from the equation
|VT \ VS\ + c = n - \VS\ + c = n- r{S).
D
j
Proof The identity between the polynomials follows directly from
Theorem 10.4 and the definition of the rank polynomial. In terms of the
76 Colouring problems
coefficients, we have
M " " ' = C(T;u) = unR(T; -u~\ -1)
The result follows from the expression for the coefficients of the chro-
matic polynomial. •
We observe that for a strict graph the girth g is at least 3, so the coef-
ficient of un~1 in the chromatic polynomial is — m, where n and m are
the numbers of vertices and edges respectively.
Subgraph expansions 77
Corollary 10.8 Let T be a strict graph with rank r. Then the co-
78 Colouring problems
efficients of C(T;u) alternate strictly in sign; that is, (—l)lbi > 0 for
i = O,l...,r.
Proof The characterization of Proposition 10.7 shows that (—l)*6j >
0 for 0 < i < n. In order to obtain the strict inequality we must show
that there is a subgraph with i edges and containing no broken cycle, for
1 = 0 , 1 , . . . , r. Suppose we successively remove edges from F in such a
way that at least one cycle is destroyed at each stage; this process stops
when we reach a subgraph (F) of F with \F\ = r and s(F) = 0. Let us
order the edges of F so that the edges in F come first. Then (F) contains
no broken cycle, and any subset of F generates a subgraph containing
no broken cycle. Thus we have produced the required subgraphs, and
the result follows. •
Additional Results
Tutte (1974) drew attention to this work and constructed pairs of strict
graphs which have the same rank matrix.
It is easy to see that the chromatic polynomial and the rank polyno-
mial, suitably normalized, are V-functions. The most general V-function
is constructed as follows. For any sequence i = i o , i i , i 2 , . . . of non-
negative integers, with finite sum, let v(T, i) be the number of spanning
subgraphs of F which have i& components of co-rank k, for k > 0. Let
s = (SQ, SI, «2, • • •) be any infinite sequence of elements of A and let
are 'particles', each of which which can have one of u attributes, so that
a 'state' of the system is a function UJ : V —> [u]. Each pair of adjacent
vertices, corresponding to an edge e & E, has an interaction ^ ( e ) which
depends on the state w, and the 'weight' I(w) is the product of the
interactions iuj(e). The partition function is the sum of all the weights:
lOg The Ising and Potts models Using the 'interaction model' termi-
nology, suppose iu (e) is a if the ends of e have the same attribute in the
state w, and 1 otherwise. For general u this is known as the Potts model,
and the special case u = 2 is known as the Ising model. The partition
function for the Potts model can be expanded as a rank function:
£ ,a - 1).
U
SCEV
In this chapter and the next one we shall investigate expansions of the
chromatic polynomial which involve relatively few subgraphs in compar-
ison with the expansion of Chapter 10. The idea first appeared in the
work of Whitney (1932b), and it was developed independently by Tutte
(1967) and researchers in theoretical physics who described the method
as a 'linked-cluster expansion' (Baker 1971). The simple version given
here is based on a paper by the present author (Biggs 1973a). There are
other approaches which use more algebraic machinery; see Biggs (1978)
and lie.
We begin with some definitions. Recall that if a connected graph F is
separable then it has a certain number of cut-vertices, and the removal
of any cut-vertex disconnects the graph. A non-separable subgraph of T
which is non-empty and maximal (considered as a subset of the edges)
is known as a block. Every edge is in just one block, and we may think
of F as a set of blocks 'stuck together' at the cut-vertices. In the case
of a disconnected graph we define the blocks to be the blocks of the
components. It is worth remarking that this means that isolated vertices
are disregarded, since every block must have at least one edge.
Let Y be a real-valued function defined for all graphs, and having the
following two properties.
PI: Y(T) = 1 if T has no edges;
P2: Y(T) is the product of the numbers Y(B) taken over all blocks
B ofF.
82 Colouring problems
S1CE1 S2CE2
If F has b > 2 blocks we have a similar argument, taking Ti to be the
first 6—1 blocks. Hence the general result follows by induction. •
We shall now transform the sum X(T) into a product, using exponen-
tial and logarithmic functions. We require also the fundamental identity
underlying the 'principle of inclusion and exclusion': that is
ICJ
provided that J is not the empty set.
Definition 11.2 Let (X, Y) be a pair of functions as above, and sup-
pose that the values of X are positive. Then the logarithmic transform
The multiplicative expansion 83
SCET
(-l)ls'llogX{51) 52 (-
x S2C£2
52 (-i)|S2| io g x(s2
Both E\ and £^2 are non-empty, so the fundamental inclusion-exclusion
identity stated above implies that the entire expression is zero, and we
have the result. •
from which the theorem follows by taking exponentials. Now, from the
definition of X,
E x(S)=
SCEV scEr RCS
and (R) as a subgraph of (5) is identical with (R) as a subgraph of T.
Writing Y = S\R the right-hand side becomes
E E (-D|iJ|+|y|(-i)|fl|iogx(i?>
RCET YCEV\R
= E ^gx(R) E (-D|v|-
RCEV YCEV\R
The inner sum is non-zero only when EF\R = 0; that is, when R = ET.
Thus the expression reduces to log X(ET) = \ogX(T), as required.
•
We now apply the general theory of the logarithmic transform to the
particular case of the chromatic polynomial. We take the function Y to
be
Additional Results
l i b Theta graphs (Baker 1971) Let Qr,s,t denote the graph consisting
of two vertices joined by three disjoint paths of length r, s, and t. ©r,s,t
has n = r + s + t— 1 vertices and r + s + t edges, and q(Qr,s,t',u) is
where 0 is the type of the theta graph ©2,2,1 and the other notation is
self-explanatory.
where the product is over all non-separable induced subgraphs ofT having
more than one edge.
90 Colouring problems
where v and 6 are polynomials such that deg 6 — deg v > \VT\ — 1.
Proof The function Q is defined to be the product of functions q, over
a set of graphs with the same number of vertices. Thus the result for q
implies the result for Q. •
Q(K4;u)
The technique which we have just described has the important conse-
quence that we can calculate chromatic polynomials merely by counting
induced subgraphs, without knowing any C and Q functions in advance.
In particular, it implies that the chromatic polynomial is reconstructible,
in the sense of 7f.
To make this explicit, suppose that Ai, A2,..., A; is a list of the iso-
morphism types of non-separable induced subgraphs of F, where K\ =
Ai and K2 = A2 axe included, for the sake of uniformity, and F = A;.
Then we define a matrix N = (n^), by putting mj equal to the number
of induced subgraphs of A» which are isomorphic with Aj. We may sup-
pose that the list has been ordered in such a way that N is a triangular
matrix each of whose diagonal entries is +1.
92 Colouring problems
A, Aa A., A5
(I) 6
= u6 - 9u5 + 34u4 - 67u3 + 67w2
Here Pe(w) is not a polynomial. Extending the terms in u2 and above
to a polynonial divisible by u(u — 1) we get C(T; u) = u6 — 9u5 + 34u4 —
67u3 + 67u2 - 26u.
P(u) =
C((V1DV2};u)
94 Colouring problems
Since Proposition 9.9 tells us that C(T; u) is also equal to this expression,
it follows that Q(F; u) = 1, and the induction step is verified. •
We observe that the graph A5, in the example preceding the propo-
sition, is in fact quasi-separable, and so the fact that Q(A5;u) = 1 is
explained.
The following theorem is the culmination of the theory developed in
Chapters 10-12.
We close this chapter with a brief explanation of how the theory can be
used to study the 'chromatic polynomial' of an infinite graph. Suppose
\P is an infinite graph which can be regarded in some way as the limit of
a sequence of finite graphs 9n, with (FvE'nl = vn say. The appropriate
definition of the 'chromatic polynomial' of <fr is
Additional Results
Q(Kn;u)= 1Q (u-i)" ( i \
0<i<n-l
12b The Q functions for all graphs with less than six vertices The only
graphs with less than five vertices which are not quasi-separable are K<i,
K3, K4, and d, and we have already found Q for all these. Writing
Q(T; u) = 1 4- r(T; u), the r functions are as follows:
r(K2;u) = 1/u
r(K3;u)= -l/{u-lf
r(K4; u) = -(2u - 3)/u(u - 2)2
r(C 4 ;u)= l/(w-l)3-
The relevant graphs with five vertices are: K$, W5, W*~ (the wheel with
one 'spoke' removed), X2>3 and C5. The r functions are:
r(K5; u) = -(6u4 - 48w3 + 140u2 - 176u + 81)/(u - l) 4 (u - 3)4
r(W5; u) = (3u2 - 9u + 7)/u(u - 2f(u2 - 3u + 3)
r(W*-;u) = (2u2 - 6u + 5)/u(u - 2)(M 2 - 3u + 3)2
r(K2,3; u) = (u3 - 6u2 + llu - 7)/u(u2 - Zu + 3)3
r(C5;u)= -l/(u-l)\
5 1
6 0 1
8 2 1 1
10 4 2 4 1
12 6 4 9 3 1
.15 12 10 30 15 10 1
Using the method described on pp. 92-93 this gives the chromatic poly-
nomial of O3:
u(u - 1)(u - 2)(u7 - 12w6 + 67u5 - 230u4 + 529u3 - 814u2 + 775u - 352).
12d The first non-trivial coefficient in q and Q If F is non-separable
and has n vertices and m edges, then the coefficient of u~^n~^ in the
expression for q(T; u) in descending powers of u is equal to ( - l ) m . The
corresponding coefficient in Q{T;u) is therefore XX~1)'BA'> where the
summation is over all non-separable spanning subgraphs A of F (Tutte
1967).
12e Chromatic powers Let <rm(F) denote the sum of the mth powers
of the zeros of C(F; u). Suppose that
where the expansion is valid for |u| sufficiently large. If n(F; A) denotes
the number of induced subgraphs of F which are isomorphic with A, we
have
A -^ B
V
C -^ V
Here A denotes all subsets of ET, B denotes subsets Z with r(Z) = r0,
C denotes subsets W with s(W) = 0, and V denotes subsets T with
r(T) = ro and s(T) = 0 (that is, spanning trees). It is worth remarking
that the diagram is commutative, although we shall not need this result
(see 13g).
Proposition 13.7 Let X be any subset in the image of the X operator,
so that r(X) = r0 and Xx = X. Then
We now set up the main theorem, using the portion A —* C —> T>
of the operator diagram. Define
Pii = \{X € A | r(X) = r 0 - t, s(X) = j}\,
ni = \{W 6 C | r(W) = r 0 - t, |W~| = j}|,
Of course, the last line merely repeats Definition 13.6. We have three
corresponding two-variable polynomials.
R{T; x,y)=Yl Pa^V3> P ( r > £;*.») = £ wy*V>
T(r, <;!,») = ^ tyiV,
where the modified rank polynomial R is related to the usual one (Defi-
nition 10.1) by R(T;x,y) = a
Theorem 13.9 Let T be a connected graph with n vertices and let <
be any ordering of ET. Then the Tutte polynomial is related to the rank
polynomial as follows:
T(r,<;x + l,y + l) = R(r;x,y) = xn-lR(T;x-\y).
Proof We shall use the intermediate polynomial P defined above, and
prove the equalities
T{T, <;x+l,y + l) = P(T, <;x,y+l) = R(T; x,y),
which are equivalent to the following relationships among the coeffi-
102 Colouring problems
cients:
x 7
k i
For the first identity, consider A : C -* V. By Proposition 13.7, if T is
in V, then
T = WX if and only if T~ CWCT.
Also, by Proposition 13.8, the external activities of T and W are the
same. Consequently, for each one of the tkj spanning trees T with |X'| =
k and \X^\ = j there are (*) subgraphs W in C with r(W) = r0 -i and
\We\ — j . These subgraphs are obtained by removing from T any set of
i edges contained in the k internally active edges of T. This proves the
first identity.
For the second identity, we consider /i : A -+ C. By the analogue of
Proposition 13.7 for /x, if X is in C, then
X^Y* if and only if XCYCX+.
Consequently, for each one of the iru subgraphs X in C with r(X) =
ro — i and \Xe\ = I, there are ('.) subgraphs Y with r(Y) = r 0 - i and
s(Y) = j . These subgraphs are obtained by adding to X any set of j
edges contained in the I externally active edges of X. This proves the
second identity. •
The original proof of Theorem 13.9 by Tutte (1954) was inductive; the
proof given above is a simplification of the first constructive proof by
Crapo (1969). In the light of the Corollary we can write T(T;x,y) for
the Tutte polynomial of T. It should be noted that, although each
coefficient Uj is independent of the ordering, the corresponding set of
spanning trees (having internal activity i and external activity j) does
depend on the ordering.
Additional Results
13b The Tutte matrix of Petersen's graph (Biggs 1973b) The matrix
(Uj) of coefficients of the Tutte polynomial for Petersen's graph is
r 0 36 84 75 35 9 1
36 168 171 65 10
120 240 105 15
180 170 30
170 70
114 12
56
21
6
L l
A
where the sum is over all labelled trees on n vertices.
13i Planar graphs If T and T* are dual planar graphs, then there is
a bijective correspondence between their spanning trees which switches
internal and external activity. It follows that t%j = t*^ and
T{Y;x,y)=T{T*;y,x).
fc>0
See also Jaeger (1988) and Las Vergnas (1988).
The Tutte polynomial 105
In this chapter we shall study the relationship between the Tutte poly-
nomial and the chromatic polynomial of a connected graph. The main
result is as follows.
Theorem 14.1 Let F be a connected graph with n vertices. Then
n-l
1
C(T; u) = (-l)"- ^ ]T *«(1 - ")*'
t=i
where £JO is the number of spanning trees ofT which have internal activity
i and external activity zero (with respect to any fixed ordering of EY).
Proof We have only to invoke some identities derived in earlier chap-
ters. The chromatic polynomial is related to the rank polynomial as in
Corollary 10.5, and the rank polynomial is related to the Tutte polyno-
mial as in Theorem 13.9. Thus we have
C(T;u) =unR(F;-u-1,-l)
Theorem 14.1 also has theoretical implications for the study of chro-
matic polynomials, and the remainder of this chapter is devoted to some
of these consequences. First, we observe that if the chromatic polyno-
mial is expressed in the 'reduced form'
n-2
C(F; u) = ±w(w — 1) V J diW1 where w = 1 — u,
i=0
then the coefficients a, are all non-negative. In fact a, is the number
U+ifi- It is convenient to use the reduced form to record chromatic
polynomials, because the coefficients have fixed sign and are relatively
small.
Now, if two graphs are homeomorphic, then they are related to some
graph by a sequence of operations like that by which F(e) was obtained
from F; hence we have the result. •
It is worth remarking that both the proof and the result fail in the case
where one of the graphs is K2; we have 6{K2) = 1, whereas any path
graph Pn (n > 3) is homeomorphic with K2 but 0(Pn) = 0.
We end this chapter with an application of Theorem 14.1 to the uni-
modal conjecture of Read (1968). This is the conjecture that if
;u) = un - Clu
n1
' + ... + {-l)n-lcn_lU,
Chromatic polynomials and spanning trees 109
Additional Results
14d Some explicit formulae For the complete graphs ifn, the ladders
Lh, and the Mobius ladders Mh, we have
0(Kn) = (n - 2)! (n > 2),
0(Lh) = 2fe - ft - 1 (ft > 3),
0(Mh) = 2h - ft (ft > 2).
14e Tfte /Zoiu polynomial Let C*(F; w) denote the number of nowhere-
zero u-flows (see 4k) on a connected graph F with n vertices and m
edges. Then
C*(F; u) = {-l)mR(T; - 1 , -u) = ( - l ) m - n + 1 T ( F ; 0,1 - «).
If F is planar and F* is its dual, then (Tutte 1954):
C(T*;u)=uC*(r;u).
Thus the problem of finding the flow polynomial of a planar graph is
equivalent tofindingthe chromatic polynomial of its dual. For example,
theflowpolynomial of a ladder graph can be derived from the chromatic
polynomial of its dual, a double pyramid (9a).
The general relationship between theflowpolynomial of a graph and
an 'interaction model' is discussed in Biggs (1977b, Chapter 3).
one of two ways. Associated with every oriented even subgraph (C) is a
weight w(C), such that
C*(F; (u + y - 1 ) 2 ) = ] £ ( V ,
c
where p(C) is a 'rotation number' depending on the relative orientation
of the cycles of (C) with respect to the plane in which F is embedded.
14h The superiority of the matrix method It follows from the result of
Jaeger, Vertigan and Welsh (131) that computing the chromatic polyno-
mial is, in general, #P-hard. However, there is some interest in compar-
ing methods of computation, even though they are all 'bad' in theoretical
terms.
The matrix method (call it Method A), described in our comments on
Theorem 14.1, has been used only rarely (Biggs 1973b). However, An-
thony (1990) showed that it is more efficient than the method of deletion
and contraction (Method B), even when that method incorporates rules
for curtailing the computation. Specifically, the worst-case running time
of Method A for a graph with n vertices and m edges is of the order of
( n ™i) n2m - ^ T_A(TI) and Te{n) denote the worst-case running times of
the respective methods for any sequence of graphs such that F n has n
vertices and the average degree A(n) —» oo as n —> oo, we have
log TB(n)
• oo as n —> oo.
log TA{n)
PART THREE
Theorem 15.4 characterizes the group of a graph which has the maximum
number n = |VT| of distinct eigenvalues: every element of the group
is an involution, and so the group is an elementary abelian 2-group.
For example, the theta graph ©2,2,1 (K4, with one edge deleted) has
automorphism group Z2 x Z2. The characteristic polynomial is
Additional Results
15a How large can an automorphism group be? For any value of n,
the automorphism group of the complete graph Kn contains all the n!
permutations of its n vertices: it is the symmetric group Sn- Any other
graph on n vertices has an automorphism group which is a subgroup of
Sn. Since the complete graph is the only connected graph in which each
pair of distinct vertices is at the same distance, it is the only connected
graph for which the automorphism group can act doubly-transitively on
the vertex-set.
Automorphisms of graphs 119
15b How small can an automorphism group be? Except for very small
values of n, it is easy to construct a graph with n vertices which has the
trivial automorphism group, containing only the identity permutation.
For n > 7 the tree with n vertices shown in Figure 7 is an example.
In fact, almost all graphs have the trivial automorphism group. The full
story is described by Bollobas (1985, Chapter 9).
15h Graphs which are transitive on vertices and edges Let F be a graph
for which Aut(F) acts transitively on both vertices and edges. Then F
is a regular graph, and if its degree is odd, it is symmetric (Tutte 1966).
If its degree is even, the conclusion may be false, as was first shown
Automorphisms of graphs 121
15i Graphs with a given group (Izbicki 1960) Let an abstract finite
group G and natural numbers r and s satisfying r > 3, 2 < s < r be
given. Then there are infinitely many graphs F with the properties:
(a) Aut(F) is isomorphic to G;
(b) F is regular of degree r;
(c) the chromatic number of F is s.
16
Vertex-transitive graphs
In this chapter we study graphs F for which the automorphism group acts
transitively on VT. As we have already noted in the previous chapter,
vertex-transitivity implies that every vertex has the same degree, so F
is a regular graph.
We shall use thefollowingstandard results on transitive permutation
groups. Let G — Aut(F) and let Gv denote the stabilizer subgroup for
the vertex v; that is, the subgroup of G containing those automorphisms
which fix v. In the vertex-transitive case all stabilizer subgroups Gv (v 6
VF) are conjugate in G, and consequently isomorphic. The index of Gv
in G is given by the equation
\G : Gv\ = \G\/\GV\ = |VT|.
If each stabilizer Gv is the identity group, then every element of G
(except the identity) does not fix any vertex, and we say that G acts
regularly on VT. In this case the order of G is equal to the number of
vertices.
There is a standard construction, due originally to Cayley (1878),
which enables us to construct many, but not all, vertex-transitive graphs.
We shall give a streamlined version which has proved to be well-adapted
to the needs of algebraic graph theory. Let G be any abstract finite
group, with identity 1; and suppose ft is a set of generators for G, with
the properties:
Definition 16.1 The Cayley graph T = F(G, £2) is the simple graph
whose vertex-set and edge-set are defined as follows:
VT = G; EY = {{g,h}\g-lh€tt}.
Simple verifications show that ET is well-defined, and that T(G, £2) is
a connected graph. For example, if G is the symmetric group S3, and
£2 = {(12), (23), (13)}, then the Cayley graph T{G,Q) is isomorphic to
#3,3 (Figure 8).
l, ,(12)
(123)
(132)' '(23)
Figure 8: K3t3 as a Cayley graph for 53.
a
The second part of this proposition implies that the automorphism
group of a Cayley graph F(G, 0) will often be strictly larger than G.
124 Symmetry and regularity
Lemma 16.3 shows that if Aut(F) itself acts regularly on VT, then F
is a Cayley graph F(Aut(F), O).
Definition 16.4 A finite abstract group G admits a graphical regular
representation, or GRR, if there is a graph F such that G is isomorphic
with Aut(F), and Aut(F) acts regularly on VT.
The question of which abstract groups admit a GRR was answered
completely in the late 1970's (see 16g). It turns out that the second
part of Proposition 16.2 is essentially the only obstacle to there being a
GRR for G. In other words, a group G has no GRR if and only if every
generating set Cl for G which satisfies conditions (i) and (ii) is such that
there is an automorphism of G fixing Q setwise.
As an example of the ideas involved we show that the group S3 admits
no graphical regular representation. If there were a suitable graph F,
then it would be a Cayley graph F(5 3 , f2). Now, it is easy to check by an
Vertex-transitive graphs 125
exhaustive search that, for any generating set 0 satisfying conditions (i)
and (ii) on p. 122, there is some automorphism of 53 fixing Q setwise.
Thus, by part (2) of Proposition 16.2, the automorphism group of a
Cayley graph T(S$, 0) is strictly larger than S3.
In the case of transitive abelian groups, precise information is provided
by the next proposition.
Proposition 16.5 Let F be a vertex-transitive graph whose automor-
phism group G = Aut(F) is abelian. Then G acts regularly on VT, and
G is an elementary abelian 2-group.
Proof If g and h are elements of the abelian group G, and g fixes v,
then gh(v) = hg(v) = h(v) so that g fixes h(v) also. If G is transitive,
every vertex is of the form h(v) for some h in G, so g fixes every vertex.
That is, g = 1.
Thus G acts regularly on VT and so, by Lemma 16.3, F is a Cayley
graph F(G, fi). Now since G is Abelian, the function g »-> g~x is an
automorphism of G, and it fixes Q setwise. If this automorphism were
non-trivial, then part (2) of Proposition 16.2 would imply that G is not
regular. Thus g = g"1 for all g € G, and every element of G has order
2. •
We now turn to a discussion of some simple spectral properties of
vertex-transitive graphs. A vertex-transitive graph F is necessarily a
regular graph, and so its spectrum has the properties which are stated
in Proposition 3.1. In particular, if F is connected and regular of degree
k, then k is a simple eigenvalue of F. It turns out that we can use the
vertex-transitivity property to characterize the simple eigenvalues of F.
Proposition 16.6 (Petersdorf and Sachs 1969) Let F be a vertex-
transitive graph which has degree k, and let X be a simple eigenvalue of
F. / / |VT| is odd, then X = k. If \VT\ is even, then X is one of the
integers 2a — k (0 < a < k).
Proof Let x be a real eigenvector corresponding to the simple eigen-
value A, and let P be a permutation matrix representing an automor-
phism "K of F. If ir(vi) = Vj, then, by Lemma 15.3,
Xi = (PX),- = ±Xj.
Since F is vertex-transitive, we deduce that all the entries of x have
the same absolute value. Now, since u = [ 1 , 1 . . . , 1]* is an eigenvector
corresponding to the eigenvalue k, if A ^ k we must have u*x = 0, that
is Yl xi = 0- This is impossible for an odd number of summands of equal
absolute value, and so our first statement is proved.
126 Symmetry and regularity
16b The ladder graphs as Cayley graphs The dihedral group Z?2n of
order 2n is defined by the presentation
The Cayley graph of £>2n with respect to the generating set {x,x~~l,y}
is the ladder graph Ln.
Vertex-transitive graphs 127
16c Cayley graphs for the tetrahedral and icosahedral groups The al-
ternating group An is the subgroup of index two in Sn containing all
the even permutations. The groups A4 and A5 are sometimes known as
the tetrahedral and icosahedral groups because they are isomorphic with
groups of rotations of the respective polyhedra. Both groups can be
represented by planar Cayley graphs. A Cayley graph for At is shown
in Figure 9.
where the sum on the right-hand side is taken over all products of t
elements of 0.
Vertex-transitive graphs 129
16i The Paley graphs Denote the additive group of the field GF(q)
by Gq and let fi be the set of non-zero squares in GF(q). If q = 1 (mod
4) then fi generates Gq and satisfies the conditions at the foot of p. 122
(remembering that the identity of Gq is the zero element of the field).
The Paley graph P(q) is the Cayley graph F(G 9 ,O). These graphs are
strongly regular and self-complementary. If q is the rth power of a prime,
the order of Aut(P(g)) is rq(q - l)/2.
Symmetric graphs
Pg-t=O0-
[a]
[a], without repeated vertices, contained in it. Let [/?] be the (g - t)-arc
beginning at at and ending at Qo which completes the cycle of length
g. Also let v be a vertex adjacent to at~i, but which is not at-2 or at\
this situation is depicted in Figure 11. Since F is ^-transitive, there is
an automorphism taking the t-arc [a] to the t-axc (ao,a\,..., Qt-i,v).
This automorphism must take the (g — t + l)-arc [at-i./3] to another
(g — t + l)-arc [at-1-7], where 70 = v and ^g-t — &o- The two arcs
{ott-i-fi] and [at-1.7] may overlap, but they define a cycle of length at
most 2(g-t + 1). Hence g < 2(g - t + 1), that is, g>2t-2. •
Definition 17.3 Let [a] and [/?] be any two s-arcs in a graph F. We
say that [0\ is a successor of [a] if /3< = aj+i ( 0 < i < s — 1).
We can now state and prove a convenient test for ^-transitivity. Let
F be a connected graph in which the degree of each vertex is at least
three, and let [a] be a i-arc in F.
Suppose (as in Figure 12) that the vertices adjacent to at are at-i and
v ( 1 ) ,v< 2 >,...,v ( i ) , and let |/?W] denote the t-arc ( a i , a 2 , . . . ,at, v^) for
1 <i < I, so that each [0^] is a successor of [a].
is the group of order 4 generated by (34) and (12), and F 3 is the group
of order 12 generated by (34), (12) and (345).
In general, since G is transitive on s-arcs (1 < s < t), all stabilizer
sequences of £~arcs are conjugate in G, and consequently we shall often
omit explicit reference to [a].
The order of each group occuring in the stabilizer sequence is de-
termined by the order of FQ, as follows. Since Ft is the stabilizer of
the single vertex ao in the vertex-transitive group G, it follows that
\G : Ft\ = n = |VT|. Since G is transitive on 1-arcs, Ft acts transitively
on the k vertices adjacent to ao and Ft-\ is the stabilizer of the vertex
Qi in this action; consequently \Ft : Ft-i\ = k. Since G is transitive
on s-arcs (2 < s < t), the group Ft-s+i acts transitively on the k — 1
vertices adjacent to a s _i (other than a s _2), and F t _ s is the stabilizer
of the vertex as in this action; consequently |F<_S+1 : F t _ s | = k — 1 for
2 < s < t.
Thus we have
\G\=nk(k-l)t-1\F0\.
This confirms our earlier observations about Petersen's graph, where we
have t = 3 and |F 0 | = 1, so that |Fi| = 2, |F 2 | = 4, |F 3 | = 12 and
\G\ = 120.
We shall now explain how the properties of the stabilizer sequence can
be conveniently discussed in terms of the set {g\, gi,..., gi} of / = k — 1
automorphisms whose existence is guaranteed by Theorem 17.5. Define
an increasing sequence of subsets of G = Aut(F), denoted by {1} = YoC.
Yi C y 2 C . . . , as follows:
Yt = {g-'gl | a,b € {1,2,... ,1} and 1 < j < i}.
Proposition 17.7 (1) If 1 < i < t, then Yi is a subset of Fit but not
a subset o/Fj_i. (2) IfO<i< t, then Fj is the subgroup of G generated
by Yi and FQ.
Proof (1) For 1 < a < I, we have g^{<Uj) = Q-j+r provided that both
j and j + r lie between 0 and t. Also, <?£~-'+1(Q;j) — v^- I* follows
that gZ*§bfixesao, ot\,..., ctt-i for all j < i, and so Yi C F». If it were
true that Yi C Fj_i, then g^%g\ would fix at-i+i> but this means that
gla(at-i+i) — glb(at-i+i), that is v^ = v^bh Since this is false for a^b,
we have 1^ % Fj_i.
(2) Suppose / € Fi, and /[a] = ( a o , a i , • - • , a t - i , 7 i , • • • ,7»)- Pick any
Symmetric graphs 135
All members of the sets YQ, Y\,..., Yt fix the vertex a 0 and so belong
to Ft, the stabilizer of ao; further, we have shown that Ft is generated
by Yt and Fo. In the case of Yj+i, we note that this set contains some
automorphisms not fixing ao, and we may ask whether Yj+i and Fo
suffice to generate the entire automorphism group G. The following
proposition shows that the answer is ' y e s \ unless the graph is bipartite.
The reason why bipartite graphs are exceptional in this respect is that
if F is a symmetric bipartite graph in which VT is partitioned into
two colour-classes V\ and V2, then the automorphisms which fix V\ and
V2 setwise form a subgroup of index two in Aut(F). We say that this
subgroup preserves the bipartition.
Proposition 17.8 Let T be a t-transitive graph with t > 2 and girth
greater than 3. Let G* denote the subgroup of G = Aut(F) generated by
Yt+i and Fo. Then either (1) G* = G; or (2) F is bipartite, \G:G*\ = 2,
and G* is the subgroup of G preserving the bipartition.
Proof Let u be any vertex of F such that d(u, ao) = 2; we show
first that there is some g* in G* taking ao to u. Since the girth of
F is greater than 3, the vertices w(a) = #a +1 ("o) and u(6) = g£ +1 (a 0 )
satisfy d{v^a\v^) = 2. Consequently, the distance between ao and
t+1 +1
ga^ ^gl (cto) is also 2. Now G* contains Ft (since the latter is gen-
erated by Yt, which is a subset of Yt+i, and Fo), and Ft is transitive
on the 2-arcs which begin at a 0 (since t > 2). Thus G* contains
an automorphism / fixing ao and taking ga + 9b+1(ao) to u, and
g* = fga 9b+1 takes ao to u.
Let U denote the orbit of ao under the action of G*. U contains all
vertices whose distance from a 0 is two, and consequently all vertices
whose distance from a 0 is even. If U = VT, then G* is transitive on
VT, and since it contains Ft, the stabilizer of the vertex ao in (G*) is
Ft. Thus |G*| = |VT||F t | = \G\, and so G* = G. If U =£ V, then U
136 Symmetry and regularity
We remark that the only connected graphs of girth three whose auto-
morphism group is transitive on 2-arcs are the complete graphs. Thus
the girth constraint in Proposition 17.8 is not very restrictive.
In the next chapter we shall specialize the results of Propositions
17.7 and 17.8 to 3-regular graphs; our results will lead to very precise
information about the stabilizer sequence.
Additional Results
17a The significance of the condition t > 2 In 16d we observed that
the vertex-stabilizer Gv has a normal subgroup Lv such that Gv/Lv is
a group of permutations of the vertices adjacent to D. In the case of
a symmetric graph with t > 2 this group of permutations is doubly-
transitive. Since all doubly-transitive permutation groups are 'known',
this observation links the problem of classifying symmetric graphs with
the classification theorems of group theory. See also 17f and 17g.
jLjyyj J-JW
17c The full automorphism group of Kn^n It is clear that the graph
2
Kn^n has at least 2(n!) automorphisms. Simple arguments suffice to
show that there are no others, but, for the sake of example, we can use
17b. In this case the neighbourhood of an edge is the whole graph, so
Lvw = 1. It follows that
\G\ < 2n\Gv\ < 2nn\ (n - 1)! = 2 (n!)2.
Symmetric graphs 137
17e The stabilizer sequence for odd graphs The odd graphs Ok are
3-transitive, for all k > 3. The stabilizer sequence is
G = S2k-u F3 = SkxSk-i, F2 = Sk-i x Sk-i,
Fi = S*_i x Sk-2, Fo = Sk-2 x Sk-2-
17f Lvw is a p-group (Gardiner 1973) For any t-transitive graph with
t > 2 the edge-neighbourhood stabilizer Lvw is a p-group, for some prime
p. If t > 4 and the degree is p + 1 it follows that the order of a vertex-
stabilizer Gv is (p + l)pt~1m, where t = 4,5 or 7 and m is a divisor of
{p-lf.
17g There are no 8-transitive graphs Weiss (1983) extended the results
of Gardiner and others, and using the classification theorems of group
theory he showed that there are no finite graphs (apart from the cycles)
for which a group of automorphisms can act transitively on the £-arcs
for t > 8. 7-transitive graphs do exist: the smallest is a 4-regular graph
with 728 vertices [BCN, p. 222].
17h Symmetric cycles A cycle with vertices VQ, V\, ..., vi~\ in a graph
F is symmetric if there is an automorphism g of F such that g(vi) = Vi+i,
where the subscripts are taken modulo /. J.H. Conway observed that
in a symmetric graph of degree k the symmetric cycles fall into fc — 1
equivalence classes under the action of the automorphism group. The
details may be found in Biggs (1981a). For example, the two classes
in Petersen's graph contain 5-cycles and 6-cycles, and in general, the
classes in Ok have lengths 6,10,..., 4fc — 6 and 2k — 1.
18
In this chapter we shall use the traditional term cubic graph to denote
a simple, connected graph which is regular of degree three. As we shall
see, the theory of symmetric cubic graphs is full of strange delights.
Suppose that F is a t-transitive graph so that, by definition, Aut(F)
is transitive on the f-arcs of F but not transitive on the (t + l)-arcs of
F. The distinctive feature of the cubic case is that Aut(F) acts regularly
on the t-arcs.
Proposition 18.1 Let [a] be a t-arc in a cubic t-transitive graph T.
Then an automorphism of F which fixes [a] must be the identity.
Proof Suppose / is an automorphism fixing each vertex «0; «i> • • • > ®t-
If / is not the identity, then / does not fix all t-arcs in F. It follows
from Lemma 17.4 that there is some t-arc [/?] such that / fixes [/?],
but / does not fix both successors of [/?]. Clearly, if 0t-i,u^1\u^2') are
the vertices adjacent to /%, then / must interchange u^ and u^2\ Let
w ^ /?i be a vertex adjacent to /3o- Since F is t-transitive there is an
automorphism h € Aut(F) taking the t-arc (w, fio,..., f3t-i) to [/?], and
we may suppose the notation chosen so that h((3t) = u^ • Then h
and fh are automorphisms of F taking the (t + l)-arc [w.0\ to its two
successors, and, by Theorem 17.5, Aut(F) is transitive on (t + l)-arcs.
This contradicts our hypothesis, and so we must have / = 1. •
• . • /
[a]
-• • • •. • • •
92 [«1 N^ xo[a]
Proof We shall use the notation and results of Propositions 17.7 and
17.8. In the cubic case we have Fo = 1, and the set Yi consists of the
elements g^gi and their inverses g^ g\ for 1 < j < i.
(1) It follows from part (2) of Proposition 17.7 that Fi = (Fi). Now
140 Symmetry and regularity
/
5 (i
8 7
, /
4 ;s
Figure 14: the cube graph Q3.
51 = (1234)(5678), g2 = (123785)(46),
xo - (36)(45), X! = (16)(47), x2 =
In this case the graph is bipartite and G* = (aro,xi,X2) preserves the
bipartition
VQ3 = {1,3,5,7}U{2,4,6,8}.
It follows that \G : G*\ = 2.
Symmetric graphs of degree three 141
The main result on i-transitive cubic graphs is that there are no finite
examples with t > 5. The proof of this very important result is due to
Tutte (1947a), with later improvements by Sims (1967) and Djokovic
(1972). Following these authors we shall obtain the result as an alge-
braic consequence of the presentation of the stabilizer sequence given in
Proposition 18.2. A rather more streamlined proof, using 'geometrical'
arguments to replace some of the algebraic calculations, has been given
by Weiss (1974).
We shall suppose that t > 4, as this assumption helps to avoid vacuous
statements. We observe that each generator Xi (i > 0) is an involution,
and that each element of Fi (1 < i < t — 1) has a unique expression in
the form
xpxa ... xT, where 0<p<a<...<T<i — 1,
where we allow the empty set of subscripts to represent the identity
element. The uniqueness of the expression is a consequence of the fact
that there are 2l such expressions, and \Fi\ = 2l for 1 < i < t — 1.
The key idea is to determine which stabilizers are abelian and which
are non-abelian. It is immediate that Fi and F2 are abelian, since |Fi | =
2 and (i^t = 4. Let A denote the largest natural number such that F\
is abelian.
Proposition 18.3 Ift > 4, then 2 < A < \{t + 2).
Proof We have already remarked that A > 2. Suppose that F\ =
(XQ,...,XX-I) is abelian, so that its conjugate g~t+x~1F\gt~x+1, that
is (xt-\+i,- • • ,xt), is also abelian. If
A - l > £ - A + l,
then both these groups contain ZA-I, and together they generate G*;
hence ZA-I commutes with every element of G*. Now g2 e G* (since
g e G and \G : G*\ < 2) and so
ZA-I = 9~2xx~i92 = x\+i,
whence x0 = X2- This is false, given t > 4, since IF3I > |F 2 |, and so we
must have
A-l<i-A+l, that is A < - ( < + 2),
as claimed. D
The result follows from the fact that F\ = (xo, • • •, XA-I) is the largest
abelian stabilizer.
(2) If the non-identity element x of Fj is written in the form
with x^+x, since /J, < A — 1. Hence we have the following calculation:
1
[xo,xx][xo, O;M
= [Xo,Xx].
This implies that xM+.\ commutes with [xo,xx] = x^.-.Xv But this
is false, since X^+A does not commute with £M but does commute with
any other term in the expression for [xo>£.\]- Thus our hypothesis was
wrong, and /i. + A > t — 1.
(2) If 2A - u < t — 2, then using arguments parallel to those in (1), we
may prove that [x2\-v,Xo] commutes with xx-u and with [xx-v,X2\-v]\
also Xx-v commutes with xo, since v > 1. A calculation like that in (1)
then implies that XQ commutes with
[x\-v, X2\-u] = Xp+X-v • • • Xx,
which is false. Hence 2A — is >t — 1. •
adjacent to ai are ao,a2 and £5(0:2), and since XQ fixes ao,ai and a 2
it must fix x^(a2) also. Consequently XQ fixes the whole 7-arc [0], and
this contradicts Proposition 18.1. Hence t = 7 cannot occur. •
18b The sextet graphs (Biggs and Hoare 1983) Let q be an odd prime
power. Define a duet to be an unordered pair of points ab on the pro-
jective line PG(l,q) = GF(q) U {oo}, and a quartet to be an unordered
pair of duets {ab | cd} such that the cross-ratio
^
(a - d)(b - c)
(The usual conventions about oo apply here.) A sextet is an unordered
triple of duets {ab | cd | ef} such that each of {ab | cd}, {cd \ ef} and
{ef | ab} is a quartet. There are q(q2 — l)/24 sextets if q = 1 (mod 4),
and none if q = 3 (mod 4).
When q = 1 (mod 8) it is possible to define 'adjacency' of sextets
in such a way that each sextet is adjacent to three others. Thus we
obtain a regular graph T,(q) of degree 3, whose components £o(<?) are all
isomorphic. The sextet graph S(p) is defined to be £o(p) if p = 1 (mod
8) and T,0(p2) if p = 3,5,7 (mod 8).
The sextet graphs S(p) so defined form an infinite family of cubic
graphs, one for each odd prime p. The graph S(p) is 5-transitive when
p = 3 or 5 (mod 8), and 4-transitive otherwise. The order of S(p)
depends on the congruence class of p modulo 16, as follows:
n = —pip2 — 1) when p = 1,15 (mod 16);
18c Conway 's presentations and the seven types Given an arbitrary t-
arc [a], let a and b denote the automorphisms taking [a] to its successors
(so a = pi and b = g2 in the notation described at the beginning of this
chapter). Also, let a be the automorphism which reverses [a]; that is,
o-(cti) = at-i (0<i< t).
Since we know that Aut(f) acts regularly on the i-arcs, it follows that
a2 is the identity and aacr is either a" 1 or 6" 1 . We denote the case when
cracr = a" 1 by t+ and the case when aaa = b~1 by t~. It turns out that
the t+ case can occur only when t = 2,3,4,5 and the t~ case only when
t = l,2,4.
In each of the cases it can be shown, by analysis of the action of
146 Symmetry and regularity
18d Finite cubic graphs and groups Any group acting regularly on the
i-arcs of a finite cubic graph F is a quotient of one of the seven groups in
18c. The quotient is defined by adding relations which represent cycles
in T, a cycle of length I in T corresponding to a word of length I in a and
b which represents the identity. For example, adding the relation a4 — 1
to the relations for G j defines a group G^ia4). This is the group of the
cube Qs, as can be verified by showing that the permutations
o = (1234)(5678), b = (123785)(46), a = (13)(57),
satisfy the defining relations for G^ia4) and represent automorphisms
of Qz acting in the prescribed way on the 2-arc (1,2,3) (see Figure 14).
18g Symmetric Y and H graphs Let Y and H denote the trees whose
pictorial representations correspond to the respective letters. Both of
these trees have vertices of degree 1 (leaves) and 3 only. Given any such
tree T we can form an expansion of T by taking a number n of disjoint
copies of T and joining each set of corresponding leaves by a cycle of
length n; each cycle has a constant 'step', and different cycles will in
general have different steps. For example, when T = K2, we get the
graphs P(n, t) described in 15e by joining one set of leaves with step 1
and the other set with step t.
Clearly an expansion of T is a cubic graph. The result quoted in 15e
implies that only seven expansions of K2 are symmetric. Horton and
Bouwer (1991) showed that there are only six other expansions which
are symmetric. Four of them are expansions of Y: n = 7, steps 1,2,4;
n = 14, steps 1,3,5; n = 28, steps 1,3,9; n = 56, steps 1,9,25. The
other two are expansions of H: n = 17, steps 1,2,4,8; and n — 34, steps
1,9,13,15.
18h Foster's census of symmetric cubic graphs (More details and bibli-
ographical references relating to the following sketch are given by Bouwer
(1988).) In 1920 two electrical engineers, G.A. Campbell and R.M. Fos-
ter, wrote a paper in which the graph ^3,3 was used in the context of
'telephone substation and repeater circuits'. Twelve years later Foster
published drawings of nine symmetric cubic graphs. He continued to
work on the subject, and in 1966 he spoke at a conference at the Uni-
versity of Waterloo, where he distributed a mimeographed list of such
graphs with up to 400 vertices. In 1988, when Foster was just 92, Bouwer
and his colleagues published Foster's census for graphs with up to 512
vertices. Remarkably, only five graphs (out of 198) are known to have
been missed by Foster, and workers in this field are convinced that there
can be very few others, if any.
The graphs with n < 30 vertices are as follows.
148 Symmetry and regularity
18i All 5-transitive cubic graphs with less than 5000 vertices Coset
enumerations based on the Conway presentations and other techniques
have established that the following list of 5-transitive cubic graphs with
n < 5000 vertices is 'almost certainly' complete.
n - 30: the sextet graph 5(3), group G£(a8);
n = 90: a threefold cover of 5(3) (see 19c), group G£ (610);
n — 234: the graph described in 18a, group Gg"(a13);
n — 468: a double covering of the previous graph, group G$(b12);
n = 650: the sextet graph 5(5), group G£(a12);
n = 2352: a graph to be described in 19e, group Gg"(a14);
n = 4704: a double covering of the previous graph, group G$((ab)8).
r f
Figure 15: Q3 as a double covering of K4.
ST K
ST -1+ K
Proposition 19.3 Suppose that T is a graph whose automorphism
group G = Aut(F) acts as a group of automorphisms of a group K.
Suppose further that there is a K-chain <f> onT which is compatible with
the actions of G on K and ST. Then the semi-direct product KxG is a
group of automorphisms of the covering graph T = T(K, <f>).
The covering graph construction 151
The usefulness of the covering graph construction lies in the fact that
a much stronger version of Proposition 19.3 is true.
Proposition 19.4 With the notation and hypotheses of Proposition
19.3, suppose also that G is transitive on the t-arcs ofT. Then KxG is
transitive on the t-arcs ofF.
Proof ^ Let ((KO,VQ), ..., (Kt,vt)) and ((K'O,V'O), ..., («J>ut)) b e t w o l~
arcs in F. Then (vo,.. •, vt) and (v'o,..., v't) are f-arcs in F, and so there
is some g in G such that g(vi) = v\ (0 < i < t). Suppose we choose
K* in K such that (n*,g) takes (KO,VQ) to (K'O,V'O); that is, we choose
K* = KQI^KQ))"1 . Then we claim that (n*,g) takes {ni,Vi) to (K^,^)
foralH€{0,l,...,0-
The claim is true when i = 0, and we make the inductive hypothesis
that it is true when i — j - 1, so that
(«j-_i,uj_i) = (K*,5)(KJ_I,VJ_I) = {^giKj^givj-i)).
Since (KJ,VJ) is adjacent to (K,J-I,VJ-I) we have Kj — KJ-I4>(VJ-I,VJ),
and the corresponding equation holds for the primed symbols as well.
Thus:
are the vertices of a cycle in F, with edges e^ = {UJ_I, Ui} , then we have
the following path in F o :
(l,v), (ei,ux), (eie2,u2), . . . , ( e i e 2 .. -et,v).
Conversely, the vertex (n, v) is in Fo only if « represents the edges of a
cycle in F. Since there are s(F) independent cycles in F, there are 2S^
elements K in K such that (K, V) is in Fo- It follows that Fo has 2s^r-* | VT
vertices; further, F is vertex-transitive and so each component has this
number of vertices. Finally, since
|VT | = \K\\VT\ = 2 l E r | | F F | and r(F) + s(F) = |JET|,
there must be 2 r ^ r ' components. D
Additional Results
19e A 5-transitive cubic graph with 2352 vertices The simplest case
of 19d is when F = 5(7), a graph with 14 vertices also known as the
Heawood graph. In this case both F and its 5-transitive covering graph F
with 2352 vertices can be constructed directly in terms of the seven-point
plane PG(2,2) (Biggs 1982a).
19f Conway generators for the covering graph Let a be the Conway
generator for the t-transitive group G of F, with respect to the i-arc
[a], and suppose <>/ is a compatible if-chain. Then the corresponding
generator a for the group KxG of T(K, <j>) is (A, a), where A = </>(c*o, oi\).
Distance-transitive graphs
For the intersection numbers SUJ which are not identically zero we
shall use the notation
C
J= 8
l,j-l,j a
3 — sl,j,j> fy = Sij+itj,
where 0 < j < d, and it is convenient to leave c$ and bd undefined.
The numbers Cj,aj, bj have the following simple interpretation in terms
of the diagrammatic representation of F introduced at the beginning of
this chapter. If we pick an arbitrary vertex v and a vertex u in Tj(v),
then u is adjacent to Cj vertices in Tj-i(v),aj vertices in Tj(v), and bj
vertices in Fj + i (y). These numbers are independent of u and v, provided
that d(u, v) = j .
Definition 20.3 The intersection array of a distance-transitive graph
is
{ *
a0 ai ... a, ...
Ci
bo bi . . . bj . . .
... Cj ...
* 1 2 3
t(Q3) = { 0 0 0 0
3 2 1 *
Figure 17: Qz as a distance-transitive graph.
!
0 t-2 2*-8
2f - 4 t - 3 *
Many other distance-transitive graphs will be described in the following
chapters.
Denote by ki (0 < i < d) the number of vertices in Fj(u) for any
vertex v; in particular &o = 1 and k\ = k.
Proposition 20.4 Let T be a distance-transitive graph whose intersec-
tion array is {k,b\,... ,bd-i; 1,C2,... ,Cd}. Then we have the following
equations and inequalities:
(1) ki^lH-i = ha (1 < i < d).
(2) 1 < c2 < c3 < . . . < cd.
(3) k>h >b2 >...>bd-i.
Proof (1) For any v in VT, there are fcj_i vertices in Fi-i(v) and each
is joined to 6j_i vertices in Fi(v). Also there are &j vertices in Ti(v) and
each is joined to Cj vertices in Fj_i(i;). Thus the number of edges with
one end in Fi_i(t;) and one end in Fi(v) is fc;_i&t_i = kiCi.
(2) Suppose u is in Ti+i(v) (1 < i < d - 1). Pick a path v,x,...,u of
length i + l; then d(x,u) —i. liw is in Fi_i(a;)nr 1 (u), then d(v,w) = i,
and so w is in Fi(v) n Fi(u). It follows that
Ci = tri_i(a;) n Fi(u)| < |Fi(t;) n Ti(u)\ = ci+1.
(3) This is proved by an argument analogous to that used in (2). •
j=o
Proof We prove both parts in one argument. Since {A o , A 1 ; . . . ,
is a basis for A(T), the product A^Aj is a linear combination
Now
rs — Shi(vr,vs),
and there is just one member of the basis whose (r, s)-entry is 1: it
is that Aj for which d(vr,vs) = j . Thus Shi(vr,vs) = thij, and so
Distance-transitive graphs 161
At this point a few historical remarks are in order. The theory which
underlies our treatment of the adjacency algebra of a distance-regular
graph was developed in two quite different contexts. First, the associ-
ation schemes used by Bose in the statistical design of experiments led
to an association algebra (Bose and Mesner 1959), which corresponds
to our adjacency algebra. Bose and others also studied strongly regular
graphs which, as we have noted, are just distance-regular graphs with
diameter 2. Secondly, the work of Schur (1933) and Wielandt (1964) on
the commuting algebra, or centralizer ring, of a permutation group, cul-
minated in the paper of Higman (1967) which employs graph-theoretic
ideas very closely related to those of this chapter. The discovery of
sporadic simple groups as the automorphism groups of strongly regu-
lar graphs (for example by Higman and Sims (1968)) gave a powerful
impetus to work in this area. The formulation in terms of the proper-
ties of distance-transitivity and distance-regularity was developed by the
present author and some of his colleagues in the years 1969-1973, and
a consolidated account appeared in the first edition of this book (1974).
In the last twenty years an extensive literature has been accumulating.
The reader is referred to the now-standard text of Brouwer, Cohen and
Neumaier [BCN], which admirably covers the state of the art up to 1989,
and contains a bibliography of 800 items.
Additional Results
20a The cube graphs Thefc-cube,Qk, is the graph defined as follows:
the vertices of Qk are the 2fc symbols (ei,C2, • • • ,Cfc), where e* = 0 or
1 (1 < i < A:), and two vertices are adjacent when the symbols differ
in exactly one coordinate. The graph Qk (k > 2) is distance-transitive,
with degree k and diameter k, and the intersection array is
~\ K ^ tv "™ J. j K ™" Z j • . • j i } 1 ] Z ) O ) « • • J / C J .
20b The odd graphs yet again The odd graphs Ok (k > 2) are distance-
transitive, with degree k and diameter k — 1. The intersection array, in
the cases k = 21 — 1 and k = 21 respectively, is
{21 - 1,21 - 2,21 - 2,... ,1 + 1,1 + 1,1; 1,1,2,2,... ,1 - 1,1 - 1},
20h The classification problem for DT and DR graphs For each k > 3
there are only finitely many DT graphs with degree k. This has been
proved in several ways: see Cameron (1982) and Weiss (1985), for ex-
ample. For DR graphs the result has been established only in the case
fc = 3 (Biggs, Boshier and Shawe-Taylor (1986); see 21i).
For the general DR case the problem is to find an upper bound for
the diameter d in terms of fc. Such a result could be regarded as a
strengthening of the monotonicity conditions (2) and (3) of Proposition
20.4, in which we seek to bound the number of repeated values among
the columns (c,, ai,bi) of the intersection array. An important result on
these lines was obtained by Ivanov (1983).
21
• • cd
• a dA
We shall often write B for Bi, and refer to B as the intersection matrix
of F. Note that it is just another way of writing the intersection array.
Now, since the matrices Bj are images of the matrices Ai under a faithful
representation, the equation obtained in Lemma 20.6 carries over:
BBi = 6i-iBi_i + aiBi + c i + i B i + 1 (1 < i < d - 1).
Consequently each B, is a polynomial in B with coefficients which de-
pend only on the entries of B. It follows from this (in theory) that A(T)
and the spectrum of F are determined by B, which in turn is determined
by the intersection array t(F). We shall now give an explicit demonstra-
tion of this fact.
Proposition 21.2 Let T be a distance-regular graph with degree k and
diameter d. Then V has d+1 distinct eigenvalues k — \Q, AI, ..., A^,
which are the eigenvalues of the intersection matrix B.
166 Symmetry and regularity
Lemma 21.3 Suppose that m and Vj are standard left and right eigen-
vectors corresponding to the eigenvalue Aj o / B . Then (VJ)J = kj(\ii)j,
for alii, je {0,1,...,d}.
Proof Each eigenvalue of B is simple, and so there is a one-dimensional
space of corresponding eigenvectors. It follows that there are unique
standard eigenvectors u* and v*. (If (u,)o or (vi) 0 were zero, then the
tridiagonal form of B would imply that u» = 0, Vj = 0.)
Let K denote the diagonal matrix with diagonal entriesfco,fci,• . . , fe^.
Using the equations bi-ik^i = c,fcj (2 < i < d) we may check that B K
Feasibility of intersection arrays 167
Our main result is that the inner product with i = I determines the
multiplicity m(Aj).
Theorem 21.4 With the notation above, the multiplicity of the eigen-
value Aj of a distance-regular graph with n vertices is
^) io<i<d)
Proof For i = 0 , 1 , . . . , d define
d
3=0
We can calculate the trace of Lj in two ways. First, the trace of Aj is
zero (j 7^ 0), and A o = I, so that
tr(L4) = (u i ) o tr(I) = n.
On the other hand, since Aj = u,-(A), the eigenvalues of Aj are Vj(X0),
..., Vj(Xd), with multiplicities m(A 0 ),..., m(X<i); consequently the trace
of Aj is £m(Aj)uj(A0- Thus
n
3
For example, consider the array {3,2,1; 1,1,3} which, as we have al-
ready noted, satisfies the first three conditions. The eigenvalues of B
are 3 , - 1 and the roots of the quadratic equation A2 + A — 3 = 0. If
0 is one of the quadratic eigenvalues the corresponding eigenvector is
[1,0,-0,-1]*, and the 'multiplicity' is
12
/ ( l + J + J + I) = 24/(3 + °2) = 24/(6 " 0)'
which is clearly not an integer. Thus there is no graph with the given
array.
For a positive example, consider the array {2r,r — 1; 1,4} (r > 2),
for which the corresponding B matrix is
0 1 0
2r r 4
0 r - 1 2r - 4
It is easy to verify that k = 2r, k2 = \r{r - 1), n = \{r + l)(r + 2), so
that conditions (1), (2) and (3) of Definition 21.5 are fulfilled.
Feasibility of intersection arrays 169
m(Ai) n
(ui, 1 + (r - 2) 2 /2r + (1 - r)2/\r{r - 1)
m(A2) = r 1
1 / i r ( r _ 1 N = 2~( ~
r
)(
(u 2 ,v 2 ) 1-
Since these values are integers, condition (4) is satisfied and the array is
feasible. In fact the array is realized by the triangle graph A r+ 2, as we
noted in Chapter 20. (The eigenvalues and multiplicities of this graph
were found in a different way in Chapter 3.)
Another example is the graph S representing the 27 lines on a cubic
surface (Chapter 8, p. 57). This is a distance-regular graph with diam-
eter 2 and intersection array {16,5; 1,8}, from which we may calculate
the spectrum:
_ _ / 1 6 4 -2s
Spec £ = ^ x 6 2 0
These examples have diameter 2, and so they are strongly regular
graphs. In that case the multiplicities can also be obtained by more
elementary methods (see 3d). But for a general distance-regular graph
the multiplicity formula is invaluable.
Additional Results
21a The spectra o/Qk and the Hamming graphs The eigenvalues of the
fc-cube Qk are A» = k - 2i (0 < i < k), with multiplicities m(Xi) - (*).
The fc-cube is the case q = 2 of the Hamming graph H(d,q), whose
vertices are the qd d-vectors with elements in a set of size q, two being
adjacent when they differ in just one coordinate. The graph H(d, q) is
distance-transitive, with intersection array
{d(q-l),(d-l)(q-l),...,(q-l); 1,2,..., d}.
The eigenvalues are d(q - 1) - qi, i = 0,1,...,d with multiplicities
(d\(q — 1)\ The intersection array determines the Hamming graph
H(d, q) uniquely, except when q = 4; in that case there are other graphs
with the same intersection array [BCN, p. 262].
170 Symmetry and regularity
=E-( r=0
21f An array which is not realisable The array {9,8; 1,4} is feasible
in the sense of Definition 21.5. We have
However the Krein condition g222 > 0, in the notation of 21e, does not
hold. An elementary proof that this array is not realisable was given by
Biggs (1970).
21k Sporadic groups and graphs Several of the sporadic simple groups
can be represented as the automorphism group of a distance-transitive
graph. A typical example is the distance-transitive graph with 266 ver-
tices which has degree 11, diameter 4, and intersection array {11,10,6,1;
1,1,5,11}. The automorphism group of this graph is Janko's simple
group of order 175 560. As usual, the reader should consult [BCN] for a
full account.
Imprimitivity
For the rest of this chapter we use the symbol d' to denote the largest
even integer not exceeding d.
Imprimitivity 175
(Figure 18). But then ^(1*3) contains the adjacent vertices v\ and z,
and if h is an automorphism of F taking u to v3, h(Bb(u)) is a block
containing adjacent vertices, again contradicting Proposition 22.1. Thus
we must have d = 2. •
We shall now show that graphs which have blocks of type Ba (u) can
also be given a simple graph-theoretical characterization.
Definition 22.6 A graph of diameter d is said to be antipodal if,
for any vertices u, v, w such that d(u, v) = d(u, w) = d, it follows that
d(v, w) = d or v = w.
The cubes Qk are trivially antipodal, since every vertex has a unique
vertex at maximum distance from it; these graphs are at the same time
bipartite. The dodecahedron is also trivially antipodal, but it is not
bipartite. Examples of graphs which are non-trivially antipodal and not
bipartite are the complete tripartite graphs Kr>rir, which have diameter
2, and the line graph of Petersen's graph, which has diameter 3.
Proposition 22.7 A distance-transitive graph F of diameter d has a
block Ba(u) = {u} U r<i(u) if and only ifT is antipodal.
Proof Suppose F is antipodal. Then if x is in Ba(u), it follows that
Ba(u) = {x} U Td(x) = Ba(x). Consequently, if g is any automorphism
of F, and z is in Ba(u) r\g(Ba(u)) then
Ba(u) = {z}uTd(z)=g(Ba(u)),
so that Ba{u) is a block.
Conversely, suppose Ba(u) is a block, and v,w belong to F^u) (v ^
w). Let d{v,w) = j (1 < j < d), and let h be any automorphism
of F such that h(v) — u. Then h(w) is in Fj(w). Also h(w) belongs
to h(Ba(u)) — Ba(u), since h{Ba(u)) intersects Ba(u) (u is in both
sets) and Ba(u) is a block. This is impossible for 1 < j < d, so that
d(v, w) — d, and F is antipodal.
Theorem 22.8 (Smith 1971) An imprimitive distance-transitive graph
with degree k > 3 is either bipartite or antipodal. (Both possibilities can
occur in the same graph.)
Proof A non-trivial block is either of the type Ba(u) or Bb{u). In the
case of a block of type Bb(u), Proposition 22.5 tells us that either the
graph is bipartite, or its diameter is less than 3. If the diameter is 1,
then the graph is complete, and consequently primitive. If the diameter
is 2, a block of type Bb(u) is also of type Ba(u). Consequently, if the
graph is not bipartite, it must be antipodal. •
Additional Results
22a The derived graph of an antipodal graph Let F be a distance-
transitive antipodal graph, with degree k and diameter d > 2. Define
the derived graph F' by taking the vertices of F' to be the blocks {u} U
Td(u) in F, two blocks being joined in F' whenever they contain adjacent
vertices of F. Then F' is a distance-transitive graph with degree k and
diameter equal to [d/2j (Smith 1971).
22b The icosahedron and the dodecahedron The icosahedron / and the
dodecahedron D are distance-transitive with
i(I) = {5,2,1; 1,2,5}; i(D) = {3,2,1,1,1; 1,1,1,2,3}.
Both graphs are antipodal, and the derived graphs are K6 and O3.
22c The intersection array of an antipodal covering We can look at
the construction in 22a from the opposite point of view, as follows. A
distance-regular graph F is an antipodal r-fold covering of the distance-
regular graph F if F is antipodal, its derived graph is F, and |VF| =
r|VT|. It turns out that the intersection array of F is related to the
intersection array {k, b\,..., 6^-1; 1,C2,...,Cd} of F in one of two ways.
Either (i) F has even diameter 2d > 2 and
Imprimitivity 179
or (ii) F has odd diameter Id + 1 and, for some positive integer t such
that (r — l)t < min(6<j_i,a(j) and cd < t, we have
t(f) = {k, &!,..., &d_i, (r - lji.cj.cd-i, •. •, c 2 ,1;
l , c 2 , . . . ,Cd,t,bd-i, ••• ,bi,k}.
Clearly, the total number of possibilities is finite, and r < k in any case.
22d Antipodal coverings of Kk,k Let F be a distance-regular graph
which is an antipodal r-fold covering of Kk,k- Then it follows from 22c
that r must divide k, and if rt — k the intersection array for F is
{k,k - l,k - t,l;l,t,k - l,k}.
This array is feasible (provided that r divides k) and the spectrum of F
Proof (1) Suppose that F is a graph with degree k and girth g = 2d+l,
and let (u, v) be any pair of vertices such that d(u, v) = j (1 < j < d).
The number of vertices in Tj^i(v) adjacent to u is 1, otherwise we
should have a cycle of length at most 2j < 2d + 1 in F. Using the
standard notation (Definition 20.5) we have shown the existence of the
numbers c\ = l,...,Cd = 1. Similarly, if 1 < j < d, then there are
no vertices in Tj(v) adjacent to u, otherwise we should have a cycle of
length at most 2j + l < 2cf+l. This means that a,j = 0 and consequently
bj = k — aj — Cj = k — 1, for 1 < j < d. It follows that the diameter of
F is at least d, and that F has at least no(k, g) vertices. If F has just
n
o{k,g) vertices, its diameter must be precisely d, which implies that
a<j = 0, and F has the stated intersection array.
(2) In this case the argument proceeds as in (1), except that c<j may
be greater than one. Now the recurrence for the numbers ki = |Fj(v)|
shows that kd is smallest when a = k; if this is so, then F has at least
no(k,g) vertices. If F has exactly no(fc, g) vertices, then its diameter is
d, and it has the stated intersection array. The form of this array shows
that F has no odd cycles, and so it is bipartite. •
Definition 23.2 A graph with degree k, girth g, and such that there
are no smaller graphs with the same degree and girth, is called a (k, g)-
cage. A (k,g)-cage with no(k,g) vertices is said to be a Moore graph if
g is odd, and a generalized polygon graph if g is even. (The reasons for
the apparently bizarre terminology are historical, and may be found in
the references given below.)
We have already remarked that a (k, g)-cage exists for all k > 3 and
g > 3. For example, Petersen's graph O3 is the unique (3,5)-cage: it
has 10 vertices and no(3,5) = 10, so it is a Moore graph. On the other
hand, the unique (3,7)-cage has 24 vertices (see 23c) and no(3,7) = 22,
so there is no Moore graph in this case. The main result of this chapter
is that Moore graphs and generalized polygon graphs are very rare.
In the cases g = 3 and g — 4 the intersection arrays in question are
{fc;l} and {fc,fc-l;l,jfc}
and these are feasible for all k > 3. It is very easy to see that each
array has a unique realisation - the complete graph K^+i and the com-
plete bipartite graph Kkik, respectively. Thus, when g = 3 we have a
unique Moore graph Kk+i, and when g = 4 we have a unique generalized
polygon graph Kk,k-
When g > 5 the problem is much more subtle, both in the technical
details and in the nature of the solution. The results are due to a number
182 Symmetry and regularity
kq1 sin a
= (2hksin2a)~1(E + Fcos2ia + Gsin2ia) (1 < i < d),
where we have written
h = q =fc— 1, E = (h +1) — 2/icos2a,
184 Symmetry and regularity
) .
)
* 7
Proof In the case of even girth, c = k and we know that A = 2q cos a
is an eigenvalue if and only if sin da = 0. In this case the expression for
J2kiUi(\)2 becomes
1 + (2/ifc sin2 a)-l[dE + hk'1 (E + F)} = (2hk sin2 a^dE.
On putting 2d = g, A = 2qcosa this leads to the formula given.
In the case of odd girth, c = 1, and we know that A = 2gcosa is an
eigenvalue if and only if
qsin(d+ l)a + sin da = 0.
From this equation we have
—osina —osina
tan da = 1 + q cos a; sin da =
We are now ready for the main theorem, which is the result of the
combined efforts of the mathematicians mentioned earlier in this chapter.
Minimal regular graphs with given girth 185
m(Ajj
~ g \k*-Xj)-
If m(Aj) is a positive integer, Af is rational, which means that cos27r/d
is rational. But it is well known (see for example, Irrational Numbers by
I. Niven (Wiley, 1956), p. 37) that this is so if and only if d G {2,3,4,6}.
The case when g is odd presents more problems. We shall deal with
g = 5 and g = 7 separately, and then dispose of g > 9. Suppose g = 5.
Then the characteristic equation
g sin 3a + sin 2a = 0
reduces, in terms of A = 2qcosa, to A2 + A — (k — 1) = 0. Thus there
are two eigenvalues Ai = |(—1 + >/D) and A2 = \{—1 — VAD)! where
Z? = 4fc — 3. We have n = 1 + k2 and putting this in the formula for
m(A) we get
m _ (fc + fc3)(4fc-4-A2)
W
(Jfe-A)(6*-2 + 5A)'
If v^D is irrational, we multiply out the expression above, substitute
A = \ ( - 1 ± V^D) and equate the coefficients of v^D. This gives 5m + /c —
2 = k + k3, where m = m(Ai) = m(A2). But there are three eigenvalues
in all: k, Ai, A2 with multiplicities 1,m,m; hence 1 + 2m = n = 1 + k2.
Thus 5fc2 — 4 = 2k3, which has no solution for A; > 3. Consequently VD
must be rational, s = y/~D, say. Then k = \(s2 + 3 ) and substituting for
Ai and k in terms of s in the expression for mi = m(Ai) we obtain the
following polynomial equation in s:
s5 + s4 + 6s 3 - 2s 2 + (9 - mi)s - 15 = 0.
It follows that s must be a divisor of 15, and the possibilities are s =
1,3,5,15, giving k = 1,3,5,57. The first possibility is clearly absurd,
but the three others do lead to feasible intersection arrays.
Suppose g = 7. Then the characteristic equation
q sin 4a + sin 3a = 0
reduces, in terms of A = 2qcosa, to A3 + A2 — 2(k-l)X-(k-l) = 0. This
equation has no rational roots (and consequently no integral roots), since
we may write it in the form k — 1 = A2(A + 1)/(2A + 1 ) , and if any prime
186 Symmetry and regularity
In a similar way it can be shown that dw < ad < u>(d + l/2g), and
0 < 2q cos duj — 2q cos ad < us2.
Adding the two inequalities, and noting that
Ai = 2qcosa\, \d = 2qcosad, cosdu =—cosui,
we have
-9w 2 /4 < Ai + Xd < 0.
2 2 2 2 2
Now w = ?r /(d + I) < TT /5 < 4/9, so - 1 < Ai + Xd < 0, as
promised.
To show that the eigenvalues must be integers we note first that since
the characteristic equation is monic with integer coefficients, the eigen-
values are algebraic integers. The formula for m(X) is the quotient of
two quadratic expressions in A, and so m(X) is integral only if A is, at
worst, a quadratic irrational. Suppose A is a quadratic irrational. Then
R(X) = gm(X)/nk = (4ft - X2)/(k - X)(f + A)
Minimal regular graphs with given girth 187
Additional Results
23a Moore graphs and generalized polygon graphs with degree 3 In the
case k = 3, the Moore graphs of girth 3 and girth 5 (K4 and O3) exist and
are unique. There are no other Moore graphs of degree 3, by Theorem
23.6. The generalized polygon graphs of girth 4, 6, 8 and 12 exist and
are unique. They are ^3,3, Heawood's graph 5(7), Tutte's graph Cl, and
the incidence graph of the unique generalized hexagon with 63 points
and 63 lines (see 23b).
23c Cages with degree 3 and g < 12 All cases except g = 7,9,10 and 11
have been covered above. In these cases we know from the general theory
that a (3, <7)-cage must have more than no(3, g) vertices. The (3,7)-cage
is a graph with 24 vertices, and it is unique; details are given by Tutte
(1966). There are numerous (3,9)-cages; they have 58 vertices and the
first one was found by Biggs and Hoare (1980). The fact that no smaller
graph has degree 3 and girth 9 is the result of a computer search by
B. McKay. There are three (3,10)-cages; they have 70 vertices (O'Keefe
and Wong 1980). The size of the (3, ll)-cage is as yet unknown. Since
it is not a Moore graph it must have at least 96 vertices; the smallest
known graph with degree 3 and girth 11 has 112 vertices.
23e Cages of girth 5 with 4 < k < 6 In these cases we know that a cage
is not a Moore graph. There is a unique (4,5)-cage with 19 vertices, due
to Robertson (1964). There are several (5,5)-cages having 30 vertices;
see [BCN, p. 210]. There is a unique (6,5)-cage (O'Keefe and Wong
1979); it has 40 vertices and it is the induced subgraph obtained by
deleting the vertices of a Petersen graph from the Hoffman-Singleton
graph.
23f Cages of girth 6 Recall (4d) that the excess of a fc-regular graph
with n vertices and girth g is e = n — no(k,g). Biggs and Ito (1980)
showed that, for small values of e, a fc-regular graph with girth 6 and
excess e = 2(77 — 1) is an 77-fold covering of the incidence graph of a
symmetric (u,fc,77)-design.
When 77 = 1 such a design is a projective plane, and we have the
generalized polygon graph as discussed above. When 77 = 2 such a
design is called a biplane. In this case it can be shown that a necessary
condition for the existence of a graph is that either k or k — 2 must be
a perfect square (see Biggs 1981b). Such graphs with k = 3 and k = A
do exist, but they they are not (k, 6)-cages, because for these values of k
there is a generalized polygon graph. The first significant case is k = 11,
because here it is now known that there is no projective plane, so the
190 Symmetry and regularity
23g Families of graphs with large girth Graphs with small excess are
very special, and we therefore adopt a wider definition of what is 'inter-
esting' in this context. Let {F r } be a family of fc-regular graphs such
that F r has nr vertices and girth gr. We say that the family has large
girth if nr and gr both tend to infinity as r —• 00, in such a way that
Cameron, P.J., J.M. Goethals, J.J. Seidel, E.E. Shult (1976). Line
graphs, root systems, and elliptic geometry, J. Algebra 43, 305-327.
[18,22]
Cayley, A (1878). On theory of groups, Proc. London Math. Soc. 9,
126-133. [122]
Cayley, A. (1889). A theorem on trees, Quart. J. Math. 23, 376-378.
{Collected papers, 13, 2628). [39]
Chang, S. (1959). The uniqueness and nonuniqueness of the triangular
association scheme, Sci. Record 3, 604-613. [21]
Chung, F-K. (1989). Diameters and eigenvalues, J. Amer. Math. Soc.
2, 187-196. [22]
Collatz, L. and U. Sinogowitz (1957) Spektren endlicher Grafen, Abh.
Math. Sem. Univ. Hamburg 2 1, 63-77 [12]
Conder, M. (1987). A new 5-arc-transitive cubic graph, J. Graph Theory
11, 303-307. [148]
Conder, M. and P. Lorimer (1989). Automorphism groups of symmetric
graphs of valency 3, JCT(B) 47, 60-72. [128,146]
Coulson, C.A. and G.S. Rushbrooke (1940). Note on the method of
molecular orbitals, Proc. Camb. Philos. Soc. 36, 193-200. [11]
Coxeter, H.S.M. (1950). Self-dual configurations and regular graphs,
Bull. Amer. Math. Soc. 59, 413-455. [153,154]
Crapo, H.H. (1967). A higher invariant for matroids, JCT 2, 406-417.
[107]
Crapo, H.H. (1969). The Tutte polynomial, Aeq. Math. 3, 211-229.
[102,104]
Cvetkovic, D.M. (1972). Chromatic number and the spectrum of a
graph, Publ. Inst. Math. (Beograd) 14, 25-38. [57]
Cvetkovic, D.M. and P. Rowlinson (1988). Further properties of graph
angles, Scientia A: Math. Sci. 1, 41-51. [51]
Damerell, R.M. (1973). On Moore graphs, Proc. Cambridge Philos.
Soc. 74, 227-236. [160,182]
Delsarte, P. (1973). An algebraic approach to the association schemes
of coding theory, Philips Research Reports Suppl. 10. [172]
Djokovic, D.Z. (1972). On regular graphs II, JCT(B) 12, 252-259. [140]
Djokovic, D.Z. and G.L. Miller (1980). Regular groups of automor-
phisms of cubic graphs, JCT(B) 29, 195-230. [146]
Edge, W.L. (1963). A second note on the simple group of order 6048,
Proc. Cambridge Philos. Soc. 59, 1-9. [188]
Egervary, E. (1931). Matrizok kombinatorius tulajdonsagairol, Mat.
Fiz. Lapok 38, 16-28 [35]
References 195