arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.26441

Uniformly hyperbolic strictly convex billiards

Wentao Fan·Boris Hasselblatt
View original source ↗Read source document ↗Export metadata ↓

Abstract

Can a strictly convex billiard be ergodic? For the billiard in a suitable intersection of two circles, we establish \emph{uniform} expansion of vectors in an invariant cone family under the return to a well-chosen section. This is the first and most onerous step towards a forthcoming proof of ergodicity (the Chen--Mohr--Zhang--Zhang conjecture) and statistical properties. Together, this appears to be the first time that a strictly convex billiard is shown to be ergodic.

Explore related subjects

math.DSmath-phmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wentao Fan, Boris Hasselblatt. 2026-10-19. Uniformly hyperbolic strictly convex billiards. https://arxiv.org/abs/2610.26441

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

KEEP EXPLORING

Related papers

arXiv2026

An Algebraic Approach to Periodicity and Complexity of Delone Sets

We study the connection between local complexity and periodicity of Delone sets using an algebraic approach based on annihilators, that is, finite linear relations between translations of a configuration. We model colored Delone sets (Delone multisets) as $\mathbb{R}^d$-configurations, that is, functions on $\mathbb{R}^d$ with finite range, and extend the notions of annihilators and periodizers from $\mathbb{Z}^d$-configurations to the geometric setting of Delone sets. Our main results describe the structure imposed by the existence of non-trivial annihilators. We show that any $\mathbb{R}^d$-configuration admitting non-trivial annihilators has an annihilator of a particularly simple form, namely a product of finitely many difference operators corresponding to translations in pairwise rationally independent directions. We further improve this result and prove that for configurations supported on Delone sets of finite local complexity (FLC), the corresponding directions can be chosen pairwise linearly independent over $\mathbb{R}$. As a consequence of the existence of the special annihilator, we show that $\mathbb{R}^d$-configurations with annihilators admit a decomposition into finitely many components that are periodic in pairwise rationally independent directions. Moreover, we connect local complexity with algebraic structure by proving that Meyer sets with sufficiently slow patch complexity growth have low pattern complexity and hence admit non-trivial annihilators. Finally, we establish a sufficient and necessary condition under which the existence of suitable annihilators forces periodicity of $\mathbb{R}^d$-configurations supported on FLC Delone sets.

math.DS↗
arXiv2026

Extreme value theorem for geodesic flow on the quotient of the theta group

We establish an extreme value theorem for the geodesic flow $g_t$ on the hyperbolic surface $Θ\backslash\mathbb{H}^2$ associated with the theta group $Θ$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd--odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross-section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $Θ\backslash\mathbb{H}^2$.

math.DS↗
arXiv2026

Asymmetry of a class of Mellin transforms

We consider a class of Mellin transforms $μ_η$ associated with a class of functions $η$, defined for every complex $s$ in the critical strip. We establish sufficient conditions on $η$ under which $μ_η(s)$ and $μ_η(1-s)$ cannot both vanish outside the critical line for sufficiently large imaginary parts of $s$. An application is given to the case in which $η$ is the fractional part function, for which the zeros of $μ_η$ coincide with the zeros of the Riemann zeta function.

math.DS↗