arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.17139

(Sharp arithmetic) localization beyond transversality

Svetlana Jitomirskaya·Netanel Levi·Tom Stoiber
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove sharp arithmetic localization for one-dimensional quasiperiodic potentials with jump discontinuities, beyond uniform transversality. Our results include every non-constant $C^1$ monotone sampling function, even with arbitrarily large flat regions, and also certain non-monotone potentials. A key new mechanism is a symbolic unique-continuation principle: first-return words to the region where $f'>0$ have no common Dirichlet resonance, forcing eigenfunction mass to transfer away from flat or negatively sloped regions and recovering quantitative monotonicity of finite-volume eigenvalue branches.

Explore related subjects

math.SPmath-phmath.DSmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Svetlana Jitomirskaya, Netanel Levi, Tom Stoiber. 2026-10-12. (Sharp arithmetic) localization beyond transversality. https://arxiv.org/abs/2610.17139

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Optimization Inverse Spectral Problem for the Schrödinger Operator on a Compact Graph

We study the optimization inverse spectral problem (OISP) for the first $m$ eigenvalues of the Schrödinger operator on a compact metric graph. We prove the existence of a solution for every strictly increasing finite set of prescribed eigenvalues. On a graph without cycles, we obtain a representation of the optimal correction as a linear combination of squared eigenfunctions, provided that the selected eigenvalues are simple and separated from the next eigenvalue. On a graph with cycles, under the same simplicity and separation assumptions, we obtain a strong limiting representation of the optimal potential in terms of eigenfunctions of approximating operators. For a graph with a cycle, we give a counterexample with simple eigenvalues and linearly dependent squared eigenfunctions. We also prove that linear dependence of the squares of nonzero restrictions to an edge of eigenfunctions corresponding to distinct eigenvalues forces the potential on that edge to have an analytic representative

math.SP↗
arXiv2026

Square-Root Profiles and Sharp Fourier Decay of Quasiperiodic Spectral Measures

We study spectral measures of one-dimensional quasiperiodic Schrödinger operators. For subcritical Schrödinger operator with Diophantine frequency, we prove sharp measurable-set bounds, answering a question of Avila and Jitomirskaya \cite{AJ}; we prove optimal Fourier decay and the sharp decay order of the time-averaged quantum return probability, confirming a conjecture of Aloisio, Carvalho, and de Oliveira \cite{ACO} and a prediction of Zhong and Mosseri \cite{ZhongMosseri}. For the subcritical almost Mathieu operator, we establish summable square-root envelopes for the spectral density, with an optimal density-one formulation of the lower bound, thereby answering a question of Avila \cite{Aqi}. These results follow from a general theorem for reflectionless measures under a summable square-root Craig-type condition. We establish an exact residue expansion of the squared Borel transform, which connects local density blow-up with long-time averaged return probabilities: the endpoint residues determine both the square-root edge profiles and the leading coefficient of the time-averaged return probability.

math.SP↗
arXiv2026

Bouncing-ball modes in ergodic billiards

We show that for a horizontally stretched Bunimovich billiard, for almost every stretching parameter, there exists a sequence of eigenfunctions concentrating in the rectangular part. Thanks to the work of Markarian--Oliffson Kamphorst--Pinto de Carvalho, we know that for an open set of parameters such billiards are ergodic. The proof is a result of interaction with ChatGPT 6: we were curious if it could establish the existence of bouncing ball modes for Bunimovich or Sinai billiards. That was not successful until we suggested varying the wings. That produced an essentially complete argument for the existence of quasimodes. We then suggested using Hassell's parameter-variation argument which led to the result about eigenfunctions. The argument was then significantly simplified and clarified by the authors.

math.SP↗