edge-regular graphs and regular cliques€¦ · edge-regular graphs and regular cliques garygreaves...
TRANSCRIPT
![Page 1: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/1.jpg)
Edge-regular graphs and regular cliques
Gary Greaves
Nanyang Technological University, Singapore
23rd May 2018
joint work with J. H. Koolen
Gary Greaves — Edge-regular graphs and regular cliques 1/13
![Page 2: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/2.jpg)
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 3: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/3.jpg)
k
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 4: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/4.jpg)
k
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 5: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/5.jpg)
k
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 6: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/6.jpg)
k
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 7: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/7.jpg)
k
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 8: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/8.jpg)
kk = 6
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 9: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/9.jpg)
kk = 6
λ
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 10: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/10.jpg)
kk = 6
λ
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 11: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/11.jpg)
kk = 6
λ
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 12: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/12.jpg)
kk = 6
λ
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 13: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/13.jpg)
kk = 6
λ
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 14: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/14.jpg)
kk = 6
λ
λ = 3
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 15: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/15.jpg)
kk = 6
λ
λ = 3
edge-regularerg(10, 6, 3)
Gary Greaves — Edge-regular graphs and regular cliques 2/13
![Page 16: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/16.jpg)
6
3
edge-regularerg(10, 6, 3)
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 17: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/17.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 18: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/18.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 19: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/19.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 20: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/20.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 21: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/21.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 22: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/22.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 23: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/23.jpg)
6
3
edge-regularerg(10, 6, 3)
cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 24: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/24.jpg)
6
3
edge-regularerg(10, 6, 3)
2-regular cliqueof order 4
Gary Greaves — Edge-regular graphs and regular cliques 3/13
![Page 25: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/25.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 26: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/26.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 27: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/27.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 28: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/28.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 29: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/29.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 30: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/30.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 31: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/31.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 32: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/32.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 33: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/33.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
µ = 4
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 34: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/34.jpg)
Theorem (Neumaier 1981)Let Γ be edge-regular with a regular clique.Suppose Γ is vertex-transitive and edge-transitive.Then Γ is strongly regular.
6
3
µ
µ = 4
strongly regularsrg(10, 6, 3, 4)
Gary Greaves — Edge-regular graphs and regular cliques 4/13
![Page 35: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/35.jpg)
Question (Neumaier 1981)Is every edge-regular graph with a regular clique stronglyregular?
Answer (GG and Koolen 2018)No. There exist infinitely many non-strongly-regular,edge-regular vertex-transitive graphs with regular cliques.
Gary Greaves — Edge-regular graphs and regular cliques 5/13
![Page 36: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/36.jpg)
Question (Neumaier 1981)Is every edge-regular graph with a regular clique stronglyregular?
Answer (GG and Koolen 2018)No.
There exist infinitely many non-strongly-regular,edge-regular vertex-transitive graphs with regular cliques.
Gary Greaves — Edge-regular graphs and regular cliques 5/13
![Page 37: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/37.jpg)
Question (Neumaier 1981)Is every edge-regular graph with a regular clique stronglyregular?
Answer (GG and Koolen 2018)No. There exist infinitely many non-strongly-regular,edge-regular vertex-transitive graphs with regular cliques.
Gary Greaves — Edge-regular graphs and regular cliques 5/13
![Page 38: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/38.jpg)
An example
Gary Greaves — Edge-regular graphs and regular cliques 6/13
![Page 39: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/39.jpg)
Cayley graphsI Let G be an (additive) group and S ⊆ G a (symmetric)
generating subset, i.e., s ∈ S =⇒ −s ∈ S and G = 〈S〉.
I The Cayley graph Cay(G, S) has vertex set G and edgeset
{{g, g + s} : g ∈ G and s ∈ S} .
ExampleΓ = Cay(Z5, S) Generating set S = {−1, 1}
0
1
2
−2 −1
Gary Greaves — Edge-regular graphs and regular cliques 7/13
![Page 40: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/40.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2):
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
Gary Greaves — Edge-regular graphs and regular cliques 8/13
![Page 41: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/41.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2):
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
Gary Greaves — Edge-regular graphs and regular cliques 8/13
![Page 42: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/42.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2):
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
Gary Greaves — Edge-regular graphs and regular cliques 8/13
![Page 43: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/43.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2):
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
Gary Greaves — Edge-regular graphs and regular cliques 8/13
![Page 44: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/44.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2):
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
Gary Greaves — Edge-regular graphs and regular cliques 8/13
![Page 45: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/45.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)I Γ is edge-regular (28, 9, 2);
I Γ has a 1-regular 4-clique:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
Gary Greaves — Edge-regular graphs and regular cliques 9/13
![Page 46: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/46.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)I Γ is edge-regular (28, 9, 2);
I Γ has a 1-regular 4-clique:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
Gary Greaves — Edge-regular graphs and regular cliques 9/13
![Page 47: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/47.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)I Γ is edge-regular (28, 9, 2);
I Γ has a 1-regular 4-clique:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(a, b) b 6= 0
Gary Greaves — Edge-regular graphs and regular cliques 9/13
![Page 48: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/48.jpg)
An exampleI Γ = Cay(Z2
2 ⊕Z7, S)I Γ is edge-regular (28, 9, 2);
I Γ has a 1-regular 4-clique:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(a, b) b 6= 0(∗,−b)
Gary Greaves — Edge-regular graphs and regular cliques 9/13
![Page 49: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/49.jpg)
An example
I Γ = Cay(Z22 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2);I Γ has a 1-regular 4-clique;
I Γ is not strongly regular:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
Gary Greaves — Edge-regular graphs and regular cliques 10/13
![Page 50: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/50.jpg)
An example
I Γ = Cay(Z22 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2);I Γ has a 1-regular 4-clique;
I Γ is not strongly regular:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
Gary Greaves — Edge-regular graphs and regular cliques 10/13
![Page 51: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/51.jpg)
An example
I Γ = Cay(Z22 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2);I Γ has a 1-regular 4-clique;
I Γ is not strongly regular:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
(10, 1)
(11, 1)
Gary Greaves — Edge-regular graphs and regular cliques 10/13
![Page 52: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/52.jpg)
An example
I Γ = Cay(Z22 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2);I Γ has a 1-regular 4-clique;
I Γ is not strongly regular:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
(10, 1)
(11, 1)
Gary Greaves — Edge-regular graphs and regular cliques 10/13
![Page 53: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/53.jpg)
An example
I Γ = Cay(Z22 ⊕Z7, S)
I Γ is edge-regular (28, 9, 2);I Γ has a 1-regular 4-clique;
I Γ is not strongly regular:
(01, 0)(10, 0)(11, 0)
(01,±1)(10,±2)(11,±3)
Generating set S
(00, 0)
(01, 0)
(10, 0)
(11, 0)
(01, 1)
(01,−1)
(10, 2)
(10,−2)
(11, 3)
(11,−3)
(10, 1)
(11, 1)
Gary Greaves — Edge-regular graphs and regular cliques 10/13
![Page 54: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/54.jpg)
General construction
I Generalise: Z22 ⊕Z7 to Z(c+1)/2 ⊕Z2
2 ⊕Fq.
I Works for q ≡ 1 (mod 6) such that the 3rd cyclotomicnumber c = c3
q(1, 2) is odd.
I Then there exists an erg(2(c + 1)q, 2c + q, 2c) having a1-regular clique of order 2c + 2.
I Take p ≡ 1 (mod 3) a prime s.t. 2 6≡ x3 (mod p).Then there exist a such that c3
pa(1, 2) is odd.
Gary Greaves — Edge-regular graphs and regular cliques 11/13
![Page 55: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/55.jpg)
Examples in the wild
Four erg(24, 8, 2) graphs with a 1-regular clique
Gary Greaves — Edge-regular graphs and regular cliques 12/13
![Page 56: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/56.jpg)
Open problemsI Find general construction that includes erg(24, 8, 2)
I Smallest non-strongly-regular, edge-regular graph withregular clique (Neumaier graph)
I All known examples have 1-regular cliques
I ∃ Neumaier graphs with 3-regular cliques?
I ∃ Neumaier graphs with diameter > 3?
Gary Greaves — Edge-regular graphs and regular cliques 13/13
![Page 57: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/57.jpg)
Open Closed problemsI Find general construction that includes erg(24, 8, 2)
I GG and Koolen (2018+): New infinite constructiona-antipodal erg(v, k, λ) to erg(v(λ + 2)/a, k + λ + 1, λ).
I Smallest non-strongly-regular, edge-regular graph withregular clique (Neumaier graph)
I Evans and Goryainov (2018+): Smallest is erg(16, 9, 4)
I All known examples have 1-regular cliquesI Evans and Goryainov (2018+): 2-regular cliques
I ∃ Neumaier graphs with 3-regular cliques?
I ∃ Neumaier graphs with diameter > 3?
Gary Greaves — Edge-regular graphs and regular cliques 13/13
![Page 58: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/58.jpg)
ProblemsI Find general construction that includes erg(24, 8, 2)
I GG and Koolen (2018+): New infinite constructiona-antipodal erg(v, k, λ) to erg(v(λ + 2)/a, k + λ + 1, λ).
I Smallest non-strongly-regular, edge-regular graph withregular clique (Neumaier graph)
I Evans and Goryainov (2018+): Smallest is erg(16, 9, 4)
I All known examples have 1-regular cliquesI Evans and Goryainov (2018+): 2-regular cliques
I ∃ Neumaier graphs with 3-regular cliques?
I ∃ Neumaier graphs with diameter > 3?
Gary Greaves — Edge-regular graphs and regular cliques 13/13
![Page 59: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/59.jpg)
ProblemsI Find general construction that includes erg(24, 8, 2)
I GG and Koolen (2018+): New infinite constructiona-antipodal erg(v, k, λ) to erg(v(λ + 2)/a, k + λ + 1, λ).
I Smallest non-strongly-regular, edge-regular graph withregular clique (Neumaier graph)
I Evans and Goryainov (2018+): Smallest is erg(16, 9, 4)
I All known examples have 1-regular cliquesI Evans and Goryainov (2018+): 2-regular cliques
I ∃ Neumaier graphs with 3-regular cliques?
I ∃ Neumaier graphs with diameter > 3?
Gary Greaves — Edge-regular graphs and regular cliques 13/13
![Page 60: Edge-regular graphs and regular cliques€¦ · Edge-regular graphs and regular cliques GaryGreaves NanyangTechnologicalUniversity,Singapore 23rdMay2018 jointworkwithJ.H.Koolen GaryGreaves—Edge-regulargraphsandregularcliques](https://reader035.vdocuments.net/reader035/viewer/2022071022/5fd71262dae64e46127d4e55/html5/thumbnails/60.jpg)
Thank you for your attention
Further reading:G. R. W. Greaves and J. H. Koolen, Edge-regular graphs with regular cliques,
European J. Combin. 71 (2018), pp. 194–201.
Gary Greaves — Edge-regular graphs and regular cliques 14/13