arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0708.0255

On algebraically integrable outer billiards

S. Tabachnikov
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that if the outer billiard map around a plane oval is algebraically integrable in a certain non-degenerate sense then the oval is an ellipse.

Explore related subjects

math.DSmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. Tabachnikov. 2007-08-02. On algebraically integrable outer billiards. https://arxiv.org/abs/0708.0255

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

KEEP EXPLORING

Related papers

arXiv2026

Multiple Polynomial Recurrence in Weyl Systems

In this work we give a full characterization of sets of multiple polynomial recurrence in Weyl systems, which are ergodic unipotent affine transformations on products of tori and finite abelian groups. In particular, we show that measurable and topological recurrence in Weyl systems coincide. Our analysis also yields a structure theorem for polynomial multicorrelation sequences in Weyl systems. These results stem from an in-depth study of the Weyl complexity of a set of polynomials and the introduction of a new concept: the \textit{Weyl polynomials} generated by a set of polynomials.

math.DS↗
arXiv2026

Multipliers and Disjointness from Mixing

In 2005, Parreau proved that if a measure preserving system is not strongly mixing then it contains a non-trivial factor that is disjoint from every strongly mixing system. Taking this construction as the starting point, we develop the complementary notions of $\mathcal U$-generated and $\mathcal U$-mixing systems, for a set $\mathcal U$ of ultrafilters, and use them to recover several classical results in ergodic theory as special cases of a unified framework. We prove that a system is $\mathcal U$-mixing if and only if it is disjoint from all $\mathcal U$-generated systems. In fact, we show that if $\mathcal Y$ is a $\mathcal U$-generated system and $\mathcal Z$ is disjoint from every $\mathcal U$-mixing system, then any joining of $\mathcal Y$ and $\mathcal Z$ remains disjoint from all $\mathcal U$-mixing systems. We also show that every partially rigid system is a finite extension of some $\mathcal{U}$-generated system.

math.DS↗
arXiv2026

Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type

Let $f,g\in\mathbb{C}[z]\setminus\mathbb{C}$ and $c\in\mathbb{C}[z]$. Suppose that $\mathrm{deg}(c)=1$ if $\mathrm{deg}(f)=\mathrm{deg}(g)=1$. Using the theory of Presburger arithmetic, we prove that the rank-two recurrence set \[ S_{f,g,c}^2:=\left\lbrace(m,n)\in\mathbb{Z}_{\geq0}^2\colon \existsλ\in\mathbb{C}, f^{\circ m}(λ)=g^{\circ n}(λ)=c(λ)\right\rbrace \] is semi-linear. This is a generalization of a theorem of Yang and Zhong for the case $m=n$. We also obtain partial results on recurrence sets for rational maps. These results are related to higher-dimensional questions of dynamical Mordell--Lang type of rank $\leq2$.

math.DS↗