arXiv Science⌕ Search

arXiv · 2610.24848

Interior caustics and rigidity near noncircular ellipses

Abstract

We prove local rigidity near every fixed noncircular ellipse from integrable rational caustics in an arbitrary nonempty open rotation interval $I\subset(0,1/2)$. For each fixed $r>11/2$ and bound on the $H^r$ norm of the elliptic graph displacement, every sufficiently $C^1$-small positively curved perturbation admitting such caustics at all rational rotations in $I$ is an ellipse. A fixed $C^6$ bound may replace the Sobolev bound, with $C^1$ smallness retained. The caustic hypothesis can be restricted to a suitably chosen sequence of rational rotations in $I$ with any prescribed rational $ρ_*\in I$ as its unique accumulation point, together with finitely many supplementary rotations in $I$; this family depends only on the reference ellipse, interval, and anchor. The main linear result classifies all real $L^2$ displacements satisfying the constant rational orbit-sum equations throughout $I$ as infinitesimal ellipse deformations, and establishes their analyticity and rational continuation in the complexified boundary parameter. The proof combines analytic continuation and elimination of monodromy with quantitative caustic estimates, finite detection, and Fourier interpolation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guan HUANG. 2026-10-17. Interior caustics and rigidity near noncircular ellipses. https://arxiv.org/abs/2610.24848

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

KEEP EXPLORING

Related papers

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↗

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↗

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↗