arxiv: 2604.02839 · v1 · submitted 2026-04-03 · 🧮 math.SP · math.DS

Recognition: 2 theorem links

· Lean Theorem

Anderson Localization for Schr\"{o}dinger Operators with Monotone Potentials Generated by the Doubling Map

Chao Wang, Daxiong Piao, Yuanyuan Peng

Pith reviewed 2026-05-13 19:10 UTC · model grok-4.3

classification 🧮 math.SP math.DS

keywords Anderson localizationSchrödinger operatorsdoubling mapLyapunov exponentmonotone potentialslarge deviation estimatesergodic operators

0 comments

The pith

Schrödinger operators with monotone doubling-map potentials exhibit Anderson localization for almost every phase and large coupling strength.

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

This paper establishes Anderson localization for Schrödinger operators on the half-line where the potential at site n is given by λ times a monotone C1 function f evaluated at the n-th iterate of the doubling map applied to a phase x. Using the uniform positivity of the Lyapunov exponent for such f, the authors derive large deviation estimates for the transfer matrices and conclude that the spectrum is pure point with exponentially localized eigenfunctions for almost every x when λ exceeds some threshold. The same conclusion holds for small λ as well when f has zero mean. The work therefore supplies a concrete ergodic model in which localization is proven for both weak and strong disorder regimes under explicit regularity conditions on f.

Core claim

For the operators H(x) defined by (H(x)u)_n = u_{n+1} + u_{n-1} + λ f(2^n x) u_n with Dirichlet boundary condition, where f belongs to C1(0,1) with bounded C1 norm and derivative bounded away from zero, Anderson localization holds for Lebesgue-almost every x in the circle and all sufficiently large λ. When the integral of f vanishes, localization persists for small λ as well.

What carries the argument

Large-deviation estimates for the finite-volume transfer matrices, obtained from the uniform positivity of the Lyapunov exponent of the SL(2,R)-cocycle generated by the doubling map.

Load-bearing premise

The uniform positivity of the Lyapunov exponent holds for every admissible function f.

What would settle it

An explicit sequence of transfer matrices along the orbit of some x for which the norm grows slower than exponentially for arbitrarily large n would falsify the large-deviation step and thereby the localization conclusion.

read the original abstract

In this paper, we consider the Schr\"{o}dinger operators on $ \ell^{2}(\N) $, defined for all $ x\in\mathbb{T} $ by \begin{equation} (H(x)u)_n = u_{n+1} + u_{n-1} + \lambda f(2^{n} x) u_n, \quad \text{for } n \geq 0,\notag \end{equation} with the Dirichlet boundary condition $ u_{-1}=0 $. Building on Zhang's recent breakthrough work [Comm.Math.Phys.405:231(2024)] that resolved Damanik's open problem [Proc.Sympos. Pure Math.76,Amer.Math.Soc.(2007)] on the uniform positivity of the Lyapunov exponent, for the potential $ f \in C^{1}(0,1)$ with $ \|f\|_{C^{1}(0,1)} < C $ and $ \inf_{x \in (0,1)} |f^{\prime}(x)| > c>0 $, we obtain the large deviation estimate and prove that for a.e. $ x \in \mathbb{T} $ and sufficiently large $ \lambda > \lambda_{0} $, the operators $ H(x) $ display Anderson localization. Furthermore, if the potentials also have zero mean, our analysis reveals that the doubling map models can exhibit localization behavior for both small and large coupling constants $ \lambda $.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper takes Zhang's uniform Lyapunov exponent positivity for monotone doubling-map potentials and derives Anderson localization for large coupling, plus small coupling when the mean is zero.

read the letter

The main result is Anderson localization for these Schrödinger operators at large λ for almost every x, with an additional small-λ localization when the potential has zero mean. The argument starts from Zhang's 2024 Lyapunov exponent bound, moves to large-deviation estimates on the transfer-matrix cocycle along doubling orbits, and then applies the standard 1D localization machinery to conclude pure point spectrum with exponential decay of eigenfunctions. The zero-mean small-coupling case appears to use a separate perturbative or averaging argument. This is new: the localization statement for this exact family was not available before, even after Zhang settled the Lyapunov exponent question. The paper carries the established techniques over without inventing a new framework, which is the right move here. It does the job cleanly and cites the prior work properly, avoiding any circularity. The soft spots are limited. The large-deviation step is the central technical piece, but the abstract gives no explicit error bounds or dependence on the constants C and c from the assumptions on f, so it is hard to judge how sharp the estimates are or how large λ0 must be. The small-coupling argument is mentioned even more briefly, which leaves open whether it handles the usual difficulties at weak disorder rigorously. These are normal gaps at the abstract stage rather than red flags. The work is for readers already inside one-dimensional ergodic spectral theory who know the Damanik problem and recent Lyapunov exponent results. Someone who follows expanding-map models will find it a direct and useful extension. It deserves a serious referee because the claim is new, the logical structure is standard and consistent, and the technical steps are checkable once the full estimates are in front of a reviewer. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper considers Schrödinger operators H(x) on ℓ²(ℕ) with Dirichlet boundary conditions and potentials λ f(2ⁿ x), where f ∈ C¹(0,1) satisfies ||f||_{C¹} < C and inf |f'| > c > 0. Building on Zhang's 2024 uniform positivity of the Lyapunov exponent for such monotone f, the authors derive large-deviation estimates for the associated transfer-matrix cocycles over doubling-map orbits and conclude Anderson localization for a.e. x ∈ 𝕋 when λ > λ₀ is sufficiently large. When f additionally has zero mean, the same techniques are claimed to yield localization for both small and large λ.

Significance. If the large-deviation estimates are established with uniform constants, the work supplies a new family of ergodic Schrödinger operators for which Anderson localization is proved at large coupling, directly leveraging Zhang's resolution of Damanik's problem. The zero-mean extension to small λ is a distinctive feature that enlarges the set of known examples beyond the usual large-coupling regime. The logical skeleton follows standard 1D localization arguments (LE positivity → LDE → localization) and is internally consistent.

minor comments (3)

[Large-deviation estimates] The abstract states that large-deviation estimates are obtained, but the manuscript should include an explicit statement of the probability bound (e.g., the form of the deviation function and the range of energies) so that the passage to localization via the usual Borel–Cantelli or multiscale arguments can be checked directly.
[Zero-mean case] For the zero-mean small-λ case, the argument is described as 'perturbative or higher-order'; a brief outline of the perturbative step (or reference to the precise theorem used) would clarify how the small-λ localization is obtained without contradicting the usual large-coupling intuition.
[Main theorem] The constant λ₀ is introduced without an explicit dependence on the C¹-norm and inf |f'|; adding a remark on how λ₀ is determined from Zhang's constants would make the result more quantitative.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, the recognition of its significance in extending known examples of Anderson localization, and the recommendation for minor revision. We will incorporate any minor editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent external input

full rationale

The paper takes Zhang's 2024 uniform positivity of the Lyapunov exponent (for C^1 monotone f with bounded norm and inf |f'| > c) as an external, non-overlapping input. It then derives large-deviation estimates for the doubling-map cocycle and applies standard 1D localization machinery (transfer-matrix estimates, large deviations implying localization for a.e. x at large λ). The zero-mean small-λ case is handled by separate perturbative analysis. No equation or claim reduces by construction to a fitted parameter, self-definition, or self-citation chain; the cited positivity result lies outside the present paper's fitted values and is externally falsifiable.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the uniform positivity of the Lyapunov exponent established in Zhang's independent 2024 paper and on the monotonicity and small-norm conditions imposed on f; no new free parameters or invented entities are introduced beyond the threshold λ0 whose existence is asserted by the proof.

free parameters (1)

λ0
Existence threshold for large coupling above which localization holds; its value is not computed explicitly but asserted to exist for sufficiently large λ.

axioms (2)

domain assumption Uniform positivity of the Lyapunov exponent for the given class of f (Zhang 2024)
Invoked to obtain large-deviation estimates; cited as the resolution of Damanik's open problem.
domain assumption f ∈ C¹(0,1) with ||f||_C¹ < C and inf |f'| > c > 0
Used to guarantee monotonicity and control the potential variation.

pith-pipeline@v0.9.0 · 5577 in / 1488 out tokens · 56171 ms · 2026-05-13T19:10:12.210716+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
uniform positivity of the Lyapunov exponent... monotone potentials generated by the doubling map

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

[1]

21(1), 1-54 (2015)

Avila, A.:Global theory of one-frequency Schrödinger operators.Acta Math. 21(1), 1-54 (2015)

work page 2015
[2]

Avila, A., Jitomirskaya, S.:The Ten Martini problem.Ann. of Math. 170, 303-342 (2009)

work page 2009
[3]

Avila, A., Damanik, D., Zhang, Z.:Schrödinger operators with potentials generated by hyperbolic transformations: I-positivity of the Lyapunov exponent.Invent. Math. 231, 851-927 (2023)

work page 2023
[4]

Baladi, V.:Positive Transfer Operators and Decay of Correlations.World Scientific (2000)

work page 2000
[5]

Bjerklöv, K.:Positive Lyapunov exponent for some Schrödinger cocycles over strongly expanding circle endomorphisms.Comm. Math. Phys. 379, 353-360 (2020)

work page 2020
[6]

Bourgain, J.:Green’s function estimates for lattice Schrödinger operators and appli- cations.Princeton, NJ: Princeton University Press, (2005) 39

work page 2005
[7]

Bourgain, J., Bourgain-Chang, E.:A note on Lyapunov exponents of deterministic strongly mixing potentials.J. Spectr. Theory 5, 1-15 (2015)

work page 2015
[8]

Bourgain, J., Goldstein, M.:On nonperturbative localization with quasi-periodic po- tential.Ann. of Math. 152, 835-879 (2000)

work page 2000
[9]

Bourgain, J., Goldstein, M., Schlag, W.:Anderson localization for Schrödinger oper- ators onZwith potentials given by the skew-shift.Comm. Math. Phys. 220.3 583621, (2001)

work page 2001
[10]

Bourgain, J., Jitomirskaya S.:Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential.J. Stat. Phys. 108 (2002), 1203-1218

work page 2002
[11]

Bourgain, J., Schlag, W.:Anderson localization for Schrödinger operators onZwith strongly mixing potentials.Commun. Math. Phys. 215(1), 143-175 (2000)

work page 2000
[12]

Brin, M., Stuck, G.:Introduction to dynamical systems.Cambridge University Press, Cambridge (2015)

work page 2015
[13]

Carmona, R., Lacroix, J.:Spectral theory of random Schrödinger operators.Boston: Birkhäuser (1990)

work page 1990
[14]

Chulaevsky, V., Spencer, T.:Positive Lyapunov exponents for a class of deterministic potentials.Commun. Math. Phys. 168, 455-466 (1995)

work page 1995
[15]

General theory

Damanik, D., Fillman, J.:One-dimensional ergodic Schrödinger operators I. General theory. Graduate Studies in Mathematics Vol. 221, American Mathematical Society, Providence (2022)

work page 2022
[16]

Damanik, D., Killip, R.:Almost everywhere positivity of the Lyapunov exponent for the doubling map. Commun. Math. Phys. 257, 287-290 (2005)

work page 2005
[17]

In: Spectral Theory and Mathematical Physics: a festschrift in honor of Barry Simon’s 60th birthday, Proc

Damanik, D.:Lyapunov exponents and spectral analysis of ergodic Schrödinger op- erators: a survey of Kotani theory and its applications. In: Spectral Theory and Mathematical Physics: a festschrift in honor of Barry Simon’s 60th birthday, Proc. Sympos. Pure Math. 76, Part 2, Amer. Math. Soc., Providence, RI, 539-563, (2007)

work page 2007
[18]

Damanik, D., Fillman, J., Lukic, M., Yessen, W.:Characterizations of uniform hy- perbol icity and spectra of CMV matrices.Discrete Contin. Dyn. Syst. Ser. S., 9, 1009-1023, (2016)

work page 2016
[19]

Damanik, D., Fillman, J.:The almost sure essential spectrum of the doubling map model is connected.Comm. Math. Phys. 400, 793-804 (2023)

work page 2023
[20]

Figotin, A., Pastur, L.:Spectra of random and almost-periodic operators.Grundlehren der Math ematischen Wissenschaften 297, Berlin: Springer-Verlag (1992) 40

work page 1992
[21]

M.:Localization and cantor spectrum for quasiperiodic discrete Schrödinger operators with asymmetric, smooth, cosine-like sampling functions.Dis- sertation, Yale University (2022)

Forman, Y. M.:Localization and cantor spectrum for quasiperiodic discrete Schrödinger operators with asymmetric, smooth, cosine-like sampling functions.Dis- sertation, Yale University (2022)

work page 2022
[22]

Goldstein M., Schlag, W.:Hölder continuity of the integrated density of states for quasi-periodic Schrödinger equations and averages of shifts of subharmonic functions. Ann. of Math. 154, 155-203 (2001)

work page 2001
[23]

Herman, M.:Une méthode pour minorer les exposants de Lyapounov et quelques exemples montrant le caractère local d’un théorème d’Arnold et de Moser sur le tore de dimension 2.Comment. Math. Helv. 58, 453-502 (1983)

work page 1983
[24]

Jitomirskaya, S., Kachkovskiy, I.:All couplings localization for quasiperiodic operators with monotone potentials.J. Eur. Math. Soc. 21, 777-795 (2018)

work page 2018
[25]

Today 62(8), 24-29 (2009)

Lagendijk, A., Tiggelen, B., Wiersma, D.:Fifty years of Anderson localization.Phys. Today 62(8), 24-29 (2009)

work page 2009
[26]

Lin, Y., Piao, D., Guo, S.:Anderson localization for the quasi-periodic CMV matrices with Verblunsky coefficients defined by the skew-shift. J. Funct. Anal. 284(1), 1-25 (2023)

work page 2023
[27]

Nauk SSSR (N.S.) 94, 389-392 (1954)

Shnol, I.E.:On the behavior of eigenfunctions.(Russian), Doklady Akad. Nauk SSSR (N.S.) 94, 389-392 (1954)

work page 1954
[28]

Simon, B.:Spectrum and continuum eigenfunctions of Schrödinger Operators.J. Funct. Anal. 42, 66-83 (1981)

work page 1981
[29]

Sorets, E., Spencer, T.:Positive Lyapunov exponents for Schrödinger operators with quasi-periodic potentials.Comm. Math. Phys. 142, 543-566 (1991)

work page 1991
[30]

Wang, Y., Zhang, Z.:Uniform positivity and continuity of Lyapunov exponents for a class ofC 2 quasiperiodic Schrödinger cocycles.J. Funct. Anal. 268, 2525-2585 (2015)

work page 2015
[31]

Young, L.:Some open sets of nonuniformly hyperbolic cocycls.Ergodic Theory Dy- nam. Sys. 13, 409-415 (1993)

work page 1993
[32]

Zhang, G., Li, X.:Positive Lyapunov exponent for some Schrödinger cocycles over multidimensional strongly expanding torus endomorphisms.Nonlinearity 36, 401-425 (2023)

work page 2023
[33]

Zhang, Z.:Positive Lyapunov exponents for quasiperiodic Szegő cocycles.Nonlinearity 25, 1771-1797 (2012)

work page 2012
[34]

Zhang, Z.:Uniform Positivity of the Lyapunov Exponent for Monotone Potentials Generated by the Doubling Map.Comm. Math. Phys. 405: 231 (2024) 41

work page 2024