Ergodic Schrodinger operators on the Bethe lattice and a modified Thouless formula
Pith reviewed 2026-05-13 16:56 UTC · model grok-4.3
The pith
Ergodic Schrödinger operators on the Bethe lattice satisfy a modified Thouless formula relating the density of states to the Lyapunov exponent with a nontrivial remainder for κ ≥ 2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is a modified Thouless formula for these operators on the Bethe lattice. The Lyapunov exponent equals the integral of log|E - E'| dN(E') plus a remainder term, where N is the integrated density of states. The authors demonstrate that the remainder is zero when κ = 1 and nontrivial when κ ≥ 2 by analyzing limits of Green's functions using the multiparameter noncommutative ergodic theorem.
What carries the argument
The modified Thouless formula, decomposing the Lyapunov exponent into a density-of-states integral and a remainder term that captures the effect of the Bethe lattice's connectivity κ ≥ 2.
If this is right
- The relation between Lyapunov exponent and density of states requires a correction term on the Bethe lattice when κ ≥ 2.
- Green's function limits along specific paths on the lattice yield the separation into the two terms.
- The automorphism group of the Bethe lattice supports the application of ergodic theorems for the potentials.
- The usual Thouless formula holds without modification only in the non-branching case.
Where Pith is reading between the lines
- This modified formula may enable more accurate calculations of localization lengths for random operators on tree structures.
- Similar adjustments could apply to other regular graphs with high connectivity.
- Explicit computation of the remainder might reveal new connections between spectral measures and branching processes.
Load-bearing premise
The multiparameter noncommutative ergodic theorem can be applied to the limits of Green's functions taken along certain paths in the Bethe lattice under the ergodicity assumptions on the potentials.
What would settle it
A direct numerical evaluation of the remainder term for a concrete example with κ=2 showing it equals zero would contradict the proof that the term is nontrivial.
Figures
read the original abstract
The main result of this paper is a modified Thouless formula relating the density of states for ergodic Schrodinger operators on the Bethe lattice to the Lyapunov exponent. The modified Thouless formula consists of a Thouless-like term, involving the density of states, and a remainder term. The remainder term vanishes when the connectivity $\kappa$ equals one, yielding the usual Thouless formula for ergodic Schrodinger operators on $\mathbb{Z}$. We prove the remainder term is nontrivial for $\kappa \geq 2$. We also discuss the automorphism group of the Bethe lattice and its relation to ergodic Schrodinger operators. In particular, we clarify the use of the multiparameter noncommutative ergodic theorem in evaluating the limit of Green's functions along certain paths.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a modified Thouless formula relating the density of states of ergodic Schrödinger operators on the Bethe lattice (κ-regular tree) to the Lyapunov exponent, consisting of a Thouless-like term plus a remainder term. The remainder vanishes for κ=1 (recovering the standard Thouless formula on ℤ) and is shown to be nontrivial for κ≥2. The derivation expresses the density of states via the imaginary part of the Green's function at the root and invokes the multiparameter noncommutative ergodic theorem, together with the automorphism group of the lattice, to identify the limit of Green's functions along paths with the Lyapunov exponent almost surely.
Significance. If the central derivation holds, the result provides a concrete extension of the classical Thouless formula to trees, quantifying how the geometry of the Bethe lattice modifies the relation between integrated density of states and Lyapunov exponents. The explicit nontriviality proof for κ≥2 and the clarification of the ergodic theorem application on non-amenable graphs are potentially useful for spectral theory of random operators on graphs.
major comments (1)
- [Section discussing the multiparameter noncommutative ergodic theorem and Green's function limits] The load-bearing step identifying the Green's function limit along infinite paths with the Lyapunov exponent (and thereby isolating the remainder term) invokes the multiparameter noncommutative ergodic theorem under the automorphism group action. The manuscript must explicitly verify that the assumed ergodicity of the random potentials satisfies the required integrability and invariance hypotheses of that theorem when the underlying graph is the infinite κ-regular tree rather than ℤ; without this check the derivation of the modified formula is incomplete for κ≥2.
minor comments (2)
- Notation for the remainder term and the precise statement of the modified Thouless formula should be displayed as a numbered equation for easy reference.
- The abstract claims proofs exist for the formula and nontriviality of the remainder; the introduction or main theorem statement should cross-reference the specific propositions or theorems where these are established.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the need to make the application of the multiparameter noncommutative ergodic theorem fully explicit on the Bethe lattice. The comment is well-taken; we will strengthen the manuscript by adding a dedicated verification of the required hypotheses.
read point-by-point responses
-
Referee: [Section discussing the multiparameter noncommutative ergodic theorem and Green's function limits] The load-bearing step identifying the Green's function limit along infinite paths with the Lyapunov exponent (and thereby isolating the remainder term) invokes the multiparameter noncommutative ergodic theorem under the automorphism group action. The manuscript must explicitly verify that the assumed ergodicity of the random potentials satisfies the required integrability and invariance hypotheses of that theorem when the underlying graph is the infinite κ-regular tree rather than ℤ; without this check the derivation of the modified formula is incomplete for κ≥2.
Authors: We agree that an explicit check strengthens the argument. In the revised manuscript we will add a short subsection (immediately preceding the statement of the modified Thouless formula) that verifies the hypotheses of the multiparameter noncommutative ergodic theorem for the automorphism group of the κ-regular tree. Specifically: (i) the random potential is assumed i.i.d. with finite first moment, which supplies the integrability condition; (ii) the group action is measure-preserving by construction and ergodic on the probability space because the potentials are i.i.d.; (iii) the tree’s automorphism group is amenable in the relevant sense for the multiparameter theorem (as already noted in our discussion of the group), so the limit along infinite paths coincides with the Lyapunov exponent almost surely. This verification applies uniformly for all κ≥1 and makes the passage from the Green’s function to the Lyapunov exponent fully rigorous for κ≥2. revision: yes
Circularity Check
No circularity: derivation applies external ergodic theorem to Green's functions without reducing remainder to inputs
full rationale
The paper establishes the modified Thouless formula by expressing the density of states via the imaginary part of the Green's function at the root and relating it to the Lyapunov exponent, with the difference as the remainder term. This step invokes the multiparameter noncommutative ergodic theorem for limits along Bethe-lattice paths, citing the automorphism group action as an external result. The nontriviality of the remainder for κ ≥ 2 is shown by direct comparison to the κ=1 case (standard Thouless formula on ℤ). No equation reduces by construction to a fitted quantity, self-citation load-bearing premise, or ansatz smuggled from prior work; the central claim remains independent of the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Multiparameter noncommutative ergodic theorem applies to the relevant limits of Green's functions on the Bethe lattice
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquationwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
modified Thouless formula L(z) = ∫ log|z-E| dnv(E) + R(z) with |R(z)| ≲ (κ-1) for κ≥2, vanishing only for κ=1 (Z case)
-
IndisputableMonolith/Foundation/AlexanderDualityalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
non-commuting automorphisms τ1 (level translation), τ2 (rotation) generating ergodic family Tx on Bethe lattice paths
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
A. Aggarwal, P. Lopatto, Mobility Edge for the Anderson Model on the Bethe Lattice , arXiv:2503.08949
-
[2]
M. Aizenman, Localization at Weak Disorder: Some Elementary Bounds, Review in Mathematical Physics, Special Issue (1994) 1163–1182
work page 1994
-
[3]
M. Aizenman, R. Sims, S. Warzel, Stability of the absolutely continuous spectrum of random Schr¨ odinger operators on tree graphs,Prob. Theory Relat. Fields 136 (2006), 363-394
work page 2006
-
[4]
M. Aizenman, S. Warzel, Random Operators: Disorder Effects on Quantum Spectra and Dy nam- ics, Graduate Studies in Mathematics 168, American Mathematical Society, Providence, RI, 2015
work page 2015
-
[5]
M. Aizenman, S. Warzel, Resonant delocalization for random Schr¨ odinger operator s on tree graphs, J. Eur. Math. Soc. 15 (2013), 1167–1222
work page 2013
-
[6]
R. Abou-Chacra, D. J. Thouless, and P. W. Anderson. A self-consistent theory of localization , Journal of Physics C: Solid State Physics 6.10 (1973), 1734 – 1752
work page 1973
- [7]
- [8]
-
[9]
J. Bourgain, S. Jitomirskaya, Absolutely continuous spectrum for 1D quasiperiodic opera tors, Invent. math. 148 (2002), 453 - 463
work page 2002
- [10]
-
[11]
D. Damanik, Lyapunov exponents and spectral analysis of ergodic Schr¨ odinger operators: a survey of Kotani theory and its applications , Spectral theory and mathematical physics: a Festschrift in honor of Barry Simon’s 60th birthday, 539 – 563, Proc. Sympos. Pu re Math., 76, Part 2, Amer. Math. Soc., Providence, RI, 2007
work page 2007
-
[12]
E. B. Davies, Spectral theory and differential operators , Cambridge studies in advanced mathe- matics vol. 42, Cambridge University Press, Cambridge, 1995
work page 1995
- [13]
- [14]
-
[15]
P. D. Hislop and C. A. Marx, Dependence of the density of states on the probability distr ibution for discrete random Schr¨ odinger operators, Int. Math. Res. Not. IMRN 2020 , no. 17, 5279–5341
work page 2020
-
[16]
P. D. Hislop and C. A. Marx, Dependence of the density of states outer measure on the pote ntial for deterministic Schr¨ odinger operators on graphs with applications to ergodic and random models , Journal of Functional Analysis 281 (2021), 109186
work page 2021
-
[17]
Klein, Absolutely continuous spectrum in the Anderson model on the Bethe lattice, Math
A. Klein, Absolutely continuous spectrum in the Anderson model on the Bethe lattice, Math. Res. Lett. 1 No. 4 (1994), 399-407
work page 1994
-
[18]
Klein, Extended states for the Anderson model on the Bethe lattice , Adv
A. Klein, Extended states for the Anderson model on the Bethe lattice , Adv. Math. 133 No. 1 (1998), 164-184
work page 1998
- [19]
-
[20]
J. Kunz, B. Souillard, The localization transition on the Bethe lattice, J. Phys. Lett. 44 (1983), L411
work page 1983
-
[21]
Pastur, Spectral properties of disordered systems in one-body appr oximation, Comm
L. Pastur, Spectral properties of disordered systems in one-body appr oximation, Comm. Math. Phys. 75 (1980), 179
work page 1980
-
[22]
B. Simon, Basic Complex Analysis: A Comprehensive Course in Analysis , Part 2A , American Mathematical Society, Providence, RI, 2015
work page 2015
-
[23]
D. J. Thouless, Maximum metallic resistance in thin wires , Phys. Rev. Lett. 39 (1977), 1167 – 1169
work page 1977
-
[24]
S. Warzel, Surprises in the phase diagram of the Anderson model on the Be the lattice , XVIIth International Congress on Mathematical Physics (2013), 239 – 2 53
work page 2013
-
[25]
Zygmund, An individual ergodic theorem for non-commuting transform ations, Acta Sci
A. Zygmund, An individual ergodic theorem for non-commuting transform ations, Acta Sci. Math. Szeged 14 (1951), 103–110. Department of Mathematics, University of Kentucky, Lexing ton, Kentucky 40506-0027, USA Email address : peter.hislop@uky.edu Department of Mathematics, Oberlin College, Oberlin, Ohio 44074, USA Email address : cmarx@oberlin.de
work page 1951
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.