[Paper Review] The Three Gap Theorem, Interval Exchange Transformations, and Zippered Rectangles

Diaaeldin Taha|arXiv (Cornell University)|Aug 15, 2017

Mathematical Dynamics and Fractals14 references3 citations

TL;DR

This paper presents a geometric proof of the Three Gap Theorem using zippered rectangle decompositions of unit-area tori, establishes a generalized d+2 Gap Theorem for d-interval exchange transformations (d-IETs), and derives an explicit gap distribution result via ergodic theory by drawing parallels between primitive lattice points and Farey fractions. The key contribution is a novel dynamical interpretation linking gap statistics to the geometry of unimodular tori and the horocycle flow.

ABSTRACT

The Three Gap Theorem states that for any $α\in (0,1)$ and any integer $N \geq 1$, the fractional parts of the sequence $0, α, 2α, \cdots, (N-1)α$ partition the unit interval into $N$ subintervals having at most \emph{three} distinct lengths. We here provide a new proof of this theorem using zippered rectangles, and present a new gaps theorem (along with two proofs) for sequences generated as orbits of general interval exchange transformations. We also derive a number of results on primitive points in lattices mirroring several properties of Farey fractions. This makes it possible to derive a previously known, explicit distribution result related to the Three Gap Theorem using ergodic theory.

Motivation & Objective

• To provide a new geometric proof of the Three Gap Theorem using zippered rectangle decompositions of unit-area tori.
• To generalize the Three Gap Theorem to d-interval exchange transformations (d-IETs), proving a d+2 Gap Theorem.
• To derive an explicit limiting gap distribution for orbits of IETs using ergodic theory and the dynamics of primitive lattice points.
• To establish structural parallels between Farey fractions and primitive points in arbitrary lattices, enabling distributional results for gap lengths.

Proposed method

• Utilizes zippered rectangle decompositions to model orbits of interval exchange transformations on the torus, linking gap lengths to geometric components of the decomposition.
• Applies the horocycle and geodesic flows on the space of unimodular tori to analyze the asymptotic behavior of gap distributions.
• Employs combinatorial arguments and case analysis on orbit configurations to bound the number of distinct gap lengths in d-IETs.
• Draws analogies between Farey fractions and primitive lattice vectors, using the BCZ map and generative algorithms to model gap dynamics.
• Derives the limiting gap distribution by relating the average height of zippered rectangles to the distribution of primitive lattice points.
• Uses ergodic theory to connect the statistical properties of gap sequences to invariant measures on the space of unimodular lattices.

Experimental results

Research questions

• RQ1 How can the Three Gap Theorem be reinterpreted and proven geometrically using zippered rectangle decompositions of tori?
• RQ2 What is the maximum number of distinct gap lengths in orbits of d-interval exchange transformations, and how does this generalize the classical three-gap result?
• RQ3 Can the limiting gap distribution for IET orbits be explicitly derived using ergodic theory and the dynamics of primitive lattice points?
• RQ4 To what extent do primitive lattice points in arbitrary lattices mirror the properties of Farey fractions, particularly in terms of neighbor relations and distribution?
• RQ5 What is the relationship between the average height of zippered rectangles in the space of unimodular tori and the normalized gap distribution of IET orbits?

Key findings

• The Three Gap Theorem is proven geometrically using zippered rectangle decompositions, showing that the number of distinct gap lengths in orbits of circle rotations is at most three.
• A generalization of the Three Gap Theorem to d-IETs is established, proving that the number of distinct gap lengths in orbits of d-interval exchange transformations is at most d+2.
• The limiting gap distribution for IET orbits is explicitly derived using ergodic theory, showing convergence to a Poisson-like distribution in the normalized limit.
• Primitive lattice points in arbitrary lattices share key structural properties with Farey fractions, including neighbor relations, dynamics under the BCZ map, and a generative algorithm.
• The average height of zippered rectangles in the space of unimodular tori corresponds to the expected gap size, enabling a geometric interpretation of the gap distribution result.
• The paper derives a distribution result for the x-components of primitive vectors in all lattices, extending known results for Farey fractions to the full lattice setting.