Basic Matrices

Recall that

Define Laplacian matrix .

Link to original

Definition

Let be the signless Laplacian matrix.

Let be the normalized Laplacian.

Remark. For a graph with adjacency matrix , its characteristic polynomial is . Since , , and are real symmetric matrices, each has real eigenvalues and admits an orthonormal basis of eigenvectors. The eigenvalues of and are called the adjacency spectrum and the Laplacian spectrum, respectively.

Examples of Spectral

Complete (Bipartite) Graphs

Example

The adjacency matrix of is , whose spectrum is , .

Then , whose spectrum is , .

Example

The adjacency matrix of is , whose spectrum is , , .

Then , whose spectrum is , , , .

\begin{proof} Let be an eigenvector of . Then . Let and , then and . If , then and , which deduces that , and . If , then and there are eigenvectors of eigenvalue .

The eigenvalues of are easy to check. Remark that and are two eigenvectors, whose eigenvalues are and , respectively. Also and are eigenvectors with .
Now we finish the proof. \end{proof}

Cycles and Paths

Example

Let be the directed cycle on vertices. Then

Note that has eigenvectors with .

Example

Let be the undirected cycle on vertices, then . Note that and have the same eigenvectors, and eigenvalues of are .

Example

Let be a path with vertices. Then has the eigenvalues , where .

\begin{proof} First, we look at the eigenvectors of . Define , then and both have eigenvalues . It deduces that

is an eigenvector with eigenvalue . Assume that and , then . It follows that

and so is an eigenvalue of . \end{proof}

Remark. As an example, the following matrix is the adjacent matrix of .

Bipartite Graphs

Proposition

Let be an adjacency matrix of a bipartite graph. Then . If is an eigenvalue with eigenvector , then is an eigenvalue with eigenvector .

\begin{proof} Easy. \end{proof}

Graph Products and Cayley Graphs

There are more examples…

  • graphs with vertex sets and . Then has vertex set and when or . ^rg4dj1
    • Define is a point, , , .
    • Notice that
    • It deduces that
      • spectrum of
      • spectrum of
      • spectrum of
  • Kronecker product and bipartite doubles graphs with vertex sets .
    • Kronecker product has vertex set , when , .
    • , so it is easy to obtain eigenvalues.
    • Definition of bipartite double: , spectrum:
    • Some people write for or for .
  • Strong product
    • has vertex set , distinct iff or , and or
    • , spectrum:
  • Cayley graph
    • abelian group, .
    • A Cayley graph on with difference set is the (directed) graph with and . This graph is undirected iff
    • Note that is regular with degree .
    • Let be a character of .
    • Then , so is a eigenvector of with eigenvalue .
    • A group of order has orthogonal characters, so we have found all the eigenvalues.
    • For example, when and , has spectrum , where is a primitive th root of unity.

Interlacing & Projections onto Eigenspaces

Let with . Then has a basis of orthonormal eigenvectors , with eigenvalues , respectively. If we work with more than one matrix , . Denote the eigenspace of by . If has distinct eigenvalues , , then write .

(This is not standard in general spectra graph but it will make everything more uniform for SRG, DRGs, association schemes. )

Define as the orthogonal projection (a matrix, not a map) onto , that is, .

property of Rayleigh quotient

The Rayleigh quotient of w.r.t. is .

If , then and

Thus,

  • if , and
  • if .

In both cases equality implies that .

Definition

Let and , both symmetric, . If for all ,

then we say that the eigenvalues of interlace the eigenvalues of .

If there exists an integer , such that

  • for , and
  • for ,

then the interlacing is tight.

Cauchy interlacing

Let such that . Let with . Put . Then

  • the eigenvalues of interlace the eigenvalues of ;
  • if , then there exists an eigenvector of for such that is an eigenvector of with eigenvalue ;
  • if for some , for all , then is an eigenvector of for for all .
  • if the interlacing is tight, then .

\begin{proof} i) Take , .
Then , and so

Also .

ii) In case of equality, and must be eigenvectors of and , respectively.

iii) and iv) are similar. \end{proof}

Corollary

If is a principal submatrix of , then the eigenvalues of interlace the eigenvalues of .

\begin{proof} Take . \end{proof}

Quotient Matrix

Definition

If we partition with as

then the matrix with average row sum of , i.e. , is called a quotient matrix of .

We call the partition equitable if for all , where .

Remark. In other words, perfect coloring = equitable partition. Let index , blablabla, is regular set.

Corollary

Let be a quotient matrix of . Then

  • the eigenvalues of interlace the eigenvalues of ;
  • if the interlacing is tight, then the partition is equitable.

Remark. If graph is -regular, then . If is connected, then .

Spectral Bound

Let be a -regular graph on vertices, , connected.

Ratio Bound/Delsarte-Hoffman bound

Write . Let be a coclique. Then

If equality holds, then the characteristic vector of satisfies , where

In particular, is an equitable bipartition of the form .

\begin{proof} 没看懂 Write and . Note that with multiplicity and eigenvector , so . Put . Also . Then

A is a --vector, .

Thus .

Rearranging yields . Equality holds if .

Now let be the characteristic vector of for vertex.

\end{proof}

Remark. We can replace by any matrix that satisfies these conditions.

  • if or
  • and

Here is another proof.

\begin{proof} Write . Then w.r.t. this partition, we obtain the quotient matrix

Eigenvalues of are and . By interlacing, we have and so . \end{proof}

Lemma

Let be the independence number of , and let be the chromatic number of . Then , where is the order of .

\begin{proof} Each color class in a coloring is an independent set. \end{proof}

Hoffman/Ratio bound

, which deduces that , where is the minimal eigenvalue.

Inertia bound/Cvetkovie bound

We have and .

\begin{proof} The adjacent matrix has an all principal submatrix of order , that is, , where the matrix has lines. All eigenvalues of are . By ^ve7qqg, the eigenvalues of interlace the eigenvalues of , so the claim follows. \end{proof}

Remark. For graphs with vertices, always tight for some such .

Question. (Godsil) is this bound always tight?

Rooney(?): Counterexample for or .

Theorem

Let be -regular, , , then

where is the actual number of edges in and is the expected number of edges in .

\begin{proof}

\end{proof}

Expander-Mixing

Let be a -regular graph, , . Then

Remark. If is bipartite, then , by ^vnqcpz. We get , which is useless.

So we have the following lemma.

Bipartite Expander-Mixing

Let be a -biregular bipartite graph on vertices with parts and . Let and . Then

\begin{proof} Using the partition , obtain the quotient matrix

Trace of and determinant of are easy to calculate. Then the eigenvalues of are and for some . \end{proof}