Illumination problems on translation surfaces with planar infinities

In the current article we discuss an illumination problem proposed by Urrutia and Zaks. The focus is on configurations of finitely many two-sided mirrors in the plane together with a source of light placed at an arbitrary point. In this setting, we study the regions unilluminated by the source. In the case of rational-$\pi$ angles between the mirrors, a planar configuration gives rise to a surface with a translation structure and a number of planar infinities. We show that on a surface of this type with at least two infinities, one can find plenty of unilluminated regions isometric to unbounded planar sectors. In addition, we establish that the non-bijectivity of a certain circle map implies the existence of unbounded dark sectors for rational planar mirror configurations illuminated by a light-source.

💡 Research Summary

This paper provides a profound geometric analysis of an illumination problem concerning configurations of finitely many two-sided mirrors in the plane, as proposed by Urrutia and Zaks. The central focus is on “rational mirror configurations,” where the angles between any two mirrors are rational multiples of π. The authors’ key innovation is to translate this planar problem into the language of “translation surfaces with planar infinities,” a move that unlocks powerful tools from geometry and dynamics.

The core idea is an “unfolding” construction. A rational mirror configuration in the plane can be systematically cut and glued along reflected copies of itself to form a closed translation surface (X, ω). This surface retains local Euclidean geometry (transition maps are translations) but incorporates the infinities of the original plane as special points called “planar infinities,” which correspond to double poles of the meromorphic differential ω. In this new setting, the piecewise-linear path of a light ray reflecting off mirrors becomes a straight-line geodesic on the smooth surface. The illumination question thus transforms into studying which points on the surface can be connected to the light source point p0 by a geodesic.

The paper establishes three main theorems within this framework. First, Theorem 1 is a density result: for a generic point p0 on such a surface (or in the original plane), the set of directions for which the emanating geodesic (or light ray) eventually escapes to a planar infinity (or to infinity in the plane) is open and dense on the circle of all directions. This indicates that most light rays do not remain trapped in finite regions.

The primary existential result is Theorem 2. It states that on any translation surface with at least two planar infinities, for any non-singular light source point p0, there always exists an unilluminated region isometric to an unbounded planar sector. Furthermore, there exists a collection of non-overlapping unilluminated infinite sectors whose total angular measure sums to 2π(k-1), where k is the number of planar infinities. This proves that dark regions are not just possible but are plentiful and structurally guaranteed in multi-infinity settings.

Finally, Theorem 3 bridges the abstract surface results back to the concrete planar configuration. The authors define a combinatorial “circle map” f_p0. This map records the final exit direction of a light ray starting at p0 in a given initial direction, after it has undergone all reflections and moved far away from the mirrors. The theorem proves a practical criterion: if this circle map f_p0 is not injective, then there necessarily exists an unbounded dark sector in the plane unilluminated by p0. This provides a testable condition for the existence of dark zones without requiring full geometric integration.

The paper includes a detailed section explaining the construction of the translation surface from a rational mirror configuration, illustrated with a simple example of two perpendicular mirrors. It also elaborates on the equivalent definitions of a translation surface via atlases or via a pair (X, ω) of a Riemann surface and a specific meromorphic differential.

In summary, this work successfully reformulates a classical illumination problem using the theory of translation surfaces. This reformulation leads to general and powerful results about the inevitable existence and substantial size of unilluminated regions in rational mirror systems, demonstrating a deep connection between combinatorial geometry, flat surfaces, and dynamical systems.