Strongly Regular Graphs

(This material is taken from Chapter 2 of Cameron & Van Lint, Designs, Graphs, Codes and their Links)

Our graphs will be simple undirected graphs (no loops or multiple edges). Graphs do not make interesting designs. A general graph is a 0-design with k = 2. A regular graph is a 1- design and the only 2-designs come from complete graphs. The interesting connections lie in other directions.

We start with an example:

(2.3) Theorem. Let G be a graph with the following property:
(*) Any edge {x,y} is contained in a triangle (3-clique) {x,y,z} having the property that any other vertex is adjacent to exactly one of x,y or z.

Then G is isomorphic to one of the following:

  1. a null graph;
  2. a "windmill" (a number of triangles with a common vertex);
  3. three special regular graphs having 9, 15 and 27 vertices respectively.
Pf: Let G be a graph satisfying (*). We may suppose that G has at least one edge, and that no vertex is adjacent to all the other vertices, since otherwise we are in case (a) or (b).

Let x be any vertex of G. The closed neighborhood of x, {x}G(x), is a windmill, so x has even degree, 2u say, with u 2 (if u =1 then the graph is a connected graph with all vertices having degree 2, i.e., a cycle, and the only cycle with triangles is the 3-cycle which is a special case of the windmill). Number the triangles containing x as T1, T2, ... , Tu and let Ti = {x, yi,0, yi,1}.

Now let z be any vertex not equal or adjacent to x. By (*), z is joined to just one of yi,0 and yi,1, say yi,ê(i), for i = 1,...,u. We can use the function fz : {1, ..., u}{0,1} defined by

fz(i) = ê(i),
as a label for the vertex z (however, two distinct vertices may not get different labels). By the choice of numbering of the neighbors of x, we may assume that the all zero function occurs as a label.

Let (x) be the set of non-neighbors of x. We next show:

  1. If z, z' (x) are adjacent, then fz and fz' agree in exactly one position.
  2. If z, z'(x) are nonadjacent but have a common neighbor in (x), then the functions agree in all but two positions.
  3. If z, z'(x) are non-adjacent and have no common neighbor in (x), then the functions agree.

Pf of (1): Here z and z' are in a triangle whose third vertex is a neighbor of x, say yi,ê(i), so fz(i) = fz'(i) = ê(i). But z and z' can have no other common neighbors, so the functions can not agree in any other position. (A second common neighbor would contradict (*)).

Note that for any z(x) and any i, there is a unique neighbor z' of z for which fz(i) = fz'(i).

Pf of (2): If z" is a common neighbor, the result follows by applying (1) to the pairs {z, z"} and {z",z'}.

Pf of (3): If ê = fz(i)fz'(i), then z' is joined to a vertex of the unique triangle containing z and yi,ê, at the third point say z". But then z" is a common neighbor in(x).

Now suppose that u 3. Take z(x) and let (z,z',z",z"') be a path of length 3 in(x) such that fz(i) = fz'(i), fz'(j) = fz''(j) and fz''(k) = fz'''(k), where i, j, k are three distinct coordinates. Then fz and fz''' agree in just these coordinates. The only way this can happen under (1)-(3) is that z and z"' are non-adjacent and 3 is either 2 less or equal to the number of coordinates. That is, u = 3 or u - 2 = 3. So, we have then that u = 2, 3 or 5.

In each of these cases there is enough information to construct the graph.

For u = 2, we obtain the above graph on 9 vertices with common valency 4. It can also be described as the graph obtained with vertices the 9 positions in a 3 by 3 array and adjacency defined by two positions being in the same row or column.

For u = 3, we obtain a graph which can be described as follows. The vertices are all the 2- sets of a 6-set (i.e. the edges of a K6) and two vertices are adjacent if the 2-sets are disjoint. Alternatively, we are describing the complement of the edge graph of K6. There are 15 vertices and the graph is regular of degree 6.

For u = 5, we obtain the Schläfli graph, whose description is best given by the functions of the theorem. Each function which has an even number of ones occurs exactly once as a label and no others (there are 1 + 10 + 5 = 16 of these). x and its neighborhood give 1 + 10 more vertices for a total of 27. The graph is regular of degree 10.

These are special cases of strongly regular graphs which we now define.

(2.4) Definition. A strongly regular graph with parameters (n, k,,) is a graph G with n vertices, not complete or null, in which the number of common neighbors of x and y is k,, or according as x and y are equal, adjacent or non-adjacent respectively. Note that the number does not depend on x and y - only their relationship to one another; and the equality statement is just a fancy way of including the fact that the graph is regular of degree k.

We can restate (2.3) as follows:

(2.5) Proposition. Let G be a strongly regular graph with parameters (6u-3,2u,1,u). Then u = 2,3 or 5 and there is a unique graph for each value of u.

(2.6) Propostion. If a strongly regular graph has parameters (n,k,,), then

k(k - - 1) = (n - k - 1).

Pf: Consider the edges {y,z} with yG(x) and zG(x). As the degree of x is k, there are k choices for y. Since the number of common neighbors of x and y is, there are (k - (+ 1)) neighbors of y which are not adjacent to x. This count gives the LHS of the equation. Since there are n vertices of which 1 + k are x or its neighbors, there are n - k - 1 choices for z. Since z and x are non-adjacent, there are choices for y.

(2.7) Propostion. The complement of a strongly regular graph is strongly regular.

Pf: Clearly the complement is a regular graph of valency n - k - 1. The constancy of the other parameters follows easily and the values can be calculated from Inclusion-Exclusion. In the complement the number of common neighbors of adjacent vertices is (n-2) - 2k + = n - 2k + - 2, and for non-adjacent vertices n - 2k +.

Remark: The non-negativity of these parameters gives necessary conditions on the parameters of a strongly regular graph, namely n 2k - + 2 and n 2k -.

Examples:

The triangular graph T(m) (m 4) has as vertices the 2-element subsets of an m-set. Two vertices are adjacent if they are not disjoint. T(m) is strongly regular with parameters,
n = ½m(m-1), k = 2(m-2), = m - 2, = 4.
The Petersen graph is the complement of T(5) and hence is strongly regular.

The square lattice graph L2(m) has vertex set S × S, where S is an m-set and two vertices are adjacent if they agree in one coordinate. L2(m) is strongly regular with parameters,

n = m2, k = 2(m-1), = m - 2, = 2.
L2(2) is a 4-cycle.

The disjoint union of r complete graphs on m vertices denoted r.Km (r,m> 1) is strongly regular with parameters,

n = rm, k = m-1, = m - 2, = 0.
r.K2 is called a ladder graph and its complement is a cocktail party graph CP(r). The complement of r.Km is called a complete multipartite graph with block size m. Any strongly regular graph with = 0 is of this type.

The Paley graph P(q), with q a prime power 1 mod 4 has vertex set the finite field GF(q) and two vertices are adjacent if their difference is a non-zero square (-1 is a square in these fields so the relation is symmetric). P(q) is strongly regular with parameters,

n = q, k = ½(q-1) , = ¼(q - 5), = ¼(q-1).
These graphs are isomorphic to their complements.

The Clebsch graph has as vertices all subsets of {1,2,3,4,5} of even cardinality; two vertices are adjacent if their symmetric difference has cardinality 4. It is strongly regular with parameters (16,5,0,2). The subgraph on the set of non-neighbors of a vertex is the Petersen graph. Also, the subgraph of the Schläfli graph on the set of non-neighbors of a vertex is the Clebsch graph.

The Gewirtz graph is a strongly regular graph with parameters (56,10,0,2). The vertex set is a set of hyperovals in PG(2,4). There are 168 hyperovals in this projective plane and they can be partitioned into three classes of 56 hyperovals apiece with the property that two hyperovals belong to the same class iff they intersect in an even number of points. To form the Gewirtz graph, take one of the three classes as the vertices and two vertices are adjacent if the hyperovals are disjoint. For another construction of this graph in group theoretic terms the vertex set is {}PQ, where P is the set of Sylow 3-subgroups of the alternating group A6, and Q is the set of involutions in A6. Join to all the vertices in P; join pP to qQ whenever q-1pq = p; join r,sQ whenever rs has order 4.

Rank 3-graphs are strongly regular.

Let G be a strongly regular graph with parameters (n,k,,) and adjacency matrix A. Then the (x,y) entry of A2 is the number of vertices adjacent to x and y. This number is k,, according as x and y are equal, adjacent or non-adjacent. Thus:

(2.13) A2 = kI +A + (J - I - A).

Also, since G is regular:

(2.14) AJ = JA = kJ.

Conversely, a strongly regular graph can be defined as a graph (not complete or null) whose adjacency matrix satisfies (2.13) and (2.14).

The all 1 vector j is an eigenvector of both A and J with eigenvalues k and n respectively. Applying (2.13) to this vector, we obtain

jA2 = (kj)A = k2j
j( kI + A + (J - I - A)) = kj + kj + (nj -j -kj)
so,
k2 = k + k + (n -1 -k)
or
k(k - -1) = (n - k - 1).
(See (2.6))

As A and J are commuting real symmetric matrices, they can be simultaneously diagonalized by an orthogonal matrix. Thus any further eigenvectors of A are orthogonal to j, and so, are eigenvectors of J with eigenvalue 0. Let m be such an eigenvector, with eigenvalue þ (wrt A). Then

þ2m = km +þm + (-m - þ m)
þ2 = (k - ) + ( - )þ.
Now let the roots of this quadratic equation be r and s and we have that
r,s = ½( - ± [(- )2 + 4(k - )]1/2 ).
If r and s have multiplicities f and g, then we have
n = f + g + 1,
0 = Trace(A) = k + fr + gs.
We can solve these equations for f and g since k = = is not possible, to obtain the integrality conditions.

(2.16) Theorem. The numbers

are non-negative integers.

Example: The integrality conditions applied to a (6u-3, 2u, 1,u) srg yields u = 2,3,5 or 11.

Def: (n,k,,) is a Type I parameter set if (n-1)( -) = 2k. Then since n > 1 + k and , we have that n = 4 + 1, k = 2 and = - 1.

(2.18) Theorem. If a type I srg on n vertices exists, then n is the sum of two integer squares.

Note: The Paley graphs are of type I.

Def: Type II parameters are those satisfying the integrality condition "normally". A Type I srg is of Type II iff n is a square.

An example of this last possibility is given by the graph L2(3) which is isomorphic to P(9).