Let us consider the -dimensional hypercube . The Hamming graph on has the elements of as vertices an two vertices are adjacent if their Hamming distance is one, so they differ in one coordinate. It is easy to see that the independence number of this graph is .
It was a long open and famous problem what the maximum degree of an induced subgraph on with vertices is. Very recently, Hao Huang showed that the answer is “at least ” and everyone is blogging about it (only a small selection): Anurag Bishnoi, Gil Kalai, Terry Tao, Fedya Petrov. Here I am jumping on this bandwagon.
Huang uses a variant of the inertia bound (or Cvetković bound). It is a good friend of the ratio bound (or Hoffman’s bound) which is the namesake of this blog. For the second time this year (the first time was due to a discussion with Aida Abiad), this I was reminded me of a result by John Sinkovic from 3 years ago. This blog posts is about Sinkovic’s result which answered a question by Chris Godsil on the inertia bound.
1. The Inertia Bound
A weighted adjacency matrix of a graph on vertices is a symmetric matrix such that whenever and are non-adjacent. Let denote the number of positive eigenvalues of and let denote the number of negative eigenvalues of (so eigenvalues are left out). The bound is now as follows (usually attributed to Cvetković’s PhD thesis from 1971, but I do not know if it already contains the weighted version).
Theorem Let be a graph with weighted adjacency matrix . We have .
This can be shown very easily by matrix interlacing. Let the submatrix of induced by a subgraph. Let denote the eigenvalues of and let denote the eigenvalues of . The Cauchy’s interlacing theorem says that . The induced subgraph on an independent set of will be an all-zero-matrix, so we have and, therefore, . follows similarly.
The bound itself is very hard to apply as it is very hard to find a suitable . In general one wants to look for in a small matrix algebra and not all possible matrices. For the ratio bound this is the so-called Bose-Mesner algebra which makes applying it very easy. In this context, Terry Tao’s Remark 4 in his post, which discusses exactly this, is very interesting.
2. Godsil’s Conjecture
One of the questions which I learned at the beginning of my PhD and which I considered very intriguing is the following due to Chris Godsil.
Question 1 Exists for all graphs a weighted adjacency matrix such that
This looks like a very strong claim, but it turns out that it was not easy to find a counterexample. But first let us look at the evidence in favour of it:
- All 12 million graphs on up to vertices have such a weight matrix.
- All vertex-transitive graphs on up to vertices have such a weight matrix.
- All perfect graphs have such a weight matrix.
- Many families of strongly regular graphs have such a weight matrix.
- Many families of Cayley graphs have such a weight matrix.
So it seems that the answer to the question should be “no”, but it is not at all easy to find a counterexample. This happened only in 2016 due to work by John Sinkovic.
3. The Counterexample on Vertices
A basic tool to Sinkovic’s result is the following (you can see that the part reminds me of Huang’s result):
Lemma If has a principle submatrix with positive eigenvalues and a principle submatrix with negative eigenvalues, then .
The proof is easy. With the same argument as before, interlacing implies that satisfies (and the analogous for ). Then the inertia bound cannot be tight. The tricky part is, and that is were all the work was for Sinkovic, is to show that no such matrix exists for a particular graph.
The graph that works is the Paley graph . That is the graph on vertices with the elements of as its vertices and two vertices are adjacent if their difference is a (nonzero) square of . It is known that , so one needs to find a principle submatrix with at least positive (resp. negative) eigenvalues. The main (and hardest) part of the argument is to look at a certain subgraph of and show that the induced submatrix always has 4 negative (positive) eigenvalues. This I will not discuss here.
Sinkovic also observed that one can delete one vertex, so the smallest graph for which the inertia bound is not tight, has vertices.
So we can modify Godsil’s question in an obvious way:
Question 2 Exists for all but finitely many graphs a weighted adjacency matrix such that
Question 3 Exists for almost all graphs a weighted adjacency matrix such that
Again, the answer should be no for both of the questions, but it is not clear how to show this. Sinkovic’s proof heavily relied on the fact that there are only 17 vertices. Interestingly, this alone is not even enough as the question is (to my knowledge) open for the smaller Paley graph .