On the density of eigenvalues on periodic graphs

TL;DR

This paper investigates the eigenvalue density on periodic graphs with group symmetries, providing algebraic formulas for eigenvalue distribution and extending results to non-commutative group actions.

Contribution

It introduces a novel algebraic framework linking eigenvalue density to module resolutions over Laurent polynomial rings, generalizing to non-commutative amenable groups.

Findings

Eigenfunctions of finite support form finitely generated modules.

Eigenvalue density is expressed via Euler-characteristic type formulas.

Results extend to non-commutative amenable group actions.

Abstract

Suppose that $\Gamma=(V,E)$ is a graph with vertices $V$, edges $E$, a free group action on the vertices $\mathbb{Z}^d \curvearrowright V$ with finitely many orbits, and a linear operator $D$ on the Hilbert space $l^2(V)$ such that $D$ commutes with the group action. Fix $\lambda \in \mathbb{R}$ in the pure-point spectrum of $D$ and consider the vector space of all eigenfunctions of finite support $K$. Then $K$ is a non-trivial finitely generated module over the ring of Laurent polynomials, and the density of $\lambda$ is given by an Euler-characteristic type formula by taking a finite free resolution of $K$. Furthermore, these claims generalize under suitable assumptions to the non-commutative setting of a finite generated amenable group acting on the vertices freely with finitely many orbits, and commuting with the operator $D$.