Abstract:The illumination problem is a popular topic in recreational mathematics: In a mirrored room, is every region illuminable from every point in the region? So-called \enquote{unilluminable rooms} are related to \enquote{trapped sets} in inverse scattering, and to billiards with divided phase space in dynamical systems. In each case, a billiard with a semi-ellipse has always been put forward as the standard counterexample: namely the Penrose room, the Livshits billiard, and the Bunimovich mushroom respectively. In this paper, we construct a large class of planar billiard obstacles, not necessarily featuring ellipses, that have dark regions, hidden sets, or a divided phase space. The main result is that for any convex set $\mathcal{H}$, we can construct a convex, everywhere differentiable billiard table $K$ (at any distance from $\mathcal{H}$) such that trajectories leaving $\mathcal{H}$ always return to $\mathcal{H}$ after one reflection. This billiard generalises the Bunimovich mushroom. As corollaries, we give more general answers to the illumination problem and the trapped set problem. We use recent results from nonsmooth analysis and convex function theory, to ensure that the result applies to all convex sets.

Convex Bodies of Constant Width with Exponential Illumination Number

Convex bodies of constant width with exponential illumination number

On the Affine Diameter of Closed Convex Hypersurfaces

On a Gallai-type problem and illumination of spiky balls and cap bodies

On the Multiple Illumination Numbers of Convex Bodies

Note on illuminating constant width bodies

On the illumination of 1-symmetric convex bodies

Illuminating 1-unconditional convex bodies in ${\mathbb R}^3$ and ${\mathbb R}^4$, and certain cases in higher dimensions

Randomized coverings of a convex body with its homothetic copies, and illumination

The geometry of homothetic covering and illumination

The Complex Illumination Problem

On Hadwiger's covering problem in small dimensions

Small volume bodies of constant width

On Generalized Kissing Numbers of Convex Bodies

On the lattice Hadwiger number of superballs and some other bodies

Illumination depth

Unilluminable rooms, billiards with hidden sets, and Bunimovich mushrooms

Ball Convex Bodies in Minkowski Spaces

Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$

Hadwiger's problem for bodies with enough sub-Gaussian marginals

Convex bodies appearing as Okounkov bodies of divisors