Logarithmic regularity of spectral measures on infinite graphs

Abstract: We study the regularity of spectral measures of self-adjoint operators on infinite weighted graphs in the unimodular setting. This framework encompasses operators in the group algebra of a finitely generated group, random operators whose distribution is quasi-invariant under a group action, and Benjamini--Schramm limits of operators on finite graphs. Under a natural geometric condition on the underlying graph, we prove that the expected spectral measure satisfies a logarithmic Hölder regularity estimate. The proof relies on a strengthened version of the monotone labelling method previously introduced with Sen and Virág to control the pure point part of the spectal measure. Applications include operators in group algebras of indicable groups, Anderson-type models with arbitrary compactly supported potentials on Cayley graphs, anisotropic percolation operators, and operators on quasi-transitive graphs. In particular, our results extend the classical Craig--Simon theorem beyond the Euclidean lattice.

• The paper introduces logarithmic Hölder regularity bounds for spectral measures associated with self-adjoint operators on infinite graphs.
• It refines the monotone labelling method and extends classical results from Z^d settings to complex, non-amenable graph structures.
• The results impact quantum dynamics, random operator theory, and group algebras, offering new insights for mathematical physics.

Logarithmic Regularity of Spectral Measures on Infinite Graphs

Introduction and Context

The paper "Logarithmic regularity of spectral measures on infinite graphs" (2606.03006) establishes novel upper bounds on the regularity of spectral measures associated with self-adjoint operators in the context of infinite weighted graphs, emphasizing unimodular structure. The framework subsumes several key classes: operators in group algebras of finitely generated groups, random operators quasi-invariant under group actions, and Benjamini–Schramm limits of finite graph operators. Motivations stem from broad areas, including $L^2$-invariants in topology, quantum dynamics, and random operator theory.

Main Theoretical Contributions

Logarithmic Hölder Regularity

The central result demonstrates that, under a natural geometric condition (indicability), the expected spectral measure $\mu$ of such operators on infinite graphs satisfies a logarithmic Hölder regularity estimate: $\mu(I) = O\left(\frac{1}{\ln (C / |I|)}\right)$ for any interval $I$ in the spectrum, with $|I|$ its length. This extends classical regularity results for the density of states—most notably the Craig–Simon theorem from $\mathbb{Z}^d$ settings—to much broader classes of graphs and operators, including non-amenable situations and random models without standard independence or density assumptions.

Strengthening of the Monotone Labelling Method

The proof builds on, and significantly refines, the monotone labelling method introduced in prior work with Sen and Virág. Key technical advances include:

• Control of the spectral measure on arbitrary intervals, not solely at singletons.
• A generalization to graphs with more intricate algebraic or combinatorial structure, leveraging von Neumann algebraic tools to manage infinite-dimensional decompositions.

Results for Group Algebra and Random Operators

Theorems are established for:

• Deterministic operators in the group algebra $\mathbb{C}[\Gamma]$ of finitely generated indicable groups (i.e., those with a surjective homomorphism to $\mathbb{Z}$), showing that if $(\Gamma,S)$ is $(a,k)$-indicable for a set of generators $\mu$0, no atoms exist in $\mu$1, and the above logarithmic estimate holds.
• Right-invariant random operators (such as Anderson-type models and anisotropic percolation on Cayley graphs), where the same order of regularity can be asserted for the expected spectral measure (density of states), under minimal assumptions regarding the underlying randomness and potential.
• Quasi-transitive graphs and block operators, utilizing invariant labelling at the block level to obtain sharp regularity bounds on the expected spectral measures in vector-valued and matrix-valued operator settings.

Technical Overview

The strategy unifies probabilistic and combinatorial approaches with operator algebra. Key steps include:

• Decomposition of Hilbert space (e.g., $\mu$2) using a surjective homomorphism to $\mu$3, facilitating iterative analysis of the eigenvalue equation along "levels" prescribed by the labelling.
• Construction of monotone labellings and block labellings, ensuring that most vertices or blocks have spectral contributions controlled at the desired scale, with potential "bad" blocks or vertices contributing negligibly.
• Use of tracial von Neumann algebra states to define and bound von Neumann dimensions of spectrally localized invariant subspaces, making arguments effective in infinite dimensions.

The bounds, highlighting explicit dependencies on combinatorial/geometric parameters (such as the index $\mu$4 of indicability and operator entries), are shown to be nearly optimal: the example of the lamplighter group demonstrates the necessity of the logarithmic term.

Implications and Applications

Algebra, Probability, and Mathematical Physics

• Spectral Type: The absence of atoms in expected (or group) spectral measures under minimal assumptions is crucial for understanding quantum diffusion (RAGE theorem), $\mu$5-Betti numbers, and rigidity phenomena in group theory.
• Random Models: For Anderson models and percolation, the results offer nontrivial global regularity without requiring independence or smoothness of disorder, far beyond the reach of standard Wegner-type techniques. This is especially relevant in the study of localization, quantum transport, and random matrix convergence.
• Expansion Beyond $\mu$6: The abstraction from lattice-based spectra to general unimodular or quasi-transitive graphs unlocks new directions in geometric group theory and mathematical physics.

Methodological Implications

The strengthening of monotone labelling and von Neumann algebraic techniques suggests avenues for analyzing higher regularity properties (e.g., absolute continuity) or the absence of singular continuous spectrum, especially in settings with homomorphisms to $\mu$7 or free groups.

Potential for Future Research

The author remarks that the extension to much richer geometric decompositions—leveraging, for example, group homomorphisms to higher-rank abelian or free groups—could lead to more powerful regularity results, including absolute continuity. Extensions to operators on periodic manifolds or beyond finite type von Neumann algebras pose significant technical challenges and represent natural future directions.

Additional questions concern the identification of finer geometric or dynamical structures to study localization/delocalization transitions, and the development of analogues for random graphs beyond the unimodular or Benjamini–Schramm regime.

Conclusion

This work establishes quantitative logarithmic regularity estimates for spectral measures of a wide class of local operators on infinite unimodular graphs, subsuming both deterministic and random, commutative and noncommutative settings. The techniques generalize and strengthen existing methods, providing tools applicable in operator algebras, random operators, and the spectral analysis of infinite graph structures. The results directly extend classical spectral measure regularity beyond $\mu$8 to highly nontrivial geometric and algebraic contexts, with potential impact on fundamental questions at the intersection of probability, mathematical physics, and group theory.