Search arXivSearch

arXiv · 2508.15142

Outer symplectic billiard map at infinity

Abstract

We show that the second iteration $T^2$ of the outer symplectic billiard map with respect to a convex domain $M$ in a symplectic vector space is approximated by an explicit Hamiltonian flow for points far away from $M$. More precisely, denote by $N$ the symplectic polar dual of the symmetrization $M\ominus M$ of $M$. If we write $N$ as the unit level set of a 1-homogeneous function $H$, then the difference between $T^2$ and the time-2-Hamiltonian flow of $H$ applied to a point $x$ is smaller than $c/|x|$ for some constant $c$ depending only on $M$. Moreover, we show that if an orbit escapes to infinity, then its distance to the origin grows not faster than $\sqrt{k}$ in the number of iterations. Finally, we prove that a $k$-periodic orbit needs to be close, in terms of $k$, to $M$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Peter Albers, Ana Chavez Caliz, Serge Tabachnikov. 2025-08-21. Outer symplectic billiard map at infinity. https://arxiv.org/abs/2508.15142

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

KEEP EXPLORING

Related papers

Surjectivity of real-linear Cauchy--Riemann operators: from the minimal Harder--Narasimhan slope to automatic transversality

This paper relates the minimal Harder--Narasimhan slope to the surjectivity of real-linear Cauchy--Riemann operators. We establish a conformally invariant $L^2$ criterion and an asymptotic slope criterion, which yield higher-rank automatic transversality criteria for pseudoholomorphic curves beyond the classical rank-one framework. Applications to pseudoholomorphic spheres in $S^6$ provide quantitative $L^2$ obstructions to the integrability of almost complex structures.

math.SG

Welschinger invariants and the Conway polynomial

Welschinger showed that counts of connected holomorphic disks with Lagrangian boundary in symplectic 6-manifolds, meeting at least one boundary constraint, can be made invariant by correcting them with counts of disconnected disks weighted by certain "self-linking" numbers. We show his invariant is the lowest order term in an all-genus curve count where curves are weighted by the Conway polynomials of their boundaries. This in turn is a specialization of the skein-valued curve count, but can be defined without the 4-chain and vector field used in that setup.

math.SG

KAM splittings and equidistributed periodic orbits for stable hypersurfaces

We show that any stable hypersurface of a symplectic $4$-manifold, on which the cohomology class of the symplectic form restricts to a multiple of a rational class, can be $C^\infty$-approximated by (possibly unstable) hypersurfaces whose closed characteristics equidistribute. The cohomological condition is necessary due to a famous example of Herman. The proof combines KAM theory with recent quantitative closing lemmas for Reeb flows and area-preserving maps. As a further application, we prove that every geodesible volume-preserving vector field on a closed three-manifold can be $C^\infty$-approximated by volume-preserving vector fields with equidistributed periodic orbits.

math.SG