Polygons in billiard orbits

Henk Don

DOI: https://doi.org/10.48550/arXiv.1106.2030

2011-06-10

Abstract:We study the geometry of billiard orbits on rectangular billiards. A truncated billiard orbit induces a partition of the rectangle into polygons. We prove that thirteen is a sharp upper bound for the number of different areas of these polygons.

Number Theory

What problem does this paper attempt to address?

On the complexity of polygonal billiards

Tyll Krueger,Arnaldo Nogueira,Serge Troubetzkoy

2023-12-07

Abstract:We show that the complexity of the billiard in a typical polygon grows cubically and the number of saddle connections grows quadratically along certain subsequences. It is known that the set of points whose first n-bounces hits the same sequence of sides as the orbit of an aperiodic phase point z converges to z. We establishe a polynomial lower bound estimate on this convergence rate for almost every z. This yields an upper bound on the upper metric complexity and upper slow entropy of polygonal billiards. We also prove significant deviations from the expected convergence behavior. Finally we extend these results to higher dimensions as well as to arbitrary invariant measures.

Dynamical Systems
Periodic orbits for square and rectangular billiards

Hongjia H. Chen,Hinke M. Osinga

2024-10-25

Abstract:Mathematical billiards is much like the real game: a point mass, representing the ball, rolls in a straight line on a (perfectly friction-less) table, striking the sides according to the law of reflection. A billiard trajectory is then completely characterised by the number of elastic collisions. The rules of mathematical billiards may be simple, but the possible behaviours of billiard trajectories are endless. In fact, several fundamental theory questions in mathematics can be recast as billiards problems. A billiard trajectory is called a periodic orbit if the number of distinct collisions in the trajectory is finite. We classify all possible periodic orbits on square and rectangular tables. We show that periodic orbits on such billiard tables cannot have an odd number of distinct collisions. We also present a connection between the number of different classes of periodic orbits and Euler's totient function, which for any integer $N$ counts how many integers smaller than $N$ share no common divisor with $N$ other than $1$. We explore how to construct periodic orbits with a prescribed (even) number of distinct collisions, and investigate properties of inadmissible (singular) trajectories, which are trajectories that eventually terminate at a vertex (a table corner).

Dynamical Systems
Billiards in a circle with trajectories circumscribing a triangle

Takeo Noda,Shin-ichi Yasutomi

2023-12-25

Abstract:Dogru and Tabachnikov in 2003 explored the polygonal outer billiard map in the hyperbolic plane and introduced a class of convex polygons called 'large'. They particularly sought conditions for a triangle to be classified as large. For a large triangle, there exist two triangles that are circumscribed around it and inscribed within the unit circle. In the Klein-Beltrami model of hyperbolic geometry, we reformulate the conditions for a triangle to be classified as 'large' in a more Euclidean geometric manner. A proposed measure of its Euclidean geometric size when the triangle is considered 'large' is introduced, and an evaluation of this measure is conducted. We also provide an explicit formula for an isosceles triangle.

Dynamical Systems
On projective billiards with open subsets of triangular orbits

Corentin Fierobe

DOI: https://doi.org/10.48550/arXiv.2005.02012

2020-05-05

Dynamical Systems

Abstract:Ivrii's Conjecture states that in every billiard in Euclidean space the set of periodic orbits has measure zero. It implies that for every $k\geq2$ there are no k-reflective billiards, i.e., billiards having an open set of k-periodic orbits. This conjecture is open in Euclidean spaces, with just few partial results. It is known that in the two-dimensional sphere there exist 3-reflective billiards (Yu.M.Baryshnikov). All the 3-reflective spherical billiards were classified in a paper by V.Blumen, K.Kim, J.Nance, V.Zharnitsky: the boundary of each of them lies in three orthogonal big circles. In the present paper we study the analogue of Ivrii's Conjecture for projective billiards introduced by S.Tabachnikov. In two dimensions there exists a 3-reflective projective billiard, the so-called right-spherical billiard, which is the projection of a spherical 3-reflective billiard. We show that the only 3-reflective planar projective billiard with piecewise smooth boundary is the above-mentioned right-spherical billiard. In higher dimensions, we prove the non-existence of 3-reflective projective billiards with piecewise smooth boundary, and also the non-existence of projective billiards with piecewise smooth boundary having a subset of triangular orbits of non-zero measure in the phase space.
Examples of projective billiards with open sets of periodic orbits

Corentin Fierobe

DOI: https://doi.org/10.3934/dcds.2024059

2024-05-24

Discrete and Continuous Dynamical Systems

Abstract:In the class of projective billiards, which contains the usual billiards, we exhibit counter-examples to Ivrii's conjecture, which states that in any planar billiard with smooth boundary the set of periodic orbits has zero measure. The counter-examples are polygons admitting a 2-parameters family of -periodic orbits, with being either 3 or any even integer greater than 4.

mathematics, applied
Super-fast spreading of billiard orbits in rational polygons and geodesics on translation surfaces

J. Beck,W.W.L. Chen

2024-03-26

Abstract:In this paper, we show that billiard orbits in rational polygons and geodesics on translation surfaces exhibit super-fast spreading, an optimal time-quantitative majority property about the corresponding linear flow that implies uniformity in almost every direction.

Dynamical Systems
Dissipative outer billiards: a case study

Gianluigi Del Magno,José Pedro Gaivão,Eugene Gutkin

DOI: https://doi.org/10.48550/arXiv.1310.4724

2013-10-17

Abstract:We study dissipative polygonal outer billiards, i.e. outer billiards about convex polygons with a contractive reflection law. We prove that dissipative outer billiards about any triangle and the square are asymptotically periodic, i.e. they have finitely many global attracting periodic orbits. A complete description of the bifurcations of the periodic orbits as the contraction rates vary is given. For the square billiard, we also show that the asymptotic periodic behavior is robust under small perturbations of the vertices and the contraction rates. Finally, we describe some numerical experiments suggesting that dissipative outer billiards about regular polygon are generically asymptotically periodic.

Dynamical Systems
Polygonal billiards with one side scattering

Alexandra Skripchenko,Serge Troubetzkoy

DOI: https://doi.org/10.48550/arXiv.1306.4243

2013-06-18

Dynamical Systems

Abstract: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.
A few remarks on periodic orbits for planar billiard tables

Eugene Gutkin

DOI: https://doi.org/10.48550/arXiv.math/0612039

2006-12-02

Abstract:I announce a solution of the conjecture about the measure of periodic points for planar billiard tables. The theorem says that if $\Om\subset\R^2$ is a compact domain with piecewise $C^3$ boundary, then the set of periodic orbits for the billiard in $\Om$ has measure zero. Here I outline a proof. A complete version will appear elsewhere.

Dynamical Systems,Analysis of PDEs
Chaotic Properties of Billiards in Circular Polygons

Andrew Clarke,Rafael Ramírez-Ros

DOI: https://doi.org/10.1007/s00220-024-05113-4

IF: 2.361

2024-10-14

Communications in Mathematical Physics

Abstract:We study billiards in domains enclosed by circular polygons. These are closed strictly convex curves formed by finitely many circular arcs. We prove the existence of a set in phase space, corresponding to generic sliding trajectories close enough to the boundary of the domain, in which the return billiard dynamics is semiconjugate to a transitive subshift on infinitely many symbols that contains the full N -shift as a topological factor for any , so it has infinite topological entropy. We prove the existence of uncountably many asymptotic generic sliding trajectories approaching the boundary with optimal uniform linear speed, give an explicit exponentially big (in q ) lower bound on the number of q -periodic trajectories as , and present an unusual property of the length spectrum. Our proofs are entirely analytical.

physics, mathematical
Billiards on pythagorean triples and their Minkowski functions

Giovanni Panti

DOI: https://doi.org/10.48550/arXiv.1902.00414

2020-01-22

Abstract:It has long been known that the set of primitive pythagorean triples can be enumerated by descending certain ternary trees. We unify these treatments by considering hyperbolic billiard tables in the Poincare disk model. Our tables have m>=3 ideal vertices, and are subject to the restriction that reflections in the table walls are induced by matrices in the triangle group PSU^\pm_{1,1}\Zbb[i]. The resulting billiard map \tilde B acts on the de Sitter space x_1^2+x_2^2-x_3^2=1, and has a natural factor B on the unit circle, the pythagorean triples appearing as the B-preimages of fixed points. We compute the invariant densities of these maps, and prove the Lagrange and Galois theorems: A complex number of unit modulus has a preperiodic (purely periodic) B-orbit precisely when it is quadratic (and isolated from its conjugate by a billiard wall) over Q(i). Each B as above is a (m-1)-to-1 orientation-reversing covering map of the circle, a property shared by the group character T(z)=z^{-(m-1)}. We prove that there exists a homeomorphism Phi, unique up to postcomposition with elements in a dihedral group, that conjugates B with T; in particular Phi -- whose prototype is the classical Minkowski question mark function -- establishes a bijection between the set of points of degree <=2 over Q(i) and the torsion subgroup of the circle. We provide an explicit formula for Phi, and prove that Phi is singular and Holder continuous with exponent log(m-1) divided by the maximal periodic mean free path in the associated billiard table.

Number Theory,Dynamical Systems
Star-shaped trajectories of certain billiards around a triangle

Takeo Noda,Shin-ichi Yasutomi,Masamichi Yoshida

2024-10-09

Abstract:We explore the triangle outer billiards map in points at infinity in the hyperbolic plane, focusing on the rotation number. Building on Dogru and Tabachnikov's work, which established the conditions for triangles where the rotation number of the billiard map is $1/3$, we examine cases where the rotation number is $2/5$. We provide a sufficient condition for this rotation number and show its necessity for large isosceles triangles. The results are framed within the context of the Beltrami-Klein model. We concludes with a conjecture based on the findings.

Dynamical Systems
The maximum number of cycles in a triangular-grid billiards system with a given perimeter

Honglin Zhu

2024-04-21

Abstract:Given a (simple) grid polygon $P$ in a grid of equilateral triangles, Defant and Jiradilok considered a billiards system where beams of light bounce around inside of $P$. We study the relationship between the perimeter $\operatorname{perim}(P)$ of $P$ and the number of different trajectories $\operatorname{cyc}(P)$ that the billiards system has. Resolving a conjecture of Defant and Jiradilok, we prove the sharp inequality $\operatorname{cyc}(P) \leq (\operatorname{perim}(P) + 2)/4$ and characterize the equality cases.

Combinatorics
Chaotic properties for billiards in circular polygons

Andrew Clarke,Rafael Ramírez-Ros

2024-08-03

Abstract:We study billiards in domains enclosed by circular polygons. These are closed $C^1$ strictly convex curves formed by finitely many circular arcs. We prove the existence of a set in phase space, corresponding to generic sliding trajectories close enough to the boundary of the domain, in which the return billiard dynamics is semiconjugate to a transitive subshift on infinitely many symbols that contains the full $N$-shift as a topological factor for any $N \in \mathbb{N}$, so it has infinite topological entropy. We prove the existence of uncountably many asymptotic generic sliding trajectories approaching the boundary with optimal uniform linear speed, give an explicit exponentially big (in $q$) lower bound on the number of $q$-periodic trajectories as $q \to \infty$, and present an unusual property of the length spectrum. Our proofs are entirely analytical.

Dynamical Systems,Chaotic Dynamics
Pensive billiards, point vortices, and pucks

Theodore D. Drivas,Daniil Glukhovskiy,Boris Khesin

2024-08-07

Abstract:We define a new class of plane billiards - the `pensive billiard' - in which the billiard ball travels along the boundary for some distance depending on the incidence angle before reflecting, while preserving the billiard rule of equality of the angles of incidence and reflection. This generalizes so called `puck billiards' proposed by M.Bialy, as well as a `vortex billiard', i.e. the motion of a point vortex dipole in 2D hydrodynamics on domains with boundary. We prove the variational origin and invariance of a symplectic structure for pensive billiards, as well as study their properties including conditions for a twist map, the existence of periodic orbits, etc. We also demonstrate the appearance of both the golden and silver ratios in the corresponding hydrodynamical vortex setting. Finally, we introduce and describe basic properties of pensive outer billiards.

Dynamical Systems,Mathematical Physics,Symplectic Geometry
Deviations for generalized tiling billiards in cyclic polygons

Magali Jay

2024-02-24

Abstract:This work continues the study of tiling billiards, a class of dynamical system introduced by Davis et al. in 2018. We develop the study of generalized tiling billiards in a cyclic polygon. This work shows that the behavior of generalized tiling billiards in cyclic N-gons with N > 4 is considerably different from that of triangular and quadrilateral tiling billiards studied before. Indeed, we exhibit an open set of generalized tiling billiard trajectories deviating sublinearly from their asymptotic direction, whereas for N = 3 or 4 almost every trajectory stays at a bounded distance from a line. Moreover, we establish the rate of deviations both in the generic case and in some non generic cases.

Dynamical Systems
Upper bound on the number of collisions of pinned billiard balls

Krzysztof Burdzy,Mauricio Duarte

DOI: https://doi.org/10.48550/arXiv.2203.09013

2022-03-17

Abstract:We consider systems of "pinned balls," i.e., balls that have fixed positions and pseudo-velocities. Pseudo-velocities change according to the same rules as those for velocities of totally elastic collisions between moving balls. The times of possible pseudo-collisions for different pairs of pinned balls are chosen in an exogenous way. We give an explicit upper bound for the maximum number of pseudo-collisions for a system of $n$ pinned balls in a $d$-dimensional space. The proof is based on analysis of foldings, i.e., mappings that formalize the idea of folding a piece of paper along a crease. We prove an upper bound for the size of an orbit of a point subjected to foldings.

Dynamical Systems
Billiards in polyhedra: a method to convert 2-dimensional uniformity to 3-dimensional uniformity

J. Beck,W.W.L. Chen,Y. Yang

2024-05-29

Abstract:The class of 2-dimensional non-integrable flat dynamical systems has a rather extensive literature with many deep results, but the methods developed for this type of problems, both the traditional approach via Teichmüller geometry and our recent shortline-ancestor method, appear to be exclusively plane-specific. Thus we know very little of any real significance concerning 3-dimensional systems. Our purpose here is to describe some very limited extensions of uniformity in 2 dimensions to uniformity in 3 dimensions. We consider a 3-manifold which is the cartesian product of the regular octagonal surface with the unit torus. This is a restricted system, in the sense that one of the directions is integrable. However, this restriction also allows us to make use of a transference theorem for arithmetic progressions established earlier by Beck, Donders and Yang.

Dynamical Systems,Number Theory
Billiards in generic convex bodies have positive topological entropy

Mário Bessa,Gianluigi Del Magno,João Lopes Dias,José Pedro Gaivão,Maria Joana Torres

2024-02-21

Abstract:We show that there exists a $C^2$ open dense set of convex bodies with smooth boundary whose billiard map exhibits a non-trivial hyperbolic basic set. As a consequence billiards in generic convex bodies have positive topological entropy and exponential growth of the number of periodic orbits.

Dynamical Systems
Trees and flowers on a billiard table

Olga Paris-Romaskevich

DOI: https://doi.org/10.48550/arXiv.1907.01178

2019-09-22

Abstract:In this work we completely describe the dynamics of triangle tiling billiards. In the first part of this work, we propose a geometric approach of dynamics by introducing natural foliations associated to it. In the second part, we exploit the relationship between triangle tiling billiards and a family of fully flipped $3$-interval exchange transformations on the circle. We give a combinatorial approach of dynamics via renormalization. By uniting the two approaches, we prove several conjectures on the dynamics of triangle tiling billiards. First, we prove the Tree Conjecture and the 4n+2 Conjecture, both concerning the symbolic dynamics of periodic trajectories, and both stated by Baird-Smith, Davis, Fromm and Iyer. Second, we study a family of exceptional trajectories which are closely related to the orbits of minimal Arnoux-Rauzy maps. We prove that all of these exceptional trajectories pass by all tiles, which confirms our own conjecture with P. Hubert on their non-linear escape. Moreover, we use tiling billiards to prove the convergence, up to rescaling, of arithmetic orbits of the Arnoux-Yoccoz map to the Rauzy fractal, conjectured by Hooper and Weiss. All of these conjectures have been stated in print in the last three years.

Dynamical Systems

Polygons in billiard orbits

On the complexity of polygonal billiards

Periodic orbits for square and rectangular billiards

Billiards in a circle with trajectories circumscribing a triangle

On projective billiards with open subsets of triangular orbits

Examples of projective billiards with open sets of periodic orbits

Super-fast spreading of billiard orbits in rational polygons and geodesics on translation surfaces

Dissipative outer billiards: a case study

Polygonal billiards with one side scattering

A few remarks on periodic orbits for planar billiard tables

Chaotic Properties of Billiards in Circular Polygons

Billiards on pythagorean triples and their Minkowski functions

Star-shaped trajectories of certain billiards around a triangle

The maximum number of cycles in a triangular-grid billiards system with a given perimeter

Chaotic properties for billiards in circular polygons

Pensive billiards, point vortices, and pucks

Deviations for generalized tiling billiards in cyclic polygons

Upper bound on the number of collisions of pinned billiard balls

Billiards in polyhedra: a method to convert 2-dimensional uniformity to 3-dimensional uniformity

Billiards in generic convex bodies have positive topological entropy

Trees and flowers on a billiard table