Anderson Localization for Schrödinger Operators with Monotone Potentials Generated by the Doubling Map

Abstract: In this paper, we consider the Schrö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} + λ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<sup>{1}(0,1)$ with $ |f|<em>{C^{1}(0,1)} &lt; C $ and $ \inf</em>{x \in (0,1)} |f^{\prime}(x)| &gt; c&gt;0 $, we obtain the large deviation estimate and prove that for a.e. $x \in \mathbb{T}$ and sufficiently large $ λ&gt; λ_{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 $λ$.

• The paper proves that one-dimensional Schrödinger operators with monotone C1 potentials exhibit pure point spectrum and exponential decay of eigenfunctions for large coupling.
• It employs a polar decomposition of transfer matrices and leverages the doubling map's strong mixing to secure uniform positivity of the Lyapunov exponent and precise large deviation estimates.
• The analysis extends Anderson localization to deterministic settings with minimal smoothness, rigorously eliminating double resonances and establishing Hölder continuity for the spectral measures.

Anderson Localization for Schrödinger Operators with Monotone Potentials Generated by the Doubling Map

Introduction and Context

The paper (2604.02839) presents a rigorous analysis of Anderson localization for the family of one-dimensional discrete Schrödinger operators acting on $\ell^2(\mathbb{Z}_+)$ with potentials generated via monotone, generally non-smooth sampling functions composed with the doubling map, $T(x) = 2x \bmod 1$. The main focus is the thorough extension of localization theory to settings involving singular sampling functions and deterministic ergodic potentials, leveraging the strong mixing properties inherent in the doubling map.

In contrast to traditional models with smooth (e.g., analytic) or random potentials, the work handles monotone $C^1$ potentials which may possess jump discontinuities at specific points, significantly broadening the spectrum of operators for which Anderson localization can be established. The results are deeply influenced by Zhang’s recent resolution of Damanik's open problem regarding the uniform positivity of the Lyapunov exponent for this model.

Main Results

The authors provide a robust proof that the operators

$$(H(x)u)_n = u_{n+1} + u_{n-1} + \lambda f(2^n x) u_n, \qquad u_{-1} = 0,$$

exhibit pure point spectrum and exponentially decaying eigenfunctions for almost every $x \in \mathbb{T}$ and for sufficiently large $\lambda$. This is achieved for sampling functions $f$ that are monotone, $C^1$ on $(0,1)$, with possibly a jump at $0$, satisfying a uniform lower bound on $T(x) = 2x \bmod 1$0 and a bounded $T(x) = 2x \bmod 1$1 norm.

Key numerical and structural claims:

• Uniform Positivity of Lyapunov Exponent: For all energies $T(x) = 2x \bmod 1$2 and large enough $T(x) = 2x \bmod 1$3, the Lyapunov exponent satisfies $T(x) = 2x \bmod 1$4, uniformly.
• Large Deviation Estimates: The transfer matrices exhibit large deviation estimates of the form

$T(x) = 2x \bmod 1$5

holding for all $T(x) = 2x \bmod 1$6.

• Hölder Continuity: The Lyapunov exponent $T(x) = 2x \bmod 1$7 is Hölder continuous in $T(x) = 2x \bmod 1$8, with

$T(x) = 2x \bmod 1$9

• Elimination of Double Resonances: The measure of the double resonance set is exponentially small in $C^1$0 for any large $C^1$1.
• Localization at Large Coupling: Under minimal regularity assumptions, the method yields Anderson localization for all sufficiently large $C^1$2, extending to cases where $C^1$3 has zero mean for small $C^1$4 as well.

Technical Approach

Handling Non-Smooth Potentials

The analysis departs from prior work by accommodating potentials with only local $C^1$5 regularity and a jump at a single discontinuity. This is handled via a careful decomposition aligning with the dyadic structure imposed by the doubling map, honoring the monotonicity and leveraging the strong mixing property to circumvent difficulties caused by lack of global regularity.

Cocycle and Polar Representation

A central technical tool is the representation of the transfer matrix cocycle $C^1$6 in polar coordinates. By a diagonal similarity transformation followed by explicit decomposition, the cocycle is expressed in scaled-rotational form, with rotation angles evolving according to deterministic, nonuniformly hyperbolic dynamics. Properties such as the strong mixing of $C^1$7 are crucial in establishing quantitative control over angle evolution and the effective independence of observations across scales.

Large Deviation Estimates

The derivation of large deviation estimates is fundamentally non-perturbative, adapting ideas from Bourgain-Schlag to the setting of strong coupling and singular $C^1$8. Exponential moment estimates are obtained by constructing appropriate block decompositions and controlling the Martingale differences for functions regular except at a finite number of discontinuity points. These are critical for producing sharp probability tail bounds for transfer matrix growth.

Elimination of Double Resonances

The argument identifies and bounds the "double resonance set"—parameter configurations allowing potential breakdown of exponential decay—by combining independence at large dyadic time separations (due to the doubling map) with careful regularity and measure estimates on bad sets. The resulting measure is shown to be super-exponentially small in $C^1$9, ensuring that eigenfunctions decay exponentially almost everywhere.

Hölder Regularity and Avalanche Principle

Regularity of the Lyapunov exponent is established via the avalanche principle, relating norms of long transfer matrices to those of shorter blocks and leveraging the exponential mixing of $$(H(x)u)_n = u_{n+1} + u_{n-1} + \lambda f(2^n x) u_n, \qquad u_{-1} = 0,$$0. The result demonstrates robust continuity with explicit scaling in the coupling.

Implications and Future Directions

The findings have several implications for the spectral theory of deterministic Schrödinger operators:

• Substantial Expansion of the Class of Localized Potentials: The methods demonstrate that Anderson localization extends to deterministic, strongly mixing potentials, even with minimal smoothness and discrete discontinuities, provided monotonicity is enforced.
• Non-Perturbative and Strong Coupling Regimes: The analysis transcends the perturbative/small-coupling framework predominant in previous localization results for deterministic potentials, enabling results at arbitrarily large $$(H(x)u)_n = u_{n+1} + u_{n-1} + \lambda f(2^n x) u_n, \qquad u_{-1} = 0,$$1.
• Sharp Quantitative Estimates: The techniques yield polynomial–exponential deviation bounds, uniform Lyapunov positivity, and explicit Hölder exponents, facilitating possible numerical investigations into spectral gaps and nature of the spectrum in these models.

From a theoretical perspective, the study offers a template for transferring probabilistic notions (such as large deviation theory) to deterministic ergodic systems with strong mixing, expanding potential applications to other hyperbolic maps and pseudorandom models.

Potential future developments include:

• Extension to Multi-Frequency or Higher-Dimensional Hyperbolic Maps: The approach can be adapted to potentials generated by other expanding maps or multi-dimensional toral automorphisms, where the interplay between ergodicity and localization is subtler.
• Fine Analysis of the Integrated Density of States (IDS): Since Hölder continuity is established for the IDS, further work could analyze finer spectral properties such as the existence of spectral gaps or Cantor spectra.
• Correlation with Physical Models: Applications to physical contexts where deterministic diffusion and localization phenomena intersect, especially in engineered waveguides or synthetic lattice systems with engineered spectrum.

Conclusion

This work accomplishes a substantial advance in the rigorous understanding of Anderson localization in deterministic, strongly mixing environments with monotone non-smooth potentials generated via the doubling map. It bridges recent quantitative positivity results on Lyapunov exponents with the full proof of localization, extending methodological reach significantly beyond previous perturbative or smooth settings. The analysis introduces refined probabilistic techniques into dynamical systems-driven operator theory and positions the doubling map model as a canonical setting for understanding deterministic disorder and spectral localization.