Free Fermions on a Lattice Obey Eigenstate Thermalization — and the Proof Is Tight in Every Dimension

Rigorous proof that particle-number fluctuations in free-fermion eigenstates decay as inverse system size, with matching lower bounds showing the result can't be improved.

Imagine you're managing a massive warehouse grid where every shelf position can hold one item or be empty. You want to know: if I snapshot any one aisle, how much does its inventory deviate from the warehouse average? Intuitively, as the warehouse grows enormous, the aisle should look more and more "typical" — fluctuations should shrink relative to the whole. This paper proves that intuition rigorously for quantum free fermions on a periodic lattice, pins down the exact rate at which fluctuations die, and then shows you can't do better. The committed claim: for the nearest-neighbour free-fermion model on the d-dimensional periodic cubic lattice (ℤ/Lℤ)^d, the particle-number variance in any subvolume and any energy eigenstate is bounded above by O(NL^{d-1}), and the corresponding eigenstate thermalization hypothesis (ETH) concentration bound decays as L^{d-1}/(Nη²). At positive particle density, that's inverse-linear in system size. Crucially, matching lower bounds prove this is optimal — the bound is tight. The architecture is pure mathematical physics: no numerics, no simulation, no approximation. The proof splits the centered particle-number operator into a zero-energy-transfer piece and a nonzero-energy-transfer piece. The nonzero part is controlled by a sharp resonance bound derived from Mann's theorem — a number-theoretic result about relations among roots of unity. The zero-transfer part falls to a Hilbert-Schmidt norm argument. This decomposition is the paper's structural innovation. It converts a many-body quantum question into two tractable analytic estimates, one number-theoretic and one operator-algebraic. The ladder here is subtle because the paper is a mathematical proof, not a computational benchmark. The ETH has been verified numerically for many systems and proven rigorously in a handful of special cases. Free fermions are often dismissed as "trivially integrable" — the conventional wisdom is that integrable systems don't thermalize. This paper shows that ETH-type concentration does hold for free fermions in a precise sense, with the O(L^{d-1}) scaling matching what one would expect from surface-area contributions in a subvolume. Prior rigorous ETH results for free fermions existed in weaker forms or specific dimensions; this result covers every dimension, every particle number, every eigenstate, and is tight. Integrity is essentially maximal for the category: this is a 29-page mathematical proof, not a simulation or experiment. The validation regime is deductive — theorem, proof, matching lower bound. The lower bounds are not afterthoughts; they are constructed via explicit many-body eigenstates that realize the worst-case variance, demonstrating that the concentration estimate cannot be sharpened uniformly. There is no cherry-picking possible in a tight two-sided bound. The one caveat: the model is free (non-interacting) fermions, which is the simplest nontrivial quantum many-body system. The paper is honest about this scope. The milestone question for this line of work is whether similar tight ETH bounds can be proved for interacting lattice models — even weakly interacting ones. Free fermions are exactly solvable because their many-body eigenstates decompose into one-particle states, which is exactly what enables the energy-transfer decomposition here. The moment you add interactions, Mann's theorem stops being directly applicable because the many-body spectrum is no longer built from sums of single-particle energies. The natural next target is the XXZ spin chain or the Hubbard model at weak coupling. The obvious experiment the authors did not run — and calling it an "experiment" feels wrong for a math paper, so call it the obvious extension — is pushing the technique to weakly interacting fermions via perturbative methods. The Mann's theorem machinery is specific to exact arithmetic of roots of unity, which breaks under perturbation. My read: this isn't compute-limited or being saved; it's a genuinely hard open problem that requires new ideas. The authors likely know exactly where the argument breaks and chose to deliver the clean, tight, non-interacting result rather than an incomplete interacting story.