pith. machine review for the scientific record. sign in

arxiv: 2605.08393 · v1 · submitted 2026-05-08 · 🧮 math.DS · math.AT· math.GT

Recognition: 2 theorem links

· Lean Theorem

Straight-line trajectories on the Mucube

Andre Oliveira, Chandrika Sadanand, Felipe A. Ram\'irez, Sunrose T. Shrestha

Pith reviewed 2026-05-12 01:36 UTC · model grok-4.3

classification 🧮 math.DS math.ATmath.GT
keywords Mucubestraight-line flowperiodic directionsVeech grouphalf-translation surfaceinfinite-type surfaceSL(2,Z) subgroupdensity of directions
0
0 comments X

The pith

Straight-line flow on the Mucube is periodic precisely in directions given by a genus-one quotient and an infinitely generated subgroup of SL(2,Z).

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

The paper gives a complete description of the directions on the Mucube in which straight-line trajectories close up into periodic orbits. It does so first by relating the infinite surface to a simpler genus-one quotient surface and second by exhibiting an infinitely generated subgroup of SL(2,Z) that encodes the same information. The same subgroup yields the Veech group of the Mucube, and both periodic directions and ergodic directions turn out to be dense. These results apply to an infinite, Z^3-periodic half-translation surface built from squares, so they address flows on non-compact surfaces where classical compact-surface techniques do not directly apply.

Core claim

The set of directions in which the straight line flow is periodic on the Mucube is characterized first in terms of a genus one quotient and second in terms of an infinitely generated subgroup of SL_2(Z). The latter characterization determines the Veech group of the Mucube, and the sets of periodic and ergodic directions are both dense.

What carries the argument

The genus-one quotient together with the infinitely generated subgroup of SL_2(Z), which together classify the periodic directions of the straight-line flow using only the Mucube's rigid symmetries.

If this is right

  • The Veech group of the Mucube is obtained directly from the subgroup characterization.
  • Periodic directions are dense among all possible directions.
  • Ergodic directions are dense among all possible directions.
  • Periodic and drift orbits admit a geometric description in terms of the Mucube's rigid symmetries.

Where Pith is reading between the lines

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

  • The reduction to a genus-one quotient may apply to other infinite Z^3-periodic half-translation surfaces.
  • The subgroup description offers a concrete way to compute affine diffeomorphisms on similar infinite surfaces.
  • Density of periodic directions implies that the set of directions with bounded orbits is large in the circle of directions.

Load-bearing premise

The Mucube admits a straight-line flow whose periodic orbits and drift orbits are completely determined by its rigid symmetries and the genus-one quotient, without additional hidden periodic components.

What would settle it

A direction in which the straight-line flow is periodic but is not captured by the periodic directions of the genus-one quotient or by the described subgroup of SL_2(Z) would falsify the characterization.

Figures

Figures reproduced from arXiv: 2605.08393 by Andre Oliveira, Chandrika Sadanand, Felipe A. Ram\'irez, Sunrose T. Shrestha.

Figure 1
Figure 1. Figure 1: Two infinite settings to study the linear flow. Figures taken from [18] and [21] respectively. Since then, straight line trajectories on translation surfaces have greatly interested many authors, spurring several deep results on the dynamics and statistics of trajectories on translation surfaces. For instance, it is known that a certain class of compact translation surfaces called Veech surfaces (surfaces … view at source ↗
Figure 2
Figure 2. Figure 2: The Mucube and its fundamental domain. 1.1 Main results Given a point x ∈ M and a direction v ∈ TxM, we ask whether the straight-line trajectory passing through x in direction v is periodic. We specify v by identifying the square face in which x lies with the unit square [0, 1]2 ⊂ R 2 and reporting the components v = (p, q) with respect to that identification. (It is a consequence of the symmetries of M th… view at source ↗
Figure 3
Figure 3. Figure 3: A part of the Necker Cube surface with periodic and drifting trajectories. Figure taken from [ [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The shifted fundamental domain F ′ The following lemma states that we can map any face of M onto any other face of M with a rigid motion of M, and we can do the same with the cone points. Lemma 4.2. 1. The action of G is transitive on the set of faces of M; the stabilizer of every face of M under the action of G has order 2 and is generated by the π-rotation about the normal line through the center of that… view at source ↗
Figure 5
Figure 5. Figure 5: The unfolding L of a linear trajec￾tory O ⊂ M and the square faces through which O passes. In green, the maximal Z 2 - avoiding strip SL containing L. The darker gray square is [0, 1]2 ⊂ R 2 . Notice that if Ox,V is periodic, then the image of L in R 2/Z 2 is a closed linear trajectory in the torus, that is, there exist integers (q, p) with gcd(p, q) = 1 such that L is mapped to itself by the translation T… view at source ↗
Figure 6
Figure 6. Figure 6: Positions of x, w, y, z, from the proof of Corollary 6.5, and w ′ , y′ , z′ from Remark 6.1. In blue, the line bisecting the line segments xw and yz. In red, the line bisecting the line segments xw′ and y ′z ′ . Note that the red line does not intersect M. The fact that every maximal cylinder in the Mu￾cube has area 4 has a few important consequences. One of these consequences is that the core curves of cy… view at source ↗
Figure 7
Figure 7. Figure 7: The fundamental domain F0 with the curves basic curves I, J and K labelled. Now Theorem 6.1 tells us that the periodic directions in the Mu￾cube can only be those directions in which there is a decomposition of X into cylinders of area 4, each of whose core curve passes through the center points of four square faces of X. However, not all such directions lift as periodic directions in the Mucube M. For ins… view at source ↗
Figure 8
Figure 8. Figure 8: Genus 3 to genus 1 quotient Note then that I, J, K are identified in Y as a single curve γ0. To a path in Y , we associate its algebraic intersection number i = #{upward crossings of γ0} − #{downward crossings of γ0}. Each time a path in X (or M) crosses any of I, J, K in the pos￾itive direction, the projected path in Y crosses γ0 in the upward direction, and vice versa, hence we have i = a + b + c (12) wh… view at source ↗
Figure 9
Figure 9. Figure 9: O and TV (O) are shown together with the cylinders in direction V as well as the interior of the cylinder containing O. We now define the process through which two periodic directions give rise to a third. This process in the definition below is equivalent to the applica￾tion of multiple distinct left Dehn twists to a given periodic trajectory. Definition 1. Let V be a periodic direction and fix an orienta… view at source ↗
Figure 10
Figure 10. Figure 10: A trajectory with slope 1/4 shown on a region of the Mucube. Note that this is the same trajectory as in Fig￾ure 6. 2 A priori, the process described above results in a piece-wise linear loop. However, since the cylinders are parallel (all in direction V ), the new linear segments are parallel as well. Indeed, this forms a periodic straight line trajectory. See [PITH_FULL_IMAGE:figures/full_fig_p019_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The number of cylinders that O passes through and the length of a segment of T 2 V (O) within a single cylinder. Next, in each cylinder that O passes through, the length of the segment of T k V (O) contained in that cylinder is given by (see Figure 11b), p (width V ) 2 + (k · length V + cot(θ) · width V ) 2. Therefore, length T k V (O) = sin(θ) · length O width V · p (width V ) 2 + (k · length V + cot(θ) … view at source ↗
Figure 12
Figure 12. Figure 12: Schematic showing Ck developed in R 2 along with the segment Ok of the trajectory O. In Part (2), we ensure that the trajectory O stays within the cylinder Ck for at least one length of the cylinder such that the point p is within ϵ of the cone point o. In Part (3), we need to ensure that the trajectory O stays within the cylinder for at least twice the length of the cylinder so that there is a point p ϵ … view at source ↗
Figure 13
Figure 13. Figure 13: Examples of some translation and half-translation surfaces: The two surfaces on the left are [PITH_FULL_IMAGE:figures/full_fig_p026_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: Examples of half-translation surfaces and their minimal translation covers. [PITH_FULL_IMAGE:figures/full_fig_p027_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Example of a half-translation square-tiled surface with a choice of rela￾tive homology generators. Next we recall the notion of relative and absolute homology in the setting of surfaces tiled by squares. The first homology relative to the vertices has two uses in our work: providing an intersection form and a way to specify ramified covering maps from M to X or Y . These two tools will be used heavily in … view at source ↗
Figure 16
Figure 16. Figure 16: Square-tiled representation of the genus 3 surface [PITH_FULL_IMAGE:figures/full_fig_p030_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Square-tiled repre￾sentation of the genus 1 surface Y . Consider first the surface X pictured in Figure 2a. After some cuts, translations by vectors in 2Z and pasting, we see that X is made out of unit squares (see Figure 16a). Moreover, when the squares are laid out on the plane as in Figure 16b, we see that X is a square-tiled half-translation surface with eight cone points each of angle 3π. The half-tr… view at source ↗
Figure 18
Figure 18. Figure 18: Topological surface corresponding to the building block of the Mucube [PITH_FULL_IMAGE:figures/full_fig_p031_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Generators of the fundamental group of X z x z c x [PITH_FULL_IMAGE:figures/full_fig_p032_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: A lift of z −1x −1 czx is shown in M. Reading concatenation from right to left and starting at the bottom left corner, one can see the shown curve matches the given element. 1⟩. The Mucube is the cover of X corresponding to the kernel K of ι∗, therefore, π1(M) = K. We will show that K is generated by elements that are freely homotopic to horizontal and vertical curves. From the inclusion ι : X → T 3 , it … view at source ↗
Figure 21
Figure 21. Figure 21: Homology of Y Now let σ be the homology class of γ(1,0), the core curve of the horizontal cylinder. Note that σ ∈ H1(Y, Z). Let η ∈ H1(Y, Z) be the homology class of core curve of the area 1 cylinder in the (1,1) direction as shown in [PITH_FULL_IMAGE:figures/full_fig_p033_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: Rational slopes p q (with |p|, |q| ≤ 230) on the unit circle. Each ray from the center of the disk represents a periodic slope while the points not associated to rays represent drift-periodic rational slopes. Proof. First we note that V (M, X) = D(Aff(M, X)) < V (X) = V (Y ) since for any ( ˜f, f) ∈ Aff(M, X), D( ˜f) = D(f) ∈ V (X) = V (Y ). Similarly, we note that V (M, X) < V (M). Now, let N ∈ V (M, X).… view at source ↗
read the original abstract

The dynamics of straight line flows on compact half-translation surfaces (surfaces formed by gluing Euclidean polygons edge-to-edge via translations possibly composed with rotation by $\pi$) has been widely studied due to their connections to polygonal billiards and Teichm\"uller theory. However, much less is known when the underlying surface is non-compact or infinite type. In this paper, we consider the straight line flow of the Mucube -- an infinite $\mathbb{Z}^3$-periodic half-translation square-tiled surface -- first written about by Coxeter and Petrie and more recently studied by Athreya--Lee and Guti\'errez-Romo--Lee--S\'anchez. We give a geometric description of the flow's periodic and drift orbits in terms of the Mucube's rigid symmetries, and we give a complete characterization of the set of directions in which the straight line flow is periodic on the Mucube -- first in terms of a genus one quotient and second in terms of an infinitely generated subgroup of $\mathrm{SL}_2(\mathbb{Z})$. We use the latter characterization to obtain the Veech group (i.e. group of derivatives of affine diffeomorphisms) of the Mucube. Finally, we prove density of the sets of periodic and ergodic directions.

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

2 major / 3 minor

Summary. The paper studies straight-line flows on the Mucube, an infinite Z^3-periodic half-translation square-tiled surface. It gives a geometric description of periodic and drift orbits via the surface's rigid symmetries, provides complete characterizations of periodic directions first via a genus-one quotient and second via an infinitely generated subgroup of SL_2(Z), derives the Veech group from the subgroup, and proves density of the periodic and ergodic directions.

Significance. If the characterizations and proofs hold, the work provides a valuable explicit example of dynamics on an infinite-type surface, extending results from compact half-translation surfaces. The two explicit characterizations directly address potential concerns about hidden periodic components by reducing via Z^3-periodicity to the quotient while encoding extra directions in the subgroup; the resulting Veech group and density statements offer concrete, falsifiable predictions that can benchmark general theories in Teichmüller dynamics and billiards.

major comments (2)
  1. [§4] §4 (subgroup characterization): the proof that the subgroup of SL_2(Z) is infinitely generated is load-bearing for the Veech group computation and the density claims, but the manuscript does not explicitly rule out the possibility that the generators arising from the rigid symmetries and quotient lifts could satisfy a finite set of relations that would make the group finitely generated.
  2. [§6] §6 (density of ergodic directions): the argument that directions outside the subgroup yield ergodic flow relies on the subgroup being a proper subset whose complement is dense, but it is not shown that the infinite-type nature of the Mucube does not introduce additional invariant measures or non-ergodic components for some directions in the complement.
minor comments (3)
  1. [Introduction] The introduction should clarify how the current characterizations extend the prior results of Athreya--Lee and Gutiérrez-Romo--Lee--Sánchez, with explicit comparison of the periodic direction sets.
  2. [Notation and §3] Notation for the genus-one quotient and the lifted flow should be made uniform across sections to avoid ambiguity when passing between the Mucube and the quotient.
  3. [Figures] Figure captions for illustrations of periodic orbits should include explicit direction vectors or slopes to aid verification of the characterizations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed and constructive report. The comments highlight important points for clarification in the subgroup generation and ergodicity arguments. We address each major comment below and will incorporate revisions to strengthen the exposition while preserving the core results.

read point-by-point responses

  1. Referee: [§4] §4 (subgroup characterization): the proof that the subgroup of SL_2(Z) is infinitely generated is load-bearing for the Veech group computation and the density claims, but the manuscript does not explicitly rule out the possibility that the generators arising from the rigid symmetries and quotient lifts could satisfy a finite set of relations that would make the group finitely generated.

    Authors: We appreciate the referee drawing attention to the need for explicitness here. Section 4 constructs the subgroup Γ as the group generated by the derivatives of the rigid symmetries of the Mucube together with the lifts of the Veech group of the genus-one quotient surface. The proof that Γ is infinitely generated proceeds by exhibiting an infinite collection of distinct parabolic elements (arising from periodic directions on independent cycles in the quotient) whose fixed points on the circle are pairwise distinct and cannot be obtained from one another by finite words in a finite generating set. This independence is encoded in the action on the homology of the quotient. Nevertheless, to eliminate any ambiguity about possible hidden relations, we will add a short lemma in the revised manuscript that explicitly verifies the generators are not finitely related by comparing their traces and the lengths of the corresponding periodic orbits. This addition will make the infinite generation fully rigorous and self-contained. revision: partial

  2. Referee: [§6] §6 (density of ergodic directions): the argument that directions outside the subgroup yield ergodic flow relies on the subgroup being a proper subset whose complement is dense, but it is not shown that the infinite-type nature of the Mucube does not introduce additional invariant measures or non-ergodic components for some directions in the complement.

    Authors: We thank the referee for this observation. The argument in §6 first uses the subgroup characterization to identify the periodic directions, then shows that the complement is dense in the circle. For directions outside Γ, the straight-line flow projects to an irrational rotation on the genus-one quotient, which is ergodic with respect to Lebesgue measure. Because the Mucube is a Z^3-periodic cover, any invariant probability measure on the Mucube must descend to an invariant measure on the quotient; the only possibilities are the Lebesgue measure or measures supported on periodic orbits, but the latter are ruled out by the direction lying outside Γ. The infinite-type structure is therefore completely reduced to the finite-type quotient via periodicity, precluding additional ergodic components. To address the concern more explicitly, we will insert a brief paragraph in the revised §6 that spells out this descent argument and notes that any hypothetical extra measure would contradict the density of periodic directions already proved in §5. This will make the reduction from infinite to finite type fully transparent. revision: partial

Circularity Check

0 steps flagged

No significant circularity; characterizations derived from external geometry and standard facts

full rationale

The paper derives its complete characterization of periodic directions for the straight-line flow on the Mucube first via a genus-one quotient and second via an infinitely generated subgroup of SL_2(Z), then obtains the Veech group and proves density of periodic/ergodic directions. These steps rest on the surface's explicit Z^3-periodicity, rigid symmetries, and standard results from translation surface theory rather than reducing by construction to quantities defined from the claims themselves. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear in the stated derivation chain; the results are self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper relies on standard background results from Teichmüller theory and the dynamics of translation surfaces; no new free parameters, ad-hoc axioms, or invented entities are introduced beyond the already-studied Mucube itself.

pith-pipeline@v0.9.0 · 5574 in / 1232 out tokens · 39581 ms · 2026-05-12T01:36:43.250558+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    J. S. Athreya and D. Aulicino. A trajectory from a vertex to itself on the dodecahedron.Amer. Math. Monthly, 126(2):161–162, 2019. 6

    work page 2019

  2. [2]

    J. S. Athreya, D. Aulicino, and W. P. Hooper. Platonic solids and high genus covers of lattice surfaces. Exp. Math., 31(3):847–877, 2022. With an appendix by Anja Randecker. 6

    work page 2022

  3. [3]

    J. S. Athreya and D. Lee. Translation covers of some triply periodic Platonic surfaces.Conform. Geom. Dyn., 25:34–50, 2021. 4, 5

    work page 2021

  4. [4]

    Avila and P

    A. Avila and P. Hubert. Recurrence for the wind-tree model.Ann. Inst. H. Poincaré Anal. Non Linéaire, 37(1):1–11, 2020. 7

    work page 2020

  5. [5]

    Chapoton, D

    F. Chapoton, D. Davis, V. Delecroix, O. Fontaine, C. Fougeron, L. Jeffreys, S. Lelièvre, J. Rüth, I. Yakovlev, and C. Zhang. surface-dynamics, Feb. 2025. 30

    work page 2025

  6. [6]

    H. S. M. Coxeter. Regular Skew Polyhedra in Three and Four Dimension, and their Topological Analogues.Proc. London Math. Soc. (2), 43(1):33–62, 1937. 4

    work page 1937

  7. [7]

    Davis, V

    D. Davis, V. Dods, C. Traub, and J. Yang. Geodesics on the regular tetrahedron and the cube.Discrete Math., 340(1):3183–3196, 2017. 6

    work page 2017

  8. [8]

    Delecroix

    V. Delecroix. Divergent trajectories in the periodic wind-tree model.J. Mod. Dyn., 7(1):1–29, 2013. 7 40

    work page 2013

  9. [9]

    Delecroix, P

    V. Delecroix, P. Hubert, and S. Lelièvre. Diffusion for the periodic wind-tree model.Ann. Sci. Éc. Norm. Supér. (4), 47(6):1085–1110, 2014. 7

    work page 2014

  10. [10]

    Fedosova

    K. Fedosova. Spectral and dynamical invariants of hecke triangle groups via transfer operators, 2025. 6, 25, 39

    work page 2025

  11. [11]

    Frączek and P

    K. Frączek and P. Hubert. Recurrence and non-ergodicity in generalized wind-tree models.Math. Nachr., 291(11-12):1686–1711, 2018. 7

    work page 2018

  12. [12]

    Frączek and C

    K. Frączek and C. Ulcigrai. Non-ergodic $\mathbb{z}$-periodic billiards and infinite translation sur- faces.Inventiones mathematicae, 197(2):241–298, 2014. 3

    work page 2014

  13. [13]

    D. Fuchs. Geodesics on regular polyhedra with endpoints at the vertices.Arnold Math. J., 2(2):201–211,

    work page

  14. [14]

    Gutiérrez-Romo, D

    R. Gutiérrez-Romo, D. Lee, and A. Sanchez. Kontsevich–Zorich monodromy groups of translation covers of some platonic solids.Groups Geom. Dyn., 19(3):1129–1163, 2025. 4

    work page 2025

  15. [15]

    W. Hooper. The invariant measures of some infinite interval exchange maps.Geometry & Topology, 19:1895–2038, 2015. 6, 7, 39

    work page 2038

  16. [16]

    W. P. Hooper. An infinite surface with the lattice property I: Veech groups and coding geodesics.Trans. Amer. Math. Soc., 366(5):2625–2649, 2014. 3

    work page 2014

  17. [17]

    W. P. Hooper. An infinite surface with the lattice property II: Dynamics of pseudo-Anosovs.J. Mod. Dyn., 14:243–276, 2019. 3

    work page 2019

  18. [18]

    W. P. Hooper, P. Hubert, and B. Weiss. Dynamics on the infinite staircase.Discrete Contin. Dyn. Syst., 33(9):4341–4347, 2013. 3, 6

    work page 2013

  19. [19]

    W. P. Hooper and P. Javornik. The necker cube surface, 2023. 6

    work page 2023

  20. [20]

    W. P. Hooper and B. Weiss. Generalized staircases: recurrence and symmetry.Ann. Inst. Fourier (Grenoble), 62(4):1581–1600, 2012. 3, 27

    work page 2012

  21. [21]

    Hubert, S

    P. Hubert, S. Lelièvre, and S. Troubetzkoy. The Ehrenfest wind-tree model: periodic directions, recur- rence, diffusion.J. Reine Angew. Math., 656:223–244, 2011. 3, 6

    work page 2011

  22. [22]

    Hubert and T

    P. Hubert and T. A. Schmidt. An introduction to Veech surfaces. InHandbook of dynamical systems. Volume 1B, pages 501–526. Amsterdam: Elsevier, 2006. 29

    work page 2006

  23. [23]

    Katok.Fuchsian groups

    S. Katok.Fuchsian groups. Chicago: The University of Chicago Press, 1992. 29

    work page 1992

  24. [24]

    Lelièvre, T

    S. Lelièvre, T. Monteil, and B. Weiss. Everything is illuminated.Geom. Topol., 20(3):1737–1762, 2016. 7

    work page 2016

  25. [25]

    Málaga Sabogal and S

    A. Málaga Sabogal and S. Troubetzkoy. Ergodicity of the Ehrenfest wind-tree model.C. R. Math. Acad. Sci. Paris, 354(10):1032–1036, 2016. 3

    work page 2016

  26. [26]

    Málaga Sabogal and S

    A. Málaga Sabogal and S. Troubetzkoy. Minimality of the Ehrenfest wind-tree model.J. Mod. Dyn., 10:209–228, 2016. 3

    work page 2016

  27. [27]

    Málaga Sabogal and S

    A. Málaga Sabogal and S. E. Troubetzkoy. Infinite ergodic index of the Ehrenfest wind-tree model. Comm. Math. Phys., 358(3):995–1006, 2018. 3

    work page 2018

  28. [28]

    H. Masur. Interval exchange transformations and measured foliations.Annals of Mathematics, 115:169– 200, 1982. 3, 27

    work page 1982

  29. [29]

    H. Masur. Closed trajectories for quadratic differentials with an application to billiards.Duke Math. J., 53(2):307–314, 1986. 3 41

    work page 1986

  30. [30]

    Niven.Diophantine approximations, volume No

    I. Niven.Diophantine approximations, volume No. 14 ofInterscience Tracts in Pure and Applied Math- ematics. Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1963. The Ninth Annual Series of Earle Raymond Hedrick Lectures of The Mathematical Association of America. 22

    work page 1963

  31. [31]

    A. Pardo. Counting problem on wind-tree models.Geom. Topol., 22(3):1483–1536, 2018. 3

    work page 2018

  32. [32]

    A. M. Rockett and P. Szüsz.Continued fractions. World Scientific Publishing Co., Inc., River Edge, NJ, 1992. 21

    work page 1992

  33. [33]

    A. M. Sabogal and S. Troubetzkoy. Unique ergodicity for infinite area translation surfaces.Nonlinearity, 38(6):Paper No. 065014, 18, 2025. 3

    work page 2025

  34. [34]

    W. P. Thurston.Collected works of William P. Thurston with commentary: IV. The geometry and topology of three-manifolds: with a preface by Steven P. Kerckhoff. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. Providence, RI: American Mathematical Society (AMS), 2022. 29

    work page 2022

  35. [35]

    F. Valdez. Infinite genus surfaces and irrational polygonal billiards.Geom. Dedicata, 143:143–154, 2009. 3

    work page 2009

  36. [36]

    W. A. Veech. Gauss measures for transformations on the space of interval exchange maps.Annals of Mathematics, 115(2):201–242, 1982. 3, 27

    work page 1982

  37. [37]

    A. N. Zemljakov and A. B. Katok. Topological transitivity of billiards in polygons.Mat. Zametki, 18(2):291–300, 1975. 3 42

    work page 1975