LIPIcs.STACS.2024.6.pdf
- Filesize: 0.8 MB
- 18 pages
Document
On a Hierarchy of Spectral Invariants for Graphs
Authors
V. Arvind 
,
Frank Fuhlbrück ,
Johannes Köbler ,
Oleg Verbitsky
-
Part of:
Volume:
41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Symposium on Theoretical Aspects of Computer Science (STACS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-03-11
File
Document Identifiers
Author Details
- The Institute of Mathematical Sciences (HBNI), Chennai, India
- Chennai Mathematical Institute, India
Cite AsGet BibTex
V. Arvind, Frank Fuhlbrück, Johannes Köbler, and Oleg Verbitsky. On a Hierarchy of Spectral Invariants for Graphs. In 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 289, pp. 6:1-6:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.STACS.2024.6
https://doi.org/10.4230/LIPIcs.STACS.2024.6
Abstract
We consider a hierarchy of graph invariants that naturally extends the spectral invariants defined by Fürer (Lin. Alg. Appl. 2010) based on the angles formed by the set of standard basis vectors and their projections onto eigenspaces of the adjacency matrix. We provide a purely combinatorial characterization of this hierarchy in terms of the walk counts. This allows us to give a complete answer to Fürer’s question about the strength of his invariants in distinguishing non-isomorphic graphs in comparison to the 2-dimensional Weisfeiler-Leman algorithm, extending the recent work of Rattan and Seppelt (SODA 2023). As another application of the characterization, we prove that almost all graphs are determined up to isomorphism in terms of the spectrum and the angles, which is of interest in view of the long-standing open problem whether almost all graphs are determined by their eigenvalues alone. Finally, we describe the exact relationship between the hierarchy and the Weisfeiler-Leman algorithms for small dimensions, as also some other important spectral characteristics of a graph such as the generalized and the main spectra.
Subject Classification
ACM Subject Classification
- Theory of computation → Graph algorithms analysis
- Mathematics of computing → Graph algorithms
Keywords
- Graph Isomorphism
- spectra of graphs
- combinatorial refinement
- strongly regular graphs
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- V. Arvind, Frank Fuhlbrück, Johannes Köbler, and Oleg Verbitsky. On a hierarchy of spectral invariants for graphs. Technical report, https://arxiv.org/abs/2310.04391, 2023.
- László Babai. Graph isomorphism in quasipolynomial time. In Proceedings of the 48th Annual ACM Symposium on Theory of Computing (STOC'16), pages 684-697, 2016. URL: https://doi.org/10.1145/2897518.2897542.
- László Babai, Paul Erdős, and Stanley M. Selkow. Random graph isomorphism. SIAM Journal on Computing, 9(3):628-635, 1980. URL: https://doi.org/10.1137/0209047.
- Amir Rahnamai Barghi and Ilia Ponomarenko. Non-isomorphic graphs with cospectral symmetric powers. Electron. J. Comb., 16(1), 2009. URL: https://doi.org/10.37236/209.
- Andries E. Brouwer. Paulus-Rozenfeld graphs. URL: https://www.win.tue.nl/~aeb/drg/graphs/Paulus.html.
- Jin-yi Cai, Martin Fürer, and Neil Immerman. An optimal lower bound on the number of variables for graph identifications. Combinatorica, 12(4):389-410, 1992. URL: https://doi.org/10.1007/BF01305232.
-
Gang Chen and Ilia Ponomarenko. Coherent configurations. Wuhan: Central China Normal University Press, 2019.
- Dragoš Cvetković. The main part of the spectrum, divisors and switching of graphs. Publ. Inst. Math., Nouv. Sér., 23:31-38, 1978. URL: http://elib.mi.sanu.ac.rs/files/journals/publ/43/6.pdf.
- Dragoš Cvetković and Mirko Lepović. Cospectral graphs with the same angles and with a minimal number of vertices. Publ. Elektroteh. Fak., Univ. Beogr., Ser. Mat., 8:88-102, 1997. URL: http://www.jstor.org/stable/43666387.
- Dragoš Cvetković, Peter Rowlinson, and Slobodan Simić. An introduction to the theory of graph spectra, volume 75 of Lond. Math. Soc. Stud. Texts. Cambridge: Cambridge University Press, 2010. URL: https://doi.org/10.1017/CBO9780511801518.
- Dragoš Cvetković, Peter Rowlinson, and Slobodan Simic. Eigenspaces of Graphs. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1997. URL: https://doi.org/10.1017/CBO9781139086547.
- Dragoš Cvetković, Peter Rowlinson, and Slobodan Simić. A study of eigenspaces of graphs. Linear Algebra and its Applications, 182:45-66, 1993. URL: https://doi.org/10.1016/0024-3795(93)90491-6.
- Z. Dvořák. On recognizing graphs by numbers of homomorphisms. Journal of Graph Theory, 64(4):330-342, 2010. URL: https://doi.org/10.1002/jgt.20461.
- Frank Fuhlbrück. TCSLibLua. GitHub repository, 2023. URL: https://gitlab.com/tcslib/tcsliblua/-/tree/7e429da7fcf9bf8d93dfc50b54e823a47364cb4b.
- Martin Fürer. On the power of combinatorial and spectral invariants. Linear Algebra and its Applications, 432(9):2373-2380, 2010. URL: https://doi.org/10.1016/j.laa.2009.07.019.
- Willem H. Haemers and Edward Spence. Enumeration of cospectral graphs. European Journal of Combinatorics, 25(2):199-211, 2004. URL: https://doi.org/10.1016/S0195-6698(03)00100-8.
- Shlomo Hoory, Nathan Linial, and Avi Widgerson. Expander graphs and their applications. Bull. Am. Math. Soc., New Ser., 43(4):439-561, 2006. URL: https://doi.org/10.1090/S0273-0979-06-01126-8.
- Charles R. Johnson and Morris Newman. A note on cospectral graphs. Journal of Combinatorial Theory, Series B, 28(1):96-103, 1980. URL: https://doi.org/10.1016/0095-8956(80)90058-1.
- Fenjin Liu and Johannes Siemons. Unlocking the walk matrix of a graph. J. Algebr. Comb., 55(3):663-690, 2022. URL: https://doi.org/10.1007/s10801-021-01065-3.
- Bojan Mohar and Svatopluk Poljak. Eigenvalues in combinatorial optimization. In Combinatorial and graph-theoretical problems in linear algebra, pages 107-151. New York: Springer-Verlag, 1993. URL: https://doi.org/10.1007/978-1-4613-8354-3.
- Sean O'Rourke and Behrouz Touri. On a conjecture of Godsil concerning controllable random graphs. SIAM J. Control. Optim., 54(6):3347-3378, 2016. URL: https://doi.org/10.1137/15M1049622.
- David L. Powers and Mohammad M. Sulaiman. The walk partition and colorations of a graph. Linear Algebra Appl., 48:145-159, 1982. URL: https://doi.org/10.1016/0024-3795(82)90104-5.
- Gaurav Rattan and Tim Seppelt. Weisfeiler-Leman and graph spectra. In Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms (SODA'23), pages 2268-2285. SIAM, 2023. URL: https://doi.org/10.1137/1.9781611977554.ch87.
- Sirolf. Characterization of k-walk-equivalent graphs, 2018. URL: https://mathoverflow.net/questions/304106/characterization-of-k-walk-equivalent-graphs.
- Edwin R. van Dam and Willem H. Haemers. Which graphs are determined by their spectrum? Linear Algebra and its Applications, 373:241-272, 2003. URL: https://doi.org/10.1016/S0024-3795(03)00483-X.
- E.R. van Dam, W.H. Haemers, and J.H. Koolen. Cospectral graphs and the generalized adjacency matrix. Linear Algebra and its Applications, 423(1):33-41, 2007. URL: https://doi.org/10.1016/j.laa.2006.07.017.
- Oleg Verbitsky and Maksim Zhukovskii. Canonization of a random graph by two matrix-vector multiplications. In 31st Annual European Symposium on Algorithms (ESA 2023), volume 274 of Leibniz International Proceedings in Informatics (LIPIcs), pages 100:1-100:13, Dagstuhl, Germany, 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ESA.2023.100.
- B.Yu. Weisfeiler and A.A. Leman. The reduction of a graph to canonical form and the algebra which appears therein. NTI, Ser. 2, 9:12-16, 1968. English translation is available at URL: https://www.iti.zcu.cz/wl2018/pdf/wl_paper_translation.pdf.