This is the lecture note for a micro-seminar of ChatGPT.
Graphs and Matrices
Introduction
We start with a lovely algebra problem.
Problem. Let
Prove that
The last time you've seen this polynomial might be in a number theory problem that says
Back to this problem. Let's first try some standard methods. Eisenstein's criterion seems not to work. Perron's criterion could solve some cases, by considering the reciprocal polynomial of
We turn to find some special properties of the polynomial
We can rule out other factors by exactly the same way:
Lemma. For every monic polynomial
While it is not so difficult for one to come up with an algebraic or number theoretic proof of this lemma, the truly interesting thing is, there is a combinatorial proof of it.
Proof, but combinatorial. We still use the idea of counting necklaces, but this time, we cannot choose colors at our will. Let
So we need to count the number of closed walks in a directed graph. This is where matrices shows up. Let
Let the eigenvalues of
Therefore
To complete the proof, let
We will see that this lemma easily implies the irreducibility of
This can only happen if
I really like this problem because it perfectly combines different aspects of combinatorics, algebra and number theory. It also shows the marvellous relation between graph theory and matrices, specifically eigenvalues of the adjacency matrix, a.k.a. the spectrum of a graph. This lecture will show some of my favourite topics in spectral graph theory.
Calculation of Spectra
Before studying spectra, we first discuss how to calculate spectra.
Proposition. The spectrum of the cycle
Discussion. Give a combinatorial interpretation of spectra.
Discussion. Calculate the spectrum of a path,
Discussion. Prove that the eigenvalues of
Bounds Related to the Spectrum
Subgraphs
The first question we might want to ask is: how does the spectrum of a subgraph relate to that of the original graph? This is equivalent as asking, how does the eigenvalues of a principal submatrix relate to those of the original matrix?
The following theorem gives a nice inequality about these:
Cauchy's Interlace Theorem. If
This theorem gives us bounds on the spectra of subgraphs.
We now see how the spectrum can give us bounds of graphic properties.
Degree
We often denote the largest eigenvalue and the smallest eigenvalue of
Discussion. Prove that
Hint. Use the combinatorial interpretation.
In the above theorem, we can actually replace the adjacency matrix
As an interesting application, let's prove a theorem, which appeared as a lemma used to prove the sensitivity conjecture:
Theorem. (Hao Huang) Let
Hint. Don't use the ordinary adjacency matrix; use
There is also a trivial upper bound on the minimal degree:
Proposition.