Bouncing-ball modes in ergodic billiards
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.
Related
BibTeX
@misc{li2026bouncingball,
title = {{Bouncing-ball modes in ergodic billiards}},
author = {Zhenhao Li and Maciej Zworski},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.36501},
eprint = {2609.36501},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.36501},
}
RIS
TY - UNPB
TI - Bouncing-ball modes in ergodic billiards
AU - Zhenhao Li
AU - Maciej Zworski
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2609.36501
UR - https://arxiv.org/abs/2609.36501
AB - 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.
ER -