Enumeration of Laplacian integral and {-1,0,1}-diagonalizable graphs
📄 arXiv:2607.06336 · 📥 PDF · 2026-07-07 · quant-ph
Authors: Nathaniel Johnston [arXiv · scholar] , Sarah Plosker [arXiv · scholar] , Luis M. B. Varona [arXiv · scholar]
🕰 Orloj analysis
Tento článek rozvíjí strukturní teorém pro Laplacian integrální a {-1,0,1}-diagonalizovatelné grafy prvočíselného řádu a kombinuje jej s novými výpočetními technikami k charakterizaci takových grafů pro větší řády než dříve. Autoři enumerují tyto grafy pro různé řády, vyvracejí dvě související domněnky a stanovují exponenciální dolní mez pro počet souvislých {-1,0,1}-diagonalizovatelných grafů.
💡 Jde o čistě matematický článek z teorie grafů, který přináší významné nové výsledky a vylepšení stávajících mezí a vyvrácení domněnek v dané oblasti, ale nemá přímou relevanci pro fyziku.
✓ modest_claims
⚠ Paper is pure mathematics (graph theory), not physics.
📄 Abstract
A graph with Laplacian matrix $L$ is called Laplacian integral if the eigenvalues of $L$ are all integers, and it is called $\{-1,0,1\}$-diagonalizable if $L$ has a full set of eigenvectors with entries from $\{-1,0,1\}$. We herein develop a structure theorem for both Laplacian integral graphs and $\{-1,0,1\}$-diagonalizable graphs of prime order, and combine it with some novel computational techniques to characterize all such graphs for orders larger than was previously possible. For example, we enumerate all Laplacian integral and $\{-1,0,1\}$-diagonalizable graphs of order $13$ or less, all $\{-1,0,1\}$-diagonalizable graphs of prime order $23$ or less, all regular integral graphs of order $15$ or less, and all regular $\{-1,0,1\}$-diagonalizable graphs of prime order $53$ or less. As an immediate byproduct of our work, we show that the $S_{n,n}$ conjecture for Laplacian integral graphs is true when $n = 12$, thus making $n = 16$ the smallest open case; additionally, we disprove two related conjectures regarding Laplacian spectra. We also establish an exponential lower bound on the number of connected $\{-1,0,1\}$-diagonalizable graphs of order $n$, thus beating the previously best-known (subexponential) lower bound. Finally, we show that every bipartite $\{-1,0,1\}$-diagonalizable graph is regular (a fact that fails to generalize to Laplacian integral graphs).