Table of Contents
Fetching ...

Spectral non-concentration near the top for unimodular random graphs

Mikolaj Fraczyk, Ben Hayes, Madhu Sudan, Yufei Zhao

TL;DR

This work extends spectral non-concentration near the top of the spectrum from finite bounded-degree graphs to infinite unimodular random graphs, proving that the spectral measure cannot place an atom at the top in the infinite setting. The authors develop and combine finite-graph techniques (net removal, moment methods) with unimodular-specific tools (mass-transport, local selection, extended interlacing) to obtain quantitative bounds on $\mu_G[(1-\theta)x, x]$ in both finite and infinite contexts, with stronger decay in infinite regular expanders. A key outcome is a direct link between spectral non-concentration and random-walk return probabilities on Cayley graphs and non-amenable groups, including optimality statements via rapid-decay properties. The results have implications for spectral distributions and mixing behavior on infinite networks and Cayley graphs, and offer a framework for further extending spectral-concentration phenomena to broader random-graph models.

Abstract

In recent work on equiangular lines, Jiang, Tidor, Yuan, Zhang, and Zhao showed that a connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally they show that there cannot be too many eigenvalues near the top of the spectrum. We extend this result to infinite unimodular random graphs. As a corollary, the spectral distribution of the adjacency operator cannot have an atom at the top. For an infinite regular expander, we deduce that the singularity of the spectral measure at the top satisfies $μ_G[(1-θ)ρ,ρ] \lesssim θ^c$ for some constant $c>0$, where $ρ$ is the spectral radius of the adjacency operator of the graph. This implies new general estimates on the return probabilities of random walks.

Spectral non-concentration near the top for unimodular random graphs

TL;DR

This work extends spectral non-concentration near the top of the spectrum from finite bounded-degree graphs to infinite unimodular random graphs, proving that the spectral measure cannot place an atom at the top in the infinite setting. The authors develop and combine finite-graph techniques (net removal, moment methods) with unimodular-specific tools (mass-transport, local selection, extended interlacing) to obtain quantitative bounds on in both finite and infinite contexts, with stronger decay in infinite regular expanders. A key outcome is a direct link between spectral non-concentration and random-walk return probabilities on Cayley graphs and non-amenable groups, including optimality statements via rapid-decay properties. The results have implications for spectral distributions and mixing behavior on infinite networks and Cayley graphs, and offer a framework for further extending spectral-concentration phenomena to broader random-graph models.

Abstract

In recent work on equiangular lines, Jiang, Tidor, Yuan, Zhang, and Zhao showed that a connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally they show that there cannot be too many eigenvalues near the top of the spectrum. We extend this result to infinite unimodular random graphs. As a corollary, the spectral distribution of the adjacency operator cannot have an atom at the top. For an infinite regular expander, we deduce that the singularity of the spectral measure at the top satisfies for some constant , where is the spectral radius of the adjacency operator of the graph. This implies new general estimates on the return probabilities of random walks.
Paper Structure (8 sections, 31 theorems, 81 equations)

This paper contains 8 sections, 31 theorems, 81 equations.

Key Result

Theorem 1.1

For a connected $n$-vertex graph with maximum degree at most $\Delta$, the second largest eigenvalue of its adjacency matrix has multiplicity $O((\log \Delta) n/\log\log n)$.

Theorems & Definitions (56)

  • Theorem 1.1: JTYZZ21
  • Theorem 1.2
  • Corollary 1.3: No atom at the top
  • Remark 1.4
  • Remark 1.5: Quantitative bounds
  • Theorem 1.6
  • Theorem 2.1: Finite graphs
  • Theorem 2.2: Finite expander graphs
  • Theorem 2.3: Unimodular random graphs
  • Theorem 2.4: Expander unimodular random graphs
  • ...and 46 more