On 31/10/2005, the author posted this problem to sci.optics and sci.physics. The problem is described in more detail below.

Consider the following optical structures:

- A void sphere S with totally reflecting inner walls.
- A void torus T with totally reflecting inner walls.
- A (point or extended) light source L inside S and T.
- An observer O inside S and T.

Here are some interesting questions for you to ponder about:

- What would O see when O tries to look at the walls of S or T at various angles,
while L is illuminating the inside of S or T?
^{[1]} - What will O see when O tries to look at the walls of S or T at various angles, when either O or L move relative to the walls of S or T, while O is observing?
^{[1]} - What happens to a single light ray which emanates from L inside S and T?
- Will
*any*light ray emanating from L, eventually reach O in S and T? - Will O be able to see L's reflection anywhere in S or T? Everywhere? Nowhere?
- Will O be able to see O's reflection anywhere in S or T? Everywhere? Nowhere?
- Will O be able to see L's reflection, even when L is hidden from O in T?
- What will O see in S or T, if L is a strobo flash which lights exactly once?
- Can S and T's of reasonable sizes (with radii 10-20 m) be built?
- Do you think they would be "safe" for human observers?
- Justify your answer about their "safety".
- How might S and T be related to "cavity resonators"?
- Assume S or T is built, without O/L in it. What will happen if one opens a little hole on the wall of S or T for some light to get in?
- Same question as above with O already in S or T.
- Can you perhaps think of a useful application of S and T in Physics?
- Would
*you*volunteer to be O in experiments with S and T? - Why/Why not?

__A Short Analysis__

The central problem above is the general case of what happens in two dimensions, which was a question posed by Costas Vlachos on sci.math:

Suppose a user shines a beam of light (say a laser) inside a perfectly reflective unit circle. Which points will be visited by the light ray and which will not?

Let us define the problem geometrically: Consider the unit circle and a user A who "shines" a laser at an angle è from the tangent at A. Clearly we have:

ñ+2*ö=ð,

è+ö=ð/2, =>

ñ=2*è

User A shining a laser at angle è inside the unit circle

Immediately then, when è=ð/n, n in N, ñ=2*ð/n, and the resulting path will be a regular polygon with n sides. Therefore the visited points are exactly the n-th roots of unity: z^{n}=1, or explicitly the points e^{2*k*ð/n*i}, k in {0,1,2,...,n-1}.

What about points which cannot be visited? These are the points z on the unit circle which do not satisfy z^{n}=1, or the points e^{2*ñ*ð*i}, with ñ in R\Q.

Because ñ is also the central angle, these points are the points whose central angle ñ is not a rational multiple of 2*ð. In other words, they are the points whose central angle ñ is an irrational multiple of 2*ð.

The n-th roots of unity are dense on the unit circle, hence for any non-visited point subtending an (irrational) angle ñ, there exists n_{1}, n_{2} in N, and consequently è_{1}, è_{2}, such that for any å>0, we have |è_{1}-è_{2}|=ð*|1/n_{1}-1/n_{2}|<å, and that there exist points p_{1} on the path of shooting angle è_{1} and p_{2} on the path of shooting angle è_{2}, such that: angle(p_{1}) < ñ < angle(p_{2}).

In other words, we can come as close as we want to the non-visited (irrational) points, by choosing appropriate angles è_{1} and è_{2}.

Are the angles è=ð/n the only angles which give n-th roots of unity? On sci.math someone observed that the angle è can be of the form è=k/n*ð, k in {0,1,2,...,n-1} and made the following conjecture:

For any ñ=m/n*2*ð where m and n are relatively prime the light ray will trace out the endpoints of a regular n sided polygon, though not necessarily in the correct order.

The conjecture then can be reformulated in terms of è as:

For any è=k/n*ð the light ray will trace out the endpoints of a regular n/GCD(k,n) sided polygon, though not necessarily in the correct order.

Indeed, the n-th roots of unity form a cyclic group of order n and the elements of this group of order k with GCD(k,n)=1 are generators. The situation is depicted on the following figure for n=6:

The paths traced according to the shooting angle è are:

- n=6, k=1, è=ð/6, period: 6/GCD(1,6)=6, orbit: O-p1-p2-p3-p4-p5-O, hexagon
- n=6, k=2, è=2*ð/6, period: 6/GCD(2,6)=3, orbit: O-p2-p4-O, triangle
- n=6, k=3, è=3*ð/6, period: 6/GCD(3,6)=2, orbit: O-p3-O, line
- n=6, k=4, è=4*ð/6, period: 6/GCD(4,6)=3, orbit: O-p4-p2-O, triangle (in reverse)
- n=6, k=5, è=5*ð/6, period: 6/GCD(5,6)=6, orbit: O-p5-p4-p3-p2-p1-O, hexagon (in reverse)

The cases 2,3 and 4 exhibit subgroups of the cyclic group of order 6 formed by the second, third and fourth elements.

__An Unexpected Connection With Infinite Exponentials__

When considering the orbit of the sequence {z,c^{z},c^{cz},...} for various c in C, it turns out that the unit circle is exactly the boundary which separates the convergent sequences from the divergent ones.

Consider the map: ö:C -> C, defined by: ö(t)=e^{t/et}. ö is invertible. Specifically, ö^{-1}(c)=-W(-log(c)), where W is Lambert's function.

When t=ö^{-1}(c) and |t|<1, i.e., when t falls inside the unit circle, the sequence {z,c^{z},c^{cz},...} converges. When |t|>1, i.e., when t falls outside the unit circle, the sequence diverges.

When t is ON the unit circle, things are very interesting.

Specifically, when t_{k}=ö^{-1}(c) is an n-th root of unity (i.e., when t_{k}=e^{2*k*ð/n*i}, k in {0,1,2,...,n-1}), the sequence {z,c^{z},c^{cz},...} converges when z=e^{tk} or falls into periodic cycling of period p=n/GCD(n,k) when z =/= e^{tk}.

When the sequence falls into periodic cycling, the orbit trajectory traces various (irregular) polygons, similar to the polygons on the light-mirror problem. Here is the orbit of the above sequence for t_{k}=e^{2*k*ð/6*i}, i.e., for n=6 and k in {1,2,...,5}, with z perturbed -1/2 away from e^{tk}.

n=6, k=1, period: 6/GCD(1,6)=6, orbit: hexagon

n=6, k=2, period: 6/GCD(2,6)=3, orbit: triangle

n=6, k=3, period: 6/GCD(3,6)=2, orbit: line

n=6, k=4, period: 6/GCD(4,6)=3, orbit: triangle (in reverse)

n=6, k=5, period: 6/GCD(5,6)=6, orbit: hexagon (in reverse)

What happens to points for which |t|=1, but t=ö^{-1}(c) is NOT an n-th root of unity? These points correspond to the points which subtend a central angle ñ which is an irrational multiple of 2*ð on the problem with the light-mirror trajectory. In this case, the sequence {z,c^{z},c^{cz},...} diverges (chaotically)^{[2]}.

- Brian Vanderkolk investigates the general case optically using POVRay, on this page. Brian's videos have been used by the author to simulate Reincarnation In Indra's Net of Pearls.
- For more info on this problem and on iterated exponential powers, consult the pages on Infinite Exponentials and A Slightly Deeper Analysis of Infinite Exponentials.