The dynamics of a beam held on a horizontal frame by springs and bouncing off a step is described by a separable two degrees of freedom Hamiltonian system with impacts that respect, point wise, the separability symmetry. The energy in each degree of freedom is preserved, and the motion along each level set is conjugated, via action angle coordinates, to a geodesic flow on a flat two-dimensional surface in the four dimensional phase space. Yet, for a range of energies, these surfaces are not the simple Liouville-Arnold tori - these are tori of genus two, thus the motion on them is not conjugated to simple rotations. Namely, even though energy is not transferred between the two degrees of freedom, the impact system is quasi-integrable and is not of the Liouville-Arnold type. In fact, for each level set in this range, the motion is conjugated to the well studied and highly non-trivial dynamics of directional motion in L-shaped billiards, where the billiard area and shape as well as the direction of motion vary continuously on iso-energetic level sets. Return maps to Poincaré section of the flow are shown to be conjugated, on each level set, to interval exchange maps which are computed, up to quadratures, in the general nonlinear case and explicitly for the case of two linear oscillators bouncing off a step. It is established that for any such oscillator-step system there exist step locations for which some of the level sets exhibit motion which is neither periodic nor ergodic. Changing the impact surface by introducing additional steps, staircases, strips and blocks from which the particle is reflected, leads to iso-energy surfaces that are foliated by families of genus-k level set surfaces, where the number and order of families of genus k depend on the energy.
We study polygonal billiards with one-sided vertical mirror scattered on a square billiard table. We associate trajectories of these kinds of billiards with double rotations and study orbit behavior and questions of complexity.
We prove that a polygonal billiard with one-sided mirrors has zero topological entropy. In certain cases we show sub exponential and for other polynomial estimates on the complexity.
It is well-known that billiards in polygons cannot be chaotic (hyperbolic). Particularly Kolmogorov-Sinai entropy of any polygonal billiard is zero. We consider physical polygonal billiards where a moving particle is a hard disc rather than a point (mathematical) particle and show that typical physical polygonal billiard is hyperbolic at least on a subset of positive measure and therefore has a positive Kolmogorov- Sinai entropy for any positive radius of the moving particle (provided that the particle is not so big that it cannot move within a polygon). This happens because a typical physical…
We prove that the natural invariant surface associated with the billiard game on an irrational polygonal table is homeomorphic to the Loch Ness monster, that is, the only orientable infinite genus topological real surface with exactly one end.
We show that in a typical polygon the billiard map as well as its associated subshift obtained by coding orbits by the sequence of sides they visit are topologically weakly mixing.
We introduce the class of piecewise convex transformations, and study their complexity. We apply the results to the complexity of polygonal billiards on surfaces of constant curvature.
We introduce a new equivalence relation on the set of all polygonal billiards. We say that two billiards (or polygons) are order equivalent if each of the billiards has an orbit whose footpoints are dense in the boundary and the two sequences of footpoints of these orbits have the same combinatorial order. We study this equivalence relation with additional regularity conditions on the orbit.
We study polygonal billiards with reflection laws contracting the reflected angle towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic SRB measures whose basins cover a set of full Lebesgue measure.
We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail.
We establish a relationship between the word complexity and the number of generalized diagonals for a polygonal billiard. We conclude that in the rational case the complexity function has cubic upper and lower bounds. In the tiling case the complexity has cubic asymptotic growth.
We discuss the interplay between the piece-line regular and vertex-angle singular boundary effects, related to integrability and chaotic features in rational polygonal billiards. The approach to controversial issue of regular and irregular motion in polygons is taken within the alternative deterministic and stochastic frameworks. The analysis is developed in terms of the billiard-wall collision distribution and the particle survival probability, simulated in closed and weakly open polygons, respectively. In the multi-vertex polygons, the late-time wall-collision events result in the circular-l…
In this article, we study polygonal symplectic billiards. We provide new results, some of which are inspired by numerical investigations. In particular, we present several polygons for which all orbits are periodic. We demonstrate their properties and derive various conjectures using two numerical implementations.
We prove polynomial upper bounds for the deviation of ergodic averages for the straight line flow on every translation surface in almost every direction, in particular for those surfaces arising from rational polygonal billiards.
We consider the set of polygons all of whose sides are vertical or horizontal with fixed combinatorics (for example all the figure "L"s). We show that there is a dense G $δ$ subset of such polygons such that for each polygon in this G $δ$ set the billiard flow is weakly-mixing in almost every direction.
We introduce a new method for estimating the growth of various quantities arising in dynamical systems. We apply our method to polygonal billiards on surfaces of constant curvature. For instance, we obtain power bounds of degree two plus epsilon in length for the number of billiard orbits between almost all pairs of points in a planar polygon.
Two polygons $P,Q$ are code equivalent if there are billiard orbits $u,v$ which hit the same sequence of sides and such that the projections of the orbits are dense in the boundaries $\partial P, \partial Q$. Our main results show when code equivalent polygons have the same angles, resp. are similar, resp. affinely similar.
For a given rotation number we compute the Hausdorff dimension of the set of well approximable numbers. We use this result and an inhomogeneous version of Jarnik's theorem to show strong recurrence properties of the billiard flow in certain polygons
A formal definition of a (mathematical) polygonal Andreev billiard and a construction of an equivalence relation that captures the dynamics described in physical toy model of Andreev reflection are given. The continuous flow and discrete flow on the respective phase spaces. It is then shown that the continuous flow preserves the absolute value of the volume element $dx\wedge dy\wedge dθ$ and the billiard (collision) map preserves the measure $\cos ϕdr dϕ$, respectively. One can then characterize the dynamics of a rational polygonal Andreev billiard table. Finally, a discussions of the effect o…
\textsc{J. Hadamard} studied the geometric properties of geodesic flows on surfaces of negative curvature, thus initiating "Symbolic Dynamics". In this article, we follow the same geometric approach to study the geodesic trajectories of billiards in "rational polygons" on the hyperbolic plane. We particularly show that the billiard dynamics resulting thus are just 'Subshifts of Finite Type' or their dense subsets. We further show that 'Subshifts of Finite Type' play a central role in subshift dynamics and while discussing the topological structure of the space of all subshifts, we demonstrate …
In this paper, we discuss rotation number on the invariant curve of a one parameter family of outer billiard tables. Given a convex polygon $η$, we can construct an outer billiard table $T$ by cutting out a fixed area from the interior of $η$. $T$ is piece-wise hyperbolic and the polygon $η$ is an invariant curve of $T$ under the billiard map $ϕ$. We will show that, if $β$ is a periodic point under the outer billiard map with rational rotation number $τ= p / q$, then the $n$th iteration of the billiard map is not the local identity at $β$. This proves that the rotation number $τ$ as a function…
The bounce spectrum of a polygonal billiard table is the collection of all bi-infinite sequences of edge labels corresponding to billiard trajectories on the table. We give methods for reconstructing from the bounce spectrum of a polygonal billiard table both the cyclic ordering of its edge labels and the sizes of its angles. We also show that it is impossible to reconstruct the exact shape of a polygonal billiard table from any finite collection of finite words from its bounce spectrum.
Consider two $k$-gons $P$ and $Q$. We say that the billiard flows in $P$ and $Q$ are homotopically equivalent if the set of conjugacy classes in the fundamental group of $P$ which contain a periodic billiard orbit agrees with the analogous set for $Q$. We study this equivalence relationship and compare it to the equivalence relations, order equivalence and code equivalence, introduced in \cite{BT1,BT2}. In particular we show if $P$ is a rational polygon, and $Q$ is homotopically equivalent to $P$, then $P$ and $Q$ are similar, or affinely similar if all sides of $P$ are vertical and horizontal…
We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lips…
We describe Veech groups of flat surfaces arising from irrational angled polygonal billiards or irreducible stable abelian differentials. For irrational polygonal billiards, we prove that these groups are non-discrete subgroups of SO(2,R) and we calculate their rank.
We introduce a new notion of stability for periodic orbits in polygonal billiards. We say that a periodic orbit of a polygonal billiard is $λ$-stable if there is a periodic orbit for the corresponding pinball billiard which converges to it as $λ$ $\rightarrow$ 1. This notion of stability is unrelated to the notion introduced by Galperin, Stepin and Vorobets. We give sufficient and necessary conditions for a periodic orbit to be $λ$-stable and prove that the set of d-gons having at most finite number of $λ$-stable periodic orbits is dense is the space of d-gons. Moreover, we also determine comp…
We study the notion of Fagnano orbits for dual polygonal billiards. We used them to characterize regular polygons and we study the iteration of the developing map.
We consider polygonal billiards and we show the uniqueness of coding of non-periodic billiard trajectories in polygons whose holes have non-zero minimal diameters, generalising a theorem of Galperin, Krüger and Troubetzkoy.
We study the recurrence and ergodicity for the billiard on noncompact polygonal surfaces with a free, cocompact action of $\Z$ or $\Z^2$. In the $\Z$-periodic case, we establish criteria for recurrence. In the more difficult $\Z^2$-periodic case, we establish some general results. For a particular family of $\Z^2$-periodic polygonal surfaces, known in the physics literature as the wind-tree model, assuming certain restrictions of geometric nature, we obtain the ergodic decomposition of directional billiard dynamics for a dense, countable set of directions. This is a consequence of our results …
Rigid bodies collision maps in dimension two, under a natural set of physical requirements, can be classified into two types: the standard specular reflection map and a second which we call, after Broomhead and Gutkin, no-slip. This leads to the study of no-slip billiards--planar billiard systems in which the moving particle is a disc (with rotationally symmetric mass distribution) whose translational and rotational velocities can both change at each collision with the boundary of the billiard domain. In this paper we greatly extend previous results on boundedness of orbits (Broomhead and Gutk…
Outer Billiards is a geometrically inspired dynamical system based on a convex shape in the plane. When the shape is a polygon, the system has a combinatorial flavor. In the polygonal case, there is a natural acceleration of the map, a first return map to a certain strip in the plane. The arithmetic graph is a geometric encoding of the symbolic dynamics of this first return map. In the case of the regular octagon, the case we study, the arithmetic graphs associated to periodic orbits are polygonal paths in R^8. We are interested in the asymptotic shapes of these polygonal paths, as the period …
In a previous paper we defined a class of non-compact polygonal billiards, the infinite step billiards: to a given decreasing sequence of non-negative numbers $\{p_{n}$, there corresponds a table $\Bi := \bigcup_{n\in\N} [n,n+1] \times [0,p_{n}]$. In this article, first we generalize the main result of the previous paper to a wider class of examples. That is, a.s. there is a unique escape orbit which belongs to the alpha and omega-limit of every other trajectory. Then, following a recent work of Troubetzkoy, we prove that generically these systems are ergodic for almost all initial velocities,…
A planar polygonal billiard $¶$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $¶$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to $A$ meets one of the $B_i$'s. As a counter-example to a theorem of Hiemer and Snurnikov, we construct a family of rational billiards that lack the finite blocking property.
In this paper we define and study the billiard problem on bounded regions on surfaces of constant curvature. We show that this problem defines a 2-dimensional conservative and reversible dynamical system, defined by a Twist diffeomorphism, if the boundary of the region is an oval. Using these properties and defining good perturbations for billiards, we show, in this new version, that having only a finite number of nondegenerate periodic orbits for each fixed period is an open property for billiards on surfaces of constant curvature and a dense one on the Euclidean and the hyperbolic planes. Fo…
In the paper we discuss Fomenko conjecture on realization of topology of topology of Liouville foliaions of smooth and real-analytic integrable Hamiltonian systems by integrable billiards. Vedyushkina-Kharcheva algorithm of 3-atom realization by billiard books is described clearly in the terms of $f$-graphs. Note, that an arbitrary type of base of Liouville foliation on the whole isoenergy surface was also realized by V. Vedyushkina and I. Kharcheva algorithm. In this paper this algorithm is visually applied to realization of a well-known Zhukovskii integrable system (Euler system with a gyros…
In a Hamiltonian system with impacts (or "billiard with potential"), a point particle moves about the interior of a bounded domain according to a background potential, and undergoes elastic collisions at the boundaries. When the background potential is identically zero, this is the hard-wall billiard model. Previous results on smooth billiard models (where the hard-wall boundary is replaced by a steep smooth billiard-like potential) have clarified how the approximation of a smooth billiard with a hard-wall billiard may be utilized rigorously. These results are extended here to models with smoo…
In an ordinary billiard trajectories of a Hamiltonian system are elastically reflected after a collision with a hypersurface (scatterer). If the scatterer is a submanifold of codimension more than one, we say that the billiard is degenerate. Degenerate billiards appear as limits of systems with singularities in celestial mechanics. We prove the existence of trajectories of such systems shadowing trajectories of the corresponding degenerate billiards. This research is motivated by the problem of second species solutions of Poincaré.
In an ordinary billiard system trajectories of a Hamiltonian system are elastically reflected after a collision with a hypersurface (scatterer). If the scatterer is a submanifold of codimension more than one, we say that the billiard is degenerate. Then collisions are rare. We study trajectories of degenerate billiards which have an infinite number of collisions with the scatterer. Degenerate billiards appear as limits of systems with elastic reflections or as limits of systems with singularities in celestial mechanics. We prove the existence of trajectories of such systems shadowing trajector…
In 1978 Jurgen Moser suggested the outer billiards map (Tangent map) as a discontinuous model of Hamiltonian dynamics. A decade earlier, J.B. Jackson and his colleagues at Bell Labs were trying to understand the source of self-sustaining oscillations in digital filters. Some of the discrete mappings used to describe these filters show a remarkable ability to 'shadow' the Tangent map when the polygon in question is regular. In this paper we describe a specific digital filter map (Df) that appears to have dynamics which are conjugate to the Tangent map for a regular N-gon with N even. When N is …
A class of Hamiltonian impact systems exhibiting smooth near integrable behavior is presented. The underlying unperturbed model investigated is an integrable, separable, 2 degrees of freedom mechanical impact system with effectively bounded energy level sets and a single straight wall which preserves the separable structure. Singularities in the system appear either as trajectories with tangent impacts or as singularities in the underlying Hamiltonian structure (e.g. separatrices). It is shown that away from these singularities, a small perturbation from the integrable structure results in smo…
Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutkin's KAM result, as well as Mather's converse KAM result, to wire billiards. We address the notion of caustics: for wire billiards, it corresponds to striction curve of the ruled surface spanned by the…
A planar polygonal billiard $¶$ is said to have the finite blocking property if for every pair $(O,A)$ of points in $¶$ there exists a finite number of ``blocking'' points $B_1, ..., B_n$ such that every billiard trajectory from $O$ to $A$ meets one of the $B_i$'s. Generalizing our construction of a counter-example to a theorem of Hiemer and Snurnikov (see \cite{Mo}), we show that the only regular polygons that have the finite blocking property are the square, the equilateral triangle and the hexagon. Then we extend this result to translation surfaces. We prove that the only Veech surfaces wit…
Universitat Politècnica de Catalunya（加泰罗尼亚理工大学）；Centre de Recerca Matemàtica（数学研究中心）；Forschungsinstitut für Mathematik, ETH Zürich（苏黎世联邦理工学院数学研究所）；ETH Zürich（苏黎世联邦理工学院）
We study billiard dynamics inside an ellipse for which the axes lengths are changed periodically in time and an $O(δ)$-small quartic polynomial deformation is added to the boundary. In this situation the energy of the particle in the billiard is no longer conserved. We show a Fermi acceleration in such system: there exists a billiard trajectory on which the energy tends to infinity. The construction is based on the analysis of dynamics in the phase space near a homoclinic intersection of the stable and unstable manifolds of the normally hyperbolic invariant cylinder $Λ$, parameterised by the e…
The study of polygonal billiards, particularly those in the regular pentagon, has been the subject of two recent papers. One of these papers approaches the problem of discovering the periodic trajectories on the pentagon by identifying slopes of periodic directions with points in the Poincaré disk generated by hyperbolic isometric transformations. The other approach, coming from the other paper, transforms the double pentagon into a rectilinear translation surface called the 'golden L', where periodic directions are generated by a set of matrices associated with this surface in a special way. …
