A sandwich theorem for the spectrum of graph coverings

Charles Bordenave; Wenbo Li; Joe Thomas

Home/Archive/arXiv

arXiv · 2609.36341

A sandwich theorem for the spectrum of graph coverings

Charles Bordenave·Wenbo Li·Joe Thomas

View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that all normal covers of a fixed finite graph $G$ sitting between the universal and maximal abelian covers share the same atomic part of their spectral measures. We give an explicit double formula for the mass of atoms which generalises and unifies known results on universal covering trees and maximal abelian covers. It also proves an extension of a conjecture in physics literature on hyperbolic lattices. Moreover, we also establish the logarithmic Hölder regularity of the continuous part of the spectral measures. Our proof combines techniques from von Neumann algebras, matching theory and the monotone labelling method. In an appendix, we prove a converse generalised Gallai-Edmonds structural theorem which might be of independent interest.

Explore related subjects

math.SP math-ph math.CO math.MP math.OA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Charles Bordenave, Wenbo Li, Joe Thomas. 2026-09-28. A sandwich theorem for the spectrum of graph coverings. https://arxiv.org/abs/2609.36341

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hölder continuity and Fourier asymptotics of spectral measures for 1D Schrödinger operators under exponentially decaying perturbations

We establish $\frac{1}{2}$-Hölder continuity, or even the Lipschitz property, for the spectral measures of half-line discrete Schrödinger operators under suitable boundary conditions and sufficiently fast polynomially decaying small potentials. These are the first known examples, apart from the free case, of Schrödinger operators with Lipschitz continuous spectral measures up to the spectral edge, a property obtained here as a consequence of the Dirichlet boundary condition. Notably, we show that the asymptotic behavior of the time-averaged quantum return probability, either $\log (t) / t$ or $1 / t$, as in the case of the free Laplacian, remains unchanged in this setting. Furthermore, we prove the persistence of the purely absolutely continuous spectrum and the $\frac{1}{2}$-Hölder continuity of the spectral measures for (Diophantine) quasi-periodic operators under exponentially decaying small perturbations. These results are optimal and hold for all energies, up to the border of the absolutely continuous spectrum.

math.SP↗

arXiv2026

Bouncing-ball modes in ergodic billiards

We show that for a horizontally stretched Bunimovich billiard, for almost every stretching parameter, there exists a sequence of eigenfunctions concentrating in the rectangular part. Thanks to the work of Markarian--Oliffson Kamphorst--Pinto de Carvalho, we know that for an open set of parameters such billiards are ergodic. The proof is a result of interaction with ChatGPT 6: we were curious if it could establish the existence of bouncing ball modes for Bunimovich or Sinai billiards. That was not successful until we suggested varying the wings. That produced an essentially complete argument for the existence of quasimodes. We then suggested using Hassell's parameter-variation argument which led to the result about eigenfunctions. The argument was then significantly simplified and clarified by the authors.

math.SP↗

arXiv2026

Periodic graph operators with reducible dispersion polynomials for all potentials

We give a complete characterization of periodic graph operators whose dispersion polynomials are reducible for every potential. Consequently, the reducibility dichotomy for parameter-dependent Laurent polynomials implies that, for every other periodic graph operator, the dispersion polynomial, and hence the Bloch variety, is irreducible for generic potentials. Our proof proceeds through two reductions. We first use the monodromy of the roots of the dispersion polynomial with respect to the potential parameters to reduce the problem to the splitting case. We then show that the splitting property passes to the principal submatrices of the Floquet matrix, reducing the problem further to the case that the fundamental domain contains two vertices.

math.SP↗