Pith. sign in

REVIEW 1 major objections 2 minor 25 references

Ergodic Schrodinger operators on the Bethe lattice and a modified Thouless formula

T0 review · 1 major / 2 minor · reviewed 2026-05-13 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict The paper gives a modified Thouless formula on the Bethe lattice with an explicit remainder term that is nontrivial for connectivity kappa at least 2. read the letter →

arxiv 2604.03880 v1 submitted 2026-04-04 math-ph math.MP

Peter D. Hislop , Christoph A. Marx This is my paper · ORCID
classification math-phmath.MP
keywords BethelatticeergodicSchrödingeroperatorsmodifiedThoulessformulaLyapunovexponentdensityofstatesGreen'sfunctionsrandomtheorem
checked against Cost.FunctionalEquationalexander_duality_circle_linking
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes a modified Thouless formula for ergodic Schrödinger operators defined on the Bethe lattice. This formula connects the Lyapunov exponent to an integral over the density of states plus an additional remainder term. The remainder term vanishes for connectivity parameter κ equal to one, which reduces the Bethe lattice to the integer line and recovers the classical Thouless formula. For κ greater than or equal to two the remainder is shown to be nonzero, highlighting how the branching structure alters the relation.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

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)
  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)
  1. Notation for the remainder term and the precise statement of the modified Thouless formula should be displayed as a numbered equation for easy reference.
  2. 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

1 responses · 0 unresolved

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

  1. 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

0 steps flagged · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claim rests on the multiparameter noncommutative ergodic theorem for limits of Green's functions and on standard properties of the Bethe lattice automorphism group; no free parameters or new entities are introduced.

assumptions (1)
  • standard math Multiparameter noncommutative ergodic theorem applies to the relevant limits of Green's functions on the Bethe lattice
    Invoked to evaluate limits along certain paths as stated in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ergodic Schrodinger operators on the Bethe lattice and a modified Thouless formula." pith.science (2026). https://pith.science/paper/2604.03880

@misc{pith2026260403880,
  author       = {Pith},
  title        = {Pith review of: Ergodic Schrodinger operators on the Bethe lattice and a modified Thouless formula},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.03880}},
  note         = {Machine review of arXiv:2604.03880}
}
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.

Figures

Figures reproduced from arXiv: 2604.03880 by the authors.

Figure 1
Figure 1. Basic geometry of the Bethe Lattice: the figure shows a fi￾nite section of the Bethe lattice for connectivity κ “ 2. Distinguishing one vertex as the root (shown in the center) results in a radial structure (coordination spheres or levels) about the root, where each coordination sphere consists of vertices at a fixed distance (=number of edges) from the root. The arrows display the natural partial order emanating fr… view at source ↗
Figure 2
Figure 2. Vertex labeling of the Bethe lattice for κ “ 2: the information about each vertex at level ℓ ě 1 is uniquely encoded by the ℓ ` 1-tuple p0, a1, . . . , aℓq where a1 P t0, 1, 2u (corresponding to the κ ` 1 “ 3 forward neighbors of the root) and aj P t0, 1u, for 2 ď j ď ℓ (corresponding to the κ “ 2 forward neighbors of vertices except the root). To keep the figure concise, we abbreviate this labeling by only showing … view at source ↗
Figure 3
Figure 3. Illustration of the map τ1, defined in (2.3): the graph auto￾morphism τ1 acts as a level translation by shifting the root p0q up by one one level to the vertex p0, 0q; the remaining vertices respond accordingly (i.e., so that edges are preserved). The two panels of the figure represent a before (left panel) and after (right panel) picture of the action of τ1, where the transformation of the root p0q (shown as a pent… view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Illustration of the map τ2, defined in (2.4): the action of the graph automorphism τ2 on a vertex x at level ℓ ě 1 can be understood as the result of ℓ consecutive rotations (or cyclic permutations) where each vertex along the unique path connecting the root to x is ro…
Figure 5
Figure 5. Figure 5: Geometric perspective of the generalized shift τx, defined in (2.15): we illustrate the action of τx for x “ p0, 2, 0q on three vertices z1 “ p0, 0q (solid pentagon), z2 “ p0, 1q (solid diamond), and z3 “ p0, 2q (star). The results of τxpzj q, for 1 ď j ď 3, are shown …

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

25 extracted references · 25 canonical work pages

  1. [1]

    Aggarwal, P

    A. Aggarwal, P. Lopatto, Mobility Edge for the Anderson Model on the Bethe Lattice , arXiv:2503.08949

    work page arXiv

  2. [2]

    Aizenman, Localization at Weak Disorder: Some Elementary Bounds, Review in Mathematical Physics, Special Issue (1994) 1163–1182

    M. Aizenman, Localization at Weak Disorder: Some Elementary Bounds, Review in Mathematical Physics, Special Issue (1994) 1163–1182

    work page 1994

  3. [3]

    Aizenman, R

    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. [4]

    Aizenman, S

    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. [5]

    Aizenman, S

    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. [6]

    Abou-Chacra, D

    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. [7]

    Acosta, A

    V. Acosta, A. Klein, Analyticity of the density of states in the Anderson model on the Bethe lattice, J. Statist. Phys. 69 (1992), no. 1–2, 277 – 305

    work page 1992

  8. [8]

    Banks, J

    J. Banks, J. Breuer, J. Garza-Vargas, E. Seelig, B. Simon. A useful formula for periodic Jacobi matrices on trees , PNAS 121 No. 23 (2024). 38 P. D. HISLOP AND C. A. MARX

    work page 2024

Show all 25 references
  1. [9]

    Bourgain, S

    J. Bourgain, S. Jitomirskaya, Absolutely continuous spectrum for 1D quasiperiodic opera tors, Invent. math. 148 (2002), 453 - 463

    2002

  2. [10]

    Cycon, R

    H. Cycon, R. Froese, W. Kirsch, and B. Simon, Schr¨ odinger Operators with Application to Quan- tum Mechanics and Global Geometry , Texts and Monographs in Physics, Springer-Verlag, Berlin, (1987)

    1987

  3. [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, ...

    2007

  4. [12]

    E. B. Davies, Spectral theory and differential operators , Cambridge studies in advanced mathe- matics vol. 42, Cambridge University Press, Cambridge, 1995

    1995

  5. [13]

    Drogin, C

    R. Drogin, C. Smart, The regular tree Anderson model at low disorder , arXiv:2511.10564 v1

  6. [14]

    Froese, D

    R. Froese, D. Hasler, W. Spitzer, Absolutely continuous spect rum for the Anderson model o a tree: A geometric proof of Klein’s theorem, Comm. Math. Phys. 269 (2007)

    2007

  7. [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

    2020

  8. [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

    2021

  9. [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

    1994

  10. [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

    1998

  11. [19]

    Klein, C

    A. Klein, C. Sadel, Absolutely continuous spectrum for random Schr¨ odinger op erators on the Bethe strip , Math. Nachr. 285 (2012), no. 1, 5 – 26

    2012

  12. [20]

    J. Kunz, B. Souillard, The localization transition on the Bethe lattice, J. Phys. Lett. 44 (1983), L411

    1983

  13. [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

    1980

  14. [22]

    Simon, Basic Complex Analysis: A Comprehensive Course in Analysis , Part 2A , American Mathematical Society, Providence, RI, 2015

    B. Simon, Basic Complex Analysis: A Comprehensive Course in Analysis , Part 2A , American Mathematical Society, Providence, RI, 2015

    2015

  15. [23]

    D. J. Thouless, Maximum metallic resistance in thin wires , Phys. Rev. Lett. 39 (1977), 1167 – 1169

    1977

  16. [24]

    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

    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

    2013

  17. [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, Ober...

    1951

Pith tools

Reviewed May 13, 2026 · model on record in the stance chip above.