Billiard Orbits in Young Diagrams: Medial Links, Bicycle Spaces, and Domino Tilings

RESUMO

We study diagonal billiard trajectories inside the Young diagram of an integer partition $\lambda$. A trajectory has slope $\pm 1$, passes straight through sides shared by adjacent cells, and reflects from the exterior boundary until it closes. Let $\sigma(\lambda)$ be the number of closed orbits. This extends the mirror-curve model of Chokwe sona sand drawings studied by Gerdes from rectangular grids to arbitrary Young diagrams. Let $G_\lambda$ be the cell-adjacency graph of $\lambda$, with its natural planar embedding. We identify the billiard orbits with the components of the medial link of $G_\lambda$, and deduce that $\sigma(\lambda) = 1 + \dim \mathcal{B}(G_\lambda) = \mathrm{nullity}\, L(G_\lambda)$ over $\mathbb{F}_2$, where $\mathcal{B}$ is the binary bicycle space and $L$ the mod-2 Laplacian. Writing $\lambda^\square$ for the diagram obtained by deleting the first row and column of $\lambda$, we further prove $\sigma(\lambda) = 1 + \mathrm{nullity}_{\mathbb{F}_2} A(G_{\lambda^\square})$. For rectangles this recovers Gerdes' formula $\sigma(n^m) = \gcd(m,n)$ via identities for Fibonacci polynomials over $\mathbb{F}_2$, and in general it gives the characterization: $\sigma(\lambda) = 1$ if and only if $\lambda^\square$ has an odd number of domino tilings. Using the checkerboard bipartition of $\lambda^\square$, we decompose $\sigma(\lambda) - 1$ into a color-imbalance term, related to the BG-rank of Berkovich-Garvan, and an even rank-deficiency term. This yields parity restrictions and lower bounds for the orbit number, and shows that for any fixed $d$, asymptotically all partitions have more than $d$ orbits. We also prove that $\sigma(\lambda)$ is at most the Durfee length of $\lambda$, determine $\sigma(n, n-1, \ldots, 1) = \lceil n/2 \rceil$ for staircase partitions, and show that the adjacency-nullity formula is independent of the ground field.