In optics, a caustic is the envelope of light rays reflected or refracted by a curved surface or object, or the projection of that envelope of rays on another surface. The caustic is a curve or surface to which each of the light rays is tangent, defining a boundary of an envelope of rays as a curve of concentrated light.
A piece of milled plexiglass acting as a projecting lens; via the Computer Graphics and Geometry Lab at the École Polytechnique Fédérale de Lausanne
New milling techniques applied to glass and plexiglass panels could be used to “create windows that are also cryptic projectors, summoning ghostly images from sunlight.”
[Pauly and Bompas] hope that the technique will be used in architectural design, to create windows that mould sunlight and throw images or patterns onto walls or floors,” which, if timed, milled, and manipulated just right, could produce a slowly animated sequence of images being projected by an otherwise empty window during different times of day.
To control the shape of a caustic pattern generated by a specular or refractive surface, we need to solve the inverse problem: how can we change the surface geometry, such that incident light is redirected to produce a desired caustic image?
Wang tiles (Hao Wang, 1961) are a class of formal systems. They are modelled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them.
The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way. The next question is whether this can be done in a periodic pattern.
In 1966, Wang's student Robert Berger solved the problem in the negative. He proved that no algorithm for the problem can exist, by showing how to translate any Turing machine into a set of Wang tiles that tiles the plane if and only if the Turing machine does not halt. The undecidability of the halting problem then implies the undecidability of Wang's tiling problem.