Unfolding
Named by 6 essays across 2 fields — each of them below, with the objects they name alongside it.
A bounce is a fold of the table
Reflect the room instead of the ball and every bounce disappears — the trajectory becomes a straight line through a tiled plane, and questions about what a ball does forever become questions about the slope of that line.
A table folded into a surface
Unfolding a square billiard gives a straight line on a torus. Unfolding any table whose angles are whole fractions of half a turn gives a straight line on some surface — and which surface it is decides how hard the dynamics will be.
The triangle nobody can settle
Does every triangular billiard table have a path that closes on itself? Acute triangles do, right triangles do, triangles with rational angles do — and for the rest the question has been open since it was asked.
Half a circle against a wall
Lay a fence of fixed length with both ends against a straight wall and the best shape is a half-circle, holding exactly twice what a full circle of the same fence holds. The proof is a mirror: doubled in the wall, any fence becomes a closed curve with twice the length and twice the area, and the closed-curve answer carries over. In a corner the same mirrors give a slice of a circle — until the corner's angle stops dividing a half-turn.
The word a straight line spells
A ball rolling across a square table, forever, hits walls in some order: V for a side wall, H for the end wall. Unfold the table and the ball becomes a straight line across a grid, and the order of walls becomes a word — VHVHVVHVHVVHV… for the golden slope. That word has exactly n + 1 different blocks of every length n, the fewest any word that never repeats can have; every stretch of it holds its fair share of H's to within one; and its blocks occur with at most three different frequencies.
The word a line spells in a cube
A ball bouncing in a cube hits three kinds of wall, and the order spells a word in three letters. On a square table the word had n + 1 different blocks of length n; in the cube it has $n^2 + n + 1$ — three, seven, thirteen, twenty-one — for a direction in general position. What general position has to exclude turns out to be more than any rational relation among the three speeds.
Named alongside it
The objects these essays reach for when they reach for this one.
BilliardsReflectionPeriodic orbitEquidistributionIrrational rotationSturmian wordSymbolic dynamicsTorusAreaCausticCircleComplexity