Spectra of Graph by Haemers
Spectra of Graph by Haemers
Spectra of Graph by Haemers
1 Graph spectrum 11
1.1 Matrices associated to a graph . . . . . . . . . . . . . . . . . . . 11
1.2 The spectrum of a graph . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Characteristic polynomial . . . . . . . . . . . . . . . . . . 13
1.3 The spectrum of an undirected graph . . . . . . . . . . . . . . . . 13
1.3.1 Regular graphs . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.2 Complements . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.3 Walks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.4 Diameter . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.5 Spanning trees . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.6 Bipartite graphs . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.7 Connectedness . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Spectrum of some graphs . . . . . . . . . . . . . . . . . . . . . . 17
1.4.1 The complete graph . . . . . . . . . . . . . . . . . . . . . 17
1.4.2 The complete bipartite graph . . . . . . . . . . . . . . . . 17
1.4.3 The cycle . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4.4 The path . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.5 Line graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.6 Cartesian products . . . . . . . . . . . . . . . . . . . . . . 18
1.4.7 Kronecker products and bipartite double . . . . . . . . . . 19
1.4.8 Cayley graphs . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5 Decompositions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.1 Decomposing K10 into Petersen graphs . . . . . . . . . . 20
1.5.2 Decomposing Kn into complete bipartite graphs . . . . . 20
1.6 Automorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 Algebraic connectivity . . . . . . . . . . . . . . . . . . . . . . . . 21
1.8 Cospectral graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8.1 The 4-cube . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8.2 Seidel switching . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8.3 Godsil-McKay switching . . . . . . . . . . . . . . . . . . . 23
1.8.4 Reconstruction . . . . . . . . . . . . . . . . . . . . . . . . 24
1.9 Very small graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.10 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Linear algebra 27
2.1 Simultaneous diagonalization . . . . . . . . . . . . . . . . . . . . 27
2.2 Perron-Frobenius Theory . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Equitable partitions . . . . . . . . . . . . . . . . . . . . . . . . . 30
3
4 CONTENTS
4 Substructures 61
4.1 Cliques and cocliques . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.1.1 Using weighted adjacency matrices . . . . . . . . . . . . . 62
4.2 Chromatic number . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.2.1 Using weighted adjacency matrices . . . . . . . . . . . . . 64
4.2.2 Rank and chromatic number . . . . . . . . . . . . . . . . 64
4.3 Shannon capacity . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4 Stars and star complements . . . . . . . . . . . . . . . . . . . . . 65
4.5 The second largest eigenvalue . . . . . . . . . . . . . . . . . . . . 66
4.5.1 Bounds for the second largest eigenvalue . . . . . . . . . . 66
4.5.2 Large regular subgraphs are connected . . . . . . . . . . . 67
4.5.3 Randomness . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.5.4 Expansion . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.5.5 Toughness and Hamiltonicity . . . . . . . . . . . . . . . . 69
CONTENTS 5
5 Trees 79
5.1 Characteristic polynomials of trees . . . . . . . . . . . . . . . . . 79
5.2 Eigenvectors and multiplicities . . . . . . . . . . . . . . . . . . . 81
5.3 Sign patterns of eigenvectors of graphs . . . . . . . . . . . . . . . 82
5.4 Sign patterns of eigenvectors of trees . . . . . . . . . . . . . . . . 83
5.5 The spectral center of a tree . . . . . . . . . . . . . . . . . . . . . 84
5.6 Integral trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.7 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7 Euclidean representations 93
7.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
7.2 Euclidean representation . . . . . . . . . . . . . . . . . . . . . . . 93
7.3 Root lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
7.4 Cameron-Goethals-Seidel-Shult . . . . . . . . . . . . . . . . . . . 99
7.5 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
12 p-ranks 165
12.1 Reduction mod p . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
12.2 The minimal polynomial . . . . . . . . . . . . . . . . . . . . . . . 166
12.3 Bounds for the p-rank . . . . . . . . . . . . . . . . . . . . . . . . 166
12.4 Interesting primes p . . . . . . . . . . . . . . . . . . . . . . . . . 167
12.5 Adding a multiple of J . . . . . . . . . . . . . . . . . . . . . . . . 167
12.6 Paley graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
12.7 Strongly regular graphs . . . . . . . . . . . . . . . . . . . . . . . 169
12.8 Smith Normal Form . . . . . . . . . . . . . . . . . . . . . . . . . 171
12.8.1 Smith Normal Form and spectrum . . . . . . . . . . . . . 172
Graph spectrum
This chapter presents some simple results on graph spectra. We assume the
reader to be familiar with elementary linear algebra and graph theory. Through-
out J will denote the all-1 matrix, and 1 is the all-1 vector.
11
12 CHAPTER 1. GRAPH SPECTRUM
ities. The Laplace spectrum of a finite undirected graph without loops is the
spectrum of the Laplace matrix L.
The rows and columns of a matrix of order n are numbered from 1 to n,
while A is indexed by the vertices of Γ, so that writing down A requires one to
assign some numbering to the vertices. However, the spectrum of the matrix
obtained does not depend on the numbering chosen. It is the spectrum of the
linear transformation A on the vector space K X of maps from X into K, where
X is the vertex set, and K is some field such as R or C.
The characteristic polynomial of Γ is that of A, that is, the polynomial pA
defined by pA (θ) = det(θI − A).
Example Let Γ be the path P3 with three vertices and two edges. Assigning
some arbitrary order to the three vertices of Γ, we find that the adjacency matrix
A becomes one of
0 1 1 0 1 0 0 0 1
1 0 0 or 1 0 1 or 0 0 1 .
1 0 0 0 1 0 1 1 0
√ √
The characteristic polynomial is pA (θ) = θ3 − 2θ. The spectrum is 2, 0, − 2.
The eigenvectors are:
√ √ √ √
2 2 2 1 0 −1 2 −2 2
c c c c c c c c c .
1.3.2 Complements
The complement Γ of Γ is the graph with the same vertex set as Γ, where two
distinct vertices are adjacent whenever they are nonadjacent in Γ. So, if Γ has
adjacency matrix A, then Γ has adjacency matrix A = J − I − A and Laplace
matrix L = nI − J − L.
Because eigenvectors of L are also eigenvectors of J, the eigenvalues of L are
0, n − µn , . . . , n − µ2 . (In particular, µn ≤ n.)
If Γ is regular we have a similar result for the ordinary eigenvalues: if Γ is k-
regular with eigenvalues θ1 ≥ . . . ≥ θn , then the eigenvalues of the complement
are n − k − 1, −1 − θn , . . . , −1 − θ2 .
1.3.3 Walks
From the spectrum one can read off the number of closed walks of a given length.
Proposition 1.3.1 Let h be a nonnegative integer. Then (Ah )xy is the number
of walks of length h from x to y. In particular, (A2 )xx is the degree of the vertex
x, and tr A2 equals twice the number of edges of Γ; similarly, tr A3 is six times
the number of triangles in Γ.
1.3.4 Diameter
We saw that all eigenvalues of a single directed edge are zero. For undirected
graphs this does not happen.
Proposition 1.3.2 Let Γ be an undirected graph. All its eigenvalues are zero
if and only if Γ has no edges. The same holds for the Laplace eigenvalues and
the signless Laplace eigenvalues.
Proof. Let M be any nonnegative symmetric matrix with rows and columns
indexed by V Γ and such that for distinct vertices x, y we have Mxy > 0 if and
only if x ∼ y. Let the distinct eigenvalues of M be θ1 , . . . , θt . Then (M −
θ1 I) · · · (M − θt I) = 0, so that M t is a linear combination of I, M, . . . , M t−1 .
But if d(x, y) = t for two vertices x, y of Γ, then (M i )xy = 0 for 0 ≤ i ≤ t−1 and
(M t )xy > 0, contradiction. Hence t > d. This applies to M = A, to M = nI −L
and to M = Q, where A is the adjacency matrix, L is the Laplace matrix and
Q is the signless Laplace matrix of Γ.
Distance-regular graphs, discussed in Chapter 11, have equality here. For an
upper bound on the diameter, see §4.5.7.
n
where the sum is over the m-subsets S of the set of columns, and AS (BS )
m
is the square submatrix of order m of A (resp. B) with columns indexed by S.
1.3.7 Connectedness
The spectrum of a disconnected graph is easily found from the spectra of its
connected components:
Proof. We have L = kI − A.
One cannot see from the spectrum alone whether a (nonregular) graph is con-
nected: both K1,4 and K1 + C4 have spectrum 21 , 03 , (−2)1 (we write multiplic-
ities as exponents). And both Ê6 and K1 + C6 have spectrum 21 , 12 , 0, (−1)2 ,
(−2)1 .
a a a a a a a
@ A
@a a a A a
a HH a
a a
@ A
a @a a a a HH a Aa a
K1,4 K1 + C 4 Ê6 K1 + C 6
Proof. If Γ is bipartite, the Laplace matrix L and the signless Laplace ma-
trix Q are similar by a diagonal matrix D with diagonal entries ±1 (that is,
Q = DLD−1 ). Therefore Q and L have the same spectrum. Conversely, if
both spectra are the same, then by Propositions 1.3.7 and 1.3.9 the number of
connected components equals the number of bipartite components. Hence Γ is
bipartite.
1.5 Decompositions
Here we present two non-trivial applications of linear algebra to graph decom-
positions.
20 CHAPTER 1. GRAPH SPECTRUM
Proof. Let the i-th complete bipartite graph have a bipartition where ui and
vi are the characteristic vectors of both sides of the
P bipartition, so that its
adjacency matrix is Di = ui vi⊤ + vi u⊤i , and A = Di . Let w be a vector
orthogonal to all ui . Then w⊤ Aw = 0 and it follows that w cannot be chosen
in the span of eigenvectors of A with positive (negative) eigenvalue.
1.6 Automorphisms
An automorphism of a graph Γ is a permutation π of its point set X such that
x ∼ y if and only if π(x) ∼ π(y). Given π, we have a linear transformation Pπ
on V defined by (Pπ (u))x = uπ(x) for u ∈ V , x ∈ X. That π is an automorphism
is expressed by APπ = Pπ A. It follows that Pπ preserves the eigenspace Vθ for
each eigenvalue θ of A.
More generally, if G is a group of automorphisms of Γ then we find a linear
representation of degree m(θ) = dim Vθ of G.
We denote the group of all automorphisms of Γ by Aut Γ. One would expect
that when Aut Γ is large, then m(θ) tends to be large, so that Γ has only few
distinct eigenvalues. And indeed the arguments below will show that a transitive
group of automorphisms does not go very well together with simple eigenvalues.
Suppose dim Vθ = 1, say Vθ = hui. Since Pπ preserves Vθ we must have
Pπ u = ±u. So either u is constant on the orbits of π, or π has even order,
Pπ (u) = −u, and u is constant on the orbits of π 2 . For the Perron-Frobenius
eigenvector (cf. §2.2) we are always in the former case.
1.7. ALGEBRAIC CONNECTIVITY 21
Proof. If π has order larger than two, then there are two distinct vertices x,
y in an orbit of π 2 , and all eigenvectors have identical x- and y-coordinates, a
contradiction.
(iii) If m(θ) = 1 for all eigenvalues θ, then Γ has at most two vertices.
Proof. (i) Suppose Vθ = hui. Then u induces a partition of X into two equal
parts: X = X+ ∪ X− , where ux = a for x ∈ X+ and ux = −a for x ∈ X− . Now
θ = k − 2|Γ(x) ∩ X− | for x ∈ X+ .
(ii) If m(k) = m(θ) = m(θ′ ) = 1, then we find 3 pairwise orthogonal (±1)-
vectors, and a partition of X into four equal parts.
(iii) There are not enough integers θ ≡ k (mod 2) between −k and k.
For more details, see Cvetković, Doob & Sachs [106], Chapter 5.
Proposition 1.7.1 Let Γ and ∆ be two edge-disjoint graphs on the same vertex
set, and Γ ∪ ∆ their union. We have µ2 (Γ ∪ ∆) ≥ µ2 (Γ) + µ2 (∆) ≥ µ2 (Γ).
Q @
u u u u u u
A
@ @ @Q
A@u @u @uQ @u
A A Q A
AP uA u Q
QuA
@
uP
PP A
@ @A
u @u PP
Au
u @u @
Au
Let us give some more examples and families of examples. A more extensive
discussion is found in Chapter 13.
1:1
• •
• • • • • • • • • • • •
2:0 3:0 4:1 4:0 3:1 2:1
• • • • • • • •
0000 0011 0101 0110
• •
1:0
The Seidel matrix of the complementary graph Γ is −S, so that a graph and
its complement have opposite Seidel eigenvalues.
If two regular graphs of the same valency are Seidel cospectral, then they
are also cospectral.
Figure 1.2 shows an example of two cospectral graphs related by Seidel
switching (with respect to the four corners). These graphs are nonisomorphic:
they have different local structure.
The Seidel adjacency matrix plays a rôle in the description of regular two-
graphs (see §§9.1–9.3) and equiangular lines (see §9.6).
1.8.4 Reconstruction
The famous Kelly-Ulam conjecture (1941) asks whether a graph Γ can be re-
constructed when the (isomorphism types of) the n vertex-deleted graphs Γ \ x
are given. The conjecture is still open (see Bondy [29] for a discussion), but
Tutte [297] showed that one can reconstruct the characteristic polynomial of Γ,
so that any counterexample to the reconstruction conjecture must be a pair of
cospectral graphs.
label picture A L Q S
s s √ √ √ √
4.8 s s 2, 0, 0, − 2 0, 0, 1, 3 3, 1, 0, 0 − 5, −1, 1, 5
s s
4.9 s s 1, 1, −1, −1 0, 0, 2, 2 2, 2, 0, 0 −3, 1, 1, 1
s s √ √
4.10 s s 1, 0, 0, −1 0, 0, 0, 2 2, 0, 0, 0 − 5, −1, 1, 5
s s
4.11 s s 0, 0, 0, 0 0, 0, 0, 0 0, 0, 0, 0 −1, −1, −1, 3
1.10 Exercises
Exercise 1 Show thatpno graph has eigenvalue −1/2. Show that no undirected
√
graph has eigenvalue 2 + 5. (Hint: consider the algebraic conjugates of this
number.)
Exercise 2 Let Γ be an undirected graph with eigenvalues θ1 , . . . , θn . Show
that for any two vertices a and b of Γ there are constants
P h c1 , . . . , cn such that
the number of walks of length h from a to b equals ci θi for all h.
Exercise 3 Let Γ be a directed graph with constant outdegree k > 0 and
without directed 2-cycles. Show that Γ has a non-real eigenvalue.
Exercise 4 (i) Let Γ be a directed graph on n vertices, such that there is a
h with the property that for any two vertices a and b (distinct or not) there
is a unique directed path of length h from a to b. Prove that Γ has constant
in-degree and out-degree k, where n = k h , and has spectrum k 1 0n−1 .
(ii) The de Bruijn graph of order m is the directed graph with as vertices
the 2m binary sequences of length m, where there is an arrow from a1 . . . am to
b1 . . . bm when the tail a2 . . . am of the first equals the head b1 . . . bm−1 of the
second. (For m = 0 a single vertex with two loops.) Determine the spectrum of
the de Bruijn graph.
(iii) A de Bruijn cycle of order m ≥ 1 ([64, 65, 145]) is a circular arrangement
of 2m zeros and ones such that each binary sequence of length m occurs once in
this cycle. (In other words, it is a Hamiltonian cycle in the de Bruijn graph of
order m, an Eulerian cycle in the de Bruijn graph of order m − 1.) Show that
m−1
there are precisely 22 −m
de Bruijn cycles of order m.
Exercise 5 ([37, 265]) Let Γ be a tournament, that is, a directed graph in which
there is precisely one edge between any two distinct vertices, in other words, of
which the adjacency matrix A satisfies A⊤ + A = J − I.
(i) Show that all eigenvalues have real part not less than −1/2.
(iii) The tournament Γ is called regular when each vertex has the same number
of out-arrows. Clearly, when there are n vertices, this number of out-
arrows is (n − 1)/2. Show that all eigenvalues θ have real part at most
(n − 1)/2, and that Re(θ) = (n − 1)/2 occurs if and only if Γ is regular
(and then θ = (n − 1)/2).
(iv) Show that A either has full rank n or has rank n − 1, and that A has full
rank when Γ is regular and n > 1.
(ii) Give a relation between the Laplace eigenvalues of Γ and the ordinary
eigenvalues of L(Γ).
Exercise 7 ([94]) Verify (see §1.2.1) that both graphs pictured here have char-
acteristic polynomial t4 (t4 − 7t2 + 9), so that these two trees are cospectral.
s
s s
s
s@s s s s s s s
Hs
s @s JJs
Exercise 9 Let the cone over a graph Γ be the graph obtained by adding
a new vertex and joining that to all vertices of Γ. If Γ is regular of valency
k on n vertices, then show that the cone over Γ has characteristic polynomial
p(x) = (x2 − kx − n)pΓ (x)/(x − k).
Exercise 10 Show that the Seidel adjacency matrix S of a graph on n vertices
has rank n − 1 or n. (Hint: det S ≡ n − 1 (mod 2).)
Exercise 11 Prove that the complete graph K55 is not the union of three
copies of the triangular graph T (11).
Chapter 2
Linear algebra
In this chapter we present some less elementary, but relevant results from linear
algebra.
27
28 CHAPTER 2. LINEAR ALGEBRA
The matrix T = (tij ) is irreducible if and only if the directed graph ΓT with
vertices {1, . . . , n} and edges (i, j) whenever tij > 0 is strongly connected.
(A directed graph (X, E) is strongly connected if for any two vertices x, y
there is a directed path from x to y, i.e., there are vertices x0 = x, x1 , . . . , xm = y
such that (xi−1 , xi ) ∈ E for 1 ≤ i ≤ m.)
Note that if T is irreducible, then I + T is primitive.
The period d of an irreducible matrix T is the greatest common divisor of
the integers k for which (T k )ii > 0. It is independent of the i chosen.
(T x)i
θ(x) = max {θ | θ ∈ R, θx ≤ T x} = min { | 1 ≤ i ≤ n, xi 6= 0}.
xi
Now θ(αx) = θ(x) for α ∈ R, α > 0, and (x ≤ y, x 6= y implies P x < P y,
so) θ(P x) ≥ θ(x); in fact θ(P x) > θ(x) unless x is an eigenvector of T . Put
C = {x | x ≥ 0 and kxk = 1}. Then since C is compact and θ(.) is continuous
on P [C] (but not in general on C !), there is an x0 ∈ P [C] such that
( Proof. (i) Use continuity arguments; (ii) the old proof still applies. )
30 CHAPTER 2. LINEAR ALGEBRA
For more details, see the exposition of the Perron-Frobenius theory in Gant-
macher [149], Chapter XIII; cf. also Varga [299], Marcus & Minc [238], Berman
& Plemmons [22], Seneta [279, Ch. 1], or Horn & Johnson [200, Ch. 8].
wherein Ai,j denotes the submatrix (block) of A formed by rows in Xi and the
columns in Xj . Let bi,j denote the average row sum of Ai,j . Then the matrix
B = (bi,j ) is called the quotient matrix. We easily have
KB = S ⊤ AS, S ⊤ S = K.
If the row sum of each block Ai,j is constant then the partition is called equitable
(or regular) and we have Ai,j 1 = bi,j 1 for i, j = 0, . . . , d, so
AS = SB.
More generally, consider the join Γ of two vertex-disjoint graphs Γ1 and Γ2 , the
graph obtained by inserting all possible edges between Γ1 and Γ2 . If Γ1 and Γ2
have n1 resp. n2 vertices and are both regular, say of valency k1 resp. k2 , and
have spectra Φ1 resp. Φ2 , then Γ has spectrum Φ = (Φ1 \ {k1 }) ∪ (Φ2 \ {k2 }) ∪
{k ′ , k ′′ } where k ′ , k ′′ are the two eigenvalues of
k1 n2
.
n1 k2
Indeed, we have an equitable partition of the adjacency matrix of Γ with the
above quotient matrix. The eigenvalues that do not belong to the quotient
coincide with those of the disjoint union of Γ1 and Γ2 .
and
u⊤ Au
θi+1 ≤ max .
u∈W ⊥ , u6=0 u⊤ u
2.5 Interlacing
Consider two sequences of real numbers: θ1 ≥ . . . ≥ θn , and η1 ≥ . . . ≥ ηm with
m < n. The second sequence is said to interlace the first one whenever
θi ≥ ηi ≥ θn−m+i , for i = 1, . . . , m.
The interlacing is tight if there exist an integer k ∈ [0, m] such that
θi = ηi for 1 ≤ i ≤ k and θn−m+i = ηi for k + 1 ≤ i ≤ m.
If m = n − 1, the interlacing inequalities become θ1 ≥ η1 ≥ θ2 ≥ η2 ≥ . . . ≥
ηm ≥ θn , which clarifies the name. Godsil [154] reserves the name ‘interlacing’
for this particular case and calls it generalized interlacing otherwise.
32 CHAPTER 2. LINEAR ALGEBRA
Theorem 2.5.1 Let S be a real n×m matrix such that S ⊤ S = I. Let A be a real
symmetric matrix of order n with eigenvalues θ1 ≥ . . . ≥ θn . Define B = S ⊤ AS
and let B have eigenvalues η1 ≥ . . . ≥ ηm and respective eigenvectors v1 . . . vm .
⊥
Then Ssi ∈ hu1 , . . . , ui−1 i , hence by Rayleigh’s principle,
⊤
(Ssi ) A(Ssi ) si ⊤ Bsi
θi ≥ ⊤
= ≥ ηi ,
(Ssi ) (Ssi ) si ⊤ si
and similarly (or by applying the above inequality to −A and −B) we get
θn−m+i ≤ ηi , proving (i). If θi = ηi , then si and Ssi are θi -eigenvectors of
B and A, respectively, proving (ii). We prove (iii) by induction on l. Assume
Svi = ui for i = 1, . . . , l − 1. Then we may take sl = vl in (2.1), but in proving
(ii) we saw that Ssl is a θl -eigenvector of A. (The statement between parentheses
follows by considering −A and −B.) Thus we have (iii). Let the interlacing be
tight. Then by (iii), Sv1 , . . . , Svm is an orthonormal set of eigenvectors of A for
the eigenvalues η1 , . . . , ηm . So we have SBvi = ηi Svi = ASvi , for i = 1, . . . , m.
Since the vectors vi form a basis, it follows that SB = AS.
If we take S = [I 0]⊤ , then B is just a principal submatrix of A and we have
the following corollary.
P ⊤
(iii) Let x = xj . The number r := xx⊤Ax
x
lies between the smallest and largest
eigenvalue of C. If x is an eigenvector of A with eigenvalue θ, then also
C has an eigenvalue θ (for eigenvector 1).
Proof. Let K be the diagonal matrix with Kii = ||xi ||. Let R be the n × m
matrix with columns xj , and put S = RK −1 . Then S ⊤ S = I, and the theorem
applies with B = S ⊤ AS = KCK −1 . If interlacing is tight we have AR = RC.
P ⊤ ⊤
With x = xj = R1 and y = K1, we have xx⊤Axx
= yy⊤Byy
.
In particular, this applies when the xi are the characteristic vectors of a partition
(or just a collection of pairwise disjoint subsets).
Theorem 2.5.1(i) is a classical result; see Courant & Hilbert [98], Vol. 1, Ch. I.
For the special case of a principal submatrix (Corollary 2.5.2), the result even
goes back to Cauchy and is therefore often referred to as Cauchy interlacing.
Interlacing for the quotient matrix (Corollary 2.5.4) is especially applicable to
combinatorial structures (as we shall see). Payne (see, for instance, [256]) has
applied the extremal inequalities θ1 ≥ ηi ≥ θn to finite geometries several
times. He attributes the method to Higman and Sims and therefore calls it the
Higman-Sims technique.
Remark This theorem generalizes directly to complex Hermitean matrices in-
stead of real symmetric matrices (with conjugate transpose instead of transpose)
with virtually the same proof.
For more detailed eigenvalue inequalities, see Haemers [175], [177].
is a square partitioned matrix (over any field), where A11 is nonsingular. The
Schur complement A/A11 of A11 in A is the matrix A22 − A21 A−1 11 A12 . The
following result is a straightforward but important consequence from the defi-
nition.
Pt ∗
Proof. i=1 λi (A) = max tr(U AU ), where the maximum is over all n × t
∗
matrices U with U U = I.
2.9. GRAM MATRICES 35
q(x) = x⊤ Gx (x ∈ Rn ).
2.11 Projections
Q N
Lemma 2.11.1 Let P = be a real symmetric matrix of order n
N⊤ R
with two eigenvalues a and b, partitioned with square Q and R. Let Q have h
eigenvalues θj distinct from a and b. Then R has h eigenvalues a+b−θj distinct
from a and b, and h = mP (a) − mQ (a) − mR (a) = mP (b) − mQ (b) − mR (b),
where mM (η) denotes the multiplicity of the eigenvalue η of M .
2.12 Exercises
Exercise 1 Consider a symmetric n × n matrix A with eigenvalues θ1 , . . . , θn .
Suppose A has an equitable partition {X1 , . . . , Xm }, where all classes have equal
size. Let S and B be the characteristic matrix and the quotient matrix of this
partition, respectively. Assume that θ1 , . . . , θn are ordered such that θ1 , . . . , θm
are the eigenvalues of B. Prove that A and SS ⊤ commute and give an expression
for the eigenvalues of A + αSS ⊤ for α ∈ R.
Exercise 2 Let B denote the quotient matrix of a symmetric matrix A whose
rows and columns are partitioned according to a partitioning {X1 , . . . , Xm }.
(ii) Give an example where the partition is equitable, whilst the interlacing is
not tight.
In this chapter we apply the linear algebra from the previous chapter to graph
spectra.
Proposition 3.1.1 Each graph Γ has a real eigenvalue θ0 with nonnegative real
corresponding eigenvector, and such that for each eigenvalue θ we have |θ| ≤ θ0 .
The value θ0 (Γ) does not increase when vertices or edges are removed from Γ.
Assume that Γ is strongly connected. Then
(ii) If Γ is primitive (strongly connected, and such that not all cycles have
a length that is a multiple of some integer d > 1), then |θ| < θ0 for all
eigenvalues θ different from θ0 .
(iii) The value θ0 (Γ) decreases when vertices or edges are removed from Γ.
Proof. Let 1 be the vector with all entries equal to 1. Then A1 ≤ kmax 1, and
by Theorem 2.2.1(iv) we have θ1 ≤ kmax with equality if and only if A1 = θ1 1,
that is, if and only if Γ is regular of degree θ1 .
Now consider the partition of the vertex set consisting of a single part. By
Corollary 2.5.4 we have k̄ ≤ θ1 with equality if and only if Γ is regular.
39
40 CHAPTER 3. GRAPH SPECTRUM (II)
Theorem 3.1.3 (Smith [285], cf. Lemmens & Seidel [221]). The only con-
nected graphs having largest eigenvalue 2 are the following graphs (the number
of vertices is one more than the index given).
Ân (n ≥ 2) •1
1
• •2
• • • • Ê6 • • • • •
1 1 1 1 1 2 3 2 1
•2
D̂n (n ≥ 4) Ê7 • • • • • • •
1 2 3 4 3 2 1
•1 •1 •3
• • • • • • Ê8 • • • • • • • •
1 2 2 2 2 1 2 4 6 5 4 3 2 1
For each graph, the corresponding eigenvector is indicated by the integers at the
vertices. Moreover, each connected graph with largest eigenvalue less than 2 is
a subgraph of one of the above graphs, i.e., one of the graphs An = Pn , the path
with n vertices (n ≥ 1), or
E6 • • • • •
Dn (n ≥ 4) •
• E7 • • • • • •
• • • • • • •
E8 • • • • • • •
Finally, each connected graph with largest eigenvalue more than 2 contains
one of Ân , D̂n , Ê6 , Ê7 , Ê8 as a subgraph.
Proof. The vectors indicated are eigenvectors for the eigenvalue 2. Therefore,
Ân , D̂n and Êm (m = 6, 7, 8) have largest eigenvalue 2. Any graph containing
one of these as an induced proper subgraph has an eigenvalue larger than 2. So,
if Γ has largest eigenvalue at most 2 and is not one of Ân or D̂n , then Γ is a
3.1. THE LARGEST EIGENVALUE 41
tree without vertices of degree at least 4 and with at most one vertex of degree
three, and the result easily follows.
These graphs occur as the Dynkin diagrams and extended Dynkin diagrams of
finite Coxeter groups, cf. [35, 48, 203]. Let us give their eigenvalues:
The eigenvalues of An are 2 cos iπ/(n + 1) (i = 1, 2, ..., n).
The eigenvalues of Dn are 0 and 2 cos iπ/(2n − 2) (i = 1, 3, 5, ..., 2n − 3).
The eigenvalues of E6 are 2 cos iπ/12 (i = 1, 4, 5, 7, 8, 11).
The eigenvalues of E7 are 2 cos iπ/18 (i = 1, 5, 7, 9, 11, 13, 17).
The eigenvalues of E8 are 2 cos iπ/30 (i = 1, 7, 11, 13, 17, 19, 23, 29).
(Indeed, these eigenvalues are 2 cos(di − 1)π/h (1 ≤ i ≤ n) where h is the
Coxeter number, and the di are the degrees, cf. [48, pp. 84, 308]. Note that in
all cases the largest eigenvalue is 2 cos π/h.)
The eigenvalues of D̂n are 2, 0, 0, −2 and 2 cos iπ/(n − 2) (i = 1, ..., n − 3).
The eigenvalues of √ 1, 0, −1, −1, −2.
Ê6 are 2, 1, √
The eigenvalues of Ê7 are 2, 2, 1, 0, 0, −1, − 2, −2.
The eigenvalues of Ê8 are 2, τ , 1, τ −1 , 0, −τ −1 , −1, −τ , −2.
Remark It is possible to p go a√little bit further, and find all graphs with
largest eigenvalue at most 2 + 5 ≈ 2.05817, cf. √ Brouwer & Neumaier [59].
For the graphs with largest eigenvalue at most 32 2 ≈ 2.12132, see Woo &
Neumaier [308] and Cioabă, van Dam, Koolen & Lee [91].
3.2 Interlacing
By Perron-Frobenius theory, the largest eigenvalue of a connected graph goes
down when one removes an edge or a vertex. Interlacing also gives information
about what happens with the other eigenvalues.
The pictures for A and L differ. The eigenvalues for the adjacency matrix
A show nice interlacing behavior when one removes a vertex, but not when an
edge is removed. (Cf. §1.9.) The Laplace eigenvalues behave well in both cases.
For A an eigenvalue can go both up or down when an edge is removed. For L
it cannot increase.
Proposition 3.2.1 (i) Let Γ be a graph and ∆ an induced subgraph. Then the
eigenvalues of ∆ interlace those of Γ,
(ii) Let Γ be a graph and let ∆ be a subgraph, not necessarily induced, on m
vertices. Then the i-th largest Laplace eigenvalue of ∆ is not larger than the i-th
largest Laplace eigenvalue of Γ (1 ≤ i ≤ m), and the i-th largest signless Laplace
3.3. REGULAR GRAPHS 43
eigenvalue of ∆ is not larger than the i-th largest signless Laplace eigenvalue of
Γ (1 ≤ i ≤ m).
Proof. Part (i) is immediate from Corollary 2.5.2. For part (ii), recall that we
have L = N N ⊤ when N is the directed point-edge incidence matrix obtained
by orienting the edges of Γ arbitrarily, and that N N ⊤ and N ⊤ N have the
same nonzero eigenvalues. Removing an edge from Γ corresponds to removing
a column from N , and leads to a principal submatrix of N ⊤ N , and interlacing
holds. Removing an isolated vertex from Γ corresponds to removing a Laplace
eigenvalue 0. The same proof applies to the signless Laplace matrix.
(ii) AJ = kJ,
P 2
(iii) θi = kv.
Proof. We have P seen that (i) and (ii) are equivalent. Also, if Γ is regular
of degree
P 2 k, then θi2 = tr A2 = kv. Conversely, if (iii) holds, then k̄ =
−1
v θi = θ1 and, by Proposition 3.1.2, Γ is regular.
As we saw above in §1.3.7, it is also possible to see from the spectrum whether
a graph is regular and connected. However, for nonregular graphs it is not
possible to see from the spectrum whether it is connected.
A very useful characterization of regular connected graphs was given by
Hoffman [194]:
Proposition 3.3.2 The graph Γ is regular and connected if and only if there
exists a polynomial p such that J = p(A).
Proposition 3.4.1 (i) A graph Γ is bipartite if and only if for each eigenvalue
θ of Γ, −θ is also an eigenvalue, with the same multiplicity.
(ii) If Γ is connected with largest eigenvalue θ1 , then Γ is bipartite if and
only if −θ1 is an eigenvalue of Γ.
Proof. For connected graphs all is clear from the the Perron-Frobenius theo-
rem. That gives (ii) and (by taking unions) the ‘only if’ part of (i). For the ‘if’
part of (i), let θ1 be the spectral radius of Γ. Then some connected component
of Γ has eigenvalues θ1 and −θ1 , and hence is bipartite. Removing its contri-
bution to the spectrum of Γ we see by induction on the number of components
that all components are bipartite.
sum of the eigenvalues of Γ∗ , the trace of its adjacency matrix, is the number
of loops.
∗
The graph K2,3 has spectrum 3, 1, 1, 0, −2.
Let T be the graph on the singletons and pairs in a 4-set, where adjacency
is inclusion. Then T ∗ has spectrum 31 , 23 , 12 , (−1)3 , (−2)1 .
The classification
Let Π be the Petersen graph and Σ, T the graphs described above.
We split the result into two propositions, one for the bipartite and one for
the nonbipartite case.
Proposition 3.5.1 Let Γ be a connected bipartite cubic graph such that all of
its eigenvalues are integral. Then Γ is one of 8 possible graphs, namely (i) K3,3 ,
(ii) 23 , (iii) K2,3
∗
⊗ K2 , (iv) C6 × K2 , (v) the Desargues graph (that is, the
bipartite double Π ⊗ K2 of the Petersen graph Π), (vi) T ∗ (cospectral with the
previous), (vii) the bipartite double of Σ, (viii) the point-line incidence graph
of the generalized quadrangle of order 2 (that is, the unique 3-regular bipartite
graph with diameter 4 and girth 8, also known as Tutte’s 8-cage).
Proof. Let Γ have spectrum (±3)1 (±2)a (±1)b 02c (with multiplicities written
as exponents).
The total number of vertices is v = 2 + 2a + 2b + 2c. The total number of
edges is 23 v = 21 trA2 = 9 + 4a + b (so that 2b + 3c = 6 + a). The total number
of quadrangles is q = 9 − a − b, as one finds by computing trA4 = 15v + 8q =
2(81+16a+b). The total number of hexagons is h = 10+2b−2c, found similarly
by computing trA6 = 87v + 96q + 12h = 2(729 + 64a + b).
Somewhat more detailed, let qu be the number of quadrangles on the vertex
u, and quv the number of quadrangles on the edge uv, and similarly for h. Let
uv be an edge. Then Auv = 1 and (A3 )uv = 5 + quv and (A5 )uv = 29 + 2qu +
2qv + 6quv + huv .
The Hoffman polynomial A(A+3I)(A2 −I)(A2 −4I) defines a rank 1 matrix
with eigenvalue 720, so that A(A+3I)(A2 −I)(A2 −4I) = 720 v J and in particular
v|240 since for an edge xy the xy entry of 720 v J must be divisible by 3. This
leaves for (a, b, c, v) the possibilities a) (0, 0, 2, 6), b) (0, 3, 0, 8), c) (1, 2, 1, 10),
d) (2, 1, 2, 12), e) (3, 3, 1, 16), f) (4, 5, 0, 20), g) (5, 1, 3, 20), h) (6, 3, 2, 24), i)
(9, 0, 5, 30).
In case a) we have K3,3 , case (i) of the theorem.
In case b) we have the cube 23 , case (ii).
In case c) we have a graph of which the bipartite complement has spectrum
22 12 02 (−1)2 (−2)2 hence is the disjoint union of a 4-cycle and a 6-cycle, case
(iii).
In case d) we have q = 6 and h = 8. Let uv be an edge, and evaluate
A(A+3I)(A2 −I)(A2 −4I) = 60J at the uv position to find (A5 −5A3 +4A)uv =
20 and 2qu + 2qv + quv + huv = 12. It follows that uv cannot lie in 3 or more
quadrangles. Suppose u lies in (at least) 3 quadrangles. Then for each neighbor
x of u we have 2qx + hux = 4 so that qx = 2 and hu = 0. The mod 2 sum of
two quadrangles on u is not a hexagon, and it follows that we have a K2,3 on
points u, w, x, y, z (with u, w adjacent to x, y, z). The six quadrangles visible in
the K2,3 on u, w, x, y, z contribute 6 + 4 + 2 + 0 to 2qu + 2qx + qux + hux = 12,
and it follows that there are no further quadrangles or hexagons on these points.
46 CHAPTER 3. GRAPH SPECTRUM (II)
Proposition 3.5.2 Let Γ be a connected nonbipartite cubic graph such that all
of its eigenvalues are integral. Then Γ is one of 5 possible graphs, namely (ix)
K4 , (x) K3 × K2 , (xi) the Petersen graph, (xii) the graph on 10 vertices defined
3.6. THE LARGEST LAPLACE EIGENVALUE 47
(ii) Let dx be the degree of the vertex x. If Γ has at least one edge then
ρ1 ≤ max (dx + dy ).
x∼y
Corollary 3.6.2 ([8]) Let Γ be a graph on n vertices with at least one edge.
Then
µn ≤ max (dx + dy ).
x∼y
For bipartite graphs, L and Q have the same spectrum (see Proposition 1.3.10).
It follows by Perron-Frobenius that the largest Laplace eigenvalue of a connected
bipartite graph decreases strictly when an edge is removed.
Interlacing provides a lower bound for µn :
Proposition 3.6.3 ([166]) Let Γ be a graph on n vertices with at least one edge,
and let dx be the degree of the vertex x. Then
µn ≥ 1 + max dx .
x
Proof. If Γ has a vertex of degree d, then it has a subgraph K1,d (not nec-
essarily induced), and µn ≥ d + 1. If equality holds, then Γ does not have a
strictly larger bipartite subgraph. If Γ is moreover connected, then d = n − 1.
Deriving bounds on µn has become an industry—there are many papers, cf. [36,
124, 170, 223, 224, 231, 246, 312].
Proof. Let xi have degree di and put Z = {x1 , . . . , xm }. Let N (Z) be the
set of vertices outside Z with a neighbor in Z. Instead of assuming that Γ is
connected we just
P use that N (Z) is nonempty. P If we delete the vertices outside
m
Z ∪N (Z) then z∈Z dz does not change, while i=1 νi does not increase, so we
may assume X = Z ∪ N (Z). Let R be the quotient matrix of L for the partition
{{z} | z ∈ Z} ∪ {N (Z)} of X, and let λ1 ≥ . . . ≥ λm+1 be the eigenvalues of R.
The matrix R has row sums 0, so λm+1 = 0. By interlacing (Corollary 2.5.4)
Pm Pm Pm+1 P
we have i=1 νi ≥ i=1 λi = i=1 λi = tr R = z∈Z dz + Rm+1,m+1 and the
desired result follows since Rm+1,m+1 ≥ 1.
Second proof. We prove the following stronger statement:
For any graph Γ (notPnecessarilyPconnected) and any subset Z of the vertex
m
set X of Γ one has h + z∈Z dz ≤ i=1 νi , where dz denotes the degree of the
vertex z in Γ, and m = |Z|, and h is the number of connected components of
the graph ΓZ induced on Z that are not connected components of Γ.
We may assume that Γ is connected, and that Z and X \ Z are nonempty.
Now h is the number of connected components of ΓZ .
B −C
The partition {Z, X \ Z} of X induces a partition L = . Since
−C ⊤ E
Γ is connected, B is nonsingular by Lemma 2.10.1(iii). All entries of B −1 are
nonnegative. (Write B = n(I−T ) where T ≥ 0, then B −1 = n1 (I+T +T 2 +. . .) ≥
0. If h = 1, then B −1 > 0.)
P 0
Since L is positive semidefinite, we can write L = M M ⊤ , where M =
Q R
is a square matrix. Now B = P P ⊤ and −C = P Q⊤ . The eigenvalues of
M M ⊤ are the same as those of M ⊤ M , and that latter matrix Pm has submatrix
P ⊤ P + QP⊤
Q of order m. By Schur’s inequality we get i=1 νi ≥ tr(P ⊤ P +
Q⊤ Q) = z∈Z dz + tr Q⊤ Q, and it remains to show that tr Q⊤ Q ≥ h.
Now Q⊤ Q = P −1 CC ⊤ P −⊤ , so tr Q⊤ Q = tr B −1 CC ⊤ . We have B = LZ +
D, where LZ is the Laplacian of ΓZ , and D is the diagonal matrix of the row
sums of C. Since CC ⊤ ≥ D and B −1 ≥ 0, we have tr Q⊤ Q ≥ trB −1 D. If
LZ u = 0 then (LZ + D)−1 Du = u. Since LZ has eigenvalue 0 with multiplicity
h, B −1 D has eigenvalue 1 with multiplicity h. Since this matrix is positive
semidefinite (since D1/2 B −1 D1/2 is p.s.d.), its trace is at least h.
A lower bound for the individual νj was conjectured by Guo [171] and proved
in Brouwer & Haemers [54].
The proof is by reducing to the case of a semi-bipartite graph (or split graph),
that is a graph where the vertex set is the disjoint union of a nonempty subset
inducing a clique (complete graph), and a nonempty subset inducing a coclique
(edgeless graph). Then for semi-bipartite graphs a continuity argument proves
the crucial inequality stated in the following lemma.
Lemma 3.8.3 Let Γ be a semi-bipartite graph with clique of size c and Laplace
eigenvalues be ν1 ≥ ν2 ≥ ... ≥ νn = 0. Let δ be the maximum degree among the
vertices
Pc the coclique, so that δ ≤ c. If νc > c or νc = c > δ then we have
in P
c
ν
i=1 i ≤ i=1 #{x | dx ≥ i}.
P∼
Indeed, if x y then let Γ′ be the graph
Pt obtained from Γ by removing the edge
t
xy. Then i=1 #{x | d′x ≥ i} + 2 = i=1 #{x | dx ≥ i}. The Laplace matrices
L and L′ of Γ and Γ′ satisfy
Pt L = L P
′
+ H where H has eigenvalues 2, 0n−1 . By
t
Theorem 2.8.2 we have i=1 νi ≤ i=1 νi′ + 2, and since Γ′ has fewer edges
Pt Pt Pt Pt
than Γ we find i=1 νi ≤ i=1 νi′ + 2 ≤ i=1 #{x | d′x ≥ i} + 2 = i=1 #{x |
dx ≥ i}, contradiction.
Step 2 There is a semi-bipartite counterexample Γ for the same t, with clique
size c := #{x | dx ≥ t}.
Indeed, we can form a new graph Γ from the Γ of Step 1 by adding edges
xy
Pt for every pair of nonadjacent vertices x,Py,t both of degree at least t. Now
i=1 #{x | dx ≥ i} does not change, and i=1 νi does not decrease, and the
new graph is semi-bipartite with the stated clique size.
This will be our graph Γ for the rest of the proof.
Step 3 A semi-bipartite graph ∆ of clique size c satisfies νc+1 ≤ c ≤ νc−1 .
Indeed, since ∆ contains the complete graph Kc with Laplace spectrum cc−1 ,
0, we see by the Courant-Weyl inequalities (Theorem 2.8.1 (iii)) that νc−1 ≥ c.
And since ∆ is contained in the complete semi-bipartite graph with clique of
size c and coclique of size n − c and all edges in-between, with Laplace spectrum
nc , cn−c−1 , 0, we have νc+1 ≤ c.
Since t was chosen minimal, we have νt > #{x | dx ≥ t} = c. The previous step
then implies c ≥ t. If c = t then νc > c and Lemma 3.8.3 gives a contradiction.
So c > t.
All vertices in the coclique of Γ have degree at most t − 1 and all vertices in
the clique have degree at least c − 1. So #{x | dx ≥ i} = c for t ≤P i ≤ c − 1.
t
From Step 3 we have νi ≥ νc−1 ≥ c for t ≤ i ≤ c − 1. Since i=1 νi >
Pt Pc−1 Pc−1
i=1 #{x | d x ≥ i} we also have i=1 ν i > i=1 #{x | d x ≥ i}. Now if νc ≥ c
we contradict Lemma 3.8.3 (since #{x | dx ≥ c} ≤ c). So νc < c.
Step 4 The m-th Grone-Merris inequality for a graph Γ is equivalent to the
(n − 1 − m)-th Grone-Merris inequality for its complement Γ (1 ≤ m ≤ n − 1).
52 CHAPTER 3. GRAPH SPECTRUM (II)
Pn(1 ≤ i ≤P
Indeed, Γ has Laplace eigenvalues ν i = n−νn−i n−1) and dual degrees
n
#{x | dx ≥ i} = n − #{x | dx ≥ n − i}, and i=1 νi = i=1 #{x | dx ≥ i}.
In our case Γ is semibipartitePwith cliquePsize n − c, and by the above we have
n−c n−c
ν n−c = n − νc > n − c and i=1 ν i > i=1 #{x | dx ≥ i}. This contradicts
Lemma 3.8.3.
This contradiction completes the proof of the Grone-Merris conjecture, ex-
cept that Lemma 3.8.3 still has to be proved.
nonpositive.
Dominance order
The conjecture and theorem can be formulated more elegantly in terms of dom-
inance order. Let a = (ai ) and b = (bi ) be two finite nonincreasing sequences of
nonnegative
Pt Preal numbers. We say P∞that b dominates
P∞ a, and write a E b, when
t
i=1 ai ≤ i=1 bi for all t, and i=1 ai = i=1 bi , where missing elements are
taken to be zero.
For example, in this notation Schur’s inequality (Theorem 2.6.1) says that
d E θ if d is the sequence of diagonal elements and θ the sequence of eigenvalues
of a real symmetric matrix.
3.10. APPLICATIONS OF EIGENVECTORS 55
3.10.1 Ranking
0.15 0.08
• •
• • •
0.42 0.47 0.22
P
The PageRanks form a probability distribution: x P R(x) = 1. The
vector of PageRanks can be calculated using a simple iterative algo-
rithm, and corresponds to the principal eigenvector of the normalized
link matrix of the web. A PageRank for 26 million web pages can be
computed in a few hours on a medium size workstation. A suitable
value for α is α = 0.85.
3.10.3 Cutting
Often the cheapest way to cut a connected graph into two pieces is by partition-
ing it into a single vertex (of minimal valency) and the rest. But in the area of
clustering (see also below) one typically wants relatively large pieces. Here the
second Laplace eigenvector helps. Without going into any detail, let us try the
same example as above.
We see that cutting the edges where the 2nd Laplace eigenvector changes
sign is fairly successful in this case.
−0.41 0.52
• •
• • •
−0.27 −0.20 0.04
3.10.5 Clustering
Given a large data set, one often wants to cluster it. If the data is given as a
set of vectors in some Euclidean space Rm , then a popular clustering algorithm
is k-means:
Given a set X of N vectors inPRm and P a number k, 2find a partition of X into
k
k subsets X1 , . . . , XP
k such that i=1 x∈Xi ||x − ci || is as small as possible,
where ci = (1/|Xi |) x∈Xi x is the centroid of Xi .
The usual algorithm uses an iterative approach. First choose the k vectors
ci in some way, arbitrary or not. Then take Xi to be the subset of X consisting
of the vectors closer to ci than to the other cj (breaking ties arbitrarily). Then
compute new vectors ci as the centroids of the sets Xi , and repeat. In common
practical situations this algorithm converges quickly, but one can construct ex-
amples where this takes exponential time. The final partition found need not
be optimal, but since the algorithm is fast, it can be repeated a number of times
with different starting points ci .
Now if the data is given as a graph, one can compute eigenvectors u1 , . . . , um
for the m smallest eigenvalues µ1 , . . . , µm of the Laplace matrix L, and assign
to the vertex x the vector (ui (x))i and apply a vector space clustering algorithm
such as k-means to the resulting vectors.
This is reasonable. For example, if the graph is disconnected with c con-
nected components, then the first c eigenvalues of L are zero, and the first
c eigenvectors are (linear combinations of) the characteristic functions of the
connected components.
58 CHAPTER 3. GRAPH SPECTRUM (II)
This approach also works when one has more detailed information—not ad-
jacent/nonadjacent but a (nonnegative) similarity or closeness P measure. (One
uses an edge-weighted graph, with Axy = w(x, y) and dx = y w(x, y) and
D the diagonal matrix with P Dxx = dx , and L = D − A. Again L is positive
semidefinite, with u⊤ Lu = w(x, y)(u(x) − u(y))2 . The multiplicity of the
eigenvalue 0 is the number of connected components of the underlying graph
where points x, y are adjacent when w(x, y) > 0.)
Especially important is the special case where one searches for the cheapest
cut of the graph into two relatively large pieces. If the graph is connected, then
map the vertices into R1 using x 7→ u(x), where u is the eigenvector for the
second smallest eigenvalue of L, and then use 2-means to cluster the resulting
points. Compare §1.7 on the algebraic connectivity of a graph.
Several matrices related to the Laplacian have been used in this context. It
seems useful to normalize the matrix, and to retain the property that if the graph
is disconnected the characteristic functions of components are eigenvectors. A
suitable matrix is Lnorm = D−1 L = I − D−1 A.
There is a large body of literature on clustering in general and spectral
clustering in particular. A few references are [169, 235, 288].
3.11 Exercises
Exercise 1 Consider a graph with largest√ eigenvalue θ1 and maximum valency
kmax . Use interlacing to show that θ1 ≥ kmax . When does equality hold?
Exercise 2 Let Γ be a k-regular graph with n vertices and eigenvalues k =
θ1 ≥ . . . ≥ θn . Let Γ′ be an induced subgraph of Γ with n′ vertices and average
degree k ′ .
nk′ −n′ k
(i) Prove that θ2 ≥ n−n′ ≥ θn .
1 For strongly regular graphs, see Chapter 8. No properties are used except that the sub-
(iii) Deduce Hoffman’s bound (Theorem 4.1.2) from the above inequality.
Exercise 3 Prove the conjecture from Section 3.8.1 for regular graphs. (Hint:
use Cauchy-Schwarz.)
60 CHAPTER 3. GRAPH SPECTRUM (II)
Chapter 4
Substructures
Interlacing yields information on subgraphs of a graph, and the way such sub-
graphs are embedded. In particular, one gets bounds on extremal substructures.
Probably the most important use of the spectrum is its use to imply con-
nectivity, randomness, and expansion properties of a graph.
For the adjacency spectrum the important parameter is the second largest
eigenvalue θ2 , cf. §1.7, or rather the ratio θ2 /θ1 . A small ratio implies high
connectivity. For the Laplace spectrum it is the second smallest, µ2 , or rather
the ratio µ2 /µn . A large ratio implies high connectivity.
The Laplace eigenvector belonging to µ2 has been used in graph partitioning
problems.
61
62 CHAPTER 4. SUBSTRUCTURES
Similarly, the proof of Theorem 4.1.2 remains valid for weighted adjacency
matrices B with constant row sums.
θ1
Theorem 4.2.2 (Hoffman [195]) If Γ is not edgeless then χ(Γ) ≥ 1 − .
θn
Proof. Put m = χ(Γ). Since Γ is not edgeless, θn < 0. Now, by part (i) of
the following proposition, θ1 + (m − 1)θn ≤ θ1 + θn−m+2 + . . . + θn ≤ 0.
4.2. CHROMATIC NUMBER 63
(i) θ1 + θn−m+2 + . . . + θn ≤ 0.
0 = tr(C) = η1 + . . . + ηm ≥ θ1 + θn−m+2 + . . . + θn .
The two spaces have non-trivial intersection since the dimensions add up to n
and u1 is orthogonal to both. Let yjPbe the pointwise product of y with the
characteristic vector of Xj , so that yj = y and yj⊤ A′ yj = 0. Now apply
′
Corollary 2.5.3 to the matrix A and the vectors yj , after deleting those that
are zero. The matrix C defined there has zero diagonal, and smallest eigenvalue
⊤
smaller than the Rayleigh quotient yy⊤Ay
y
, which by choice of y is at most θn−m+1 .
We find
0 = tr(C) = η1 + . . . + ηm ≤ θ2 + θ3 + . . . + θm + θn−m+1 .
(iii) The proof is as under (ii), but this time we move t (instead of just
one) eigenvalues away (by subtracting multiples of uj u⊤ j for 1 ≤ j ≤ t). The
vector y must be chosen orthogonal to tm vectors, which can be done inside
the (tm − t + 1)-space hun−tm+t , . . . , un i, assuming that this space is already
orthogonal to u1 , ..., ut , i.e., assuming that n > tm.
The above proof of Theorem 4.2.2 using (i) above appeared in [174].
A coloring that meets the bound of Theorem 4.2.2 is called a Hoffman col-
oring. For regular graphs, the color classes of a Hoffman coloring are cocliques
that meet Hoffman’s coclique bound. So in this case all the color classes have
equal size and the corresponding matrix partition is equitable.
In [175] more inequalities of the above kind are given. But the ones men-
tioned here, especially (i) and (ii), are by far the most useful.
Example The complete multipartite graph Km×a has chromatic number m and
spectrum (am − a)1 0m(a−1) (−a)m−1 . It has equality in Hoffman’s inequality
(and hence in (i)), and also in (ii).
Example The graph obtained by removing √ an edge from Kn has √ chromatic
number n − 1 and spectrum 12 (n − 3 + D), 0, (−1)n−3 , 21 (n − 3 − D) with
D = (n + 1)2 − 8, with equality in (i).
64 CHAPTER 4. SUBSTRUCTURES
Proposition 4.5.2 (Serre [281]) For each ǫ > 0, there exists a positive constant
c = c(ǫ, k) such that for any k-regular
√ graph Γ on n vertices, the number of
eigenvalues of Γ larger than (2 − ǫ) k − 1 is at least cn.
Proposition 4.5.3 ([262]) Let Γ be a finite graph with diameter d and minimal
degree k ≥ 3. Then for 2 ≤ m √≤ 1 + d/4, the mth eigenvalue of the adjacency
π
matrix A of Γ satisfies λm > 2 k − 1 cos( r+1 ), where r = ⌊d/(2m − 2)⌋.
Alon [2] conjectured, and Friedman [147] proved √ that large random k-regular
graphs have second largest eigenvalue smaller than 2 k − 1+ǫ (for fixed k, ǫ > 0
and n sufficiently large). Friedman remarks that numerical experiments
√ seem
to indicate that random k-regular graphs in fact satisfy θ2 < 2 k − 1. √
A connected k-regular graph is called a Ramanujan graph when |θ| ≤ 2 k − 1
for all eigenvalues θ 6= k. (This notion was introduced in [234].) It is not difficult
to find such graphs. For example, complete graphs, or Paley graphs, will do.
Highly nontrivial was the construction of infinite sequences of Ramanujan graphs
with given, constant, valency k and size n tending to infinity. Lubotzky, Phillips
& Sarnak [234] and Margulis [240] constructed for each prime p ≡ 1 (mod 4) an
infinite series of Ramanujan graphs with valency k = p + 1.
4.5.3 Randomness
Let Γ be a regular graph of valency k on n vertices, and assume that (for some
real constant λ) we have |θ| ≤ λ for all eigenvalues θ 6= k. The ratio λ/k
determines randomness and expansion properties of Γ: the smaller λ/k, the
more random, and the better expander Γ is.
For example, the following proposition says that most points have approx-
imately the expected number of neighbors in a given subset of the vertex set.
Here Γ(x) denotes the set of neighbours of the vertex x in the graph Γ.
Proposition 4.5.6 Let S and T be two subsets of the vertex set of Γ, of sizes
s and t, respectively. Let e(S, T ) be the number of ordered edges xy with x ∈ S
and y ∈ T . Then
r
kst s t √
|e(S, T ) − | ≤ λ st(1 − )(1 − ) ≤ λ st.
n n n
Proof. Write the characteristic vectors χS and χT of the sets S and PT as
a linear combination
P of a set of orthonormal eigenvectors of A: χ S =
P αi ui
and χT = βi ui √where Aui = θi u√i . Then e(S, T ) = χ⊤ S AχT = αi βi θ i .
kst
We
P have α 1 = s/ P n and β 1 = t/P n and θ 1 = k. Now |e(S, T ) − n | =
2 2
| i>1 αi βi θi | ≤ λ i>1 |αi βi | and i>1 αi ≤ (χS , χS ) − s /n = s(n − s)/n,
P p
and i>1 βi2 ≤ t(n − t)/n, so that |e(S, T ) − kst n | ≤ λ st(n − s)(n − t)/n.
If S and T are equal or complementary, this says that
kst s(n − s)
|e(S, T ) − |≤λ .
n n
In particular, the average valency kS of an induced subgraph S of size s satisfies
|kS − ks n−s
n | ≤ λ n . For example, the Hoffman-Singleton graph has θ2 = 2,
θn = −3, so λ = 3 and we find equality for subgraphs K15 (s = 15, kS = 0),
10K2 (s = 20, kS = 1) and 5C5 (s = 25, kS = 2).
4.5.4 Expansion
An expander is a graph with the property that the number of points at distance
at most one from any given (not too large) set is at least a fixed constant (larger
than one) times the size of the given set. Expanders became famous because of
their rôle in sorting networks (cf. Ajtai-Komlós-Szemerédi [1]) and have since
found many other applications. The above proposition already implies that
there cannot be too many vertices without neighbors in R. A better bound
was given by Tanner [292] (in order to show that generalized polygons are good
expanders).
Proposition 4.5.7 (Tanner [292]) Let R be a set of r vertices of Γ and let Γ(R)
be the set of vertices adjacent to some point of R. Then
|Γ(R)| ρ
≥ λ2
n ρ+ k2 (1 − ρ)
where ρ = r/n.
Proof. Let χ be the characteristic vector of R. Write P it as a linear combina-
tion of a setP of orthonormal eigenvectorsP 2 2of A: χ = αi ui where Aui = θi ui .
Then Aχ = αi θi ui and (Aχ, Aχ) = αi θi , so that kAχk2 ≤ α02 (θ02 − λ2 ) +
P 2
λ2 αi2 = (χ, u0 )2 (k 2 −λ2 )+λ2 (χ, χ) = rn (k 2 −λ2 )+rλ2 . Now let ψ be the char-
acteristic vector of Γ(R). Then k r = (Aχ, 1)2 = (Aχ, ψ)2 ≤ kAχk2 kψk2 ≤
2 2
2
|Γ(R)|.( rn (k 2 − λ2 ) + rλ2 ), proving our claim.
4.5. THE SECOND LARGEST EIGENVALUE 69
The above used two-sided bounds on the eigenvalues different from the va-
lency. It suffices to bound θ2 . Let the edge expansion constant h(Γ) of a graph Γ
be the minimum of e(S, T )/|S| where the minimum is taken over all partitions
{S, T } of the vertex set with |S| ≤ |T |, and where e(S, T ) is the number of edges
meeting both S and T . Then
p
Proposition 4.5.8 12 (k − θ2 ) ≤ h(Γ) ≤ k 2 − θ22 .
Proof. For the lower bound, apply interlacing to A and a partition {S, T }
of the vertex set, with s = |S| and t = |T |. Put e = e(S, T ). One finds
ne/st ≥ k − θ2 , so that e/s ≥ (t/n)(k − θ2 ) ≥ 12 (k − θ2 ). For the upper bound,
consider a nonnegative vector w indexed by the point set X of Γ, with support
of size at most 21 n. If wx takes t different nonzero values a1 > . . . > at > 0,
then let Si = {x | wx ≥ ai } (1 ≤ i ≤ t), and let mi = |Si \ Si−1 | (with S0 = ∅).
Let h = h(Γ). Now X X
h wx ≤ |wx − wy |.
x x∼y
This proposition gives the right bound, in the sense that there are infinitely
many graphs with τ (Γ) ≤ k/λ. The constant 2 can be improved a little. The
result can be refined by separating out the smallest and the second largest
eigenvalue. The main tool in the proof is Proposition 4.5.5.
See also the remarks following Theorem 8.3.2.
Krivelevich & Sudakov [219] show that, when n is large enough, a graph
on n vertices, regular of degree k = θ1 , and with second largest eigenvalue θ2
satisfying
θ2 (log log n)2
<
θ1 1000 log n log log log n
is Hamiltonian. Pyber [261] shows that it follows that every sufficiently large
strongly regular graph is Hamiltonian.
4.6 Separation
Let Γ be a graph with Laplace matrix L and Laplace eigenvalues 0 = µ1 ≤
. . . ≤ µn . The Laplace matrix of a subgraph Γ′ of Γ is not a submatrix of L,
unless Γ′ is a component. So the interlacing techniques of §2.5 do not work in
such a straightforward manner here. But we can obtain results if we consider
off-diagonal submatrices of L.
Proposition 4.6.1 Let X and Y be disjoint sets of vertices of Γ, such that
there is no edge between X and Y . Then
2
|X||Y | µn − µ2
≤ .
(n − |X|)(n − |Y |) µn + µ2
4.6. SEPARATION 71
|X||Y |
µ2 = −η2 η3 ≤ −θ2 θ2n−1 = ( 12 (µn − µ2 ))2 ,
(n − |X|)(n − |Y |)
|X||Y | (µn − µ2 )2
≤ .
n(n − |X| − |Y |) 4µ2 µn
Proof. Let K be the constant for which Proposition 4.6.1 says |X||Y | ≤ K(n−
|X|)(n − |Y |). Then |X||Y |(1 − K) ≤ n(n − |X| − |Y |)K.
The above proposition gives bounds on vertex connectivity. For edge connec-
tivity one has
Proposition 4.6.3 (Alon & Milman [6]) Let A and B be subsets of V Γ such
that each point of A has distance at least ρ to each point of B. Let F be the set
of edges which do not have both ends in A or both in B. Then
|A||B|
|F | ≥ ρ2 µ2 .
|A| + |B|
|A|
|F | ≥ µ2 |A|(1 − ).
n
Let χ be the characteristic vector of A. Then equality holds if and only if χ− |A|
n 1
is a Laplace eigenvector with eigenvalue µ2 .
4.6.1 Bandwidth
A direct consequence of Proposition 4.6.1 is an inequality of Helmberg, Mohar,
Poljak and Rendl [189], concerning the bandwidth of a graph. A symmetric
matrix M is said to have bandwidth w if (M )i,j = 0 for all i, j satisfying
|i−j| > w. The bandwidth w(Γ) of a graph Γ is the smallest possible bandwidth
for its adjacency matrix (or Laplace matrix). This number (and the vertex order
realizing it) is of interest for some combinatorial optimization problems.
l m
Theorem 4.6.5 Suppose Γ is not edgeless and define b = n µµn2 , then
b if n − b is even,
w(Γ) ≥
b−1 if n − b is odd.
Theorem 4.6.6 ([53]) Let Γ be a graph with n vertices, and Laplacian eigen-
values 0 = µ1 ≤ µ2 ≤ . . . ≤ µn . If n is even and µn ≤ 2µ2 , then Γ has a perfect
matching.
Except for Proposition 4.6.1, we need two more tools. The first one is Tutte’s
famous characterization of graphs with a perfect matching. The second one is
an elementary observation.
by use of n ≥ 3s + 4. So
µn − µ2 1 1
> > ,
µn + µ2 2 3
hence 2µ2 < µn .
The complete bipartite graphs Kl,m with l ≤ m have Laplacian eigenvalues
µ2 = m and µn = n = l + m. This shows that 2µ2 can get arbitrarily close to
µn for graphs with n even and no perfect matching.
If the graph is regular, the result can be improved considerably.
74 CHAPTER 4. SUBSTRUCTURES
Note that t3 < n3 implies that Γ3 cannot be regular. Next we use the fact
that the largest adjacency eigenvalue of a graph is bounded from below by the
average degree with equality if and only if the graph is regular (Proposition
3.1.2). Thus d3 < ℓ3 . We saw that ℓ3 ≤ λ3 , which finishes the proof.
From the above it is clear that n even and λ2 ≤ k − 1 implies existence of a
perfect matching. In terms of the Laplacian matrix this translates into:
Corollary 4.6.10 A regular graph with an even number of vertices and alge-
braic connectivity at least 1 has a perfect matching.
But we can say more. The Laplacian matrix of a disjoint union of n/2 edges
has eigenvalues 0 and 2. This implies that deletion of the edges of a perfect
matching of a graph Γ reduces the eigenvalues of the Laplacian matrix of Γ by
at most 2 (by the Courant-Weyl inequalities 2.8.1). Hence:
Corollary 4.6.11 A regular graph with an even number of vertices and alge-
braic connectivity µ2 has at least ⌊(µ2 + 1)/2⌋ disjoint perfect matchings.
Cioabă, Gregory and Haemers [90] have improved the sufficient condition for
a perfect matching from Theorem 4.6.9 to λ3 <√ϑk where ϑ3 = 2.85577... (the
largest root of x3 −p
x2 − 6x + 2), ϑk = (k − 2 + k 2 + 12)/2 if k ≥ 4 and even,
and ϑk = (k − 3 + (k + 1)2 + 16)/2 if k ≥ 5 and odd. They also prove that
this bound is best possible by giving examples of k-regular graphs with n even,
and λ3 = ϑk that have no perfect matching. The example for k = 3 is presented
in Figure 4.1.
4.7. BLOCK DESIGNS 75
Theorem 4.7.1 Let (P, B) be a 1-(v, k, r) design with b blocks and let (P ′ , B ′ )
be a substructure with m′ flags. Define b = |B|, v ′ = |P ′ | and b′ = |B ′ |. Then
v b
(m′ − b′ k)(m′ ′ − v ′ r) ≤ θ22 (v − v ′ )(b − b′ ) .
v′ b
Equality implies that all four substructures induced by P ′ or V \ V ′ and B ′ or
B \ B ′ form a 1-design (possibly degenerate).
Interlacing gives
det(B)
= −η2 η3 ≤ −θ2 θn−1 = θ22 ,
rk
which proves the first statement. If equality holds then θ1 = η1 , θ2 = η2 ,
θn−1 = η3 and θn = η4 , so we have tight interlacing, which implies the second
statement.
The above result becomes especially useful if we can express θ2 in terms of
the design parameters. For instance if (P, B) is a 2-(v, k, λ) design, then θ22 =
r − λ = λ v−k
k−1 (see exercises) and if (P, B) is a generalized quadrangle of order
(s, t), then λ22 = s + t (see §8.6). Let us consider two special cases. (A 2-design
(P, B) with |P | = |B| is called symmetric.)
Corollary 4.7.3 Let X be a subset of the points and let Y be a subset of the
blocks of a 2-(v, k, λ) design (P, B), such that no point of X is incident with a
block of Y , then
kr|X||Y | ≤ (r − λ)(v − |X|)(b − |Y |).
If equality holds then the substructure (X, B ′ ) = (X, B \ Y ) is a 2-design.
4.8 Polarities
A projective plane is a point-line geometry such that any two points are on a
unique line, and any two lines meet in a unique point. It is said to be of order
q when all lines have q + 1 points and all points are on q + 1 lines. A projective
plane of order q has q 2 + q + 1 points and as many lines.
A polarity of a point-block incidence structure is a map of order 2 inter-
changing points and blocks and preserving incidence. An absolute point is a
point incident with its image under the polarity.
Suppose we have a projective plane of order q with a polarity σ. The polarity
enables us to write the point-line incidence matrix N as a symmetric matrix, and
then the number of absolute points is tr N . By definition we have N 2 = N N ⊤ =
J +qI, which has one eigenvalue equal to (q +1)2 and all other eigenvalues equal
√ √
to q. That means that N has spectrum (q+1)1 , q m , − q n , for certain integers
m, n, where this time exponents indicate multiplicities. The number of absolute
√
points equals a = q + 1 + (m − n) q. It follows that if q is not a square then
m = n and there are precisely q + 1 absolute points. If q is a square, and p is a
prime dividing q, then a ≡ 1 (mod p) so that a is nonzero.
(This is false in the infinite case: the polarity sending the point (p, q, r) to
the line pX + qY + rZ = 0 has no absolute points over R.)
With slightly more effort one finds bounds for the number of absolute points:
4.9 Exercises
Exercise 1 Deduce Proposition 4.2.3(iii) (the part that says (m − 1)θt+1 +
θn−t(m−1) ≥ 0) from Theorem 4.1.3.
Exercise 2 An (ℓ, m)-biclique in a graph Γ is a complete bipartite subgraph
Kℓ,m of Γ (not necessarily induced). Let 0 = µ1 ≤ . . . ≤ µn be the Laplace
78 CHAPTER 4. SUBSTRUCTURES
Trees
Trees have a simpler structure than general graphs, and we can prove stronger
results. For example, interlacing tells us that the multiplicity of an eigenvalue
decreases by at most one when a vertex is removed. For trees Godsil’s Lemma
gives the same conclusion also when a path is removed.
Proposition 5.1.1 Let T be a tree, and for x, y ∈ T , let Pxy be the unique path
joining x and y in T .
(i) Let e = xy be an edge in T that separates T into two subtrees A and B,
with x ∈ A and y ∈ B. Then
φT = φA φB − φA\x φB\y .
79
80 CHAPTER 5. TREES
Proof. Part (i) follows by expansion of the defining determinant. It can also
be phrased as φT = φT \e − φT \{x,y} . Part (ii) follows by applying (i) to all edges
on x. Note that φ{x} (t) = t. Part (iii) follows from (ii) by induction on the size
of T : expand in the LHS φT (s) and φT (t) using (ii), and then use induction.
Part (iv) is immediate from (iii). Part (vii) follows by taking the derivative
of the defining determinant. Part (viii) is a reformulation of the description
in §1.2.1. Note that the only directed cycles in a tree are those of length 2.
Part (v) is true if T = Pxy , and the general case follows from part (vi) and
induction: the statement remains true when a subtree S is attached via an edge
e at a vertex z ∈ Pxy . Finally, part (vi) follows from: if Γ \ z = A + B, then
φΓ = φA∪z φB + φA φB∪z − φA φ{z} φB , where of course φ{z} (t) = t.
Now θ is a root of multiplicity at least 2m − 2 of the left hand side, and hence
also of each of the terms on the right hand side.
As an application of Godsil’s Lemma, consider a tree T with e distinct eigen-
values and maximum possible diameter e − 1. Let P be a path of length e − 1
(that is, with e vertices) in T . Then T \ P has a spectrum that is independent
of the choice of P : for each eigenvalue θ with multiplicity m of T , the forest
T \ P has eigenvalue θ with multiplicity m − 1 (and it has no other eigenvalues).
In particular, all eigenvalues of a path have multiplicity 1.
Note that going from T to T \ x changes multiplicities by at most 1: they
go up or down by at most one. Godsil’s Lemma is one-sided: going from T to
T \ P , the multiplicities go down by at most one, but they may well go up by
more. For example, if one joins the centers x, y of two copies of K1,m by an
edge, one obtains a tree T that has 0 as an eigenvalue of multiplicity 2m − 2.
For P = xy the forest T \ P has 0 with multiplicity 2m.
5.2. EIGENVECTORS AND MULTIPLICITIES 81
Lemma 5.2.1 Let T be a tree with eigenvalue θ, and let Z = ZT (θ) be the set
of vertices in T where all θ-eigenvectors vanish. If for some vertex t ∈ T some
component S of T \ t has eigenvalue θ (in particular, if some θ-eigenvector of
T vanishes at t), then Z 6= ∅.
N ≥ (u) + N ≤ (u) ≤ j + c − 1.
Proof. For a subset S of the vertex set of Γ, let IS be the diagonal matrix
with ones on the positions indexed by elements of S and zeros elsewhere.
Let C run through the connected components of supp> u and supp< u (resp.
supp≥ u and supp≤ u). Put uC = IC u. Then the space U := huC |Ci has
dimension N > (u) + N < (u) (resp. N ≥ (u) + N ≤ (u)).
Let A be the adjacency matrix of ∆ (resp. Γ). Define a real symmetric
matrix B by BCD = u⊤ C (A − θI)uD . Then B has nonnegative row sums and
nonpositive off-diagonal entries, so B is positive semidefinite. It follows that
for y ∈ U we have y ⊤ (A − θI)y ≥ 0. This means that U intersects the space
spanned by the eigenvectors of A − θI with negative eigenvalue in 0.
For (i) N > (u) + N < (u) ≤ #{i | ηi ≥ θ} follows.
The vectors y ∈ U with y ⊤ (A − θI)y = 0 correspond to eigenvectors with
eigenvalue 0 of B, and by Lemma 2.10.1 there are at most Nθ (u) (resp. c)
independent such. This proves (ii) (resp. (iii)).
Remark For j = 1 the results follow from Perron-Frobenius. (If Γ is connected,
then the eigenvector for θ1 is nowhere zero and has constant sign.)
Examples a) Let Γ be connected and bipartite, and let θ be the smallest
eigenvalue of Γ. The corresponding eigenvector u has different signs on the
two sides of the bipartition, so supp> u and supp< u are the two sides of the
bipartition, N > (u) + N < (u) = n and N (u) = 1. We have equality in (i)–(iii).
√ 1 √
b) Let Γ be the star K1,s . The spectrum is s , 0s−1 , (− s)1 . Let u be
an eigenvector with eigenvalue θ = 0 that has t nonzero coordinates. (Then
2 ≤ t ≤ s.) Now N > (u) + N < (u) = N (u) = t and N ≥ (u) + N ≤ (u) = 2, and for
t = s equality holds in (i)–(iii).
5.4. SIGN PATTERNS OF EIGENVECTORS OF TREES 83
•+ •0 •−
• • • • • • • • • • • • • • •
+ + + + + + + 0 − − + + − + +
84 CHAPTER 5. TREES
•+ •0 •−
• • • • • • • • • • • • • • •
+ − − − + + − 0 + − + − + − +
We see that a small perturbation that would make u nonzero everywhere would
give the two zeros in the second eigenvector the same sign, but the two zeros
in the fifth eigenvector different sign (because θ2 > 0 and θ5 < 0) and for the
perturbed vector u′ we would find 0, 1, 2, 3, 4, 5 sign changes.
Proposition 5.6.2 (Brouwer [46]) If an integral tree has eigenvalue 0 with mul-
tiplicity 1, then it is SK1,m , where m = t2 − 1 for some integer t ≥ 1.
For a long time it has been an open question whether there exist integral
trees of arbitrarily large diameter. Recently, this was settled in the affirmative
by Csikvári. The construction is as follows. Define trees T ′ (r1 , . . . , rm ) by
induction: T ′ () is the tree with a single vertex x0 . T ′ (r1 , . . . , rm ) is the tree
obtained from T ′ (r1 , . . . , rm−1 ) by adding rm pendant edges to each vertex u
with d(u, x0 ) = m − 1 (mod 2). The diameter of this tree is 2m (assuming
r1 > 1) and it has 2m + 1 distinct eigenvalues:
5.7 Exercises
Exercise 1 Show that there are 6 integral trees on at most ten vertices, namely
(i) K1 , (ii) K2 , (iii) K1,4 = D̂4 , (iv) D̂5 , (v) Ê6 , (vi) K1,9 . (For notation,
cf. §3.1.1.)
86 CHAPTER 5. TREES
s s s s
s T "s
b
s
s b Ts "
b "
s s
b"
"b "b "b
s s s
" b" b" bs
" b
s s s
" bs
" b
s s
" bs
" b
s s s
" bs
"b
s s
An integral tree on 31 vertices.
"
s bs
What is the spectrum?
s
Exercise 2 Show that the only trees that have integral Laplace spectrum are
the stars K1,m .
Chapter 6
6.1 Γ(G, H, S)
Let G be a finite group, and H a subgroup, and S a subset of G. We can
define a graph Γ(G, H, S) by taking as vertices the cosets gH (g ∈ G), and
calling g1 H and g2 H adjacent when Hg2−1 g1 H ⊆ HSH. The group G acts as
a group of automorphisms on Γ(G, H, S) via left multiplication, and this action
is transitive. The stabilizer of the vertex H is the subgroup H.
A graph Γ(G, H, S) with H = 1 is called a Cayley graph.
Instead of representing each vertex as a coset, one can represent each vertex
y by the subgroup Gy fixing it. If H = Gx and y = gx, then Gy = gHg −1 , so
that now G acts by conjugation.
6.2 Spectrum
Let Γ be a graph and G a group of automorphisms. Let M be a matrix with
rows and columns indexed by the vertex set of Γ, and suppose that M commutes
with all elements of G (so that gM = M g, or, equivalently, Mxy = Mgx,gy ).
Now tr gM only depends on the conjugacy class of g in G, so the map g 7→ tr gM
defines a class function on G.
(Also the spectrum of gM only depends on the conjugacy class of g in G,
but it is not clear how the spectrum should be ordered. Having the trace,
however, suffices: one can retrieve the spectrum of a matrix M from the traces
i
of the powers
P sM . People also introduce the zeta function of a graph Γ by
ζΓ (−s) = λ = tr Ls , where the sum is over the eigenvalues λ of the Laplacian
L, in order to have a single object the trace of which encodes the spectrum.)
If Γ has vertex set X, and V = RX is the R-vector space spanned by the
vertices of Γ, then by Schur’s Lemma M acts as a multiple of the identity on
87
88 CHAPTER 6. GROUPS AND GRAPHS
Example Let Γ be the Petersen graph, with as vertices the unordered pairs
from a 5-set, adjacent when they are disjoint, and let M = A, the adjacency
matrix. Now f (g) := tr gA = #{x | x ∼ gx} defines a class function on
Aut Γ = Sym(5). Below we show f together with the character table of Sym(5)
(with top row indicating the cycle shape of the element):
1 2 22 3 4 5 2.3
χ1 1 1 1 1 1 1 1
χ2 1 −1 1 1 −1 1 −1
χ3 4 2 0 1 0 −1 −1
χ4 4 −2 0 1 0 −1 1
χ5 5 1 1 −1 −1 0 1
χ6 5 −1 1 −1 1 0 −1
χ7 6 0 −2 0 0 1 0
f 0 0 4 0 2 5 6
6.3 Covers
Let a graph Γ = (X, E) consist of a set of vertices X and a set of edges E and
an incidence relation between X and E (such that each edge is incident with
one or two points). An edge incident with one point only is called a loop. A
homomorphism f : Γ → ∆ of graphs is a map that sends vertices to vertices,
edges to edges, loops to loops, and preserves incidence.
For example, the chromatic number of Γ is the smallest integer m such that
there is a homomorphism from Γ to Km .
The map f is called a covering when it is a surjective homomorphism, and
for each vertex x of Γ and each edge e of ∆ that is incident with f (x), there is
a unique edge ẽ of Γ that is incident with x such that f (ẽ) = e. Now Γ is called
a cover of ∆.
If f is a covering, then paths in ∆ starting at a vertex y of ∆ lift uniquely
to paths starting at a vertex x of Γ, for each x ∈ f −1 (y).
The universal cover of a connected graph ∆ is the unique tree T that is a
cover. If a is a fixed vertex of ∆, then the vertices of T can be identified with
the walks in ∆ starting at a that never immediately retrace an edge, where
two walks are adjacent when one is the extension of the other by one more
edge. The tree T will be infinite when ∆ contains at least one cycle. If f is the
6.3. COVERS 89
covering map (that assigns to a walk its final vertex), then T has a group of
automorphisms H acting regularly on the fibers of f .
Given an arbitrary collection of cycles C in ∆, and a positive integer nC for
each C ∈ C, one may consider the most general cover satisfying the restriction
that the inverse image of the walk traversing C nC times is closed. (For example,
the ‘universal cover modulo triangles’ is obtained by requiring that the preimage
of each triangle is a triangle.) There is a unique such graph, quotient of the
universal cover. Again the covering group (the group preserving the fibers) acts
regularly on the fibers.
Conversely, let Γ be a graph, and H a group of automorphisms. The quotient
graph Γ/H has as vertices the H-orbits on the vertices of Γ, as edges the H-
orbits on the edges of Γ, and a vertex xH is incident with an edge eH when
some element of xH is incident with some element of eH .
The natural projection π : Γ → Γ/H is a homomorphism. It will be a
covering when no vertex x of Γ is on two edges in an orbit eH . In this case we
also say that Γ is a cover of Γ/H.
Now let Γ be finite, and f : Γ → ∆ a covering. P Let AΓ and A∆ be the
adjacency matrices of Γ and ∆. Then (A∆ )f (x),z = y∈f −1 (z) (AΓ )xy . If we
view AΓ and A∆ as linear transformations on the vector spaces VΓ and V∆
spanned by the vertices of Γ and ∆, and extend f to a linear map, then this
equation becomes A∆ ◦ f = f ◦ AΓ . If u is an eigenvector of ∆ with eigenvalue
θ, then u ◦ f (defined by (u ◦ f )y = uf (y) ) is an eigenvector of Γ with the same
eigenvalue, and the same holds for Laplacian eigenvectors and eigenvalues.
(This is immediately clear, but also follows from the fact that the partition
of V Γ into fibers f −1 (z) is an equitable partition.)
For example, let Γ be the path on 6 vertices with a loop added on both
sides and ∆ the path on 2 vertices with a loop added on both sides. Then the
map sending vertices 1, 4, 5 of Γ to one vertex of ∆ and 2, 3, 6 to the other,
is a covering. The ordinary spectrum√ of ∆ is 2,√ 0, and hence also Γ has these
eigenvalues. (It has spectrum 2, 3, 1, 0, −1, − 3.)
Thus, the spectrum of ∆ is a subset of the spectrum of Γ. We can be more
precise and indicate which subset.
Let V = RX be the vector space spanned by the vertices of Γ. Let G be
a group of automorphisms of Γ. We can view the elements g ∈ G as linear
transformations of V (permuting the basis vectors). Let H be a subgroup of G,
and let W be the subspace of V fixed by H.
Proposition 6.4.1 ([131]) Let Γ be the Cayley sum graph with sum set S in
the finite abelian group G. Let χ run through the n = |G| characters of G. The
spectrum of Γ consists of the numbers χ(S) for each real χ, P and ±|χ(S)| for
each pair χ, χ of conjugate non-real characters, where χ(S) = s∈S χ(s).
P P
Proof. If χ : G → C∗ is a character of G, then y ∼ x χ(y) = s∈S χ(s − x) =
P
( s∈S χ(s))χ(−x) = χ(S)χ(x). Now Γ is undirected, so the spectrum is real.
If χ is a real character, then we found an eigenvector χ, with eigenvalue χ(S).
If χ is non-real, then pick a constant α so that |χ(S)| = α2 χ(S). Then Re(αχ)
and Im(αχ) are eigenvectors with eigenvalues |χ(S)| and −|χ(S)|, respectively.
Chung [85] constructs Cayley sum graphs that are good expanders. For
further material on Cayley sum graphs, see [4], [83], [164], [168].
6.4.1 (3,6)-fullerenes
An amusing application was given by DeVos et al. [131]. A (3, 6)-fullerene is a
cubic plane graph whose faces (including the outer face) have sizes 3 or 6. Fowler
conjectured (cf. [146]) that such graphs have spectrum Φ ∪ {3, −1, −1, −1} (as
multiset), where Φ = −Φ, and this was proved in [131].
For example, the graph
d r rh
A A
b r Ar c f r Arg
A A
aA
r A
re
√ √
has spectrum 3, 5, 1,√(−1)4 , − 5 with eigenvalues 3, −1, −1, −1 together with
the symmetric part ± 5, ±1.
6.5. EXERCISES 91
Let H have set of vertices H, and let Γ ⊗ K2 have vertex set U , and let Γ
have vertex set V . Let π : H → U and ρ : U → V be the quotient maps. The
graph Γ ⊗ K2 is bipartite with bipartite halves U1 and U2 , say. Fix a vertex
a1 ∈ U1 and call it 0. Now π −1 (U1 ) is a lattice in R2 , and π −1 (a1 ) is a sublattice
(because the concatenation of two walks of even length in Γ starting and ending
in a again is such a walk), so the quotient G = π −1 (U1 )/π −1 (a1 ) is an abelian
group, and G can be naturally identified with V . The automorphism of Γ ⊗ K2
that for each u ∈ V interchanges the two vertices u1 , u2 of ρ−1 (u), lifts (for each
choice of a ∈ π −1 (a2 )) to an isometry of H with itself that is a point reflection
x 7→ v − x (where v = a). It follows that if two edges x1 y2 and z1 w2 in H are
parallel, then x + y = z + w. Hence Γ is the Cayley sum graph for G where the
sum set S is the set of three neighbors of a in Γ.
Now the spectrum follows. By the foregoing, the spectrum consists of the
values ±|χ(S)| for non-real characters χ of G, and χ(S) for real characters.
Since tr A = 0 and Γ is cubic and not bipartite (it has four triangles) it suffices
to show that there are precisely four real characters (then the corresponding
eigenvalues must be 3, −1, −1, −1). But this is clear since the number of real
characters is the number of elements of order 2 in G, an abelian group with
(at most) two generators, hence at most four, and fewer than four would force
nonzero tr A. This proves Fowler’s conjecture.
6.5 Exercises
Exercise 1 Show that a (3,6)-fullerene has precisely four triangles.
92 CHAPTER 6. GROUPS AND GRAPHS
Chapter 7
Euclidean representations
The main goal of this chapter is the famous result by Cameron, Goethals, Seidel
and Shult [77] characterizing graphs with smallest eigenvalue not less than −2.
7.1 Examples
We have seen examples of graphs with smallest eigenvalue θmin ≥ −2. The most
important example is formed by the line graphs (see §1.4.5), and people wanted
to characterize line graphs by this condition and possibly some additional hy-
potheses.
Another series of examples are the so-called cocktailparty graphs, that is, the
graphs Km×2 , i.e., mK2 , with spectrum 2m − 2, 0m , (−2)m−1 . For m ≥ 4 these
are not line graphs.
And there are exeptional examples like the Petersen graph (with spectrum
3 15 (−2)4 ), lots of them. It is easy to see that the Petersen graph is not a line
graph. More generally, no line graph can have a 3-claw, that is, an induced K1,3
subgraph, as is immediately clear from the definition.
The additive subgroup of Rm generated by the vectors x̄, for x in the vertex
set X of Γ, is a root lattice: an integral lattice generated by roots: vectors with
squared length 2. Root lattices have been classified. That classification is the
subject of the next section.
93
94 CHAPTER 7. EUCLIDEAN REPRESENTATIONS
Lattice
A lattice Λ is a discrete additive subgroup of Rn . Equivalently, it is a finitely
generated free Z-module with positive definite symmetric bilinear form.
Basis
Assume that our lattice Λ has dimension n, i.e., spans Rn . Let {a1 , ..., an } be
a Z-basis of Λ. Let A be the matrix with the P vectors ai as rows. If we choose
a different Z-basis {b1 , ..., bn }, so that bi = sij aj , and B is the matrix with
the vectors bi as rows, then B = SA, with S = (sij ). Since S is integral and
invertible, it has determinant ±1. It follows that | det A| is uniquely determined
by Λ, independent of the choice of basis.
Volume
Rn /Λ is an n-dimensional torus, compact with finite volume. Its volume is the
volume of the fundamental domain, which equals | det A|.
If Λ′ is a sublattice of Λ, then vol(Rn /Λ′ ) = vol(Rn /Λ).|Λ/Λ′ |.
Gram matrix
Let G be the matrix (ai , aj ) of inner
√ products of basis vectors for a given basis.
Then G = AA⊤ , so vol(Rn /Λ) = det G.
Dual lattice
The dual Λ∗ of a lattice Λ is the lattice of vectors having integral inner products
with all vectors in Λ: Λ∗ = {x ∈ Rn | (x, r) ∈ Z for all r ∈ Λ}.
It has a basis {a∗1 , ..., a∗n } defined by (a∗i , aj ) = δij .
Now A∗ A⊤ = I, so A∗ = (A−1 )⊤ and Λ∗ has Gram matrix G∗ = G−1 .
It follows that vol(Rn /Λ∗ ) = vol(Rn /Λ)−1 .
We have Λ∗∗ = Λ.
Integral lattice
The lattice Λ is called integral when every two lattice vectors have an integral
inner product.
For an integral lattice Λ one has Λ ⊆ Λ∗ .
The lattice Λ is called even when (x, x) is an even integer for each x ∈ Λ.
An even lattice is integral.
7.3. ROOT LATTICES 95
Discriminant
The determinant, or discriminant, disc Λ of a lattice Λ is defined by disc Λ =
det G. When Λ is integral, we have disc Λ = |Λ∗ /Λ|.
A lattice is called self-dual or unimodular when Λ = Λ∗ , i.e., when it is
integral with discriminant 1. An even unimodular lattice is called Type II, the
remaining unimodular lattices are called Type I.
It can be shown that if there is an even unimodular lattice in Rn , then n is
divisible by 8.
Direct sums
If Λ and Λ′ are lattices in Rm and Rn , respectively, then Λ ⊥ Λ′ , the orthogonal
direct sum of Λ and Λ′ , is the lattice {(x, y) ∈ Rm+n | x ∈ Λ and y ∈ Λ′ }.
A lattice is called irreducible when it is not the orthogonal direct sum of two
nonzero lattices.
Examples
Zn
r r r r
r r r r
r r r r
A2
r r r
s ` 2r + s
q
`
p
r r r
0 r
r r r
The triangular lattice in the plane R2 has basis {r,s}. Choose the scale such
√ 2 −1
that r has length 2. Then the Gram matrix is G = −1 2 , so that det G = 3
and p, q ∈ A∗2 . A fundamental region for A2 is the parallelogram on 0, r, s. A
fundamental region for A∗2 is the parallelogram on 0, p, q. Note that the area of
the former is thrice that of the latter.
2
The representation of this lattice in RP has nonintegral coordinates. It is
3
easier to work in R , on the hyperplane xi = 0, and choose r = (1, −1, 0),
sP= (0, 1, −1). Then A2 consists of the points (x1 , x2 , x3 ) with xi ∈ Z and
∗
xi = 0. The dual lattice P A2 consists of the points (x1 , x2 , x3 ) with x1 ≡
x2 ≡ x3 ≡ 0 (mod 1) and xi = 0 (so that 3x1 ∈ Z). It contains for example
p = 13 (2r + s) = ( 23 , − 13 , − 13 ).
96 CHAPTER 7. EUCLIDEAN REPRESENTATIONS
E8
Let ρ : Zn → 2n be coordinatewise reduction mod 2. Given a binary linear
code C, the lattice ρ−1 (C) is integral, since it is contained in Zn , but never
unimodular, unless it is all of Zn , a boring situation.
Now suppose that C is self-orthogonal, so that any two code words have an
even inner product. Then √12 ρ−1 (C) is an integral lattice. If dim C = k then
1
vol(Rn /ρ−1 (C)) = 2n−k and hence vol(Rn / √12 ρ−1 (C)) = 2 2 n−k . In particular,
√1 ρ−1 (C) will be unimodular when C is self-dual, and even when C is ‘doubly
2
even’, i.e., has weights divisible by 4.
Let C be the [8,4,4] extended Hamming code. Then √12 ρ−1 (C) is an even
unimodular 8-dimensional lattice known as E8 .
The code C has weight enumerator 1 + 14X 4 + X 8 (that is, has one word
of weight 0, 14 words of weight 4, and one word of weight 8). It follows that
the roots (vectors r with (r, r) = 2) in this incarnation of E8 are the 16 vectors
± √12 (2, 0, 0, 0, 0, 0, 0, 0) (with 2 in any position), and the 16.14 = 224 vectors
√1 (±1, ±1, ±1, ±1, 0, 0, 0, 0) with ±1 in the nonzero positions of a weight 4
2
vector. Thus, there are 240 roots.
Root lattices
A root lattice is an integral lattice generated by roots (vectors r with (r, r) = 2).
For example, A2 and E8 are root lattices.
The set of roots in a root lattice is a (reduced) root system Φ, i.e., satisfies
(i) If r ∈ Φ and λr ∈ Φ, then λ = ±1.
(r,s)
(ii) Φ is closed under the reflection wr that sends s to s − 2 (r,r) r for each
r ∈ Φ.
(r,s)
(iii) 2 (r,r) ∈ Z.
Since Φ generates Λ and Φ is invariant under W = hwr | r ∈ Φi, the same
holds for Λ, so root lattices have a large group of automorphisms.
A fundamental system of roots Π in a root lattice Λ is a set of roots generating
Λ and such that (r, s) ≤ 0 for distinct r, s ∈ Π. A reduced fundamental system
of roots is a fundamental system that is linearly independent. A non-reduced
fundamental system is called extended.
For example, in A2 the set {r, s} is a reduced fundamental system, and
{r, s, −r − s} is an extended fundamental system.
The Dynkin diagram of a fundamental system Π such that (r, s) 6= −2 for
r, s ∈ Π, is the graph with vertex set Π where r and s are joined by an edge
when (r, s) = −1. (The case (r, s) = −2 happens only for a non-reduced system
with A1 component. In that case we do not define the Dynkin diagram.)
Every root lattice has a reduced fundamental system: Fix some vector u,
not orthogonal to any root. Put Φ+ (u) = {r ∈ Φ | (r, u) > 0} and Π(u) =
{r ∈ Φ+ (u) | r cannot be written as s + t with s, t ∈ Φ+ (u)}. Then Π(u) is a
reduced fundamental system of roots, and written on this basis each root has
only positive or only negative coefficients.
(Indeed, if r, s ∈ Π(u) and (r, s) = 1, then say r − s ∈ Φ+ (u) and r =
(r − s) + s, contradiction. This shows that Π(u) is a fundamental system. If
7.3. ROOT LATTICES 97
P P
P γr r = 0, then separate the γr into positive and negative ones to get αr r =
P sβ s = x 6
= 0 where all coefficients α r , β s are positive. Now 0 < (x, x) =
αr βs (r, s) < 0, contradiction. This shows that Π(u) is reduced. Now also the
last claim follows.)
But W is finite, so after finitely many steps we reach the desired conclusion.
(ii) Induction on |Π|. Fix x with (x, r) ≥ 0 for all r ∈ Π. Then Π0 = Π ∩ x⊥
is a fundamental system of a lattice in a lower-dimensional space, so of the form
Π0 = Π0 (u0 ). Take u = x + εu0 for small ε > 0. Then Π = Π(u).
(iii) If r ∈ Φ+ (u) has maximal (r, u), then r̃ = −r is the unique root that can
be added. It can be added, since (r̃, s) ≥ 0 means (r, s) < 0, so that r+s is a root,
contradicting maximality of r. And it is unique because linear dependencies
of an extended system correspond to an eigenvector with eigenvalue 2 of the
extended Dynkin diagram, and by Perron-Frobenius up to a constant there is
a unique such eigenvector when the diagram is connected, that is, when Λ is
irreducible.
Classification
The irreducible root lattices one finds are An (n ≥ 0), Dn (n ≥ 4), E6 , E7 , E8 .
Each is defined by its Dynkin diagram.
P
(1) An : The lattice vectors are: x ∈ Zn+1 with xi = 0. There are n(n + 1)
roots: ei − ej (i 6= j). The discriminant is n + 1, and A∗n /An ∼
= Zn+1 , with the
1
quotient generated by n+1 (e1 + ... + en − nen+1 ) ∈ A∗n .
(e1 − en+1 )
HH
c
HH
HH
s
s s s H Hs
e2 − e1 e3 − e2 en+1 − en
P
(2) Dn : The lattice vectors are: x ∈ Zn with xi ≡ 0 (mod 2). There
are 2n(n − 1) roots ±ei ± ej (i 6= j). The discriminant is 4, and Dn∗ /Dn is
isomorphic to Z4 when n is odd, and to Z2 × Z2 when n is even. Dn∗ contains
e1 and 21 (e1 + ... + en ). Note that D3 ∼
= A3 .
98 CHAPTER 7. EUCLIDEAN REPRESENTATIONS
e1 + e2 (−en−1 − en )
s c
s s s s s s
e2 − e1 e3 − e2 en−1 − en−2 en − en−1
s s s s s s s c
e2 − e1 e3 − e2 e4 − e3 e5 − e4 e6 − e5 e7 − e6 −e7 − e8 (c)
(4) E7 : Take E7 = E8 ∩c⊥ . There are 126 = 56+70 roots. The discriminant
is 2, and E7∗ contains 41 (1, 1, 1, 1, 1, 1, −3, −3).
1
2
(1, 1, 1, −1, −1, −1, −1, 1)
s
c s s s s s s
(e1 − e8 ) e2 − e1 e3 − e2 e4 − e3 e5 − e4 e6 − e5 e7 − e6
c (e7 − e8 )
1
s 2
(1, 1, 1, −1, −1, −1, −1, 1)
s s s s s
e2 − e1 e3 − e2 e4 − e3 e5 − e4 e6 − e5
7.4 Cameron-Goethals-Seidel-Shult
Now return to the discussion of connected graphs Γ with smallest eigenvalue
θmin ≥ −2. In §7.2 we found a map x 7→ x̄ from the vertex set X of Γ to some
Euclidean space Rm such that the inner product (x̄, ȳ) takes the value 2, 1, 0
when x = y, x ∼ y and x 6∼ y, respectively.
Let Σ be the image of X under this map. Then Σ generates a root lattice
Λ. Since Γ is connected, the root lattice is irreducible.
By the classification of root lattices, it follows that the root lattice is one
of An , Dn , E6 , E7 or E8 . Note that the graph is determined by Σ, so that
the classification of graphs with θmin ≥ −2 is equivalent to the classification of
subsets Φ of the root system with the property that all inner products are 2, 1,
or 0, i.e., nonnegative.
Now An and Dn can be chosen to have integral coordinates, and E6 ⊂ E7 ⊂
E8 , so we have the two cases (i) Σ ⊂ Zm+1 , and (ii) Σ ⊂ E8 . A graph is called
exceptional in case (ii). Since E8 has a finite number of roots, there are only
finitely many exceptional graphs.
In case (i) one quickly sees what the structure of Γ has to be. Something
like a line graph with attached cocktailparty graphs. This structure has been
baptised generalized line graph. The precise definition will be clear from the
proof of the theorem below.
Theorem 7.4.1 (i) Let Γ be a connected graph with smallest eigenvalue θmin ≥
−2. Then either Γ is a generalized line graph, or Γ is one of finitely many
exceptions, represented by roots in the E8 lattice.
(ii) A regular generalized line graph is either a line graph or a cocktailparty
graph.
(iii) A graph represented by roots in the E8 lattice has at most 36 vertices,
and every vertex has valency at most 28.
Proof. (i) Consider the case Σ ⊂ Zm+1 . Roots in Zm+1 have shape ±ei ± ej .
If some ei has the same sign in all σ ∈ Σ in which it occurs, then choose
the basis such that this sign is +. Let I be the set of all such indices i. Then
{x | x̄ = ei +ej for some i, j ∈ I} induced a line graph in Γ, with x corresponding
to the edge ij on I. If j ∈ / I, then ej occurs with both signs, and there are
σ, τ ∈ Σ with σ = ±ei + ej and τ = ±ei′ − ej . Since all inner products in Σ
are nonnegative, i = i′ with i ∈ I, and σ = ei + ej , τ = ei − ej . Thus, i is
determined by j and we have a map φ : j 7→ i from indices outside I to indices
in I. Now for each i ∈ I the set {x | x̄ = ei ± ej for some j with φ(j) = i}
induces a cocktailparty graph. Altogether we see in what way Γ is a line graph
with attached cocktailparty graphs.
(ii) Now let Γ be regular. A vertex x with x̄ = ei −ej is adjacent to all vertices
with image ei ± ek different from ei + ej . But a vertex y with ȳ = ei + ek where
i, k ∈ I is adjacent to all vertices with image ei ± ek without exception (and also
to vertices with image ek ± el ). Since Γ is regular both types of vertices cannot
occur together, so that Γ is either a line graph or a cocktailparty graph.
(iii) Suppose Σ ⊂ E8 . Consider the 36-dimensional space of symmetric 8 × 8
matrices, equipped with the positive definite inner product (P, Q) = tr P Q.
Associated with the 240 roots r of E8 are 120 rank 1 matrices Pr = rr⊤ with
mutual inner products (Pr , Ps ) = tr rr⊤ ss⊤ = (r, s)2 . The Gram matrix of the
100 CHAPTER 7. EUCLIDEAN REPRESENTATIONS
7.5 Exercises
Exercise 1 Show that the following describes a root system of type E6 . Take
the following 72 vectors in R9 : 18 vectors ±(u, 0, 0), ±(0, u, 0), ±(0, 0, u) with
u ∈ {(1, −1, 0), (0, 1, −1), (−1, 0, 1)}, and 54 vectors ±(u, v, w) with u, v, w ∈
{( 23 , − 13 , − 13 ), (− 13 , 32 , − 13 ), (− 13 , − 13 , 32 )}.
Exercise 2 Show that the following describes a root system of type E7 . Take
the following 126 vectors in R7 : 60 vectors ±ei ± ej with 1 ≤ i < j ≤ 6, and 64
vectors ±(x1 , ..., x6 , √12 ) with xi = ± 21 where an even number of xi has + sign,
√
and 2 vectors ±(0, ..., 0, 2).
Chapter 8
(ii) for each pair of adjacent vertices there are λ vertices adjacent to both,
(iii) for each pair of non-adjacent vertices there are µ vertices adjacent to both.
We require that both edges and non-edges occur, so that the parameters are
well-defined.
In association scheme terminology (cf. §10.1), a strongly regular graph is
a symmetric association scheme with two (nonidentity) classes, in which one
relation is singled out to be the adjacency relation.
101
102 CHAPTER 8. STRONGLY REGULAR GRAPHS
Proposition 8.1.1 The Paley graph Paley(q) with q = 4t+1 is strongly regular
with parameters (v, k, λ, µ) = (4t + 1, 2t, t − 1, t). It has eigenvalues k, (−1 ±
√
q)/2 with multiplicities 1, 2t, 2t, respectively.
Proof. The values for v and k are clear. Let χ : Fq → {−1, 0, 1} be the
quadratic residue character defined by χ(0) =P0, χ(x) = 1 when x is a (nonzero)
square, andPχ(x) = −1 otherwise.
P Note that x χ(x) = 0, and that for nonzero
a we have z χ(z 2 − az) = z6=0 χ(1 − az ) = −1. Now λ and µ follow from
X X
4 1= (χ(z − x) + 1)(χ(z − y) + 1) = −1 − 2χ(x − y) + (q − 2).
z
x∼z∼y
z6=x,y
A2 = kI + λA + µ(J − I − A).
8.1.5 Parameters
Theorem 8.1.3 Let Γ be a strongly regular graph with adjacency matrix A and
parameters (v, k, λ, µ). Let r and s (r > s) be the restricted eigenvalues of A
and let f , g be their respective multiplicities. Then
(i) k(k − 1 − λ) = µ(v − k − 1),
(ii) rs = µ − k, r + s = λ − µ,
(r+s)(v−1)+2k
(iii) f, g = 21 (v − 1 ∓ r−s ).
104 CHAPTER 8. STRONGLY REGULAR GRAPHS
Proof. (i) Fix a vertex x of Γ. Let Γ(x) and ∆(x) be the sets of vertices
adjacent and non-adjacent to x, respectively. Counting in two ways the number
of edges between Γ(x) and ∆(x) yields (i). The equations (ii) are direct conse-
quences of Theorem 8.1.2(ii), as we saw in the proof. Formula (iii) follows from
f +g = v −1 and 0 = trace A = k +f r+gs = k + 21 (r+s)(f +g)+ 21 (r−s)(f −g).
Finally, when f 6= g then one can solve for r and s in (iii) (using (ii)) and find
that r and s are rational, and hence integral. But f = g implies (µ − λ)(v − 1) =
2k, which is possible only for µ − λ = 1, v = 2k + 1.
These relations imply restrictions for the possible values of the parameters.
Clearly, the right hand sides of (iii) must be positive integers. These are the
so-called rationality conditions.
Proposition 8.1.4 (Kelly [214], Bridges & Mena [38]) A strongly regular graph
with a regular cyclic group of automorphisms is a Paley graph with a prime
number of vertices.
Theorem 8.1.5 (Hoffman & Singleton [196]) Suppose (v, k, 0, 1) is the param-
eter set of a strongly regular graph. Then (v, k) = (5, 2), (10, 3), (50, 7) or
(3250, 57).
s = −r − 1, k = r2 + r + 1, v = r4 + 2r3 + 3r2 + 2r + 2,
More generally we can look at strongly regular graphs of girth at least 4. Seven
examples are known.
(i) The pentagon, with parameters (5,2,0,1).
(ii) The Petersen graph, with parameters (10,3,0,1). This is the complement
of the triangular graph T (5).
(iii) The folded 5-cube, with parameters (16,5,0,2). This graph is obtained
from the 5-cube 25 on 32 vertices by identifying antipodal vertices. (The com-
plement of this graph is known as the Clebsch graph.)
(iv) The Hoffman-Singleton graph, with parameters (50,7,0,1). There are
many constructions for this graph, cf., e.g., [48], §13.1. A short one, due to N.
Robertson, is the following. Take 25 vertices (i, j) and 25 vertices (i, j)′ with
i, j ∈ Z5 , and join (i, j) with (i, j + 1), (i, j)′ with (i, j + 2)′ , and (i, k) with
(j, ij + k)′ for all i, j, k ∈ Z5 . Now the subsets (i, ∗) become pentagons, the
(i, ∗)′ become pentagons (drawn as pentagrams), and each of the 25 unions of
(i, ∗) with (j, ∗)′ induces a Petersen subgraph.
(v) The Gewirtz graph, with parameters (56,10,0,2). This is the graph with
as vertices the 77 − 21 = 56 blocks of the unique Steiner system S(3, 6, 22)
not containing a given symbol, where two blocks are adjacent when they are
disjoint. It is a subgraph of the following.
(vi) The M22 graph, with parameters (77,16,0,4). This is the graph with as
vertices the 77 blocks of the unique Steiner system S(3, 6, 22), adjacent when
they are disjoint. It is a subgraph of the following.
(vii) The Higman-Sims graph, with parameters (100,22,0,6). This is the
graph with as 1 + 22 + 77 vertices an element ∞, the 22 symbols of S(3, 6, 22),
and the 77 blocks of S(3, 6, 22). The element ∞ is adjacent to the 22 symbols,
each symbol is adjacent to the 21 blocks containing it, and blocks are adjacent
when disjoint. The (rank 3) automorphism group of this graph is HS.2, where
HS is the sporadic simple group of Higman and Sims. This graph can be
partitioned into two halves, each inducing a Hoffman-Singleton graph, cf. [48],
§13.1.
Each of these seven graphs is uniquely determined by its parameters. It is
unknown whether there are any further examples. There are infinitely many
feasible parameter sets. For the parameters (324, 57, 0, 12) nonexistence was
shown in Gavrilyuk & Makhnev [150] and in Kaski & Östergård [213].
Seidel’s absolute bound for the number of vertices of a primitive strongly regular
graph (see Corollary 9.6.8 below) reads
v ≤ f (f + 3)/2, v ≤ g(g + 3)/2.
For example, the parameter set (28,9,0,4) (spectrum 91 121 (−5)6 ) is ruled
out both by the second Krein condition and by the absolute bound.
A useful identity is an expression for the Frame quotient (cf. [48], 2.2.4 and
2.7.2). One has
f g(r − s)2 = vk(v − 1 − k).
(as is easy to check directly from the expressions for f and g given in Theorem
8.1.3(iii)). From this one immediately concludes that if v is prime, then r − s =
√
v and we are in the ‘half case’ (v, k, λ, µ) = (4t + 1, 2t, t − 1, t).
The Frame quotient, Krein conditions and absolute bound are special cases of
general (in)equalities for association schemes—see also §10.4 below. In Brouwer
& van Lint [56] one may find a list of known restrictions and constructions. It
is a sequel to Hubaut’s [202] earlier survey of constructions.
Using the above parameter conditions, Neumaier [249] derives the µ-bound:
Theorem 8.1.6 For a primitive strongly regular graph µ ≤ s3 (2s+3). If equal-
ity holds, then r = −s2 (2s + 3).
Examples of equality in the µ-bound are known for s = −2 (the Schläfli
graph, with (v, k, λ, µ) = (27, 16, 10, 8)) and s = −3 (the McLaughlin graph,
with (v, k, λ, µ) = (275, 162, 105, 81)).
Brouwer & Neumaier [58] showed that a connected partial linear space with
girth at least 5 and more than one line, in which every point is collinear with
m other points, contains at least 21 m(m + 3) points. It follows that a strongly
regular graph with µ = 2 either has k ≥ 12 λ(λ + 3) or has (λ + 1)|k.
Bagchi [12] showed that any K1,1,2 -free strongly regular graph is either the
collinearity graph of a generalized quadrangle or satisfies k ≥ (λ + 1)(λ + 2).
(It follows that in the above condition on µ = 2 the (λ + 1)|k alternative only
occurs for the m × m grid, where m = λ + 2.)
Proof. More generally, let Γ be a strongly regular graph with a partition into
cocliques that meet the Hoffman bound. Then the graph ∆ obtained from Γ by
adding edges so that these cocliques become cliques has spectrum k + m − 1,
(r − 1)f , (s + m − 1)h , (s − 1)g−h , where m is the size of the cocliques, and
h = v/m − 1. The proposition is the special case m = r − s.
For example, from the Hall-Janko graph with OA(10, 4) parameters (100, 36,
12, 14) and a partition into ten 10-cocliques (which exists) one obtains a strongly
regular graph with OA(10, 5) parameters (100, 45, 20, 20), and hence also a sym-
metric design 2-(100,45,20). But an OA(10, 5) (three mutually orthogonal Latin
squares of order 10) is unknown.
with α points on the given line. One calls this structure a pg(s, t, α). Note
that the dual of a pg(s, t, α) is a pg(t, s, α) (where ‘dual’ means that the names
‘point’ and ‘line’ are swapped).
Partial geometries were introduced by Bose [31].
One immediately computes the number of points v = (s + 1)(st + α)/α and
lines b = (t + 1)(st + α)/α.
The extreme examples of partial geometries are generalized quadrangles (par-
tial geometries with α = 1) and Steiner systems S(2, K, V ) (partial geometries
with α = s + 1). Many examples are also provided by nets (with t = α) or their
duals, the transversal designs (with s = α).
The collinearity graph of a pg(s, t, α) is complete if α = s + 1, and otherwise
strongly regular with parameters v = (s + 1)(st + α)/α, k = s(t + 1), λ =
s − 1 + t(α − 1), µ = α(t + 1), and eigenvalues θ1 = s − α, θ2 = −t − 1. (Note:
earlier we used s for the smallest eigenvalue, but here s has a different meaning!)
A strongly regular graph is called geometric when it is the collinearity graph
of a partial geometry. It is called pseudo-geometric when there are integers
s, t, α such that the parameters (v, k, λ, µ) have the above-given values.
Bose [31] showed that a pseudo-geometric graph with given t and sufficiently
large s must be geometric. Neumaier [249] showed that the same conclusion
works in all cases, and hence derives a contradiction in the non-pseudo-geometric
case.
Theorem 8.1.9 For any fixed s = −m there are only finitely many primitive
strongly regular graphs with smallest eigenvalue s, that are not the block graph
of a linear space or transversal design with t + 1 = −m.
(vii) the Clebsch graph, with parameters (v, k, λ, µ) = (16, 10, 6, 6),
(viii) the Schläfli graph, with parameters (v, k, λ, µ) = (27, 16, 10, 8).
Proof. If Γ is imprimitive, then we have case (i). Otherwise, the µ-bound gives
µ ≤ 8, and the rationality conditions give (r +2)|(µ−2)(µ−4) and integrality of
v gives µ|2r(r + 1). For µ = 2 we find the parameters of L2 (n), for µ = 4 those
of T (n), and for the remaining values for µ only the parameter sets (v, k, λ, µ) =
(10, 3, 0, 1), (16, 10, 6, 6), and (27, 16, 10, 8) survive the parameter conditions and
the absolute bound. It remains to show that the graph is uniquely determined
by its parameters in each case. Now Shrikhande [283] proved uniqueness of the
graph with L2 (n) parameters, with the single exception of n = 4, where there
is one more graph, now known as the Shrikhande graph, and Chang [79, 80]
proved uniqueness of the graph with T (n) parameters, with the single exception
of n = 8, where there are three more graphs, now known as the Chang graphs.
In the remaining three cases uniqueness is easy to see.
Let us give definitions for the graphs involved.
The Shrikhande graph is the result of Seidel switching the lattice graph L2 (4)
with respect to an induced circuit of length 8. It is the complement of the Latin
square graph for the cyclic Latin square of order 4. It is locally a hexagon.
As As As As
As As As As
Drawn on a torus: As As As As .
As As As As
The three Chang graphs are the result of switching T (8) (the line graph of K8 )
with respect to (a) a 4-coclique K4 , that is, 4 pairwise disjoint edges in K8 ; (b)
K3 + K5 , that is, 8 edges forming a triangle and a (disjoint) pentagon in K8 ;
(c) the line graph of the cubic graph formed by an 8-circuit plus edges between
opposite vertices.
The Clebsch graph is the complement of the folded 5-cube.
The Schläfli graph is the collinearity graph of GQ(2, 4) (cf. §8.6).
8.3 Connectivity
For a graph Γ, let Γi (x) denote the set of vertices at distance i from x in Γ.
Instead of Γ1 (x) we write Γ(x).
(i) |C| ≤ g,
(iii) if |C| = g = ns/(s − k), then the subgraph Γ′ of Γ induced by the vertices
which are not in C, is strongly regular with eigenvalues k ′ = k +s (degree),
r′ = r and s′ = r + s and respective multiplicities 1, f − g + 1 and g − 1.
Proof. Parts (i) and (ii) follow from Theorems 4.1.1 and 4.1.2. Assume |C| =
g = ns/(s − k). By Theorem 2.5.4, Γ′ is regular of degree k + s. Apply
Lemma 2.11.1 to P = A − k−r n J, where A is the adjacency matrix of Γ. Since
Γ is regular, A and J commute and therefore P has eigenvalues r and s with
multiplicities f + 1 and g, respectively. We take Q = − k−r n J of size |C| = g
and R = A′ − k−r n J, where A′
is the adjacency matrix of Γ′ . Lemma 2.11.1
gives the eigenvalues of R: r (f + 1 − g times), s (0 times), r + s (g − 1 times)
and r + s + g(k − r)/n (1 time). Since Γ′ is regular of degree k + s and A′
commutes with J we obtain the required eigenvalues for A′ . By Theorem 8.1.2
Γ′ is strongly regular.
For instance, an (m−1)-coclique in T (m) is tight for both bounds and the graph
on the remaining vertices is T (m − 1).
Also for the chromatic number we can say more in case of a strongly regular
graph.
8.5 Automorphisms
Let A be the adjacency matrix of a graph Γ, and P the permutation matrix that
describes an automorphism φ of Γ. Then AP = P A. If φ has order m, then
P m = I, so that the eigenvalues of AP are m-th roots of unity times eigenvalues
of A.
Apply this in the special case of strongly regular graphs. Suppose φ has
f fixed points, and moves g points to a neighbor. Then f = tr P and g =
tr AP . Now consider M = A − sI. It has spectrum (k − s)1 , (r − s)f , 0g with
multiplicities written as exponents. Hence M P has eigenvalues k − s, (r − s)ζ
for certain m-th roots of unity ζ, and 0. It follows that g − sf = tr M P ≡
k − s (mod r − s).
For example, for the Petersen graph every automorphism satisfies f ≡ g +
1 (mod 3).
For example, for a hypothetical Moore graph on 3250 vertices (cf. §10.5.1),
every automorphism satisfies 8f + g ≡ 5 (mod 15).
In some cases, where a structure is given locally, it must either be a universal
object, or a quotient, where the quotient map preserves local structure, that is,
only identifies points that are far apart. In the finite case arguments like those in
this section can be used to show that f = g = 0 is impossible, so that nontrivial
quotients do not exist. For an example, see [47].
114 CHAPTER 8. STRONGLY REGULAR GRAPHS
8.6.1 Parameters
A generalized n-gon is called firm (thick) when each vertex has at least 2 (resp.
3) neighbors, that is, when each point is on at least two (three) lines, and each
line is on at least two (three) points.
An example of a non-firm generalized quadrangle is a pencil of lines on
one common point x0 . Each point different from x0 is on a unique line, and
Γ3 (x0 ) = ∅.
Proposition 8.6.1 (i) If a generalized n-gon Γ has a pair of opposite vertices
x, y where x has degree at least two, then every vertex has an opposite, and Γ is
firm.
(ii) A thick generalized n-gon has parameters: each line has the same number
of points, and each point is on the same number of lines. When moreover n is
odd then the number of points on each line equals the number of lines through
each point.
Proof. For a vertex x of a generalized n-gon, let k(x) be its degree. Call two
vertices of a generalized n-gon opposite when they have distance n. If x and y
are opposite then each neighbor of one is on a unique shortest path to the other,
and we find k(x) = k(y).
(i) Being non-opposite gives a bijection between Γ(x) and Γ(y), and hence if
k(x) > 1 then also each neighbor z of x has an opposite and satisfies k(z) > 1.
Since Γ is connected, it is firm.
(ii) Let x, z be two points joined by the line y. Let w be opposite to y.
Since k(w) > 2 there is a neighbor u of w opposite to both x and z. Now
k(x) = k(u) = k(z). Since Γ is connected and bipartite this shows that k(p) is
independent of the point p. If n is odd, then a vertex opposite a point is a line.
A firm, non-thick generalized quadrangle is the vertex-edge incidence graph
of a complete bipartite graph.
The halved graph of a bipartite graph Γ, is the graph on the same vertex
set, where two vertices are adjacent when they have distance 2 in Γ. The point
graph and line graph of a generalized n-gon are the two components of its halved
graph containing the points and lines, respectively.
8.6. GENERALIZED QUADRANGLES 115
The point graph and line graph of a finite thick generalized n-gon are
distance-regular of diameter ⌊n/2⌋ (see Chapter 11). In particular, the point
graph and line graph of a thick generalized quadrangle are strongly regular (see
Theorem 8.6.2).
It is customary to let GQ(s, t) denote a finite generalized quadrangle with
s + 1 points on each line and t + 1 lines on each point. Note that it is also
customary to use s to denote the smallest eigenvalue of a strongly regular graph,
so in this context one has to be careful to avoid confusion.
It is a famous open problem whether a thick generalized n-gon can have
finite s and infinite t. In the special case of generalized quadrangles a little
is known: Cameron, Kantor, Brouwer, and Cherlin [74, 44, 81] show that this
cannot happen for s + 1 ≤ 5.
In the below we’ll meet GQ(2, t) for t = 1, 2, 4 and GQ(3, 9). Let us give simple
direct descriptions for GQ(2, 1) and GQ(2, 2).
The unique GQ(2, 1) is the 3-by-3 grid: 9 points, 6 lines. Its point graph is
K3 × K3 .
The unique GQ(2, 2) is obtained by taking as points the 15 pairs from a 6-
set, and as lines the 15 partitions of that 6-set into three pairs. Now collinearity
is being disjoint. Given a point ac, and a line {ab, cd, ef }, the two points ab
and cd on this line are not disjoint from ac, so that ef is the unique point on
this line collinear with ac, and the line joining ac and ef is {ac, bd, ef }.
116 CHAPTER 8. STRONGLY REGULAR GRAPHS
and spectrum
Theorem 8.6.3 A weak generalized quadrangle where all lines lines have size
3 is one of the following:
8.7.1 Descriptions
Let us first give a few descriptions of our graph on 81 vertices. Note that the
uniqueness shows that all constructions below give isomorphic graphs, some-
thing, which is not immediately obvious from the description in all cases.
A. Let X be the point set of AG(4, 3), the 4-dimensional affine space over F3 ,
and join two points when the line connecting them hits the hyperplane at infinity
(a P G(3, 3)) in a fixed elliptic quadric Q. This description shows immediately
that v = 81 and k = 20 (since |Q| = 10). Also λ = 1 since no line meets Q
in more than two points, so that the affine lines are the only triangles. Finally
µ = 6, since a point outside Q in P G(3, 3) lies on 4 tangents, 3 secants and 6
exterior lines with respect to Q, and each secant contributes 2 to µ. We find that
the group of automorphisms contains G = 34 · P GO4− · 2, where the last factor 2
accounts for the linear transformations that do not preserve the quadratic form
Q, but multiply it by a constant. In fact this is the full group, as will be clear
from the uniqueness proof.
C. There is a unique strongly regular graph Γ with parameters (112, 30, 2, 10),
the collinearity graph of the unique generalized quadrangle with parameters
GQ(3, 9). Its second subconstituent is an (81, 20, 1, 6) strongly regular graph,
and hence isomorphic to our graph Γ. (See Cameron, Goethals & Seidel [76].)
We find that Aut Γ contains (and in fact it equals) the point stabilizer in U4 (3) ·
D8 acting on GQ(3, 9).
118 CHAPTER 8. STRONGLY REGULAR GRAPHS
D. The graph Γ is the coset graph of the truncated ternary Golay code C: take
the 34 cosets of C and join two cosets when they contain vectors differing in
only one place.
E. The graph Γ is the Hermitean forms graph on F29 ; more generally, take
the q 4 matrices M over Fq2 satisfying M ⊤ = M , where − denotes the field
automorphism x → xq (applied entrywise), and join two matrices when their
difference has rank 1. This will give us a strongly regular graph with parameters
(v, k, λ, µ) = (q 4 , (q 2 + 1)(q − 1), q − 2, q(q − 1)).
F. The graph Γ is the graph with vertex set F81 , where two vertices are joined
when their difference is a fourth power. (This construction was given by Van
Lint & Schrijver [228].)
8.7.2 Uniqueness
Now let us embark upon the uniqueness proof. Let Γ = (X, E) be a strongly
regular graph with parameters (v, k, λ, µ) = (q 4 , (q 2 + 1)(q − 1), q − 2, q(q − 1))
and assume that all maximal cliques (we shall just call them lines) of Γ have
size q. Let Γ have adjacency matrix A. Using the spectrum of A - it is {k 1 , (q −
1)f , (q − 1 − q 2 )g }, where f = q(q − 1)(q 2 + 1) and g = (q − 1)(q 2 + 1) - we can
obtain some structure information. Let T be the collection of subsets of X of
cardinality q 3 inducing a subgraph that is regular of degree q − 1.
1. Claim. If T ∈ T, then each point of X \ T is adjacent to q 2 points of T .
Look at the matrix B of average row sums of A, with sets of rows and
columns partitioned according to {T, X \ T }. We have
q − 1 q 2 (q − 1)
B=
q2 k − q2
least) q 2 −1, or, equivalently (by Lemma 2.11.1), that MX\T has eigenvalue
q − 1 − q 2 with multiplicity (at least) q − 2. But for each U ∈ T with
U ∩ T = ∅ we find an eigenvector xU = (2 − q)χU + χX\(T ∪U ) of MX\T
with eigenvalue q − 1 − q 2 . A collection {xU |U ∈ U} of such eigenvectors
cannot be linearly
S dependent
S when U = {U1 , U2 , . . .} can be ordered such
that Ui 6⊂ j<i Uj and U 6= X \ T , so we can find (using Claim 3) at
least q − 2 linearly independent such eigenvectors, and we are done.
5. Claim. Any T ∈ T determines a unique partition of X into members of
T.
Indeed, we saw this in the proof of the previous step.
Let Π be the collection of partitions of X into members of T. We have |T| =
q(q 2 + 1) and |Π| = q 2 + 1. Construct a generalized quadrangle GQ(q, q 2 ) with
point set {∞} ∪ T ∪ X as follows: The q 2 + 1 lines on ∞ are {∞} ∪ π for π ∈ Π.
The q 2 remaining lines on each T ∈ T are {T } ∪ L for L ⊂ T . It is completely
straightforward to check that we really have a generalized quadrangle GQ(q, q 2 ).
in fact equality holds.) This shows that for our graph 6 ≤ χ(Γ) ≤ 8. In fact
χ(Γ) = 7 can be seen by computer (Edwin van Dam, pers. comm.).
Since λ = 1, the maximum clique size equals 3. And from the uniqueness
proof it is clear that Γ admits a partition into 27 triangles. So the complement
of Γ has chromatic number 27.
(ii) subsets X of a projective space such that |X ∩ H| takes two values when
H ranges through the hyperplanes of the projective space,
(iii) strongly regular graphs defined by a difference set that is a cone in a vector
space.
P G(m − 1, q). In this way, we find a subset X of P G(m − 1, q), possibly with
repeated points, or, if you prefer, a weight function w : P G(m − 1, q) → N.
Choosing one code in an equivalence class means choosing a representative
in Fm
q for each x ∈ X, and fixing an order on X. Now the code words can be
identified with the linear functionals f , and the x-coordinate position is f (x).
Clearly, the code has word length n = |X|. Note that the code will have
dimension m if and only if X spans P G(m − 1, q), i.e., if and only if X is not
contained in a hyperplane.
The weight of the code word f equals the number of x such that f (x) 6= 0.
But a nonzero f vanishes on a hyperplane of P G(m − 1, q). Consequently, the
number of words of nonzero weight w in the code equals q − 1 times the number
of hyperplanes H that meet X in n − w points. In particular the minimum
distance of the code is n minus the maximum size of H ∩ X for a hyperplane
H.
The minimum weight of the dual code equals the minimum number of points
of X that are dependent. So, it is 2 if and only if X has repeated points, and 3
when X has no repeated points but has three collinear points.
Example Take for X the entire projective space P G(m − 1, q), so that n =
|X| = (q m −1)/(q−1). We find the so-called simplex code: all words have weight
q m−1 , and we have an [n, m, q m−1 ]-code over Fq . Its dual is the [n, n − m, 3]
Hamming code. It is perfect!
then !
X X
(Aχ)x = a(y − x)χ(y) = a(z)χ(z) χ(x)
y∈G z∈G
so
P that χ (regarded as column vector) is an eigenvector of A with eigenvalue
z∈G a(z)χ(z). But G has |G| characters, and these are linearly independent,
so this gives us the full spectrumof A.)
a b c 1
Example. The matrix A = c a b has eigenvectors ω with
b c a ω2
2
eigenvalues a + bω + cω , where ω runs through the cube roots of unity.
Now apply this to the adjacency matrix A of the graph Γ. Let D := {d ∈
Fmq | hdi ∈ X}, so that |D| = (q−1).|X|. Then the neighbors of the vertex x of Γ
are the points x + d for d ∈ D, and wePsee that Γ has valency k = |D| = (q − 1)n.
The eigenvalues of A are the sums d∈D χ(d), where χ is a character of the
additive group of Fm q . Let ζ = e
2πi/p
be a primitive p-th root of unity, and let
tr : Fq → Fp be the trace function. Then the characters χ are of the form
χa (x) = ζ tr(ha,xi) .
Now
X q if ha, xi = 0
χa (λx) =
0 otherwise.
λ∈Fq
(i) projective linear codes C of effective word length n and dimension m with
precisely two nonzero weights w1 and w2 , and
(ii) subsets X of size n of the projective space P G(m − 1, q) such that for each
hyperplane H we have |X \ H| = wi , i ∈ {1, 2}, and
q m−1 − 1 q m−2 − 1
n1 .(m1 − 1) + ( − n1 ).(m2 − 1) = (|X| − 1). .
q−1 q−1
In a similar way we find n2 , the number of hyperplanes from Y on a point
outside X. Computation yields (m1 − m2 )(n1 − n2 ) = q k−2 . This proves:
Example. The quaternary Hill code ([193]) is a [78, 6, 56] code over F4
with weights 56 and 64. The corresponding strongly regular graph has pa-
rameters (4096, 234, 3861, 2, 14, 10, −22, 2808, 1287). Its dual has parameters
(4096, 1287, 2808, 326, 440, 7, −121, 3861, 234), corresponding to a quaternary
[429, 6, 320] code with weights 320 and 352. This code lies outside the range
of the tables, but its residue is a world record [109, 5, 80] code. The binary
[234, 12, 112] code derived from the Hill code has a [122, 11, 56] code as residue
- also this is a world record.
8.8.5 Cyclotomy
In this section we take D to be a union of cosets of a subgroup of the multiplica-
tive group of a field Fq . (I.e., the q here corresponds to the q k of the previous
sections.)
Let q = pκ , p prime and e|(q − 1), say q = em + 1. Let K ⊆ F∗q be the
subgroup of the e-th powers (so that |K| = m). Let α be a primitive S element
of Fq . For J ⊆ {0, 1, ..., e − 1} put u := |J| and D := DJ := {αj K | j ∈
J} = {αie+j |j ∈ J, 0 ≤ i < m}. Define a (directed) graph Γ = ΓJ with vertex
set Fq and edges (x, y) whenever y − x ∈ D. Note that Γ will be undirected iff
either −1 is an e-th power (i.e., q is even or e|(q − 1)/2) or J + (q − 1)/2 = J
(arithmetic in Ze ).
Let A = AJ be the adjacency matrix of Γ defined by A(x, y) = 1 if (x, y) is
an edge of Γ and = 0 otherwise. Let us compute the eigenvalues of A. For each
(additive) character χ of Fq we have
X X
(Aχ)(x) = χ(y) = ( χ(u))χ(x).
y∼x u∈D
So each character gives us an eigenvector, and since these are all independent
we know all eigenvalues. Their explicit determination requires some theory of
Gauss sums. Let us write Aχ = θ(χ)χ. Clearly, θ(1) = mu, the valency of Γ.
Now assume χ 6= 1. Then χ = χg for some g, where
2πi
χg (αj ) = exp( tr(αj+g ))
p
Hence,
X XX e−1
1XX X
θ(χg ) = χg (u) = χj+g (u) = χj+g (x) µi (x) =
e ∗ i=0
u∈D j∈J u∈K j∈J x∈Fq
e−1 X e−1
1X X 1X X
= (−1 + χj+g (x)µi (x)) = (−1 + µ−i (αj+g )Gi )
e i=1
e i=1
j∈J x6=0 j∈J
8.8. STRONGLY REGULAR GRAPHS AND 2-WEIGHT CODES 125
P
where Gi is the Gauss sum x6=0 χ0 (x)µi (x).
In general, determination of Gauss sums seems to be complicated, but there
are a few explicit results. For our purposes the most interesting is the following:
Proposition 8.8.4 (Stickelberger and Davenport & Hasse, see McEliece &
Rumsey [242]) Suppose e > 2 and p is semiprimitive mod e, i.e., there ex-
ists an l such that pl ≡ −1 (mod e). Choose l minimal and write κ = 2lt.
Then
√
Gi = (−1)t+1 εit q,
where
−1 if e is even and (pl + 1)/e is odd
ε=
+1 otherwise.
where ζ = exp(2πi/e) and r = rg,j = ζ −j−g εt (so that re = εet = 1), and hence
u √ √
θ(χg ) = (−1 + (−1)t q) + (−1)t+1 q.#{j ∈ J|rg,j = 1}.
e
If we abbreviate the cardinality in this formula with # then: If εt = 1 then
# = 1 if g ∈ −J (mod e), and = 0 otherwise. If εt = −1 (then e is even and p
is odd) then # = 1 if g ∈ 12 e − J (mod e), and = 0 otherwise. We proved:
Clearly, if e|e′ |(q − 1), then the set of e-th powers is a union of cosets of the
set of e′ -th powers, so when applying the above theorem we may assume that e
has been chosen as large as possible, i.e., e = pl + 1. Then the restriction ‘q is
even or u is even or e|(q −1)/2’ is empty, and J can always be chosen arbitrarily.
The above construction can be generalized. Pick several values ei (i ∈ I)
with ei |(q − 1). Let Ki be the subgroup of F∗q of the ei -th powers. Let Ji be a
S S
subset of {0, 1, ..., ei − 1}. Let Di := DJi := {αj Ki | j ∈ Ji }. Put D := Di .
If the Di are mutually disjoint, then D defines a graph of which we can compute
the spectrum.
For example, let p be odd, and take ei = pli + 1 (i = 1, 2) and q = pκ where
κ = 4li si (i = 1, 2). Pick J1 to consist of even numbers only, and J2 to consist
126 CHAPTER 8. STRONGLY REGULAR GRAPHS
|J1 | |J2 | √ √
θ(χg ) = ( + )(−1 + q) − q.δ(g ∈ −Ji (mod ei ) for i = 1 or i = 2)
e1 e2
(where δ(P ) = 1 if P holds, and δ(P ) = 0 otherwise). See also [62]. In the
special case p = 3, l1 = 1, l2 = 2, e1 = 4, e2 = 10, J1 = {0}, J2 = {1}, the
difference set consists of the powers αi with i ≡ 0 (mod 4) or i ≡ 1 (mod 10), i.e.,
is the set {1, α, α4 , α8 , α11 , α12 , α16 }hα20 i, and we found the first graph from De
Lange [220] again. (It has parameters (v, k, λ, µ) = (6561, 2296, 787, 812) and
spectrum 22961 284264 (−53)2296 .)
8.9 Table
Below a table with the feasible parameters for strongly regular graphs on at most
100 vertices. Here feasible means that the parameters v, k, λ, µ and multiplicities
f, g are integers, with 0 ≤ λ < k − 1 and 0 < µ < k < v. In some cases a feasible
parameter set is ruled out by the absolute bound or the Krein conditions, or the
restriction that the order of a conference graph must be the sum of two squares.
For some explanation of the comments, see after the table.
∃ v k λ µ rf sg comments
! 5 2 0 1 0.6182 −1.6182 pentagon; Paley(5); Seidel 2-graph−∗
! 9 4 1 2 14 −24 Paley(9); 32 ; 2-graph−∗
! 10 3 0 1 15 −24 Petersen graph [259]; N O4− (2); N O3−⊥ (5); 2-graph
5
6 3 4 14 −25 2 ; 2-graph
! 13 6 2 3 1.3036 −2.3036 Paley(13); 2-graph−∗
! 15 6 1 3 19 −35 O5 (2) polar graph; Sp4 (2) polar graph; N O4− (3); 2-
graph−∗
6
8 4 4 25 −29 2 ; 2-graph−∗
! 16 5 0 2 110 −35 2
q22 = 0; vanLint-Schrijver(1); V O4− (2) affine polar
graph; projective binary [5,4] code with weights 2, 4;
RSHCD − ; 2-graph
10 6 6 25 −210 Clebsch graph [93, 99, 92, 274]; q11 1
= 0; vanLint-
Schrijver(2); 2-graph
2! 16 6 2 2 26 −29 2
Shrikhande graph [283]; 4 ; from a partial spread:
projective binary [6,4] code with weights 2, 4;
RSHCD + ; 2-graph
9 4 6 19 −36 OA(4,3); Bilin2×2 (2); Goethals-Seidel(2,3); V O4+ (2)
affine polar graph; 2-graph
! 17 8 3 4 1.5628 −2.5628 Paley(17); 2-graph−∗
! 21 10 3 6 114 −46
7
10 5 4 36 −214 2
− 21 10 4 5 1.79110 −2.79110 Conf
! 25 8 3 2 38 −216 52
16 9 12 116 −48 OA(5,4)
15! 25 12 5 6 212 −312 complete enumeration by Paulus [255]; Paley(25);
OA(5,3); 2-graph−∗
10! 26 10 3 4 213 −312 complete enumeration by Paulus [255]; 2-graph
15 8 9 212 −313 S(2,3,13); 2-graph
! 27 10 1 5 120 −56 2
q22 = 0; O6− (2) polar graph; GQ(2, 4); 2-graph−∗
16 10 8 46 −220 1
Schläfli graph; unique by Seidel [274]; q11 = 0; 2-
graph−∗
− 28 9 0 4 121 −56 Krein2 ; Absolute bound
8.9. TABLE 127
∃ v k λ µ rf sg comments
18 12 10 46 −221 Krein1 ; Absolute bound
47 −220 Chang graphs [80]; 82 ; 2-graph
4! 28 12 6 4
15 6 10 120 −57 N O6+ (2); Goethals-Seidel(3,3); Taylor 2-graph for
U3 (3)
41! 29 14 6 7 2.19314 −3.19314 complete enumeration by Bussemaker & Spence
[pers.comm.]; Paley(29); 2-graph−∗
− 33 16 7 8 2.37216 −3.37216 Conf
3854! 35 16 6 8 220 −414 complete enumeration by McKay & Spence [244]; 2-
graph−∗
18 9 9 314 −320 S(2,3,15); lines in P G(3, 2); O6+ (2) polar graph; 2-
graph−∗
! 36 10 4 2 410 −225 62
25 16 20 125 −510
180! 36 14 4 6 221 −414 U3 (3).2/L2 (7).2 - subconstituent of the Hall-Janko
graph; complete enumeration by McKay & Spence
[244]; RSHCD − ; 2-graph
21 12 12 314 −321 2-graph
9
58 −227
! 36 14 7 4 2
21 10 15 127 −68
32548! 36 15 6 6 315 −320 complete enumeration by McKay & Spence [244];
OA(6,3); N O6− (2); RSHCD + ; 2-graph
20 10 12 220 −415 N O5− (3); 2-graph
+ 37 18 8 9 2.54118 −3.54118 Paley(37); 2-graph−∗
28! 40 12 2 4 224 −415 complete enumeration by Spence [286]; O5 (3) polar
graph; Sp4 (3) polar graph
27 18 18 315 −324 N U (4, 2)
+ 41 20 9 10 2.70220 −3.70220 Paley(41); 2-graph−∗
78! 45 12 3 3 320 −324 complete enumeration by Coolsaet, Degraer & Spence
[95]; U4 (2) polar graph
32 22 24 224 −420 N O5+ (3)
10
! 45 16 8 4 69 −235 2
28 15 21 135 −79
+ 45 22 10 11 2.85422 −3.85422 Mathon [241]; 2-graph−∗
! 49 12 5 2 512 −236 72
36 25 30 136 −612 OA(7,6)
− 49 16 3 6 232 −516 Bussemaker-Haemers-Mathon-Wilbrink [70]
32 21 20 416 −332
+ 49 18 7 6 418 −330 OA(7,3); Pasechnik(7)
30 17 20 230 −518 OA(7,5)
+ 49 24 11 12 324 −424 Paley(49); OA(7,4); 2-graph−∗
! 50 7 0 1 228 −321 Hoffman-Singleton graph [196]; U3 (52 ).2/Sym(7)
42 35 36 221 −328
− 50 21 4 12 142 −97 Absolute bound
28 18 12 87 −242 Absolute bound
+ 50 21 8 9 325 −424 switch skewhad2 + ∗; 2-graph
28 15 16 324 −425 S(2,4,25); 2-graph
+ 53 26 12 13 3.14026 −4.14026 Paley(53); 2-graph−∗
11
710 −244
! 55 18 9 4 2
36 21 28 144 −810
! 56 10 0 2 235 −420 Sims-Gewirtz graph [152, 153, 52];
L3 (4).22 /Alt(6).22
20 35
45 36 36 3 −3 Witt: intersection-2 graph of a 2-(21,6,4) design with
block intersections 0, 2
48
− 56 22 3 12 1 −107 Krein2 ; Absolute bound
33 22 15 97 −248 Krein1 ; Absolute bound
− 57 14 1 4 238 −518 Wilbrink-Brouwer [306]
42 31 30 418 −338
+ 57 24 11 9 518 −338 S(2,3,19)
32 16 20 238 −618
− 57 28 13 14 3.27528 −4.27528 Conf
+ 61 30 14 15 3.40530 −4.40530 Paley(61); 2-graph−∗
− 63 22 1 11 155 −117 Krein2 ; Absolute bound
40 28 20 107 −255 Krein1 ; Absolute bound
+ 63 30 13 15 335 −527 intersection-8 graph of a 2-(36,16,12) design with
block intersections 6, 8; O7 (2) polar graph; Sp6 (2)
polar graph; 2-graph−∗
128 CHAPTER 8. STRONGLY REGULAR GRAPHS
∃ v k λ µ rf sg comments
32 16 16 427 −435 S(2,4,28); intersection-6 graph of a 2-(28,12,11) de-
sign with block intersections 4, 6; N U (3, 3); 2-
graph−∗
! 64 14 6 2 614 −249 82 ; from a partial spread of 3-spaces: projective bi-
nary [14,6] code with weights 4, 8
49 36 42 149 −714 OA(8,7)
167! 64 18 2 6 245 −618 complete enumeration by Haemers & Spence [184];
GQ(3, 5); from a hyperoval: projective 4-ary [6,3]
code with weights 4, 6
45 32 30 518 −345
− 64 21 0 10 156 −117 Krein2 ; Absolute bound
42 30 22 107 −256 Krein1 ; Absolute bound
+ 64 21 8 6 521 −342 OA(8,3); Bilin2×3 (2); from a Baer subplane: projec-
tive 4-ary [7,3] code with weights 4, 6; from a partial
spread of 3-spaces: projective binary [21,6] code with
weights 8, 12
42 26 30 242 −621 OA(8,6)
+ 64 27 10 12 336 −527 from a unital: projective 4-ary [9,3] code with weights
6, 8; V O6− (2) affine polar graph; RSHCD − ; 2-graph
36 20 20 427 −436 2-graph
+ 64 28 12 12 428 −435 OA(8,4); from a partial spread of 3-spaces: projective
binary [28,6] code with weights 12, 16; RSHCD + ; 2-
graph
35 18 20 335 −528 OA(8,5); Goethals-Seidel(2,7); V O6+ (2) affine polar
graph; 2-graph
− 64 30 18 10 108 −255 Absolute bound
33 12 22 155 −118 Absolute bound
? 65 32 15 16 3.53132 −4.53132 2-graph−∗?
12
811 −254
! 66 20 10 4 2
45 28 36 154 −911
? 69 20 7 5 523 −345
48 32 36 245 −623 S(2,6,46) does not exist
− 69 34 16 17 3.65334 −4.65334 Conf
+ 70 27 12 9 620 −349 S(2,3,21)
42 23 28 249 −720
+ 73 36 17 18 3.77236 −4.77236 Paley(73); 2-graph−∗
? 75 32 10 16 256 −818 2-graph−∗?
42 25 21 718 −356 2-graph−∗?
− 76 21 2 7 256 −719 Haemers [176]
54 39 36 619 −356
? 76 30 8 14 257 −818 2-graph?
45 28 24 718 −357 2-graph?
? 76 35 18 14 719 −356 2-graph?
40 18 24 256 −819 2-graph?
! 77 16 0 4 255 −621 S(3,6,22); M22 .2/24 : Sym(6); unique by Brouwer [42];
subconstituent of Higman-Sims graph; intersection-6
graph of a 2-(56,16,6) design with block intersections
4, 6
60 47 45 521 −355 Witt 3-(22,6,1): intersection-2 graph of a 2-(22,6,5)
design with block intersections 0, 2
− 77 38 18 19 3.88738 −4.88738 Conf
13
912 −265
! 78 22 11 4 2
55 36 45 165 −1012
16 64 2
! 81 16 7 2 7 −2 9 ; from a partial spread: projective ternary [8,4]
code with weights 3, 6
64 16
64 49 56 1 −8 OA(9,8)
! 81 20 1 6 260 −720 unique by Brouwer & Haemers [51]; V O4− (3) affine
polar graph; projective ternary [10,4] code with
weights 6, 9
60 45 42 620 −360
+ 81 24 9 6 624 −356 OA(9,3); V N O4+ (3) affine polar graph; from a partial
spread: projective ternary [12,4] code with weights 6,
9
8.9. TABLE 129
∃ v k λ µ rf sg comments
56 37 42 256 −724 OA(9,7)
+ 81 30 9 12 350 −630 V N O4− (3) affine polar graph; Hamada-Helleseth
[188]: projective ternary [15,4] code with weights 9,
12
50 31 30 530 −450
+ 81 32 13 12 532 −448 OA(9,4); Bilin2×2 (3); V O4+ (3) affine polar graph;
from a partial spread: projective ternary [16,4] code
with weights 9, 12
48 27 30 348 −632 OA(9,6)
− 81 40 13 26 172 −148 Absolute bound
40 25 14 138 −272 Absolute bound
+ 81 40 19 20 440 −540 Paley(81); OA(9,5); projective ternary [20,4] code
with weights 12, 15; 2-graph−∗
+ 82 36 15 16 441 −540 2-graph
45 24 25 440 −541 S(2,5,41); 2-graph
? 85 14 3 2 434 −350
70 57 60 250 −534
+ 85 20 3 5 350 −534 O5 (4) polar graph; Sp4 (4) polar graph
64 48 48 434 −450
? 85 30 11 10 534 −450
54 33 36 350 −634 S(2,6,51)?
? 85 42 20 21 4.11042 −5.11042 2-graph−∗?
? 88 27 6 9 355 −632
60 41 40 532 −455
+ 89 44 21 22 4.21744 −5.21744 Paley(89); 2-graph−∗
14
! 91 24 12 4 1013 −277 2
66 45 55 177 −1113
− 93 46 22 23 4.32246 −5.32246 Conf
? 95 40 12 20 275 −1019 2-graph−∗?
54 33 27 919 −375 2-graph−∗?
+ 96 19 2 4 357 −538 Haemers(4)
76 60 60 438 −457
+ 96 20 4 4 445 −450 GQ(5, 3)
75 58 60 350 −545
? 96 35 10 14 363 −732
60 38 36 632 −463
− 96 38 10 18 276 −1019 Degraer
57 36 30 919 −376
? 96 45 24 18 920 −375 2-graph?
50 22 30 275 −1020 2-graph?
+ 97 48 23 24 4.42448 −5.42448 Paley(97); 2-graph−∗
? 99 14 1 2 354 −444
84 71 72 344 −454
? 99 42 21 15 921 −377
56 28 36 277 −1021
+ 99 48 22 24 454 −644 2-graph−∗
50 25 25 544 −554 S(2,5,45); 2-graph−∗
! 100 18 8 2 818 −281 102
81 64 72 181 −918
! 100 22 0 6 277 −822 Higman-Sims graph [192]; HS01.2/M22 .2; unique by
2
Gewirtz [152]; q22 =0
22 77 1
77 60 56 7 −3 q11 =0
+ 100 27 10 6 727 −372 OA(10,3)
72 50 56 272 −827 OA(10,8)?
? 100 33 8 12 366 −733
66 44 42 633 −466
+ 100 33 14 9 824 −375 S(2,3,25)
66 41 48 275 −924
− 100 33 18 7 1311 −288 Absolute bound
66 39 52 188 −1411 Absolute bound
+ 100 36 14 12 636 −463 Hall-Janko graph; J2 .2/U3 (3).2; subconstituent of
G2 (4) graph; OA(10,4)
63 38 42 363 −736 OA(10,7)?
+ 100 44 18 20 455 −644 Jørgensen-Klin graph [209]; RSHCD − ; 2-graph
130 CHAPTER 8. STRONGLY REGULAR GRAPHS
∃ k λ µ rf
v sg comments
55 30 30 544 −555 2-graph
+ 100 45 20 20 545 −554 OA(10,5)?; RSHCD + ; 2-graph
54 28 30 454 −645 OA(10,6)?; 2-graph
Comments
Comment Explanation
1 2
q11 = 0, q22 =0 zero Krein parameter, see §10.4
2
m Hamming graph H(2, m), i.e., lattice graph L2 (m),
i.e., grid graph m × m, i.e., Km × Km , see §11.3.1,
§1.4.5
m
2 Johnson graph J(m, 2), i.e., triangular graph T (m),
see §11.3.2, §1.4.5
OA(n, t) (t ≥ 3) block graph of an orthogonal array OA(n, t) (t − 2
mutually orthogonal Latin squares of order n)
S(2, k, v) block graph of a Steiner system S(2, k, v), i.e., of a
2-(v, k, 1) design
Goethals-Seidel(k, r) graph constructed from a Steiner system S(2, k, v)
(with r = (v − 1)/(k − 1)) and a Hadamard matrix
of order r + 1 as in [160]
2-graph graph in the switching class of a regular 2-graph, see
§9.2
2-graph−∗ descendant of a regular 2-graph, see §9.2
RSHCD± Regular 2-graph derived from a regular symmetric
Hadamard matrix with constant diagonal (cf. §9.5,
[56], [160])
Taylor 2-graph for U3 (q) graph derived from Taylor’s regular 2-graph (cf. [56],
[294], [295])
Paley(q) Paley graph on Fq , see §9.4, §12.6
vanLint-Schrijver(u) graph constructed by the cyclotomic construction of
[228], taking the union of u classes
Bilin2×d (q) graph on the 2 × d matrices over Fq , adjacent when
their difference has rank 1
GQ(s, t) collinearity graph of a generalized quadrangle with pa-
rameters GQ(s, t), see §8.6.3
ε
O2d (q), O2d+1 (q) isotropic points on a nondegenerate quadric in the pro-
jective space P G(2d − 1, q) or P G(2d, q), joined when
the connecting line is totally singular
Sp2d (q) points of P G(2d−1, q) provided with a nondegenerate
symplectic form, joined when the connecting line is
totally isotropic
Ud (q) isotropic points of P G(d − 1, q 2 ) provided with a non-
degenerate Hermitean form, joined when the connect-
ing line is totally isotropic
continued...
8.10. EXERCISES 131
Comment Explanation
ε
N O2d (2) nonisotropic points of P G(2d − 1, 2) provided with a
nondegenerate quadratic form, joined when they are
orthogonal, i.e., when the connecting line is a tangent
ε
N O2d (3) one class of nonisotropic points of P G(2d − 1, 3) pro-
vided with a nondegenerate quadratic form, joined
when they are orthogonal, i.e., when the connecting
line is elliptic
ε
N O2d+1 (q) one class of nondegenerate hyperplanes of P G(2d, q)
provided with a nondegenerate quadratic form, joined
when their intersection is degenerate
ε⊥
N O2d+1 (5) one class of nonisotropic points of P G(2d, 5) provided
with a nondegenerate quadratic form, joined when
they are orthogonal
N Un (q) nonisotropic points of P G(n − 1, q) provided with a
nondegenerate Hermitean form, joined when the con-
necting line is a tangent
ε
V O2d (q) vectors of a 2d-dimensional vector space over Fq pro-
vided with a nondegenerate quadratic form Q, where
two vectors u and v are joined when Q(v − u) = 0
ε
V N O2d (q) (q odd) vectors of a 2d-dimsensional vector space over Fq pro-
vided with a nondegenerate quadratic form Q, where
two vectors u and v are joined when Q(v − u) is a
nonzero square
8.10 Exercises
Exercise 1 ([160]) Consider the graph on the set of flags (incident point-line
pairs) of the projective plane P G(2, 4) where (p, L) and (q, M ) are adjacent
when p 6= q and L 6= M and either p ∈ M or q ∈ L. Show that this graph is
strongly regular with parameters (v, k, λ, µ) = (105, 32, 4, 12).
Exercise 2 ([21]) Consider the graph on the cosets of the perfect ternary Golay
code (an [11,6,5] code over F3 ), where two cosets are adjacent when they differ
by a vector of weight 1. Show that this graph is strongly regular with parameters
(v, k, λ, µ) = (243, 22, 1, 2). It is known as the Berlekamp-van Lint-Seidel graph.
Exercise 3 For a strongly regular graph Γ and a vertex x of Γ, let ∆ be the
subgraph of Γ induced on the set of vertices different from x and nonadjacent
to x. If Γ has no triangles and spectrum k 1 , rf , sg , then show that ∆ has
spectrum (k − µ)1 , rf −k , sg−k , (−µ)k−1 . Conclude if Γ is primitive that f ≥ k
and g ≥ k, and that if f = k or g = k then ∆ is itself complete or strongly
regular. Determine all strongly regular graphs with λ = 0 and f = k.
Exercise 4 ([32]) Show that having a constant k almost follows from having
constant λ, µ. More precisely: Consider a graph Γ with the property that any
two adjacent (non-adjacent) vertices have λ (resp. µ) common neighbors. Show
that if Γ is not regular, then either µ = 0 and Γ is a disjoint union of (λ + 2)-
cliques, or µ = 1, and Γ is obtained from a disjoint union of (λ + 1)-cliques by
adding a new vertex, adjacent to all old vertices.
132 CHAPTER 8. STRONGLY REGULAR GRAPHS
Regular two-graphs
Proposition 9.1.1 For a graph Γ with v vertices and Seidel matrix S the fol-
lowing holds:
(i) Γ is strong if and only if S has at most two restricted eigenvalues. In this
case (S − ρ1 I)(S − ρ2 I) = (v − 1 + ρ1 ρ2 )J, where ρ1 and ρ2 are restricted
eigenvalues of S.
(iv) S has a single restricted eigenvalue if and only if S = ±(J − I), that is, if
and only if Γ is complete or edgeless.
133
134 CHAPTER 9. REGULAR TWO-GRAPHS
9.2 Two-graphs
A two-graph Ω = (V, ∆) consists of a finite set V , together with a collection
∆ of unordered triples from V , such that every 4-subset of V contains an even
number of triples from ∆. The triples from ∆ are called coherent.
From a graph Γ = (V, E), one can construct a two-graph Ω = (V, ∆) by
defining a triple from V to be coherent if the three vertices induce a subgraph
in Γ with an odd number of edges. It is easily checked that out of the four triples
in any graph on four vertices, 0, 2, or 4 are coherent. So Ω is a two-graph. We
call Ω the two-graph associated to Γ.
9.3. REGULAR TWO-GRAPHS 135
Observe that Seidel switching does not change the parity of the number of
edges in any 3-vertex subgraph of Γ. Therefore switching equivalent graphs have
the same associated two-graph. Conversely, from any two-graph Ω = (V, ∆)
one can construct a graph Γ as follows. Take ω ∈ V . Define two vertices
x, y ∈ V \ {ω} to be adjacent in Γ if {ω, x, y} ∈ ∆, and define ω to be an isolated
vertex of Γ. We claim that every triple {x, y, z} ∈ ∆ has an odd number of edges
in Γ, which makes Ω the two-graph associated to Γ. If ω ∈ {x, y, z} this is clear.
If ω 6∈ {x, y, z}, the 4-subgraph condition implies that {x, y, z} ∈ ∆ whenever
from the triples {ω, y, z}, {ω, x, y}, {ω, x, z} just one, or all three are coherent.
Hence {x, y, x} has one or three edges in Γ. Thus we have established a one-to-
one correspondence between two-graphs and switching classes of graphs.
Small two-graphs were enumerated in [71]. The number of nonisomorphic
two-graphs on n vertices for small n is
n 0 1 2 3 4 5 6 7 8 9 10
# 1 1 1 2 3 7 16 54 243 2038 33120
Theorem 9.2.1 (i) A graph Γ with smallest Seidel eigenvalue larger than −3
is switching equivalent to the void graph on n vertices, to the one-edge graph
on n vertices, or to one of the following 2 + 3 + 5 graphs on 5, 6, 7 vertices,
respectively:
• • • • • • • • • •
• •• • • • • •• • • • • • • • • • • • • • • • •• •
• • • • • • •• • • • • ••• ••• ••• ••• • •
(ii) A graph Γ with smallest Seidel eigenvalue not less than −3 is switching
equivalent to a subgraph of mK2 or of T (8), the complement of the line graph
of K8 .
Theorem 9.3.1 For a graph Γ with v vertices, its associated two-graph Ω, and
any descendant Γω of Ω the following are equivalent.
Proposition 9.3.2 (i) Let Γ be strongly regular with parameters (v, k, λ, µ).
The associated two-graph Ω is regular if and only if v = 2(2k − λ − µ). If this
is the case, then it has degree a = 2(k − µ), and Γω is strongly regular with
parameters (v − 1, 2(k − µ), k + λ − 2µ, k − µ).
(ii) Conversely, if Γ is regular of valency k, and the associated two-graph Ω
is regular of degree a, then Γ is strongly regular with parameters λ = k−(v−a)/2
and µ = k − a/2, and k satisfies the quadratic 2k 2 − (v + 2a)k + (v − 1)a = 0.
Proposition 9.3.3 Let Γ be strongly regular with parameters (v, k, λ, µ), asso-
ciated with a regular two-graph.
(i) The graph Γ is switched into a strongly regular graph with the same pa-
rameters if and only if every vertex outside the switching set S is adjacent
to half of the vertices of S.
(ii) The graph Γ is switched into a strongly regular graph with parameters
(v, k + c, λ + c, µ + c) where c = 21 v − 2µ if and only if the switching set S
has size 12 v and is regular of valency k − µ.
For example, in order to switch the 4 × 4 grid graph into the Shrikhande
graph, we can switch with respect to a 4-coclique. And in order to switch the
4 × 4 grid graph into the Clebsch graph, we need a split into two halves that
are regular with valency 4, and the union of two disjoint K4 ’s works.
Regular two-graphs were introduced by Graham Higman and further inves-
tigated by Taylor [293].
138 CHAPTER 9. REGULAR TWO-GRAPHS
J −I J − 2N
satisfies (S − 51I)(S + 5I) = −3J. Now S ′ = satisfies
J − 2N ⊤ S
(S ′ − 55I)(S ′ + 5I) = 0 and hence is the Seidel matrix of a regular two-graph
on 276 vertices. This two-graph is unique (Goethals & Seidel [161]). Its group
of automorphisms is Co3 , acting 2-transitively.
Proof. (i) Let c = |C|.P Counting incoherent P triples 2that 1meet C in two points,
we find 12 c(c − 1)a = x∈C / |C x |.|C ′
x | ≤ x∈C
/ (c/2) = 4 c 2
(v − c). It follows
that c2 − (v − 2a)c − 2a ≤ 0. But the two roots of x2 − (v − 2a)x − 2a = 0 are
1 − ρ1 and 1 − ρ2 , hence 1 − ρ1 ≤ c ≤ 1 − ρ2 .
(ii) This follows by making a system of equiangular lines in Rm as in §9.6.1
corresponding to the complement of Ω. We can choose unit vectors for the
points in C such that their images form a simplex (any two have the same inner
product) and hence |C| is bounded by the dimension m = v − m(ρ1 ) = m(ρ2 ).
# ρ1 ρ2 v a2 a3 a4 a5 a6 a7 existence
1 3 −3 10 4 1 unique [273]
2 5 −3 16 6 1 unique [273]
3 9 −3 28 10 1 unique [273]
4 7 −5 36 16 6 2 1 unique (BH)
5 19 −5 96 40 12 2 1 none (NP)
6 25 −5 126 52 15 2 1 none [252]
7 55 −5 276 112 30 2 1 unique [161]
8 21 −7 148 66 25 8 3 2 1 none [252]
9 41 −7 288 126 45 12 3 2 1 none [28]
10 161 −7 1128 486 165 36 3 2 1 ?
11 71 −9 640 288 112 36 10 4 3 none (BH)
12 351 −9 3160 1408 532 156 30 4 3 ?
13 253 −11 2784 1270 513 176 49 12 5 none [252]
Here (BH) refers to an unpublished manuscript by Blokhuis and Haemers, while
(NP) is the combination of Neumaier [252] who showed that a derived graph
on 95 vertices must be locally GQ(3, 3), and Pasechnik [254] who classified such
graphs and found none on 95 vertices.
Proof. Switch rows and columns so as to make all non-diagonal entries of the
first row and column equal to 1. The second row now has n/2 entries 1 and
equally many entries −1 (since it has inner product zero with the first row).
So, n is even, say n = 2m + 2. Let there be a, b, c, d entries 1, −1, 1, −1 in the
third row below the entries 1, 1, −1, −1 of the second row, respectively. We may
assume (by switching the first column and all rows except the first if required)
that S23 = 1. If S32 = 1 then a + b = m − 1, c + d = m, a + c + 1 = m,
a − b − c + d + 1 = 0 imply a + 1 = b = c = d = 21 m so that m is even. If
S32 = −1 then a + b = m − 1, c + d = m, a + c = m, a − b − c + d + 1 = 0
imply a = b = c − 1 = d = 12 (m − 1) so that m is odd. This proves that after
switching the first row and column to 1, the matrix S has become symmetric in
case n ≡ 2 (mod 4), while after switching the first row to 1 and the first column
to −1, the matrix S has become skew symmetric in case n ≡ 0 (mod 4).
Thus, if n ≡ 2 (mod 4), S gives rise to a strong graph with two eigenvalues and
its associated two-graph is regular of degree (n − 2)/2. The descendants are
strongly regular with parameters (n − 1, (n − 2)/2, (n − 6)/4, (n − 2)/4). We call
140 CHAPTER 9. REGULAR TWO-GRAPHS
these graphs conference graphs. Conference graphs are characterized among the
strongly regular graphs by f = g (f and g are the multiplicities of the restricted
eigenvalues), and are the only cases in which non-integral eigenvalues can occur.
The following condition is due to Belevitch [20].
Theorem 9.4.2 If n is the order of a symmetric conference matrix, then n − 1
is the sum of two integral squares.
Proof. CC ⊤ = (n − 1)I implies that I and (n − 1)I are rationally congruent
(two matrices A and B are rationally congruent if there exist a rational matrix
R such that RAR⊤ = B). A well-known property (essentially Lagrange’s four
squares theorem) states that for every positive rational number α, the 4 × 4
matrix αI4 is rationally congruent to I4 . This implies that the n × n matrix
αIn is rationally congruent to diag(1, . . . , 1, α, . . . , α) where the number of ones
is divisible by 4. Since n ≡ 2 (mod 4), I must be rationally congruent to
diag(1, . . . , 1, n − 1, n − 1). This implies that n − 1 is the sum of two squares.
Note that this theorem also gives a necessary condition for the existence of
conference graphs. For example, 21 is not the sum of two squares, therefore
there exists no conference matrix of order 22, and no strongly regular graph
with parameters (21, 10, 4, 5).
For many values of n conference matrices are known to exist, see for example
[159]. The following construction, where n − 1 is an odd prime power, is due
to Paley [253]. Let Sω be a matrix whose rows and columns are indexed by the
elements of a finite field Fq of order q, q odd. by (Sω )i,j = χ(i − j), where χ is
the quadratic residue character (that is, χ(0) = 0 and χ(x) = 1 if x is a square,
and −1 if x is not a square). It follows that S is symmetric if q ≡ 1 (mod 4),
and S is skew symmetric if q ≡ 3 (mod 4). In both cases
0 1⊤
S=
1 Sω
Note that the design parameters imply that n is divisible by 4 if n > 2. The
famous Hadamard conjecture states that this condition is sufficient for existence
of a Hadamard matrix of order n. Many constructions are known (see below),
but the conjecture is still far from being solved.
A Hadamard matrix H is regular if H has constant row and column sum
(ℓ say). Now −H is a regular Hadamard √ matrix with row sum −ℓ. From
HH ⊤ = nI we get that ℓ2 = n, so ℓ = ± n, and n is a square. If H is a
regular Hadamard matrix with row sum ℓ, then N = 12 (H + J) is the incidence
matrix of a symmetric 2-(n, (n + ℓ)/2, (n + 2ℓ)/4) design. Conversely, if N is the
incidence matrix of a 2-design with these parameters (a Menon design), then
2N − J is a regular Hadamard matrix.
A Hadamard matrix H is graphical if it is symmetric with constant diagonal.
Without loss of generality we assume that the diagonal elements are 1 (otherwise
we replace H by −H). If H is a graphical Hadamard matrix of order n, then
S=H √− I is the Seidel matrix of a strong graph Γ with two Seidel eigenvalues:
−1 ± n. In other words, Γ is in the switching class of a regular two-graph. The
descendent of Γ with respect to some vertex has Seidel matrix C − I, where C
is the corresponding core of H. It is a strongly regular graph with parameters
(v, k, λ, µ) = (n − 1, 12 n − 1, 14 n − 1, 41 n − 1). From tr S = 0 it follows that also
for a graphical Hadamard √ matrix n is a square. If, in addition, H is regular
with row sum ℓ = ± n, then Γ is a strongly regular graph with parameters
(n, (n − ℓ)/2, (n − 2ℓ)/4, (n − 2ℓ)/4). And conversely, a strongly regular graph
with one of the above parameter sets gives rise to a Hadamard matrix of order
n.
There is an extensive literature on Hadamard matrices. See, e.g., [271, 272,
100].
Constructions
There is a straightforward construction of Hadamard matrices from conference
matrices. If S is a skew symmetric conference matrix, then H = S + I is a
Hadamard matrix, and if S is a symmetric conference matrix, then
S+I S−I
H=
S − I −S − I
Observe that the two Hadamard matrices of order 4 are regular and graphical.
One easily verifies that, if H1 and H2 are Hadamard matrices, then so is the
Kronecker product H1 ⊗ H2 . Moreover, if H1 and H2 are regular with row sums
ℓ1 and ℓ2 , respectively, then H1 ⊗H2 is regular with row sum ℓ1 ℓ2 . Similarly, the
Kronecker product of two graphical Hadamard matrices is graphical again. With
142 CHAPTER 9. REGULAR TWO-GRAPHS
the small Hadamard matrices given above, we can make Hadamard matrices of
order n = 2t and regular graphical Hadamard matrices of order n = 4t with row
sum ℓ = ±2t .
Let RSHCD be the set of pairs (n, ε) such that√there exists a regular sym-
metric Hadamard matrix H with row sums ℓ = ε n and constant diagonal,
with diagonal entries 1. If (m, δ), (n, ε) ∈ RSHCD, then (mn, δε) ∈ RSHCD.
We mention some direct constructions:
(i) (4, ±1), (36, ±1), (100, ±1), (196, ±1) ∈ RSHCD.
(ii) If there exists a Hadamard matrix of order m, then (m2 , ±1) ∈ RSHCD.
(iii) If both a − 1 and a + 1 are odd prime powers, then (a2 , 1) ∈ RSHCD.
(iv) If a + 1 is a prime power and there exists a symmetric conference matrix
of order a, then (a2 , 1) ∈ RSHCD.
(v) If there is a set of t − 2 mutually orthogonal Latin squares of order 2t,
then (4t2 , 1) ∈ RSHCD.
(vi) (4t4 , ±1) ∈ RSHCD.
See [160], [56] and [271], §5.3. For the third part of (i), see [209]. For the
fourth part of (i), cf. [160], Theorem 4.5 (for k = 7) and [204]. For (ii), cf. [160],
Theorem 4.4, and [179]. For (iii), cf. [271], Corollary 5.12. For (iv), cf. [271],
Corollary 5.16. For (v), consider the corresponding Latin square graph. For
(vi), see [186].
Proof. Let Xi = xi x⊤ i be the rank 1 matrix that is the projection onto the
line ℓi . Then Xi2 = Xi and
1 if i = j
tr Xi Xj = (x⊤
i xj )
2
=
α2 otherwise.
We prove that the matrices Xi are linearly independent. Since they are sym-
1
metric,
P P that there are at most 2 d(d + 1). So,
that will show suppose
P that
2 2
ci Xi = 0. Then i ci Xi Xj = 0 for each j, so that cj (1
P − α ) +Pα ci = 0
for each j. This means that all cj are equal, and since ci = tr ci Xi = 0,
they are all zero.
In Cd one can study lines (1-spaces) in the same way, choosing a spanning unit
vector in each and agreeing that hxi and hyi make angle φ = arccos α where
α = |x∗ y|. (Here x∗ stands for x⊤ .) The same argument now proves
There are very few systems of lines in Rd that meet the absolute bound, but it
is conjectured that systems of d2 equiangular lines in Cd exist for all d. Such
systems are known for d = 1, 2, 3, 4, 5, 6, 7, 8, 19 ([310, 198, 199, 163, 9]). In
quantum information theory they are known as SICPOVMs.
The special bound gives an upper bound for n in terms of the angle φ, or an
upper bound for φ (equivalently, a lower bound for α = cos φ) in terms of n.
Bounds for the size of systems of lines in Rd or Cd with only a few different,
specified, angles, or just with a given total number of different angles, were given
by Delsarte, Goethals & Seidel [129].
Theorem 9.6.5 ([129]) For a set of n unit vectors in Rd such that the abso-
lute value of the inner product between
distinct vectors takes s distinct values
different from 1, one has n ≤ d+2s−1
d−1 . If one of the inner products is 0, then
d+2s−2
n ≤ d−1 .
There are several examples of equality. For example, from the root system
of E8 one gets 120 lines in R8 with |α| ∈ {0, 12 }.
9.6. EQUIANGULAR LINES 145
Theorem 9.6.6 ([129]) For a set of n unit vectors in Cd such that the abso-
lute value of the inner product between
2 distinct vectors takes s distinct values
different from 1, one has n ≤ d+s−1
d−1 . If one of the inner products is 0, then
d+s−1 d+s−2
n ≤ d−1 d−1 .
For example, there are systems of 40 vectors in C4 with |α| ∈ {0, √13 } and
126 vectors in C6 with |α| ∈ {0, 21 }.
For sets of unit vectors instead of sets of lines it may be more natural to look
at the inner product itself, instead of using the absolute value.
Theorem 9.6.7 ([130]) For a set of n unit vectors in Rd such that the inner
product between distinct vectors takes s distinct values, one has n ≤ d+s−1
d−1 +
d+s−2
d+s−2
d−1 . If the set is antipodal, then n ≤ 2 d−1 .
For example, in the antipodal case the upper bound is met with equality for
s = 1 by a pair of vectors ±x (with n = 2), for s = 2 by the vectors ±ei of a
coordinate frame (with n = 2d), and for s = 6 by the set of shortest nonzero
vectors in the Leech lattice in R24 (with inner products −1, 0, ± 14 , ± 12 and size
n = 2 28
5 ).
In the general case the upper bound is met with equality for s = 1 by a
simplex (with n = d + 1). For s = 2 one has
d 2 5 6 22 23 3, 4, 7–21, 24–39
1
Nmax 5 16 27 275 276–277 2 d(d + 1)
with examples of equality in the bound n ≤ 21 d(d + 3) for d = 2, 6, 22. The
upper bounds for d > 6, d 6= 22 are due to Musin [248].
Theorem 9.6.9 ([27]) A set of vectors in Rd such that the distance between
distinct vectors takes s values has size at most d+s
d .
Association schemes
10.1 Definition
An association scheme with d classes is a finite set X together with d+1 relations
Ri on X such that
(iii) if (x, y) ∈ Ri , then also (y, x) ∈ Ri , for all x, y ∈ X and i ∈ {0, ..., d};
(iv) for any (x, y) ∈ Rk the number pkij of z ∈ X with (x, z) ∈ Ri and (z, y) ∈
Rj depends only on i, j and k.
The numbers pkij are called the intersection numbers of the association scheme.
The above definition is the original definition of Bose & Shimamoto [34]; it is
what Delsarte [127] calls a symmetric association scheme. In Delsarte’s more
general definition, (iii) is replaced by:
(iii’) for each i ∈ {0, ..., d} there exists a j ∈ {0, ..., d} such that (x, y) ∈ Ri
implies (y, x) ∈ Rj ,
It is also very common to require just (i), (ii), (iii’), (iv), and to call the scheme
‘commutative’ when it also satisfies (iii”). Define n = |X|, and ni = p0ii . Clearly,
for each i ∈ {1, ..., d}, (X, Ri ) is a simple graph which is regular of degree ni .
147
148 CHAPTER 10. ASSOCIATION SCHEMES
Proof. Equations (i), (ii) and (iii) are straightforward. The expressions at
both sides of (iv) count quadruples (w, x, y, z) with (w, x) ∈ Ri , (x, y) ∈ Rj ,
(y, z) ∈ Rk , for a fixed pair (w, z) ∈ Rm .
It is convenient to write the intersection numbers as entries of the so-called
intersection matrices L0 , . . . , Ld :
(ii) A0 = I,
(iii) Ai = A⊤
i , for all i ∈ {0, . . . , d},
P
(iv) Ai Aj = k pkij Ak , for all i, j, k ∈ {0, . . . , d}.
From (i) we see that the (0, 1) matrices Ai are linearly independent, and by use
of (ii)–(iv) we see that they generate a commutative (d + 1)-dimensional algebra
A of symmetric matrices with constant diagonal. This algebra was first studied
by Bose & Mesner [33] and is called the Bose-Mesner algebra of the association
scheme.
Since the matrices Ai commute, they can be diagonalized simultaneously
(see Marcus & Minc [239]), that is, there exist a matrix S such that for each
A ∈ A, S −1 AS is a diagonal matrix. Therefore A is semisimple and has a
unique basis of minimal idempotents E0 , . . . , Ed (see Burrow [67]). These are
matrices satisfying
d
X
Ei Ej = δij Ei , Ei = I.
i=0
Then clearly
P Q = QP = nI.
It also follows that
Aj Ei = Pij Ei ,
which shows that the Pij are the eigenvalues of Aj and that the columns of Ei
are the corresponding eigenvectors. Thus mi = rk Ei is the multiplicity of the
eigenvalue Pij of Aj (provided that Pij 6= Pkj for k 6= i). We see that m0 = 1,
P
i mi = n, and mi = trace Ei = n(Ei )jj (indeed, Ei has only eigenvalues 0
and 1, so rk Ek equals the sum of the eigenvalues).
6 − s − 92 t ≥ 0, 14 − 73 s + 7t ≥ 0, 14 + 73 s − 72 t ≥ 0.
k k
The numbers qij thus defined are called the Krein parameters. (Our qij are
those of Delsarte, but differ from Seidel’s [276] by a factor n.) As expected, we
now have the analogue of Theorems 10.1.1 and 10.2.1.
Theorem 10.4.1 The Krein parameters of an association scheme satisfy
k 0 k k
(i) q0j = δjk , qij = δij mj , qij = qji ,
P k P
(ii) i qij = mj , j mj = n,
k j
(iii) qij mk = qik mj ,
P l m P l m
(iv) l qij qkl = l qkj qil ,
Pd l
(v) Qij Qik = l=0 qjk Qil ,
k
P
(vi) nmk qij = l nl Qli Qlj Qlk .
P
Proof. P
P Let (A) denote the sum of all Pentries of the matrix A. Then JAJ =
(A)J, (A ◦ B) = trace AB ⊤ and (Ei ) = 0 if i 6= 0, since P then Ei J =
nEi E0 = 0. Now (i) follows by use of Ei ◦ E0 = n1 Ei , qij 0
= (Ei ◦ Ej ) =
trace Ei Ej = δij mj , and Ei ◦ Ej = Ej ◦ Ei , respectively. Equation (iv) follows
by evaluating Ei ◦ Ej ◦ Ek in two ways, and (iii) follows from (iv) by taking
m = 0. Equation (v) follows from evaluating Ai ◦ EjP◦ Ek in two ways, and
(vi) follows from (v), using the orthogonality relation l nl Qlj Qlk = δmk mk n.
Finally, by use of (iii) we have
X X j X
k
mk qij = qik mj = n · trace (Ei ◦ Ek ) = n (Ei )ll (Ek )ll = mi mk ,
j j l
proving (ii).
The above results illustrate a dual behavior between ordinary multiplication,
the numbers pkij and the matrices Ai and P on the one hand, and Schur mul-
k
tiplication, the numbers qij and the matrices Ei and Q on the other hand. If
two association schemes have the property that the intersection numbers of one
are the Krein parameters of the other, then the converse is also true. Two such
schemes are said to be (formally) dual to each other. One scheme may have
several (formal) duals, or none at all (but when the scheme is invariant under a
regular abelian group, there is a natural way to define a dual scheme, cf. Del-
sarte [127]). In fact usually the Krein parameters are not even integers. But
they cannot be negative. These important restrictions, due to Scott [270] are
the so-called Krein conditions.
152 CHAPTER 10. ASSOCIATION SCHEMES
k
Theorem 10.4.2 The Krein parameters of an association scheme satisfy qij ≥
0 for all i, j, k ∈ {0, . . . , d}.
Proof. The left hand side equals rk (Ei ◦Ej ). But rk (Ei ◦Ej ) ≤ rk (Ei ⊗Ej ) =
rk Ei · rk Ej = mi mj . And if i = j, then rk (Ei ◦ Ei ) ≤ 12 mi (mi + 1). Indeed,
if the rows of Ei are linear combinations of mi rows, then the rows of Ei ◦ Ei
are linear combinations of the mi + 21 mi (mi − 1) rows that are the elementwise
products of any two of these mi rows.
1
For strongly regular graphs with q11 = 0 we obtain Seidel’s bound: v ≤ 12 f (f +
1
3). But in case q11 > 0, Neumaier’s result states that the bound can be improved
to v ≤ 12 f (f + 1).
10.5 Automorphisms
Let π be an automorphism of an association scheme, and suppose there are Ni
points x such that x and π(x) are in relation Ri .
1
Pd
Theorem 10.5.1 (G. Higman) For each j the number n i=0 Ni Qij is an al-
gebraic integer.
10.6. P - AND Q-POLYNOMIAL ASSOCIATION SCHEMES 153
Aschbacher [10] proved that there is no such graph with a rank three group.
G. Higman (unpublished, cf. Cameron [75]) proved that there is no such graph
with a vertex transitive group.
metric for more than one ordering. Metric association schemes are essentially
the same objects as distance-regular graphs (see Chapter 11 below).
i i
Dually, a cometric scheme is defined by qjk = 0 for i > j + k and qjk > 0 for
i = j + k.
There are several equivalent formulations of the metric (cometric) property.
An association scheme is called P -polynomial if there exist polynomials fk
of degree k with real coefficients, and real numbers zi such that Pik = fk (zi ).
Clearly we may always take zi = Pi1 . By the orthogonality relation 10.2.1(iii)
we have X X
mi fj (zi )fk (zi ) = mi Pij Pik = nnj δjk ,
i i
A1 Ai = pi−1 i i+1
1i Ai−1 + p1i Ai + p1i Ai+1 .
Since pi+1
1i 6= 0, Ai+1 can be expressed in terms of A1 , Ai−1 and Ai . Hence for
each j there exists a polynomial fj of degree j such that Aj = fj (A1 ), and it
follows that Pij Ei = Aj Ei = fj (A1 )Ei = fj (Pi1 )Ei , hence Pij = fj (Pi1 ).
Now suppose that the scheme is P -polynomial. Then the fj are orthog-
onal polynomials, and therefore they satisfy a 3-term recurrence relation (see
Szegö [291] p. 42)
Hence
Proof. Since mi Pij = nj Qji the statements about P and Q are equivalent.
Define polynomials pj of degree j for 0 ≤ j ≤ d + 1 by p−1 (x) = 0, p0 (x) = 1,
(x − aj )pj (x) = bj−1 pj−1 + cj+1 pj+1 (x), taking cd+1 = 1. Then Aj = pj (A),
and pd+1 (x) = 0 has as roots the eigenvalues of A. The numbers in row j of P
are pi (θj ) (0 ≤ i ≤ d), and by the theory of Sturm sequences the number of sign
changes is the number of roots of pd+1 larger than θj , which is j. The numbers
in column i of P are the values of pi evaluated at the roots of pd+1 . Since pi
has degree i, and there is at least one root of pd+1 between any two roots of pi
there are i sign changes. The proof in the Q-polynomial case is similar.
Example Consider the Hamming scheme H(4, 2), the association scheme on
the binary vectors of length 4, where the relation is their Hamming distance.
Now
1 4 6 4 1
1 2 0 −2 −1
P =Q= 1 0 −2 0 1
.
1 −2 0 2 −1
1 −4 6 −4 1
10.7 Exercises
Exercise 1 Show that the number of relations of valency 1 in an association
scheme is 2m for some m ≥ 0, and 2m |n. Hint: the relations of valency 1 form
an elementary abelian 2-group with operation i ⊕ j = k when Ai Aj = Ak .
Exercise 2 Show that for the special case where Y is a coclique in a strongly
regular graph, the linear programming bound is the Hoffman bound (Theo-
rem 4.1.2).
Exercise 3 Show that if Γ is a relation of valency k in an association scheme,
and θ is a negative eigenvalue of Γ, then |S| ≤ 1 − k/θ for each clique S in Γ.
Exercise 4 Consider a primitive strongly regular graph Γ on v vertices with
eigenvalues k 1 , rf , sg (k > r > s) with a Hoffman coloring (that is a coloring
with 1 − k/s colors). Consider the following relations on the vertex set of Γ:
R0 : identity,
R1 : adjacent in Γ,
R2 : nonadjacent in Γ with different colors,
R3 : nonadjacent in Γ with the same color.
Prove that these relations define an association scheme on the vertex set of Γ,
and determine the matrices P and Q.
156 CHAPTER 10. ASSOCIATION SCHEMES
Chapter 11
11.1 Parameters
Conventionally, the parameters are bi = pii+1,1 and ci = pii−1,1 (and ai = pii,1 ).
The intersection array of a distance-regular graph of diameter d is {b0 , . . . , bd−1 ;
c1 , . . . , cd }. The valencies p0i,i , that were called ni above, are usually called ki
here. We have ci ki = bi−1 ki−1 . The total number of vertices is usually called v.
It is easy to see that one has b0 ≥ b1 ≥ . . . ≥ bd−1 and c1 ≤ c2 ≤ . . . ≤ cd
and cj ≤ bd−j (1 ≤ j ≤ d).
11.2 Spectrum
A distance-regular graph Γ of diameter d has d + 1 distinct eigenvalues, and
the spectrum is determined by the parameters. (Indeed, the matrices P and
Q of any association scheme are determined by the parameters pijk , and for a
distance-regular graph the pijk are determined again in terms of the bi and ci .)
The eigenvalues of Γ are the eigenvalues of the tridiagonal matrix L1 = (pj1k )
157
158 CHAPTER 11. DISTANCE REGULAR GRAPHS
If L1 u = θu
Pand u0 = 1, then the multiplicity of θ as eigenvalue of Γ equals
m(θ) = v/( ki u2i ).
11.3 Examples
11.3.1 Hamming graphs
Let Q be a set of size q. The Hamming graph H(d, q) is the graph with vertex
set Qd , where two vertices are adjacent when they agree in d − 1 coordinates.
This graph is distance-regular, with parameters ci = i,bi = (q − 1)(d − i),
diameter d and eigenvalues (q − 1)d− qi with multiplicity di (q − 1)i (0 ≤ i ≤ d).
(Indeed, H(d, q) is the Cartesian product of d copies of Kq , see §1.4.6.)
For q = 2 this graph is also known as the hypercube 2d , often denoted Qd .
For d = 2 the graph H(2, q) is also called L2 (q).
Cospectral graphs
In §1.8.1 we saw that there are precisely two graphs with the spectrum of H(4, 2).
In §8.2 we saw that there are precisely two graphs with the spectrum of H(2, 4).
Here we give a graph cospectral with H(3, 3) (cf. [183]).
The graphs H(d, q) have q d vertices, and dq d−1 maximal cliques (‘lines’) of size
u u u
u
u u
u
u
u
u u u
u
u
u
u
u
u
u u u
u
u
u
u
u
u
Let X be a set of size n. The Johnson graph J(n, m) is the graph with vertex
set Xm , the set of all m-subsets of X, where two m-subsets are adjacent when
they have m − 1 elements in common. For example, J(n, 0) has a single vertex;
J(n, 1) is the complete graph Kn ; J(n, 2) is the triangular graph T (n).
This graph is distance-regular, with parameters ci = i2 , bi = (m − i)(n −
m − i), diameter
d =nmin(m,
n − m) and eigenvalues (m − i)(n − m − i) − i with
multiplicity ni − i−1 .
The Kneser graph K(n, m) is the graph with vertex set X m , where two
m-subsets are adjacent when they have maximal distance in J(n, m) (i.e., are
disjoint when n ≥ 2m, and have 2m − n elements in common otherwise). These
graphs are not distance-regular in general, but the Odd graph Om+1 , which
equals K(2m + 1, m), is.
Sending a vertex (m-set) to its complement in X is an isomorphism from
J(n, m) onto J(n, n − m) and from K(n, m) onto K(n, n − m). Thus, we may
always assume that n ≥ 2m.
Van Dam & Koolen [121] construct distance-regular graphs vDK(m) with the
same parameters as Gr(2m + 1, m). (They call them the twisted Grassmann
graphs.) These graphs are ugly, the group of automorphisms is not transi-
tive. The existence of such examples reinforces the idea that the parameters of
distance-regular graphs of large diameter are strongly restricted, while there is
some freedom for the actual structure. The construction is as follows. Let V
be a vector space of dimension 2m + 1 over Fq , and let H be a hyperplane of
V . Take as vertices the (m + 1)-subspaces of V not contained in H, and the
(m − 1)-subspaces contained in H, where two subspaces of the same dimension
are adjacent when their intersection has codimension 1 in both, and two sub-
spaces of different dimension are adjacent when one contains the other. This
graph is the line graph (concurrency graph on the set of lines) of the partial lin-
ear space of which the points are the m-subspaces of V , with natural incidence,
while the point graph (collinearity graph on the set of points) is Gr(2m + 1, m).
It follows that vDK(m) and Gr(2m + 1, m) are cospectral.
160 CHAPTER 11. DISTANCE REGULAR GRAPHS
11.5 Connectedness
For strongly regular graphs we had Theorem 8.3.2 stating that the vertex con-
nectivity κ(Γ) equals the valency k. In [55] it was shown that the same holds
for distance-regular graphs.
For strongly regular graphs we also had Proposition 8.3.1 that says that
the induced subgraph on the vertices at maximal distance from a given ver-
tex is connected. This is a very important property, but for distance-regular
graphs additional hypotheses are needed. For example, there are two gener-
alized hexagons with parameters GH(2, 2) (duals of each other) and in one of
them the subgraphs Γ3 (x) are disconnected.
vertices, as is easily seen. A graph for which equality holds is called a Moore
graph. Moore graphs are distance-regular, and those of diameter 2 were dealt
with in Theorem 8.1.5. Using the rationality conditions Damerell [123] and
Bannai & Ito [16] showed:
A strong non-existence result of the same nature is the theorem of Feit & G. Hig-
man [139] about finite generalized polygons. We recall that a generalized m-gon
is a point-line incidence geometry such that the incidence graph is a connected,
bipartite graph of diameter m and girth 2m. It is called regular of order (s, t)
for certain (finite or infinite) cardinal numbers s, t if each line is incident with
s + 1 points and each point is incident with t + 1 lines. From such a regular
generalized m-gon of order (s, t), where s and t are finite and m ≥ 3, we can
construct a distance-regular graph with valency s(t + 1) and diameter d = ⌊ m 2⌋
by taking the collinearity graph on the points.
Theorem 11.7.2 A finite generalized m-gon of order (s, t) with s > 1 and
t > 1 satisfies m ∈ {2, 3, 4, 6, 8}.
Proofs of this theorem can be found in Feit & Higman [139], Brouwer, Cohen
& Neumaier [48] and Van Maldeghem [298]; again the rationality conditions do
the job. The Krein conditions yield some additional information:
Theorem 11.7.3 A finite regular generalized m-gon with s > 1 and t > 1
satisfies s ≤ t2 and t ≤ s2 if m = 4 or 8; it satisfies s ≤ t3 and t ≤ s3 if m = 6.
This result is due to Higman [191] and Haemers & Roos [181].
11.8 Primitivity
A distance-regular graph Γ of diameter d is called imprimitive when one of the
relations (X, Ri ) with i 6= 0 is disconnected. This can happen in three cases:
either Γ is an n-gon, and i|n, or i = 2, and Γ is bipartite, or i = d, and Γ is
antipodal, that is, having distance d is an equivalence relation. Graphs can be
both bipartite and antipodal. The 2n-gons fall in all three cases.
162 CHAPTER 11. DISTANCE REGULAR GRAPHS
Proof. We show that the span of the vectors x̄ for x ∈ T has a dimension
not less than the number e of endpoints of T . Induction on the size of T . If
T = {x, y} then x̄ 6= ȳ since k 6= θ. Assume |T | > 2. If x ∈ T , and S is
the set of endpoints of T adjacent to x, then for y, z ∈ S and w ∈ T \ S we
have (w̄, ȳ − z̄) = 0. Pick x such that S is nonempty, and x is an endpoint of
T ′ = T \ S. By induction dimhw̄ | w ∈ T ′ i ≥ e − |S| + 1. Since θ 6= ±k we have
dimhȳ − z̄ | x, y ∈ Si = |S| − 1.
Example For a distance-regular graph without triangles, f ≥ k. Equality can
hold. For example, the Higman-Sims graph is strongly regular with parameters
(v, k, λ, µ) = (100, 22, 0, 6) and spectrum 221 277 (−8)22 .
11.10 Extremality
This section gives a simplified account of the theory developed by Fiol and
Garriga and coauthors. The gist is that among the graphs with a given spectrum
with d + 1 distinct eigenvalues the distance-regular graphs are extremal in the
sense that they have a maximal number of pairs of vertices at mutual distance d.
Let Γ be a connected k-regular graph with adjacency matrix A with eigen-
values k = θ1 ≥ · · · ≥ θn . Suppose that A has precisely d+1 distinct eigenvalues
(so that the diameter of Γ is at most d). Define an inner product on the (d + 1)-
dimensional vector space of real polynomials modulo the minimum polynomial
of A by
n
1 1X
hp, qi = tr p(A)q(A) = p(θi )q(θi ).
n n i=1
11.11. EXERCISES 163
Note that hp, pi ≥ 0 for all p, and hp, pi = 0 if and only if p(A) = 0. By applying
Gram-Schmidt to the sequence of polynomials xi (0 ≤ i ≤ d) we find a sequence
of orthogonal polynomials pi of degree i (0 ≤ i ≤ d) satisfying hpi , pj i = 0 for
i 6= j and hpi , pi i = pi (k). This latter normalization is possible since pi (k) 6= 0.
(Indeed, suppose that pi changes sign at values αj (0 ≤ j ≤ h) inside the
Qh
interval (θn , k). Put q(x) = j=1 (x − αj ). Then all terms in hpi , qi have the
same sign, and not all are zero, so hpi , qi 6= 0, hence h = i, so that all zeros of
pi are in the interval (θn , k), and pi (k) 6= 0.)
The Hoffman polynomial (the polynomial p such that p(A) = J) equals
p0 + . . . + pd . Indeed, hpi , pi = n1 tr pi (A)J = pi (k) = hpi , pi i for all i.
If Γ is distance-regular, then the pi are the polynomials for which Ai = pi (A).
Theorem 11.10.1 Let Γ be connected and regular of degree k, with P d+1 distinct
eigenvalues. Define the polynomials pi as above. Let kd := n1 x kd (x) be
the average number of vertices at distance d from a given vertex in Γ. Then
kd ≤ pd (k), and equality holds if and only if Γ is distance-regular.
Proof. We follow Fiol, Gago & Garriga [144]. Use the inner product hM, N i =
1 ⊤
n tr M N on the space MP n (R) of real matrices of order n. If M, N are sym-
metric, then hM, N i = n1 x,y (M ◦ N )xy . If M = p(A) and N = q(A) are
polynomials in A, then hM, N i = hp, qi.
Since hAd , pd (A)i = hAd , Ji = kd , the orthogonal projection A′d of Ad on the
space hI, A, ..., Ad i = hp0 (A), ..., pd (A)i of polynomials in A equals
X hAd , pj (A)i hAd , pd (A)i kd
A′d = pj (A) = pd (A) = pd (A).
j
hpj , pj i pd (k) pd (k)
2
Now ||A′d ||2 ≤ ||Ad ||2 gives kd /pd (k) ≤ kd , and the inequality follows since
pd (k) > 0. When equality holds, Ad = pd (A).
Now it follows
P by downward P induction on h that Ah = ph (A) (0 ≤ h ≤ d).
Indeed, from j pj (A) = J = j Aj it follows that p0 (A) + · · · + ph (A) =
A0 + · · · + Ah . Hence ph (A)xy = 0 if d(x, y) > h, and ph (A)xy = 1 if d(x, y) = h.
Since hxph+1 , pj i = hph+1 , xpj i = 0 for j 6= h, h + 1, h + 2, we have xph+1 =
aph + bph+1 + cph+2 and hence AAh+1 = aph (A) + bAh+1 + cAh+2 for certain
a, b, c with a 6= 0. But then ph (A)xy = 0 if d(x, y) < h, so that ph (A) = Ah .
Finally, the three-term recurrence for the ph now becomes the three-term
recurrence for the Ah that defines distance-regular graphs.
Noting that pd (k) depends on the spectrum only, we see that this provides a
characterization of distance-regularity in terms of the spectrum and the number
of pairs of vertices far apart (at mutual distance d). See [115], [143], [144] and
Theorem 13.5.3 below.
11.11 Exercises
Exercise 1 Determine the spectrum of a strongly regular graph minus a vertex.
(Hint: if the strongly regular graph has characteristic polynomial p(x) = (x −
k)(x − r)f (x − s)g , then the graph obtained after removing one vertex has
characteristic polynomial ((x − k)(x − λ + µ) + µ) (x − r)f −1 (x − s)g−1 .)
164 CHAPTER 11. DISTANCE REGULAR GRAPHS
p-ranks
165
166 CHAPTER 12. P -RANKS
that m̄ 6= 0. More generally, if θ̄ = 0, then p|N (θ), where N (θ) is the norm
of θ, the product of its conjugates, up to sign the constant term of its minimal
polynomial.
Proposition 12.3.1
Let M be an integral square matrix. Then rkp (M ) ≤ rk(M ).
Let M be a square matrix with entries in R. Then rkF (M ) ≤ rk(M ).
Proof. The rank of a matrix is the size of the largest submatrix with nonzero
determinant.
If p ∤ n, then the row space of M over Fp contains 1 when k+bn 6≡ 0 (mod p).
On the other hand, if k + bn ≡ 0 (mod p), then all rows have zero row sum
(mod p) while 1 has not, so that 1 is not in the row space over Fp . Thus, we
are in the second case, where the smaller p-rank occurs for b = −k/n only.
If p|n and p ∤ k, then all row sums are nonzero (mod p) for all b, and we
are in the former case: the rank is independent of b, and the row space over Fp
always contains 1.
Finally, if p|n and also p|k, then further inspection is required.
Example (Cf. Peeters [258]). According to [183], there are precisely ten graphs
√ 8 √
with the spectrum 71 7 (−1)7 (− 7)8 , one of which is the Klein graph, the
unique distance-regular graph with intersection array {7, 4, 1; 1, 2, 7}. It turns
out that the p-ranks of A − aI + bJ for these graphs depend on the graph only
for p = 2 ([258]). Here n = 24 and k = 7 − a + 24b.
graph rk2 (A + I) rk2 (A + I + J)
#1,2 14 14 rk3 (A − aI + bJ) rk7 (A − aI)
#3,8,9 15 14 a\b 0 1 2 a\b 0
#4,7 13 12 0 24 24 24 0 15
#5 12 12 1 16 15 16 1–5 24
#6 11 10 2 16 16 16 6 17
#10 9 8
Interesting primes (dividing the norm of the difference of two eigenvalues) are 2,
3 and 7. All p-ranks follow from the parameters except possibly rk2 (A + I + bJ),
rk3 (A − I + bJ), rk3 (A + I), rk7 (A).
The interesting 2-rank is rk2 (A + I), and inspection of the graphs involved
shows that this takes the values 9, 11, 12, 13, 14, 15 where 9 occurs only for the
Klein graph. The value of rk2 (A + I + J) follows, since a symmetric matrix with
zero diagonal has even 2-rank, and the diagonal of a symmetric matrix lies in the
F2 -space of its rows. Hence if rk2 (A+I) is even, then rk2 (A+I +J) = rk2 (A+I),
and if rk2 (A + I) is odd then rk2 (A + I + J) = rk2 (A + I) − 1.
The 3-rank of A − I + bJ is given by Proposition 12.3.4. Here f (x) =
(x + 2)((x + 1)2 − 7) and k = 6 + 24b, so that f (k)/n ≡ 0 (mod 3) is equivalent
to b ≡ 1 (mod 3).
One has rk3 (A + I) = 16 in all ten cases.
The value of rk7 (A) can be predicted: We have det(A + J) = −78 .31, so the
Smith Normal Form (§12.8) of A + J has at most 8 entries divisible by 7 and
rk7 (A + J) ≥ 16. By Proposition 12.3.3, rk7 (A + J) = 16. Since 7 ∤ n and 1 is
in the row space of A + J but not in that of A, rk7 (A) = 15.
Consider the m × n matrix P = (p(a, b))a∈A, b∈B and the d × e matrix C = (cij ).
Then rkF (P ) = rkF (C).
Proof. For any integer s and subset X of F , let Z(s, X) be the |X| × s matrix
(xi )x∈X, 0≤i≤s−1 . Note that if |X| = s then this is a Vandermonde matrix and
hence invertible. We have P = Z(d, A) C Z(e, B)⊤ , so rkF (P ) ≤ rkF (C), but
P contains a submatrix Z(d, A′ ) C Z(e, B ′ ) with A′ ⊆ A, B ′ ⊆ B, |A′ | = d,
|B ′ | = e, and this submatrix has the same rank as C.
For odd prime powers q = pe , p prime, let Q be the {0, ±1}-matrix of order
q with entries Qxy = χ(y − x) (x, y ∈ Fq , χ the quadratic residue character,
χ(0) = 0).
Proof. Parts (i) and (ii) and (v) are immediate from Propositions 12.3.1,
12.3.2. Suppose θ0 ≡ θ1 ≡ 0 (mod p), θ2 6= 0 (mod p). Then we can apply
Proposition 12.3.4 with the two eigenvalues 0 and θ2 . Since rkp (M −θ2 I) = v−g,
and g ≤ rkp M ≤ g + 1, it follows that rkp M = g if and only if M (M − θ2 I) ≡ 0
(mod p). But using (A − rI)(A − sI) = µJ and r + s = λ − µ, we find
M (M − θ2 I) ≡ (A + bJ − rI)(A + bJ − sI) = eJ. Part (iii)’ is similar.
Thus, the only interesting case (where the structure of Γ plays a rôle) is that
where p divides both θ1 and θ2 , so that p | (r − s). In particular, only finitely
many primes are of interest. In this case we only have the upper bound (v).
Looking at the idempotents sometimes improves this bound by 1: We have
E1 = (r − s)−1 (A − sI − (k − s)v −1 J) and E2 = (s − r)−1 (A − rI − (k − r)v −1 J).
Thus, if k −s and v are divisible by the same power of p (so that (k −s)/v can be
interpreted in Fp ), then rkp (A − sI − (k − s)v −1 J) ≤ rk E1 = f , and, similarly, if
k −r and v are divisible by the same power of p then rkp (A−rI −(k −r)v −1 J) ≤
rk E2 = g.
For M = A + bJ + cI and p|(r + c), p|(s + c) we have M E1 = JE1 = 0 (over
Fp ) so that rkp hM, 1i ≤ g + 1, and hence rkp M ≤ g (and similarly rkp M ≤ f )
in case 1 ∈/ hM i.
Much more detail is given in [49] and [257].
In the table below we give for a few strongly regular graphs for each prime p
dividing r−s the p-rank of A−sI and the unique b0 such that rkp (A−sI −b0 J) =
rkp (A − sI − bJ) − 1 for all b 6= b0 , or ‘-’ in case rkp (A − sI − bJ) is independent
of b. (When p ∤ v we are in the former case, and b0 follows from the parameters.
When p|v and p ∤ µ, we are in the latter case.)
For a description of most of these graphs, see [56].
u u u
@
@u u
B
uB
A B
u uAB
@ @AB
u @u u @
ABu
Concerning the Smith Normal Form of the Laplacian, Grone, Merris &
Watkins [167] gave the pair of graphs in Figure 12.1 that both have S(L) =
diag(13 , 5, 15, 0). The Laplacian spectrum of the left one (which is K2 × K3 ) is
0, 2, 32 , 52 . That of the right one is 0, 0.914, 3.572, 52 , 5.514, where the three
non-integers are roots of λ3 − 10λ2 + 28λ − 18 = 0.
Proof. Part (i) is a special case of (ii). Part (ii) is Proposition 12.8.4 below.
For (iii) we may assume that all ai are nonzero. It suffices to show that every
element in Zn /hM P i has an order dividing a1 a2 · · · am . We show by induction on
k that if u = ui is integral and is sum of k left eigenvectors
P ui of M , with
then a1 · · · ak u ∈ hM i. Indeed, since uM =
u i M = ai u i , P ai ui ∈ hM i and
ak u − uM = (ak − ai )ui is integral and sum of at most k − 1 eigenvectors, we
find by induction that a1 · · · ak−1 (ak u − uM ) ∈ hM i, hence a1 · · · ak u ∈ hM i.
The invariant factors are determined when we know for each prime p and
each i ≥ 0 how many invariant factors are divisible by pi , and the following
proposition tells us.
Spectral characterizations
In this chapter, we consider the question to what extent graphs are determined
by their spectrum. First we give several constructions of families of cospec-
tral graphs, and then give cases in which it has been shown that the graph is
determined by its spectrum.
Let us abbreviate ‘determined by the spectrum’ to DS. Here, of course,
‘spectrum’ (and DS) depends on the type of adjacency matrix. If the matrix is
not specified, we mean the ordinary adjacency matrix.
Large parts of this chapter were taken from Van Dam & Haemers [117, 118].
Proposition 13.1.1
(i) (Johnson & Newman [208]) If two graphs are y-cospectral for two distinct
values of y, then for all y.
(ii) (Van Dam, Haemers & Koolen [119]) If two graphs are y-cospectral for an
irrational value of y, then for all y.
175
176 CHAPTER 13. SPECTRAL CHARACTERIZATIONS
Proof. Define p(x, y) = det(AΓ − xI − yJ). Thus for fixed y, p(x, y) is the
characteristic polynomial of AΓ − yJ. Since J has rank 1, the degree in y of
p(x, y) is 1 (this follows from Gaussian elimination in AΓ − xI − yJ), so there
exist integers a0 , . . . , an and b0 , . . . , bn such that
n
X
p(x, y) = (ai + bi y)xi .
i=0
Suppose Γ and Γ′ are y-cospectral for some y = y0 but not for all y. Then
the corresponding polynomials p(x, y) and p′ (x, y) are not identical, whilst
p(x, y0 ) = p′ (x, y0 ). This implies that ai + bi y0 = a′i + b′i y0 with bi 6= b′i for
some i. So y0 = (a′i − ai )/(bi − b′i ) is unique and rational.
Van Dam, Haemers & Koolen [119] show that there is a pair of nonisomorphic
just y-cospectral graphs if and only if y is rational.
Values of y other than 0, 12 , 1 occur naturally when studying subgraphs of
strongly regular graphs.
Proposition 13.1.2 Let Γ be strongly regular with vertex set X of size n, and
let θ be an eigenvalue other than the valency k. Let y = (k − θ)/n. Then for
each subset S of X, the spectrum of Γ and the y-spectrum of the graph induced
on S determines the y-spectrum of the graph induced on X \ S.
Proof. Since A − yJ has only two eigenvalues, this follows immediately from
Lemma 2.11.1.
This can be used to produce cospectral pairs. For example, let Γ be the Petersen
graph, and let S induce a 3-coclique. Then the y-spectrum of the graph induced
on X \ S is determined by that on S, and does not depend on the coclique
chosen. Since θ can take two values, the graphs induced on the complement of
a 3-coclique (Ê6 and K1 + C6 ) are y-cospectral for all y.
13.2.1 Trees
Let Γ and ∆ be two graphs, with vertices x and y, respectively. Schwenk [267]
examined the spectrum of what he called the coalescence of these graphs at x
and y, namely, the result Γ +x,y ∆ of identifying x and y in the disjoint union
Γ + ∆. He proved the following (see also [106, p.159] and [154, p.65]).
Lemma 13.2.1 Let Γ and Γ′ be cospectral graphs and let x and x′ be vertices
of Γ and Γ′ respectively. Suppose that Γ − x (that is the subgraph of Γ obtained
by deleting x) and Γ′ − x′ are cospectral too. Let ∆ be an arbitrary graph with
a fixed vertex y. Then Γ +x,y ∆ is cospectral with Γ′ +x′ ,y ∆.
Suppose ∆ = P3 and let y be the vertex of degree 2. Then Lemma 13.2.1 shows
that the graphs in Figure 13.1 are cospectral.
u u u u u u
u u u u u u u u u u u u u u u u u u
u u
Figure 13.1: Cospectral trees
It is clear that Schwenk’s method is very suitable for constructing cospectral
trees. In fact, the lemma above enabled him to prove his famous theorem:
Theorem 13.2.2 With respect to the adjacency matrix, almost all trees are
non-DS.
After Schwenk’s result, trees were proved to be almost always non-DS with
respect to all kinds of matrices. Godsil and McKay [155] proved that almost
all trees are non-DS with respect to the adjacency matrix of the complement
A, while McKay [243] proved it for the Laplacian matrix L and for the distance
matrix D.
of a graph, called the point graph (also known as collinearity graph) and line
graph of (P, L), respectively. These graphs are cospectral, since N N ⊤ and N ⊤N
are. But in many examples they are non-isomorphic. An example was given in
§11.3.1.
13.2.3 GM switching
Seidel switching was discussed above in §1.8.2. No graph with more than one
vertex is DS for the Seidel adjacency matrix. In some cases Seidel switching
also leads to cospectral graphs for the adjacency spectrum, for example when
graph and switched graph are regular of the same degree.
Godsil and McKay [156] consider a different kind of switching and give con-
ditions under which the adjacency spectrum is unchanged by this operation.
We will refer to their method as GM switching. (See also §1.8.3.) Though GM
switching has been invented to make cospectral graphs with respect to the ad-
jacency matrix, the idea also works for the Laplacian and the signless Laplacian
matrix, as will be clear from the following formulation.
f are cospectral.
Then M and M
2
J − Ib 0 f.
Proof. Define Q = b . Then Q−1 = Q and QM Q−1 = M
0 Ic
The matrix partition used in [156] (and in §1.8.3) is more general than the
one presented here. But this simplified version suffices for our purposes: to show
that GM switching produces many cospectral graphs.
If M and M f are adjacency matrices of graphs then GM switching gives
cospectral graphs with cospectral complements and hence, by the result of John-
son & Newman quoted in §13.1, it produces cospectral graphs with respect to
any generalized adjacency matrix.
If one wants to apply GM switching to the Laplacian matrix L of a graph Γ,
take M = −L and let B and C (also) denote the sets of vertices indexing the
rows and columns of the matrices B and C, respectively. The requirement that
the matrix B has constant row sums means that N has constant row sums, that
is, the vertices of B all have the same number of neighbors in C.
For the signless Laplacian matrix, take M = Q. Now all vertices in B must
have the same number of neighbors in C, and, in addition, the subgraph of Γ
induced by B must be regular.
When Seidel switching preserves the valency of a graph, it is a special case
of GM switching, where all columns of N have b/2 ones. So the above theorem
also gives sufficient conditions for Seidel switching to produce cospectral graphs
with respect to the adjacency matrix A and the Laplacian matrix L.
13.3. ENUMERATION 179
H P
H u u
@P
u u u u u u
HH HP @
P @
H @H HP@P
P @
u u u H Hu u @u H
H@u PP @u
Figure 13.2: Two graphs cospectral w.r.t. any generalized adjacency matrix
P
u
P
u u u H
u H u
u u
PP @HH @H
H
@
PP @ H
@
PP HH
H @
u u u Pu @ u
u H@u H @u
Sunada [289] did this for manifolds, and the special case of graphs was
discussed in [187]. See also [41].
Proof. The condition given just means that the induced characters 1G
Hi (i =
1, 2) are the same. Now apply Lemma 6.3.1 with M = A and M = L.
Brooks [41] shows a converse: any pair of regular connected cospectral graphs
arises from this construction.
13.3 Enumeration
13.3.1 Lower bounds
GM switching gives lower bounds for the number of pairs of cospectral graphs
with respect to several types of matrices.
Let Γ be a graph on n−1 vertices and fix a set X of three vertices. There is a
unique way to extend Γ by one vertex x to a graph Γ′ , such that X ∪{x} induces
180 CHAPTER 13. SPECTRAL CHARACTERIZATIONS
a regular graph in Γ′ and that every other vertex in Γ′ has an even number of
neighbors in X ∪ {x}. Thus the adjacency matrix of Γ′ admits the structure
of Theorem 13.2.3, where B corresponds to X∪ {x}. This implies that from a
graph Γ on n − 1 vertices one can make n−1 3 graphs with a cospectral mate
on n vertices (with respect to any generalized adjacency matrix) and every such
n-vertex graph can be obtained in four ways from a graph on n − 1 vertices. Of
course some of these graphs may be isomorphic, but the probability of such a
coincidence tends to zero as n → ∞ (see [185] for details). So, if gn denotes the
number of non-isomorphic graphs on n vertices, then:
Theorem 13.3.1 The number of graphs on n vertices which are non-DS with
respect to any generalized adjacency matrix is at least
1
( 24 − o(1)) n3 gn−1 .
In fact, a lower bound like the one in Theorem 13.3.2 can be obtained for any
matrix of the form A + αD, including the signless Laplacian matrix Q.
n → ∞. In addition, the table shows that the majority of non-DS graphs with
respect to A & A and L comes from GM switching (at least for n ≥ 7). If this
tendency continues, the lower bounds given in Theorems 13.3.1 and 13.3.2 will
be asymptotically tight (with maybe another constant) and almost all graphs
will be DS for all three cases. Indeed, the fraction of graphs that admit a non-
trivial GM switching tends to zero as n tends to infinity, and the partitions with
b = 4 account for most of these switchings (see also [156]). For data for n = 12,
see [60] and [287].
13.4 DS graphs
In Section 13.2 we saw that many constructions for non-DS graphs are known,
and in the previous section we remarked that it seems more likely that almost
all graphs are DS, than that almost all graphs are non-DS. Yet much less is
known about DS graphs than about non-DS graphs. For example, we do not
know of a satisfying counterpart to the lower bounds for non-DS graphs given
in §13.3.1. The reason is that it is not easy to prove that a given graph is DS.
Below we discuss the graphs known to be DS. The approach is via structural
properties of a graph that follow from the spectrum. So let us start with a short
survey of such properties.
Proof. W.l.o.g. δ = 0. Let Γ be a graph with the given spectrum, and suppose
P di (1 ≤ i ≤ n).
that Γ has n vertices and vertex degrees
First suppose that γ 6= 0. Then i di is determined by Ptr(R) and hence
P by
the spectrum of R. Since tr(R2 ) = β 2 n2 + (1 + 2β + 2βγ) i di + γ 2 i d2i , it
182 CHAPTER 13. SPECTRAL CHARACTERIZATIONS
P 2
follows that also
P i di is P
determined by the spectrum. Now Cauchy’s inequality
states that ( i di )2 ≤ n i d2i with equality if and only if d1 = . . . = dn . This
shows that regularity of the graph can be seen from the spectrum of R. P
Now suppose γ = 0 and β 6= −1/2. By considering tr(R2 ) we see that i di
is determined byPthe spectrum of R. The matrix R = A + βJ has average row
sum r = βn + i di /n determined by its spectrum. Let R have eigenvalues
θ1 ≥ ... ≥ θn . By interlacing, θ1 ≥ r ≥ θn , and equality on either side implies
that R has constant row sums, and Γ is regular. On the other hand, if β ≥ 0
(resp. β ≤ −1), then R (resp. −R) is a nonnegative matrix, hence if Γ is
regular, then 1 is an eigenvector for eigenvalue r = θ1 (resp. r = −θn ). Thus
also here regularity of the graph can be seen from the spectrum.
It remains to see whether one can see from the spectrum of A − yJ (with
0 < y < 1) whether the graph is regular. For y = 12 the answer is clearly no:
The Seidel adjacency matrix is S = J − I − 2A, and for S a regular graph can
be cospectral with a non-regular one (e.g. K3 and K1 + K2 ), or with another
regular one with different valency (e.g. 4K1 and C4 ). Chesnokov & Haemers
[82] constructed pairs of y-cospectral graphs where one is regular and the other
not for all rational y, 0 < y < 1. Finally, if y is irrational, then one can deduce
regularity from the spectrum of A − yJ by Proposition 13.1.1(ii).
Corollary 13.4.2 For regular graphs, being DS (or not DS) is equivalent for
the adjacency matrix, the adjacency matrix of the complement, the Laplacian,
and the signless Laplacian matrix.
Proof. For each of these matrices the above proposition says that regularity
can be recognized. It remains to find the valency k. For A, A, Q, the largest
eigenvalue is k, n − 1 − k, 2k, respectively. For L, the trace is nk.
Lemma 13.4.3 For the adjacency matrix, the Laplacian matrix and the sign-
less Laplacian matrix of a graph Γ, the following can be deduced from the spec-
trum.
Proof. Part (i) is clear. For L and Q the number of edges is twice the trace of
the matrix, while parts (ii) and (v) for A were shown in Proposition 1.3.1. Part
(vi) follows from (v), since Γ is bipartite if and only if Γ has no closed walks
of odd length. Part (iii) follows from Proposition 13.4.1, and (iv) follows from
(iii) and the fact that in a regular graph the number of closed walks of length
less than the girth depends on the degree only. Parts (vii) and (viii) follow from
Propositions 1.3.7 and 1.3.4.
13.4. DS GRAPHS 183
H HH
u u
JHH
H
H
u
u Hu
Ju
H
u
u u Hu
HH HHJ
Hu H
Ju
The Saltire pair shows that (vii) and (viii) do not hold for the adjacency
matrix. The two graphs of Figure 13.4 have cospectral Laplacian matrices.
They illustrate that (v) and (vi) do not follow from the Laplacian spectrum.
The graphs K1 + K3 and K1,3 show that (v)–(viii) are false for the signless
Laplacian matrix.
Proposition 13.4.4 The graphs Kn and Km,m and Cn and their complements
are DS for any matrix R = A + βJ + γD + δI for which regularity follows from
the spectrum of R. In particular this holds for the matrices A, A, L and R.
Proof. Since these graphs are regular, we only need to show that they are
DS with respect to the adjacency matrix. A graph cospectral with Kn has n
vertices and n(n − 1)/2 edges and therefore equals Kn . A graph cospectral with
Km,m is regular and bipartite with 2m vertices and m2 edges, so it is isomorphic
to Km,m . A graph cospectral with Cn is 2-regular with girth n, so it equals Cn .
Proof. The spectrum of the adjacency matrix A of any graph cospectral with
Km1 + . . . + Kmk equals {[m1 − 1]1 , . . . , [mk − 1]1 , [−1]n−k }, where n = m1 +
. . . + mk . This implies that A + I is positive semi-definite of rank k, and hence
A + I is the matrix of inner products of n vectors in Rk . All these vectors are
unit vectors, and the inner products are 1 or 0. So two such vectors coincide or
are orthogonal. This clearly implies that the vertices can be ordered in such a
way that A + I is a block diagonal matrix with all-ones diagonal blocks. The
sizes of these blocks are non-zero eigenvalues of A + I.
In general, the disjoint union of complete graphs is not DS with respect to A
and L. The Saltire pair shows that K1 + K4 is not DS for A, and K5 + 5K2
is not DS for L, because it is cospectral with the Petersen graph extended by
five isolated vertices (both graphs have Laplacian spectrum [0]6 [2]5 [5]4 ). Note
that the above proposition also shows that a complete multipartite graph is DS
with respect to A.
Proof. Let Γ be connected with n vertices and have largest eigenvalue less
than 2, and let the graph ∆ be cospectral. Then ∆ does not contain a cycle,
and has n − 1 edges, so is a tree. By Theorem 3.1.3 (and following remarks)
we find that ∆ is one of An = Pn , Dn , E6 , E7 , E8 , and has largest eigenvalue
2 cos πh , where h is the Coxeter number. Now ∆ is determined by n and h, that
is, by its number of vertices and its largest eigenvalue.
In fact, Pn is also DS with respect to A, L, and Q. The result for A, however, is
nontrivial and the subject of [134]. The hypothesis ‘connected’ here is needed,
but we can describe precisely which pairs of graphs with largest eigenvalue less
than 2 are cospectral.
Proposition 13.4.8 The union of k disjoint paths, Pn1 + . . . + Pnk each having
at least one edge, is DS with respect to the Laplacian matrix L and the signless
Laplacian matrix Q.
(by Corollary 2.5.2), and it follows that Γ′ is a forest and hence bipartite. Since
for bipartite graphs L and Q have the same spectrum, Γ′ is also cospectral with
Pn1 + . . . + Pnk with respect to L, and we are done.
The above two propositions show that for A, A, L, and Q the number of DS
graphs on n vertices is bounded
√ below by the number of partitions of n, which
is asymptotically equal to 2α n for some constant α. This is clearly a very poor
lower bound, but we know of no better one.
In the above we saw that the disjoint union of some DS graphs is not neces-
sarily DS. One might wonder whether the disjoint union of regular DS graphs
with the same degree is always DS. The disjoint union of cycles is DS, as can
be shown by an argument similar to that in the proof of Proposition 13.4.8.
Also the disjoint union of some copies of a strongly regular DS graph is DS. In
general we expect a negative answer, however.
Theorem 13.4.9 Suppose a regular graph ∆ has the adjacency spectrum of the
line graph L(Γ) of a connected graph Γ. Suppose Γ is not one of the fifteen
regular 3-connected graphs on 8 vertices, or K3,6 , or the semiregular bipartite
graph with 9 vertices and 12 edges. Then ∆ is the line graph L(Γ′ ) of a graph
Γ′ .
It does not follow that the line graph of a connected regular DS graph, which
is not one of the mentioned exceptions, is DS itself. The reason is that it can
happen that two non-cospectral graphs Γ and Γ′ have cospectral line graphs.
For example, both L(K6 ) and K6,10 have a line graph with spectrum 141 85
49 −245 , and both L(Petersen) and the incidence graph of the 2-(6, 3, 2) design
have a line graph with spectrum 61 45 14 05 −215 . The following lemma gives
necessary conditions for this phenomenon (cf. [69, Thm.1.7]).
the adjacency matrix of L(Γ). Since Γ is connected, the matrix N has eigenvalue
0 with multiplicity 1 if Γ is bipartite, and does not have eigenvalue 0 otherwise.
Consequently, L(Γ) has eigenvalue −2 with multiplicity m−n+1 if Γ is bipartite,
and with multiplicity m − n otherwise. If η 6= 0, then the multiplicity of η − 2
as eigenvalue of L(Γ) equals the multiplicity of η − k as eigenvalue of Γ.
We see that for a regular connected graph Γ, the spectrum of L(Γ) determines
that of Γ (since L(G) is regular of valency 2k − 2 and n is determined by
m = 12 nk).
Since L(Γ′ ) is cospectral with L(Γ), also Γ′ has m edges. L(Γ′ ) is regular and
hence Γ′ is regular or semiregular bipartite. Suppose that Γ′ is not cospectral
with Γ. Then Γ′ is semiregular bipartite with parameters (n1 , n2 , k1 , k2 ) (say),
and
m = 12 nk = n1 k1 = n2 k2 .
Since the signless Laplacian matrices Q and Q′ of Γ and Γ′ have the same
non-zero eigenvalues, their largest eigenvalues are equal:
2k = k1 + k2 .
If n = n1 + n2 then k1 = k2 , contradiction. So
n = n1 + n2 − 1.
k = (n1 − n2 )a.
Now n1 k1 = n2 k2 gives
(n1 − n2 )2 = n1 + n2 .
Put b = n1 − n2 , then (n, k) = (b2 − 1, ab). Since 2ab = k1 + k2 ≤ n2 + n1 = b2 ,
it follows that a ≤ 12 b.
Now the following can be concluded from Theorem 13.4.9 and Lemma 13.4.10.
Bussemaker, Cvetković, and Seidel [69] determined all connected regular excep-
tional graphs (see also [110]). There are exactly 187 such graphs, of which 32
are DS. This leads to the following characterisation.
Theorem 13.4.12 Suppose Γ is a connected regular DS graph with all its ad-
jacency eigenvalues at least −2, then one of the following occurs.
Note that L(Kn ) is the triangular graph T (n), and L(Km,m ) is the lattice
graph L2 (n). For n = 8 and m = 4 cospectral graphs exist. There is exactly
one graph cospectral with L(K4,4 ), the Shrikhande graph ([283]), and there are
three graphs cospectral with L(K8 ), the so-called Chang graphs ([80]). See also
§8.2.
Besides the graphs of Proposition 13.5.1, only a few strongly regular DS
graphs are known; these are surveyed in Table 13.2. (Here a local graph of a
graph Γ is the subgraph induced by the neighbors of a vertex of Γ.)
Table 13.2: The known sporadic strongly regular DS graphs (up to comple-
ments)
(i) g ≥ 2d − 1,
(ii) g ≥ 2d − 2 and Γ is bipartite,
13.5. DISTANCE-REGULAR GRAPHS 189
For parts (i), (iv) and (vi), see [52] (and also [178]), [201], and [183], respectively.
Parts (ii), (iii), (v), (vii) are proved in [117] (in fact, (ii) is a special case of (iii))
and (viii) is proved in [120]. Notice that the polygons Cn and the strongly
regular graphs are special cases of (i), while bipartite distance-regular graphs
with d = 3 (these are the incidence graphs of symmetric block designs, see also
[106, Thm.6.9]) are a special case of (ii).
An important result on spectral characterisations of distance-regular graphs
is the following theorem of Fiol & Garriga [143], a direct consequence of Theorem
11.10.1.
Let us illustrate the use of this theorem by proving case (i) of Theorem 13.5.2.
Since the girth and the degree follow from the spectrum, any graph Γ′ cospectral
with Γ also has girth g and degree k1 . Fix a vertex x in Γ′ . Clearly cx,y = 1 for
every vertex y at distance at most (g − 1)/2 from x, and ax,y = 0 (where ax,y is
the number of neighbors of y at distance d(x, y) from x) if the distance between
x and y is at most (g − 2)/2. This implies that the number ki′ of vertices at
distance i from x equals k1 (k1 − 1)i−1 for i = 1, . . . , d − 1. Hence ki′ = ki for
these i. But then also kd′ = kd and Γ′ is distance-regular by Theorem 13.5.3.
As mentioned earlier, part (i) follows from property (i) of Theorem 13.5.2 (and
from Proposition 13.4.4). Part (ii) follows from property (ii) of Theorem 13.5.2,
and the graphs of parts (iii) and (iv) are all generalized Odd graphs, so the
result follows from property (iv), due to Huang & Liu [201].
Next, there are the infinite families where the spectrum determines the com-
binatorial or geometric structure, where the graphs are DS if and only if the
corresponding structure is determined by its parameters.
190 CHAPTER 13. SPECTRAL CHARACTERIZATIONS
Proposition 13.5.5 (i) A graph cospectral with the incidence graph of a sym-
metric block design with parameters 2-(v, k, λ) is itself the incidence graph of a
symmetric block design with these same parameters.
coordinates of y except for the last one are 0 (mod p). And z = yU is a nonzero
constant times u (mod p). This contradicts uu⊤ 6≡ 0 (mod p).)
It remains to worry about p = 2. Assume that sn ≡ 2 (mod 4), so that (with
all of the above assumptions) ℓ = 2. For z we now have z 6≡ 0 (mod 2), zW ≡ 0
(mod 2), zz ⊤ = 4, z1 = 2, so that z has precisely four nonzero entries, three 1
and one −1.
We proved the following:
Wang & Xu generate a number of random graphs where this method applies.
Let us abbreviate the condition ‘determined by its spectrum and the spec-
trum of its complement’ by DGS (determined by the generalized spectrum).
Wang & Xu [302] used their approach to find conditions for which a DGS graph
remains DGS if an isolated vertex is added.
13.7 Exercises
Exercise 1 Show for the adjacency matrix A
(i) that there is no pair of cospectral graphs on fewer than 5 vertices,
(ii) that the Saltire pair is the only cospectral pair on 5 vertices,
(iii) that there are precisely 5 cospectral pairs on 6 vertices.
s s
HsH
s s s s s s s s s s s s s
s s s s s s s s s s s s s s
s s s
sH
s s s s s s s sHs s sHss
s Hs
@@
s s s s s s s
s Hs sHs
Graphs with few distinct eigenvalues tend to have some kind of regularity. A
graph with only one eigenvalue (for A or L or Q) is edgeless, and a connected
graph with two distinct adjacency eigenvalues (for A or L or Q) is complete. A
connected regular graph Γ has three eigenvalues if and only if Γ is connected
and strongly regular. Two obvious next cases are connected regular graphs with
four eigenvalues, and general graphs with three eigenvalues. In the latter case
the graphs need not be regular, so it matters which type of matrix we consider.
For the Laplacian matrix there is an elegant characterization in terms of the
structure, which gives a natural generalization of the spectral characterization
of strongly regular graphs.
195
196 CHAPTER 14. GRAPHS WITH FEW EIGENVALUES
Proof. Correctness of the ‘only if’ part of the statement has been established
already. Without loss of generality we assume that the eigenvalues of M =
M (x, y, z) are 0 and 1. So M satisfies M 2 = M . Let di be the degree of
vertex i, then x = Mii = (M 2 )ii = x2 + di y 2 + (n − 1 − di )z 2 , which gives
di (y 2 − z 2 ) = x − x2 − (n − 1)z 2 . So y = −z or Γ is regular. In the first case
S = z1 (M − xI) is the Seidel matrix of Γ with two eigenvalues, so Γ is strong. In
1
case Γ is regular, the adjacency matrix A = y−z (M + (z − x)I − zJ) has three
eigenvalues, so Γ is strongly regular and therefore strong.
14.3. OTHER MATRICES WITH AT MOST THREE EIGENVALUES 199
1 p 1 p
{ (3n − 6 + n2 + 4n − 12), (n − 2)n−2 , (3n − 6 − n2 + 4n − 12)} .
2 2
In addition there are some sporadic examples (see also Exercise 4). Like in
Proposition 14.3.3 the case in which the spectral radius is nonintegral can be
characterized.
14.4 Exercises
Exercise 1 Prove that a graph with two restricted Laplacian eigenvalues whose
degrees d and d′ differ by 1, comes from a symmetric design with a polarity as
described in Proposition 14.2.2.
Exercise 2 Let Γ be a strongly regular graph with a coclique C whose size
meets Hoffman’s bound (4.1.2). Prove that the subgraph of Γ induced by the
vertices outside C is regular with at most four distinct eigenvalues. Can it have
fewer than four eigenvalues?
Exercise 3 Suppose Γ̂ is a cone over a strongly regular graph. Show that, if Γ̂
has three distinct eigenvalues, then all three are integral.
Exercise 4 Show that the cone over the Petersen graph has three signless
Laplacian eigenvalues. Find a necessary and sufficient condition on the param-
eters (n, k, λ.µ) of a strongly regular graph Γ under which the cone over Γ has
three signless Laplacian eigenvalues.
202 CHAPTER 14. GRAPHS WITH FEW EIGENVALUES
Bibliography
[4] N. Alon, Large sets in finite fields are sumsets, J. Number Th. 126 (2007)
110–118. (p. 90)
[12] Bhaskar Bagchi, On strongly regular graphs with µ ≤ 2, Discr. Math. 306
(2006) 1502–1504. (p. 106)
[14] G. A. Baker, Drum shapes and isospectral graphs, J. Math. Phys. 7 (1966)
2238–2242. (p. 26)
203
204 BIBLIOGRAPHY
[31] R. C. Bose, Strongly regular graphs, partial geometries and partially bal-
anced designs, Pacific J. Math 13 (1963) 389–419. (p. 109)
[38] W. G. Bridges & R. A. Mena, Rational circulants with rational spectra and
cyclic strongly regular graphs, Ars. Combin. 8 (1979) 143–161. (p. 104)
[40] Sergey Brin & Lawrence Page, The anatomy of a large-scale hypertextual
web search engine, Proceedings of the Seventh International World Wide
Web Conference, Computer Networks and ISDN Systems 30 (1998) 107–
117. (p. 55)
[43] A. E. Brouwer, Toughness and spectrum of a graph, Lin. Alg. Appl. 226–
228 (1995) 267–271. (p. 69)
[45] A. E. Brouwer, Strongly regular graphs, in: The CRC handbook of combi-
natorial designs, (C.J. Colbourn and J.H. Denitz eds.), CRC Press, 1996,
pp. 667–685. (p. 188)
[49] A. E. Brouwer & C. A. van Eijl, On the p-rank of the adjacency matrices
of strongly regular graphs, J. Alg. Combin. 1 (1992) 329–346. (pp. 169,
170)
[54] A. E. Brouwer & W. H. Haemers, A lower bound for the Laplacian eigen-
values of a graph—proof of a conjecture by Guo, Lin. Alg. Appl. 429
(2008) 2131–2135. (p. 49)
[56] A. E. Brouwer & J. H. van Lint, Strongly regular graphs and partial geome-
tries, in: Enumeration and designs, Proc. Silver Jubilee Conf. on Combi-
natorics, Waterloo 1982, eds. D. M. Jackson & S. A. Vanstone, Academic
Press, Toronto. pp. 85–122. (pp. 106, 112, 130, 142, 170)
[59] A. E.pBrouwer & A. Neumaier, The graphs with spectral radius between 2
√
and 2 + 5, Lin. Alg. Appl. 114/115 (1989) 273–276. (p. 41)
[66] Kurt Bryan & Tanya Leise, The $25,000,000,000 eigenvector—The linear
algebra behind Google, SIAM Review 48 (2006) 569–581. (p. 56)
[76] P. J. Cameron, J.-M. Goethals & J. J Seidel, Strongly regular graphs having
strongly regular subconstituents, J. Algebra 55 (1978) 257–280. (pp. 117,
188)
208 BIBLIOGRAPHY
[81] Gregory Cherlin, Locally finite generalized quadrangles with at most five
points per line, Discr. Math. 291 (2005) 73–79. (p. 115)
[84] H. Chuang, & G. R. Omidi, Graphs with three distinct eigenvalues and
largest eigenvalue less than 8, Lin. Alg. Appl. 430 (2009) 2053–2062.
(p. 199)
[86] Fan R. K. Chung, Spectral Graph Theory, CBMS Lecture Notes 92, Amer.
Math. Soc., Providence, 1997. (Not cited)
[87] V. Chvátal, Tough graphs and hamiltonian circuits, Discr. Math. 5 (1973)
215–228. (p. 69)
[91] Sebastian M. Cioabă, Edwin R. van Dam, Jack H. Koolen & Jae-Ho
Lee, Asymptotic results on the spectral radius and the diameter of graphs,
preprint, 2008. (p. 41)
[93] A. Clebsch, Ueber die Flächen vierter Ordnung, welche eine Doppelcurve
zweiten Grades besitzen, J. für Math. 69 (1868) 142–184. (p. 126)
BIBLIOGRAPHY 209
[94] L. Collatz & U. Sinogowitz, Spektren endlicher Grafen, Abh. Math. Sem.
Univ. Hamburg 21 (1957) 63–77. (p. 26)
[102] Péter Csikvári, Integral trees of arbitrarily large diameters, preprint, 2009.
(p. 85)
[103] D. M. Cvetković, Graphs and their spectra, Publ. Elektrotehn. Fak. Ser.
Mat. Fiz. 354–356 (1971) 1–50. (p. 62)
[104] D. M. Cvetković & M. Doob, Root systems, forbidden subgraphs and spec-
tral characterizations of line graphs, in: Graph Theory, Proc. Fourth Yu-
goslav Sem. Graph Theory, Novi Sad, 1983 (Cvetković, Gutman, Pisanski,
Tošić eds.), pp. 69–99. (p. 185)
[126] Ph. Delsarte, Weights of linear codes and strongly regular normed spaces,
Discr. Math. 3 (1972) 47–64. (p. 120)
[128] Ph. Delsarte, J.-M. Goethals & J. J. Seidel, Orthogonal matrices with zero
diagonal, Part II, Canad. J. Math. 23 (1971) 816–832. (p. 139)
[129] Ph. Delsarte, J.-M. Goethals & J. J. Seidel, Bounds for systems of lines
and Jacobi polynomials, Philips Res. Rep. 30 (1975) 91*–105*. (pp. 142,
144, 145)
[130] Ph. Delsarte, J.-M. Goethals & J. J. Seidel, Spherical codes and designs,
Geom. Dedicata 6 (1977) 363–388. (p. 145)
[131] M. DeVos, L. Goddyn, B. Mohar & R. Šámal, Cayley sum graphs and
eigenvalues of (3,6)-fullerenes, J. Combin. Th. (B) 99 (2009) 358–369.
(p. 90)
[132] M. Doob, Graphs with a small number of distinct eigenvalues, Ann. N.Y.
Acad. Sci. 175 (1970) 104–110. (p. 195)
[135] Joshua Ducey & Peter Sin, The elementary divisors of the incidence matri-
ces of skew lines in P G(3, p), preprint, 2010. arXiv:1001.2551v1 (p. 174)
[136] Art M. Duval & Victor Reiner, Shifted simplicial complexes are Laplacian
integral, Trans. Amer. Math. Soc. 354 (2002) 4313–4344. (p. 54)
[159] J.-M. Goethals & J. J. Seidel, Orthogonal matrices with zero diagonal,
Canad. J. Math. 19 (1967) 1001–1010. (p. 140)
[160] J.-M. Goethals & J. J. Seidel, Strongly regular graphs derived from com-
binatorial designs, Canad. J. Math. 22 (1970) 597–614. (pp. 130, 131,
142)
[161] J.-M. Goethals & J. J. Seidel, The regular two-graph on 276 vertices, Discr.
Math. 12 (1975) 143–158. (pp. 138, 139, 188)
[162] R. L. Graham & H. O. Pollak, On the addressing problem for loop switch-
ing, Bell System Tech. J. 50 (1971) 2495–2519. (p. 20)
[164] B. J. Green, Counting sets with small sumset, and the clique number of
random Cayley graphs, Combinatorica 25 (2005) 307–326. (p. 90)
[166] R. Grone & R. Merris, The Laplacian spectrum of a graph II, SIAM J.
Discr. Math. 7 (1994) 221–229. (pp. 48, 50)
[167] Robert Grone, Russell Merris & William Watkins, Laplacian unimodular
equivalence of graphs, pp. 175–180 in: Combinatorial and Graph-Theoretic
Problems in Linear Algebra (R. Brualdi, S. Friedland & V. Klee, eds.),
IMA Volumes in Mathematics and Its Applications 50, Springer, NY,
1993. (p. 172)
[169] Stephen Guattery & Gary L. Miller, On the performance of the spectral
graph partitioning methods, pp. 233–242 in: Proc. 2nd ACM-SIAM Sym-
posium on Discrete Algorithms, 1995. (p. 58)
[170] Ji-Ming Guo, A new upper bound for the Laplacian spectral radius of
graphs, Lin. Alg. Appl. 400 (2005) 61–66. (p. 48)
[171] Ji-Ming Guo, On the third largest Laplacian eigenvalue of a graph, Lin.
Multilin. Alg. 55 (2007) 93–102. (p. 49)
[177] W. H. Haemers, Interlacing eigenvalues and graphs, Lin. Alg. Appl. 226–
228 (1995) 593–616. (p. 33)
[178] W. H. Haemers, Distance-regularity and the spectrum of graphs, Lin. Alg.
Appl. 236 (1996) 265–278. (p. 189)
[179] W. H. Haemers, Strongly regular graphs with maximal energy, Lin. Alg.
Appl. 429 (2008) 2719–2723. (p. 142)
[190] J. van den Heuvel, Hamilton cycles and eigenvalues of graphs, Lin. Alg.
Appl. 226–228 (1995) 723–730. (p. 70)
[193] R. Hill, Caps and Groups, pp. 389–394 in: Coll. Intern. Teorie Combin.
Acc. Naz. Lincei, Roma 1973, Atti dei convegni Lincei 17, Rome, 1976.
(p. 124)
[198] S. G. Hoggar, Two quaternionic 4-polytopes, pp. 219–230 in: The Geo-
metric Vein, Coxeter Festschrift, C. Davis (ed.), Springer, 1981. (p. 143)
[213] P. Kaski & P. R. J. Östergård, There are exactly five biplanes with k = 11,
J. Combin. Designs 16 (2008) 117–127. (p. 105)
[215] A. K. Kelmans, On graphs with randomly deleted edges, Acta Math. Acad.
Sci. Hung. 37 (1981) 77–88. (p. 42)
[216] G. Kirchhoff, Über die Auflösung der Gleichungen, auf welche man bei der
untersuchung der linearen verteilung galvanischer Ströme geführt wird,
Ann. Phys. Chem. 72 (1847) 497–508. (p. 15)
[218] Yehuda Koren, On spectral graph drawing, pp. 496–508 in: COCOON
2003: Computing and Combinatorics, Springer LN Comp. Sci. 2697, 2003.
(p. 56)
[222] Jiong-Sheng Li & Yong-Liang Pan, A note on the second largest eigenvalue
of the Laplacian matrix of a graph, Lin. Multilin. Alg. 48 (2000) 117–121.
(p. 49)
BIBLIOGRAPHY 217
[225] M. W. Liebeck, The affine permutation groups of rank three, Proc. London
Math. Soc. (3) 54 (1987) 477–516. (p. 106)
[226] M. W. Liebeck & J. Saxl, The finite primitive permutation groups of rank
three, Bull. London Math. Soc. 18 (1986) 165–172. (p. 106)
[229] J. H. van Lint & J. J. Seidel, Equilateral point sets in elliptic geometry,
Indag. Math. 28 (1966) 335–348. (pp. 142, 144)
[230] P. Lisoněk, New maximal two-distance sets, J. Combin. Th. (A) 77 (1997)
318–338. (p. 145)
[231] Huiqing Liu, Mei Lu & Feng Tian, On the Laplacian spectral radius of a
graph, Lin. Alg. Appl. 376 (2004) 135–141. (p. 48)
[232] L. Lovász, On the Shannon capacity of a graph, IEEE Trans. Inf. Th. 25
(1979) 1–7. (p. 65)
[238] M. Marcus & H. Minc, A survey of matrix theory and matrix inequalities,
Allyn and Bacon, Boston, 1964. (p. 30)
[242] R. J. McEliece & H. Rumsey, jr., Euler products, cyclotomy and coding,
J. Number Th. 4 (1972) 302–311. (p. 125)
[246] R. Merris, A note on Laplacian graph eigenvalues, Lin. Alg. Appl. 285
(1998) 33–35. (p. 48)
[249] A. Neumaier, Strongly regular graphs with smallest eigenvalue −m, Archiv
Math. 33 (1979) 392–400. (pp. 106, 109)
[251] A. Neumaier, The second largest eigenvalue of a tree, Lin. Alg. Appl. 46
(1982) 9–25. (p. 84)
[274] J. J. Seidel, Strongly regular graphs with (−1, 1, 0) adjacent matrix having
eigenvalue 3, Lin. Alg. Appl. 1 (1968) 281–298. (pp. 109, 126, 134, 188)
[275] J. J. Seidel, Graphs and two-graphs, in: Proc. 5th Southeast. Conf. Comb.,
Graph Th., Comp. 1974 (F. Hoffman et al., eds.), Utilitas Mathematica
Pub., Winnipeg, 1974, pp. 125–143. (p. 188)
[278] J. J. Seidel & S. V. Tsaranov, Two-graphs, related groups, and root sys-
tems, Bull. Soc. Math. Belgique 42 (1990) 695–711. (p. 135)
[280] Á. Seress, Large families of cospectral graphs, Designs, Codes and Cryp-
tography 21 (2000) 205–208. (p. 176)
[284] Peter Sin, The p-rank of the incidence matrix of intersecting linear sub-
spaces, Des. Codes Cryptogr. 31 (2004) 213–220. (p. 174)
[288] Daniel A. Spielman & Shang-Hua Teng, Spectral partitioning works: pla-
nar graphs and finite element meshes, pp. 96–105 in: Proc. 37th Sympo-
sium on Foundations of Computer Science (Burlington, 1996), IEEE 1996.
(p. 58)
[307] H. S. Wilf, The eigenvalues of a graph and its chromatic number, J. Lon-
don Math. Soc. 42 (1967) 330–332. (p. 62)
[309] Chen Yan, Properties of spectra of graphs and line graphs, Appl. Math. J.
Chinese Univ. Ser. B 17 (2002) 371–376. (p. 48)
[311] F. Zhang, Matrix Theory, Springer-Verlag, New York, 1999. (p. 34)
[312] Xiao-Dong Zhang, Two sharp upper bounds for the Laplacian eigenvalues,
Lin. Alg. Appl. 376 (2004) 207–213. (p. 48)
[313] Xiao-Dong Zhang & Rong Luo, The spectral radius of triangle-free graphs,
Australas. J. Comb. 26 (2002) 33–39. (p. 47)
AUTHOR INDEX 223
Author Index
Yan, 48
Zhang, 47
226 BIBLIOGRAPHY
Subject Index
Type I lattice, 95
Type II lattice, 95
unimodular lattice, 95
unital, 76
universal cover, 88
y-cospectral, 175
zero-error channel, 64