Adjacency Matrix Notes
Adjacency Matrix Notes
The proof is by induction argument. For example, the number of walks of length 2
is the number of vertices k such that there is an arc from i to k and an arc from
k to j. And this is exactly the i, j entry in A2 , by the definition of matrix
multiplication.
(If we have weights on the edges, then the result is still valid. We redefine
the adjacency matrix to have the weights as its entries, and define the weight of
a walk as the product of the weights of the arcs. Then if want to know the total
sum of weights of i, j paths of given length, that is the entry in the appropriate
power.)
3 Eigenvalues of Graphs
The complete bipartite graph Km,n has an adjacency matrix with rank 2.
So it has eigenvalue 0 with multiplicity m + n − 2. It can be checked that the
√
remaining two eigenvalues are ± mn.
4 Moore Graphs
Consider an r-regular simple graph of girth 5. That is, for every vertex v there
is no edge between the neighbors of v, and none of the neighbors have a common
neighbor apart from v. Then we must have at least 1 + r + r(r − 1) = r2 + 1
distinct vertices. A Moore graph is an r-regular graph with r2 + 1 vertices
with that property. For example, a 5-cycle is the Moore graph for r = 2 and the
Petersen graph for r = 3.
Proof: Assume a Moore graph exists and let A be its adjacency matrix. Then if
we consider any pair of vertices, they are either neighbors or they have a unique
common neighbor, but not both. Consider what this means for the matrix A2 .
Off the diagonal, it has a 1 wherever A has a 0 and vice versa. On the diagonal
it has r (just because the graph is r-regular). This means that
A2 + A − (r − 1)I = J,
[λ2 + λ − (r − 1)]v = J,
1
where 1 is the all-1 vector. It follows that v = n J, where n is the number of
vertices; and that λ = r (with multiplicity 1).
[λ2 + λ − (r − 1)]v = 0.
m4 − 2m2 − 15
16m
Thus, m must be a divisor of 15, which forces m ∈ {1, 3, 5, 15}. Thus r ∈
{1, 3, 7, 57}. It can be checked that in each case of r, b is a whole number.
[EndProof]
Moore graph have been constructed for r = 2, 3, 7, but the existence for
r = 57 is unsolved.