Matpic
mathematics, in pictures
Concept

Billiards

The motion of a point bouncing inside a region, leaving each wall at the angle it arrived. The shape of the region decides the long-run behaviour completely, from paths that repeat forever to paths that come arbitrarily close to every point.

Named by 9 essays across one field — each of them below, with the objects they name alongside it.

A billiard path of slope 0.618, folded and unfolded. A ball bouncing inside a square table, and the same trajectory drawn as one straight line through reflected copies of the table, so that the bounces disappear.

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.

dynamics · Billiards Two loops of equal area, and the two points where they cross. An annulus with the loop of points whose angle is unchanged by the map and the image of that loop, drawn both on the annulus and unrolled into a rectangle. The loops cross at two points, which are the fixed points.

A twist that cannot avoid two points

Turn the two edges of a ring in opposite directions without changing any area, and something in between must stay exactly where it is — not one point, but at least two, and the reason is that two loops enclosing the same area have to cross.

dynamics · Fixed points the right triangle at an eighth of a turn: 16 directions, and a surface of genus 2. A polygonal billiard table with a long trajectory drawn on it, the finite set of directions that trajectory takes, and the arithmetic of the surface it unfolds into.

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.

dynamics · Billiards A room a trajectory cannot get out of, and one it can. A mushroom-shaped billiard table with two long trajectories: one confined to the cap by a conserved quantity, and one that enters the stem.

A room that cannot be lit

Mirror the walls of a room and put a lamp inside it. Every point should be lit, since light bounces forever — and there are rooms with a dark spot no ray from the lamp ever reaches.

dynamics · Billiards One disc, and two paths that stop being near each other. Two nearly identical billiard paths drawn on an empty square and on a square with a circular obstacle, with the separation between them plotted against distance travelled.

The obstacle that makes a table chaotic

Put one round post in the middle of a square table and every trace of order goes. Two paths that start a hundred-thousandth of a degree apart end up on opposite sides of the table, and the reason is that a wall curving outwards multiplies a gap where a flat one only adds to it.

dynamics · Billiards A path of 4 bounces that closes, in a triangle of 100°, 40°, 40°. A triangular billiard table with a periodic path found by an exhaustive sweep of starting positions and directions.

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.

dynamics · Billiards Every orbit round a square closes. 5 outer-billiard orbits about a square, each drawn as its closed ring of points, with periods 4, 8, 12, 20, 24 growing outwards.

The ball that stays outside the table

Turn billiards inside out. A point outside a convex table looks at the corner on its right, jumps straight through it, and lands as far beyond as it started before. Round a square every orbit closes; round a circle every orbit keeps to its own circle; round a regular pentagon the orbits form islands with a fractal between them. Whether some table lets a point wander off to infinity was Moser's question, and the answer — yes, for a kite — took until 2007.

dynamics · Billiards A straight line across a grid, and the word of walls it crosses. A line of slope 0.6180 crossing a unit grid, with each crossing marked V or H, beside the same path folded into a square as a billiard trajectory; the word begins VHVHVVHVHVVHVVHVHVVH.

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.

dynamics · Billiards A ball in a cube and the word of walls it hits, direction (1, √2, √3). A cube drawn in perspective with a billiard path of 30 bounces inside it, each bounce point coloured by the pair of walls it is on, and the word ZYXZYZXYZZXYZYXZYZXYZZYXZYZXYZ below.

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.

dynamics · Billiards

Named alongside it

The objects these essays reach for when they reach for this one.

Periodic orbitUnfoldingReflectionInvariantIrrational rotationCausticCounterexampleEquidistributionIntegrabilitySturmian wordSymbolic dynamicsTorus

All concepts