the cheeger constant for distance-regular...
TRANSCRIPT
![Page 1: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/1.jpg)
The Cheeger constant for distance-regulargraphs
Greg Markowsky (joint work with Jacobus Koolen and ZhiQiao)
August 9, 2019
![Page 2: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/2.jpg)
Graphs
A graph is a set of vertices V (can be taken to be {1,2, . . . ,n})and edges E , where each edge is an element of V × V . Weassume all graphs in this talk are simple, which means that(a,a) /∈ E and E has no repeated elements, and undirected,which means that (a,b) and (b,a) represent the same edge.
![Page 3: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/3.jpg)
Distance-transitive graphs
Let d(x , z) denote the length of the shortest path between xand z within G. A graph is distance-transitive if, whenever thereare points X1, z1, x2, z2 such that d(x1, z1) = d(x2, z2), there isan automorphism γ of G such that γ(x1) = x2, γ(z1) = z2. Anautomorphism is a bijection from the vertex set of G to itself,with the property that γ(u) ∼ γ(v) if, and only if, u ∼ v .
![Page 4: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/4.jpg)
Distance-regular graphs
A graph is distance-regular if, for any points x and z within G,the sizes of the following sets depends only on d(x , z):
B = {v |d(x , v) = d(x , z)− 1}⋂{v |d(z, v) = 1}
A = {v |d(x , v) = d(x , z)}⋂{v |d(z, v) = 1}
C = {v |d(x , v) = d(x , z) + 1}⋂{v |d(z, v) = 1}
If a graph is distance transitive, it is distance regular. Ifd(x , z) = i , we define bi ,ai , and ci to be the sizes of the threesets above.
![Page 5: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/5.jpg)
Distance-regular graphs - Examples
Hamming graphs:Let d ,q be positive integers. The vertex setis elements of {1,2, . . . ,q}d . Two vertices are adjacent if theydiffer in exactly one component. This family of graphs includesthe hypercubes.
Johnson graphs: Let k ≤ n be positive integers. The vertexset is all subsets of {1,2, . . . ,n} of size k . Two vertices areadjacent if their intersection has size k − 1.
The Hamming and Johnson graphs are important in codingtheory. In particular Hamming graphs arise naturally in thestudy of error-correcting codes.
![Page 6: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/6.jpg)
Distance-regular graphs - Examples
Hamming graphs:Let d ,q be positive integers. The vertex setis elements of {1,2, . . . ,q}d . Two vertices are adjacent if theydiffer in exactly one component. This family of graphs includesthe hypercubes.
Johnson graphs: Let k ≤ n be positive integers. The vertexset is all subsets of {1,2, . . . ,n} of size k . Two vertices areadjacent if their intersection has size k − 1.
The Hamming and Johnson graphs are important in codingtheory. In particular Hamming graphs arise naturally in thestudy of error-correcting codes.
![Page 7: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/7.jpg)
Distance-regular graphs - Examples
Hamming graphs:Let d ,q be positive integers. The vertex setis elements of {1,2, . . . ,q}d . Two vertices are adjacent if theydiffer in exactly one component. This family of graphs includesthe hypercubes.
Johnson graphs: Let k ≤ n be positive integers. The vertexset is all subsets of {1,2, . . . ,n} of size k . Two vertices areadjacent if their intersection has size k − 1.
The Hamming and Johnson graphs are important in codingtheory. In particular Hamming graphs arise naturally in thestudy of error-correcting codes.
![Page 8: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/8.jpg)
Distance-regular graphs - Examples
Odd Graphs: Let n be a positive integer. The vertex set is allsubsets of {1,2, . . . ,2n − 1} of size n − 1. Two vertices areadjacent if their intersection is empty.
Grassman Graphs: Let V be a vector space of dimension nover the finite field F with q elements (q a prime power). Thevertices are the subspaces of dimension t (over F ) of V andsuch two vertices are adjacent if their intersection is a vectorspace of dimension t − 1. Grassman graphs are relevant tocertain questions in quantum physics.
![Page 9: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/9.jpg)
Distance-regular graphs - Examples
Odd Graphs: Let n be a positive integer. The vertex set is allsubsets of {1,2, . . . ,2n − 1} of size n − 1. Two vertices areadjacent if their intersection is empty.
Grassman Graphs: Let V be a vector space of dimension nover the finite field F with q elements (q a prime power). Thevertices are the subspaces of dimension t (over F ) of V andsuch two vertices are adjacent if their intersection is a vectorspace of dimension t − 1. Grassman graphs are relevant tocertain questions in quantum physics.
![Page 10: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/10.jpg)
Cheeger constant
The Cheeger constant hG of a graph G is a prominent measureof the connectivity of G, and is defined as
hG = inf{E [S,Sc]
vol(S)|S ⊂ V (G) with |S| ≤ |V (G)|
2
}, (1)
where V (G) is the vertex set of G, vol(S) is the sum of thevalencies of the vertices in S, Sc is the complement of S inV (G), |S| is the number of vertices in S, and for any sets A,Bwe use E [A,B] to denote the number of edges in G whichconnect a point in A with a point in B.
![Page 11: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/11.jpg)
Graph eigenvalues
For a distance-regular graph G of diameter D, we will writek = θ0 > θ1 > . . . > θD to describe the eigenvalues of theadjacency matrix A of G, and refer to θ0, . . . , θD as simply theeigenvalues of G.
The Laplacian matrix (sometimes referred toas the normalized Laplacian) L = I − 1
k A will therefore haveeigenvalues 0 = λ0 < λ1 < . . . < λD, where the relationshipλi =
k−θik holds. We will refer to λ0, . . . , λD as the Laplacian
eigenvalues of G.
![Page 12: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/12.jpg)
Graph eigenvalues
For a distance-regular graph G of diameter D, we will writek = θ0 > θ1 > . . . > θD to describe the eigenvalues of theadjacency matrix A of G, and refer to θ0, . . . , θD as simply theeigenvalues of G. The Laplacian matrix (sometimes referred toas the normalized Laplacian) L = I − 1
k A will therefore haveeigenvalues 0 = λ0 < λ1 < . . . < λD, where the relationshipλi =
k−θik holds.
We will refer to λ0, . . . , λD as the Laplacianeigenvalues of G.
![Page 13: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/13.jpg)
Graph eigenvalues
For a distance-regular graph G of diameter D, we will writek = θ0 > θ1 > . . . > θD to describe the eigenvalues of theadjacency matrix A of G, and refer to θ0, . . . , θD as simply theeigenvalues of G. The Laplacian matrix (sometimes referred toas the normalized Laplacian) L = I − 1
k A will therefore haveeigenvalues 0 = λ0 < λ1 < . . . < λD, where the relationshipλi =
k−θik holds. We will refer to λ0, . . . , λD as the Laplacian
eigenvalues of G.
![Page 14: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/14.jpg)
The connection between eigenvalues and the Cheeger constant
Theorem
Let λ1 be the smallest positive eigenvalue of the Laplacianmatrix of G. Then
λ1
2≤ hG ≤
√λ1(2− λ1). (2)
The lower bound can be proved by eigenvalue interlacing.
![Page 15: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/15.jpg)
The connection between eigenvalues and the Cheeger constant
Theorem
Let λ1 be the smallest positive eigenvalue of the Laplacianmatrix of G. Then
λ1
2≤ hG ≤
√λ1(2− λ1). (2)
The lower bound can be proved by eigenvalue interlacing.
![Page 16: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/16.jpg)
Our conjecture
Conjecture
Suppose G is a distance-regular graph, and λ1 is the smallestpositive eigenvalue of the Laplacian matrix of G. Then
λ1
2≤ hG ≤ λ1. (3)
We do not have a complete proof of this, but we have proved itin a number of cases.
![Page 17: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/17.jpg)
Our conjecture
Conjecture
Suppose G is a distance-regular graph, and λ1 is the smallestpositive eigenvalue of the Laplacian matrix of G. Then
λ1
2≤ hG ≤ λ1. (3)
We do not have a complete proof of this, but we have proved itin a number of cases.
![Page 18: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/18.jpg)
The following are the major known families of infinite families ofdistance-regular graphs.
Johnson graphs.Hamming graphs.Doob graphs.Halved n-cubes.Folded n-cubes.Folded halved 2n-cubes.Odd graphs.Doubled odd graphs.Grassmann graphs.Twisted Grassmanngraphs.
Doubled Grassmangraphs.Bilinear forms graphs.Alternating forms graphs.Hermitian forms graphs.Quadratic forms graphDual polar graphs andHemmeter graphs.Half dual polar andUstimenko graphs.
We have proved the conjecture for all of these, except for thedoubled Grassman graphs with q = 2 or 3.
![Page 19: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/19.jpg)
The following are the major known families of infinite families ofdistance-regular graphs.
Johnson graphs.Hamming graphs.Doob graphs.Halved n-cubes.Folded n-cubes.Folded halved 2n-cubes.Odd graphs.Doubled odd graphs.Grassmann graphs.Twisted Grassmanngraphs.
Doubled Grassmangraphs.Bilinear forms graphs.Alternating forms graphs.Hermitian forms graphs.Quadratic forms graphDual polar graphs andHemmeter graphs.Half dual polar andUstimenko graphs.
We have proved the conjecture for all of these, except for thedoubled Grassman graphs with q = 2 or 3.
![Page 20: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/20.jpg)
Strongly regular graph
A distance-regular graph with diameter 2 is called stronglyregular.
We have proved the conjecture for all strongly regulargraphs. The following simple lemma took care of most of them.
Lemma: If G is a strongly regular graph, thenhG ≤ max( b1
k+1 ,c2k ).
![Page 21: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/21.jpg)
Strongly regular graph
A distance-regular graph with diameter 2 is called stronglyregular. We have proved the conjecture for all strongly regulargraphs.
The following simple lemma took care of most of them.
Lemma: If G is a strongly regular graph, thenhG ≤ max( b1
k+1 ,c2k ).
![Page 22: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/22.jpg)
Strongly regular graph
A distance-regular graph with diameter 2 is called stronglyregular. We have proved the conjecture for all strongly regulargraphs. The following simple lemma took care of most of them.
Lemma: If G is a strongly regular graph, thenhG ≤ max( b1
k+1 ,c2k ).
![Page 23: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/23.jpg)
Graphs with small valency
The distance-regular graphs with valencies 3 and 4 arecompletely classified, and we have verified the conjecture for allof them except the following two graphs:
The flag graph of GH(2,2), with intersection array{4,2,2,2,2,2;1,1,1,1,1,2}. Here λ1 = 3−
√6
4 ≈ .138.The incidence graph of GH(3,3), with intersection array{4,3,3,3,3,3;1,1,1,1,1,4}. Here λ1 = 1
4 .
The question remains open for these.
![Page 24: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/24.jpg)
Graphs with small valency
The distance-regular graphs with valencies 3 and 4 arecompletely classified, and we have verified the conjecture for allof them except the following two graphs:
The flag graph of GH(2,2), with intersection array{4,2,2,2,2,2;1,1,1,1,1,2}. Here λ1 = 3−
√6
4 ≈ .138.The incidence graph of GH(3,3), with intersection array{4,3,3,3,3,3;1,1,1,1,1,4}. Here λ1 = 1
4 .
The question remains open for these.
![Page 25: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/25.jpg)
Other classes
We also proved the conjecture for several other classes ofdistance-regular graphs. These are
Diameter 3 and bipartite or antipodal.Incidence graphs of generalized quadrangles GQ(q,q)with q 6= 3,4.Incidence graphs of generalized hexagons GH(q,q) withq 6= 3,4,5,7,8,9.
![Page 26: The Cheeger constant for distance-regular graphsusers.monash.edu/~gfarr/research/...Graham-seminar.pdf · Strongly regular graph A distance-regular graph with diameter 2 is called](https://reader034.vdocuments.us/reader034/viewer/2022050520/5fa3e7c75313741bd97a5aac/html5/thumbnails/26.jpg)
References
F. Chung, Spectral Graph Theory, 1994.
N. Biggs, Algebraic Graph Theory, 1993.
A. Brouwer, A. Cohen, and A. Neumaier, Distance-regulargraphs, 1989.
C. Godsil and G. Royle, Algebraic Graph Theory, 1993.
J. Koolen, G. Markowsky, Z. Qiao On the Cheeger constantfor distance-regular graphs, arXiv:1103.2810.