On Entries of Spectral Decompositions and Applications
Abstract
The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on n vertices without isolated vertices, every local multiplicity is at most (n−1)/n, and every diagonal entry of the Cesaro average mixing matrix is at most 1−2/n+2/n2. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph Γ, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for P2 and P3. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices u and v are strongly cospectral exactly when |(Eθ)uv|=(Eθ)uu for every eigenvalue θ. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.
Related
- Spectral Universality for Matrices with Non-Linear Correlated Entries
- Parabolic Reifenberg Parametrizations and Corona Decompositions, with Applications to Singular Integrals
- Singular value decompositions over ∗-algebras with applications to tensor decompositions
- Random p-adic matrices with fixed zero entries and the Cohen–Lenstra distribution
- Power variations of critical Gaussian multiplicative chaos and their spectral applications
BibTeX
@misc{kang2026entries,
title = {{On Entries of Spectral Decompositions and Applications}},
author = {Musung Kang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.27498},
eprint = {2610.27498},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.27498},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On Entries of Spectral Decompositions and Applications
AU - Musung Kang
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.27498
UR - https://arxiv.org/abs/2610.27498
AB - The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on n vertices without isolated vertices, every local multiplicity is at most (n−1)/n, and every diagonal entry of the Cesaro average mixing matrix is at most 1−2/n+2/n^2. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph Γ, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for P_2 and P_3. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices u and v are strongly cospectral exactly when |(E_θ)_uv|=(E_θ)_uu for every eigenvalue θ. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.
ER -