A mathematician has proposed a solution to a problem that has challenged researchers for more than two centuries: whether every polygon contains a path that eventually returns to its starting point.
Giovanni Forni of the University of Maryland says his new work resolves the so-called periodic orbit problem for billiards in polygons. His paper is currently available as a preprint and has not yet undergone peer review.
The problem is based on a mathematical version of billiards. A ball moves in a straight line across a polygon and reflects off its sides at the same angle at which it arrives. Researchers want to know whether every polygon has at least one starting point and direction that produces a repeating trajectory, bringing the ball back to its starting position.
The question dates to the 18th century and became one of the longstanding problems in dynamical systems, a field that examines how systems evolve over time.
Mathematicians made significant progress decades ago by proving that such periodic trajectories exist in polygons whose angles are rational multiples of pi. The case of polygons with irrational angles, however, remained unresolved.
Forni approaches the problem using ideas from dynamical systems, differential geometry and algebraic topology.
His argument begins by assuming that a polygon exists with no periodic trajectory. He then shows that this assumption would force the geometric structure used to describe all possible billiard paths to have properties that cannot coexist.
In particular, the structure would be required to have both infinitely many and finitely many certain topological features, creating a contradiction. Forni argues that this rules out the possibility of a polygon without a periodic trajectory.
The work has attracted attention because billiards provide connections between several areas of mathematics. Howard Masur, a mathematician at the University of Chicago who was not involved in Forni’s research, has noted that billiards are particularly attractive to researchers because of their links to other mathematical fields.
Forni’s result remains to be independently checked. Because the paper is a preprint, other mathematicians have yet to formally review the proof, and its validity could ultimately depend on whether experts identify any gaps or errors.
Even if the proof is confirmed, it does not tell mathematicians where the periodic trajectory can be found. It establishes the existence of a suitable starting point and direction for every polygon but does not provide a general method for locating them.
The proposed result would therefore settle the existence question while leaving the practical problem of finding the returning path open.
