Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.36501

Bouncing-ball modes in ergodic billiards

Zhenhao Li·Maciej Zworski
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.SPmath-phmath.APmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhenhao Li, Maciej Zworski. 2026-09-29. Bouncing-ball modes in ergodic billiards. https://arxiv.org/abs/2609.36501

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

KEEP EXPLORING

Related papers

arXiv2026

Hölder continuity and Fourier asymptotics of spectral measures for 1D Schrödinger operators under exponentially decaying perturbations

We establish $\frac{1}{2}$-Hölder continuity, or even the Lipschitz property, for the spectral measures of half-line discrete Schrödinger operators under suitable boundary conditions and sufficiently fast polynomially decaying small potentials. These are the first known examples, apart from the free case, of Schrödinger operators with Lipschitz continuous spectral measures up to the spectral edge, a property obtained here as a consequence of the Dirichlet boundary condition. Notably, we show that the asymptotic behavior of the time-averaged quantum return probability, either $\log (t) / t$ or $1 / t$, as in the case of the free Laplacian, remains unchanged in this setting. Furthermore, we prove the persistence of the purely absolutely continuous spectrum and the $\frac{1}{2}$-Hölder continuity of the spectral measures for (Diophantine) quasi-periodic operators under exponentially decaying small perturbations. These results are optimal and hold for all energies, up to the border of the absolutely continuous spectrum.

math.SP↗
arXiv2026

Periodic graph operators with reducible dispersion polynomials for all potentials

We give a complete characterization of periodic graph operators whose dispersion polynomials are reducible for every potential. Consequently, the reducibility dichotomy for parameter-dependent Laurent polynomials implies that, for every other periodic graph operator, the dispersion polynomial, and hence the Bloch variety, is irreducible for generic potentials. Our proof proceeds through two reductions. We first use the monodromy of the roots of the dispersion polynomial with respect to the potential parameters to reduce the problem to the splitting case. We then show that the splitting property passes to the principal submatrices of the Floquet matrix, reducing the problem further to the case that the fundamental domain contains two vertices.

math.SP↗
arXiv2026

The Dry Ten Martini Problem for subcritical Type I operators

We supply the details of the subcritical dry Ten Martini statement announced in [6, Remark 1.3]: for every irrational frequency, every subcritical Type I energy with resonant rotation number is an endpoint of an open spectral gap. The proof combines the all-frequency Puig argument developed there with quantitative almost reducibility. A different proof was recently given by Li [7].

math.SP↗