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.

Twist Coefficients of Periodic Orbits of Minkowski Billiards

Locally Maximizing orbits for multi-dimensional Twist maps and Birkhoff billiards

On the existence of periodic invariant curves for analytic families of twist maps and billiards

Monotone twist maps and Dowker-type theorems

Invariant Curves of Almost Periodic Twist Mappings

Periodic orbits for square and rectangular billiards

Billiards on pythagorean triples and their Minkowski functions

Pensive billiards, point vortices, and pucks

Rotation Functions of Integrable Billiards As Orbital Invariants

Existence and Nonexistence of Invariant Curves of Coin Billiards

On odd-periodic orbits in complex planar billiards

Existence of Infinite Non-Birkoff Periodic Orbits for Area-Preserving Monotone Twist Maps of Cylinders

Linear Stability of Periodic Trajectories in Inverse Magnetic Billiards

Is there a formula for an effective CMV vaccine?

Pseudo-Euclidean Billiards within Confocal Curves on the Hyperboloid of One Sheet

Symmetric periodic orbits in symmetric billiards

Average Elliptic Billiard Invariants with Spatial Integrals

Geometry of Integrable Billiards and Pencils of Quadrics

Boundedness for the General Semilinear Duffing Equations Via the Twist Theorem

Bifurcations in the family of billiards associated with the curvature flow

Quantum Mechanical Analysis of the Equilateral Triangle Billiard: Periodic Orbit Theory and Wave Packet Revivals