We prove that if $G$ and $H$ are primitive strongly regular graphs with the same parameters and $\varphi $ is a homomorphism from $G$ to $H$, then $\varphi $ is either an isomorphism or a coloring (homomorphism to a complete subgraph). Moreover, any such coloring is optimal for $G$ and its image is a maximum clique of $H$. Therefore, the only endomorphisms of a primitive strongly regular graph are automorphisms or colorings. This confirms and strengthens a conjecture of Peter Cameron and Priscila Kazanidis that all strongly regular graphs are cores or have complete cores. The proof of the result is elementary, mainly relying on linear algebraic techniques. In the second half of the paper we discuss the idea underlying the proof, namely that it can be seen as a straightforward application of complementary slackness to a dual pair of semidefinite programs that define the Lovász theta function. We also consider implications of the result and show that essentially the same proof can be used to obtain a more general statement. We believe that one of the main contributions of the work is the novel proof technique, which is the first able to make use of the combinatorial regularity of a graph in order to obtain results about its endomorphisms/homomorphisms. Thus we expect this approach to have further applicability to the study of homomorphisms of highly regular graphs.

Revised: 2018-11-22

Accepted: 2018-11-23

Published online: 2019-08-01

DOI: https://doi.org/10.5802/alco.50

Classification: 05C50, 05C60, 90C22, 05C15

Keywords: Homomorphisms, strongly regular graphs, linear algebra, semidefinite programming, Lovász theta

@article{ALCO_2019__2_4_481_0, author = {Roberson, David E.}, title = {Homomorphisms of strongly regular graphs}, journal = {Algebraic Combinatorics}, pages = {481--497}, publisher = {MathOA foundation}, volume = {2}, number = {4}, year = {2019}, doi = {10.5802/alco.50}, mrnumber = {3997507}, zbl = {1417.05252}, language = {en}, url = {alco.centre-mersenne.org/item/ALCO_2019__2_4_481_0/} }

Roberson, David E. Homomorphisms of strongly regular graphs. Algebraic Combinatorics, Volume 2 (2019) no. 4, pp. 481-497. doi : 10.5802/alco.50. https://alco.centre-mersenne.org/item/ALCO_2019__2_4_481_0/

[1] Between primitive and 2-transitive: Synchronization and its friends, EMS Surveys in Mathematical Sciences, Volume 4 (2017) no. 2, pp. 101-184 | Article | MR 3725240 | Zbl 1402.68124

[2] Cores of symmetric graphs, Journal of the Australian Mathematical Society, Volume 85 (2008) no. 2, pp. 145-154 | Article | MR 2470534 | Zbl 1167.05032

[3] An algebraic approach to the association schemes of coding theory, Philips Research Reports Suppl., Volume 10 (1973) | MR 384310 | Zbl 1075.05606

[4] A directed graph version of strongly regular graphs, Journal of Combinatorial Theory, Series A, Volume 47 (1988) no. 1, pp. 71-100 | Article | MR 924452 | Zbl 0642.05025

[5] Second neighbourhoods of strongly regular graphs, Discrete Mathematics, Volume 103 (1992) no. 2, pp. 161-170 | Article | MR 1171313 | Zbl 0764.05100

[6] Representations of directed strongly regular graphs, European Journal of Combinatorics, Volume 28 (2007) no. 7, pp. 1980-1993 | Article | MR 2344982 | Zbl 1121.05078

[7] Graph Homomorphisms via Vector Colorings (2016) (https://arxiv.org/abs/1610.10002 ) | Zbl 07067869

[8] Universal Completability, Least Eigenvalue Frameworks, and Vector Colorings, Discrete & Computational Geometry, Volume 58 (2017) no. 2, pp. 265-292 | Article | MR 3679936 | Zbl 1371.05162

[9] Vector Coloring the Categorical Product of Graphs (2018) (https://arxiv.org/abs/1801.08243 )

[10] Cores of Geometric Graphs, Annals of Combinatorics, Volume 15 (2011) no. 2, pp. 267-276 | Article | MR 2813515 | Zbl 1234.05165

[11] Algebraic graph theory Volume 207, Springer Science & Business Media, 2013

[12] Eigenvalue techniques in design and graph theory (1979) (Ph. D. Thesis) | Zbl 0429.05013

[13] Graph homomorphisms: structure and symmetry, Graph symmetry, Springer, 1997, pp. 107-166 | Article | Zbl 0880.05079

[14] On eigenvalues and colorings of graphs, Graph Theory and its Applications (1970), pp. 79-91

[15] On endomorphisms of alternating forms graph, Discrete Mathematics, Volume 338 (2015) no. 3, pp. 110-121 | Article | MR 3291874

[16] Digraphs – GAP package, Version 0.2 (2015)

[17] Approximate graph coloring by semidefinite programming, J. ACM, Volume 45 (1998) no. 2, pp. 246-265 | Article | MR 1623197 | Zbl 0904.68116

[18] On the Shannon capacity of a graph, IEEE Trans. Inform. Theory, Volume 25 (1979) no. 1, pp. 1-7 | Article | MR 514926 | Zbl 0395.94021

[19] Strongly regular graphs with smallest eigenvalue $-m$, Archiv der Mathematik, Volume 33 (1979) no. 1, pp. 392-400 | Article | MR 564298 | Zbl 0407.05043

[20] A comparison of the Delsarte and Lovász bounds, IEEE Trans. Inform. Theory, Volume 25 (1979) no. 4, pp. 425-429 | Article | Zbl 0444.94009

[21] Personal Webpage: Strongly Regular Graphs on at most 64 Vertices (http://www.maths.gla.ac.uk/~es/srgraphs.php )

[22] A note on the $\vartheta $ number of Lovász and the generalized Delsarte bound, Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science (1994) | Article

[23] Sage Mathematics Software (Version 6.9) (2015) (http://www.sagemath.org )