Trees and flowers on a billiard table

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.

Dimer model and holomorphic functions on t-embeddings of planar graphs

“…However, already for a skewed triangular lattice the map O becomes less trivial though its image is still bounded. Surprisingly enough, the origami map of these triangular lattices also appeared in the dynamical systems context recently [29]. The origami map also gives a link between t-embeddings and T-graphs: the latter are just the images of the t-embedding under the mappings z → z + α 2 O(z) or z → z + α 2 O(z), α ∈ T, where T := {α ∈ C : |α| = 1} is the unit circle in C. We use the notation T + α 2 O and T + α 2 O for these T-graphs, see Section 4.1 for details.…”

Dimer model and holomorphic functions on t‐embeddings of planar graphs

“…However, already for a skewed triangular lattice the map  becomes less trivial though its image is still bounded. Surprisingly enough, the origami map of these triangular lattices also appeared in the dynamical systems context recently [40]. The origami map also gives a link between t-embeddings and T-graphs: the latter are just the images of the t-embedding under the mappings 𝑧 ↦ 𝑧 + 𝛼 2 (𝑧) or 𝑧 ↦ 𝑧 + 𝛼 2 (𝑧), 𝛼 ∈ 𝕋, where 𝕋 ∶= {𝛼 ∈ ℂ ∶ |𝛼| = 1}.…”