pith. sign in

arxiv: 2311.09643 · v5 · submitted 2023-11-16 · 🧮 math.DS · math.MG

Aperiodic points for outer billiards

Anton Belyi , Alexei Kanel-Belov , Philipp Rukhovich , Vladlen Timorin This is my paper

Pith reviewed 2026-05-24 06:12 UTC · model grok-4.3

classification 🧮 math.DS math.MG
keywords outer billiardsaperiodic pointsregular polygonsdynamical systemsEuclidean planebilliard mapsperiodic orbitssingular set
0
0 comments X

The pith

Regular polygons except triangles, squares and hexagons have aperiodic points under outer billiards.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the Euclidean outer billiard map around a regular n-gon, for n not equal to 3, 4 or 6, admits points whose entire forward orbit consists of distinct, well-defined images. These aperiodic points lie outside the polygon and never hit the lines extending its sides under iteration. The result directly resolves a question posed by R. Schwartz at the 2022 ICM by exhibiting infinite non-repeating orbits in the exterior dynamics. A reader would care because it shows that the map fails to be periodic on an open set of starting positions, separating the behavior of these polygons from the fully periodic cases of triangles, squares and hexagons.

Core claim

Euclidean outer billiard on a regular polygon (that is not a triangle, square or a hexagon) has aperiodic points, i.e., points where all iterates of the outer billiard map are defined and yield pairwise distinct images. This result answers a question of R. Schwartz posed at ICM 2022.

What carries the argument

The outer billiard map, which sends an exterior point x to the unique point T(x) such that the segment xT(x) is tangent to the polygon at its midpoint.

If this is right

  • Aperiodic points exist for every regular pentagon.
  • The outer billiard map is not everywhere periodic outside these polygons.
  • The singular set does not capture every orbit that begins outside the polygon.
  • The distinction between periodic and aperiodic exterior dynamics depends on the number of sides.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same conclusion may extend to certain irregular polygons whose rotational symmetry is preserved.
  • Aperiodic points could serve as starting locations for studying whether some orbits are dense in annular regions around the polygon.
  • The result separates the dynamical classification of regular polygons into the three periodic cases and all remaining n.

Load-bearing premise

There exist points outside the polygon whose entire forward orbit under the outer billiard map avoids the singular set of lines extending the sides.

What would settle it

An explicit orbit computation for the regular pentagon in which every starting point either eventually hits a singular line or enters a periodic cycle.

Figures

Figures reproduced from arXiv: 2311.09643 by Alexei Kanel-Belov, Anton Belyi, Philipp Rukhovich, Vladlen Timorin.

Figure 1
Figure 1. Figure 1: Outer billiard map on a regular pentagon Π. Here, the vertices of Π are the roots of unity ζ k , where ζ = exp(2πi/5). The domain dom(f) is the union of the 5 sectors Vk, and the map fΠ acts on Vk as the half-turn about ζ k . Theorem 1.1. Outer billiard on any regular N-gon with N > 4 and N ̸= 6 has aperiodic points. Theorem 1.1 is proved by rather general methods, which may be applicable to wider classes … view at source ↗
Figure 2
Figure 2. Figure 2: Left: the vassal polygon Π† , strip 0 and strip −1. Right: the polygon Π and the piece A0 for N = 8. the numbering of the vertices follows their cyclic order in the boundary of A0, see [PITH_FULL_IMAGE:figures/full_fig_p023_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The action of the map g = gX on X. Left: components of dom(g). Right: their g-images. length λ0 + λ ′ = 1 sin θ 2 = 2 λ0 , which gives an expression for λ ′ in terms of λ0. In the sequel, we will need an expression for λ ′ in terms of λ0 and ζ. One can use the relation ζ + ζ −1 = 2 − λ 2 0 , in which the left-hand side is equal to 2 cos θ, and the right-hand side follows from the well-known expression for … view at source ↗
Figure 4
Figure 4. Figure 4: The domain of find. Left: N = 10, middle: N = 14, right: N = 18 (the corresponding values of m are 4, 6, and 8, respectively). Dashed lines are the axes of the reflections v0 and vk with k = 1, . . . , m + 1. Proof. First, we make several observations. The intersection V0∩S−kV−k is nonempty if and only if k < N+1 2 , that is, if k ⩽ m + 1. It follows that V0 ∩ S−kV−k, for k = 1, . . . , m + 1, tile the sec… view at source ↗
Figure 5
Figure 5. Figure 5: Pieces Qk of U. Symmetry axes of U and of all Qk are shown as dashed lines. This figure is simply a zoom-in of [PITH_FULL_IMAGE:figures/full_fig_p032_5.png] view at source ↗
read the original abstract

Euclidean outer billiard on a regular polygon (that is not a triangle, square or a hexagon) has aperiodic points, i.e., points where all iterates of the outer billiard map are defined and yield pairwise distinct images. This result answers a question of R. Schwartz posed at ICM 2022.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the Euclidean outer billiard map on a regular n-gon (n ≠ 3,4,6) admits aperiodic points: points whose forward orbits under the map are everywhere defined and consist of pairwise distinct points. The construction uses symmetry of the polygon together with the irrationality of the rotation angle 2π/n to produce an invariant curve whose entire forward orbit remains in the complement of the singular set (the lines extending the sides and all their images). This resolves a question posed by R. Schwartz at ICM 2022.

Significance. If the result holds, it supplies a concrete, symmetry-based construction of aperiodic orbits for outer billiards on most regular polygons, thereby answering an open question in piecewise-isometric dynamics. The argument gives explicit credit to the irrational rotation and the avoidance of the singular set via an open invariant set, providing a falsifiable example rather than an existence proof by contradiction.

minor comments (2)
  1. The statement of the main theorem (presumably Theorem 1.1 or equivalent) could explicitly record that the constructed points lie in an open set whose forward orbit under the piecewise-isometric map stays in the regular domain; this would make the avoidance argument easier to locate.
  2. A short remark comparing the n=5 case with the known periodic behavior for n=4 would help readers situate the result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; proof is self-contained

full rationale

The manuscript proves existence of aperiodic points for outer billiards on regular n-gons (n≠3,4,6) by explicit construction of an open set of initial points whose forward orbits under the piecewise-isometric map remain in the regular domain, using symmetry of the polygon and irrationality of the rotation angle 2π/n to guarantee avoidance of the singular set (extensions of sides and their images). No parameters are fitted to data, no quantities are defined in terms of the target result, and no load-bearing step reduces to a self-citation or ansatz imported from the authors' prior work. The argument is a direct dynamical-systems construction that stands independently of the claim itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no indication of free parameters or invented entities; relies on standard math.

axioms (1)
  • standard math Standard properties of Euclidean geometry and regular polygons
    The result is based on standard mathematical assumptions about the plane and symmetry.

pith-pipeline@v0.9.0 · 5576 in / 1149 out tokens · 36368 ms · 2026-05-24T06:12:56.996311+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 3 internal anchors

  1. [1]

    Ashwin, W

    P. Ashwin, W. Chambers, and G. Petkov. Lossless digital filter overflow oscillations; approximation of invariant fractals. International Journal of Bifurcation and Chaos , 7(11):2603--2610, 1997

    work page 1997

  2. [2]

    Adler, B

    R. Adler, B. Kitchens, and C. Tresser. Dynamics of non-ergodic piecewise affine maps of the torus. Ergodic Theory and Dynamical Systems , 21(4):959--999, 2001

    work page 2001

  3. [3]

    P. Arnoux. \'E changes d’intervalles et flots sur les surfaces. Ergodic theory (Sem., Les Plans-sur-Bex, 1980) , pages 5--38, 1981

    work page 1980

  4. [4]

    P. Ashwin. Non-smooth invariant circles in digital overflow oscillations. In Proceedings of the 4th International Workshop on Nonlinear Dynamics and Electronic Systems, Sevilla , pages 417--422, 1996

    work page 1996

  5. [5]

    Bedaride and J

    N. Bedaride and J. Cassaigne. Outer billiard outside regular polygons. Journal of the London Mathematical Society , 84(2):303--324, 2011

    work page 2011

  6. [6]

    L. O. Chua and T. Lin. Chaos in digital filters. IEEE Transactions on Circuits and Systems , 35(6):648--658, 1988

    work page 1988

  7. [7]

    L. O. Chua and T. Lin. Chaos and fractals from third-order digital filters. International journal of circuit theory and applications , 18(3):241--255, 1990

    work page 1990

  8. [8]

    A.C. Davies. Geometrical analysis of digital-filter overflow oscillations. In [Proceedings] 1992 IEEE International Symposium on Circuits and Systems , volume 1, pages 256--259. IEEE, 1992

    work page 1992

  9. [9]

    M. M. Day. Polygons circumscribed about closed convex curves. Transactions of the American Mathematical Society , 62(2):315--319, 1947

    work page 1947

  10. [10]

    Applications du th \'e oreme des tores invariants

    R Douady. Applications du th \'e oreme des tores invariants. These de 3xeme cycle . PhD thesis, PhD thesis, Universit \'e Paris VII, 1982

    work page 1982

  11. [11]

    Dogru and S

    F. Dogru and S. Tabachnikov. Dual billiards. The Mathematical Intelligencer , 27(4):18--25, 2005

    work page 2005

  12. [12]

    D. Genin. Regular and chaotic dynamics of outer billiards . The Pennsylvania State University, 2005

    work page 2005

  13. [13]

    A. Goetz. Dynamics of piecewise isometries . Illinois Journal of Mathematics , 44(3):465 -- 478, 2000

    work page 2000

  14. [14]

    A. Goetz. Piecewise isometries --- an emerging area of dynamical systems. In Peter Grabner and Wolfgang Woess, editors, Fractals in Graz 2001 , pages 135--144, Basel, 2003. Birkh \"a user Basel

    work page 2001

  15. [15]

    Gutkin and N

    E. Gutkin and N. Simanyi. Dual polygonal billiards and necklace dynamics. Communications in Mathematical Physics , 143(3):431--449, January 1992

    work page 1992

  16. [16]

    E. Hecke. \"U ber die B estimmung D irichletscher R eihen durch ihre F unktionalgleichung. Mathematische Annalen , 112(1):664--699, 1936

    work page 1936

  17. [17]

    G.H. Hughes. Outer billiards, digital filters and kicked hamiltonians. arXiv preprint arXiv:1206.5223 , 2012

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  18. [18]

    G.H. Hughes. Outer billiards on regular polygons. arXiv preprint arXiv:1311.6763 , 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  19. [19]

    G.H. Hughes. First families of regular polygons and their mutations. arXiv preprint arXiv:1612.09295 , 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  20. [20]

    G.H. Hughes. The edge geometry of regular polygons -- part 1. arXiv preprint arXiv:2103.06800 , 2021

    work page arXiv 2021

  21. [21]

    Kolmogorov and S.V

    A.N. Kolmogorov and S.V. Fomin. Introductory Real Analysis . Dover Books on Mathematics. Dover Publications, 1975

    work page 1975

  22. [22]

    Ko odziej

    R. Ko odziej. The antibilliard outside a polygon. Bull. Polish Acad. Sci. Math. , 37(1-6):163--168, 1989

    work page 1989

  23. [23]

    Kocarev, C

    L. Kocarev, C. W. Wu, and L. Choa. Complex behavior in digital filters with overflow nonlinearity: analytical results. IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing , 43(3):234--246, 1996

    work page 1996

  24. [24]

    J. H. Lowenstein and F. Vivaldi. Renormalizable two-parameter piecewise isometries. Chaos: An Interdisciplinary Journal of Nonlinear Science , 26(6), June 2016

    work page 2016

  25. [25]

    J. H. Lowenstein and F. Vivaldi. Renormalization of one-parameter families of piecewise isometries. Dynamical Systems , 31(4):393--465, April 2016

    work page 2016

  26. [26]

    J. Moser. Is the solar system stable? The Mathematical Intelligencer , 1(2):65--71, June 1978

    work page 1978

  27. [27]

    J. Moser. Stable and random motions in dynamical systems: With special emphasis on celestial mechanics , volume 1. Princeton university press, 2001

    work page 2001

  28. [28]

    Sharing ham and eggs

    B Neumann. Sharing ham and eggs. Iota, Manchester University , pages 14--18, 1959

    work page 1959

  29. [29]

    Ogorza ek

    M. Ogorza ek. Complex behavior in digital filters. International Journal of Bifurcation and Chaos , 2(01):11--29, 1992

    work page 1992

  30. [30]

    Rukhovich

    Ph. Rukhovich. Outer billiards outside regular polygons: tame case. Izvestiya: Mathematics , 86(3):508--559, 2022

    work page 2022

  31. [31]

    C.-H. Sah. Scissors congruences of the interval. preprint , 1981

    work page 1981

  32. [32]

    R. E. Schwartz. Unbounded orbits for outer billiards. Journal of Modern Dynamics , 1:371--424, 2007

    work page 2007

  33. [33]

    R. E. Schwartz. Outer Billiards on Kites ( AM -171) . Princeton University Press, December 2009

    work page 2009

  34. [34]

    Schwartz

    R.E. Schwartz. The Octagonal PETs . American Mathematical Society, July 2014

    work page 2014

  35. [35]

    Schwartz

    R.E. Schwartz. The Plaid Model . Princeton University Press, February 2019

    work page 2019

  36. [36]

    Schwartz

    R.E. Schwartz. Survey lecture on billiards. 2021

    work page 2021

  37. [37]

    Tabachnikov

    S. Tabachnikov. Dual billiards. Russian Mathematical Surveys , 48(6):81--109, December 1993

    work page 1993

  38. [38]

    Tabachnikov

    S. Tabachnikov. On the dual billiard problem. Advances in Mathematics , 115(2):221--249, October 1995

    work page 1995

  39. [39]

    Tabachnikov

    S. Tabachnikov. Geometry and billiards , volume 30. American Mathematical Soc., 2005

    work page 2005

  40. [40]

    Vorobets

    Ya. Vorobets. On the commutator group of the group of interval exchange transformations. Proceedings of the Steklov Institute of Mathematics , 297(1):285--296, May 2017

    work page 2017

  41. [41]

    Vivaldi and A

    F. Vivaldi and A. V. Shaidenko. Global stability of a class of discontinuous dual billiards. Communications in Mathematical Physics , 110(4):625--640, December 1987

    work page 1987

  42. [42]

    R. Yu, X. Fu, K. Wang, and Z. Chen. Dynamical behaviors and codings of invertible planar piecewise isometric systems. Nonlinear Analysis: Theory, Methods & Applications , 72(9-10):3575--3582, 2010

    work page 2010