Arnaldur.be/writing/about/an-n-ball-between-n-balls

An n-ball Between n-balls

There is a geometric thought experiment that is often used to demonstrate the counterintuitive shape of high-dimensional phenomena. This article is an interactive visual journey into the construct in the thought experiment, and the mathematics behind it.

A Square with Four Circles

We start with a 4×44 \times 4 square. There are four blue circles, with a radius of one, packed into the box. One in each corner. At the center of the box is a red circle. The red circle is as large as it can be, without overlapping the blue circles. Drag the slider to add a third dimension. On this and all other 3D diagrams, you can drag the image to rotate it, and scroll to zoom.

Add 3rd dimension

When extending the construct to 3D, many things happen. All the circles are now spheres, the red sphere is larger while the blue spheres aren’t, and there are eight spheres while there were only four circles.

The dimensional extension is decomposed into three phases. First, the circles and square turn into spheres and a cube. Next, the central ball grows, and everything else shifts so that it ends in the center. Finally, four new spheres appear, completing the 3D version of the construct.

Defining the Construct

There are more than one way to extend the construct into higher dimensions, so to make it more rigorous, we will define it like so: An nn-dimensional version of the construct consists of an nn-cube with a side length of 44. On the midpoint between each vertex and the center of the nn-cube, there is an nn-ball with a radius of one. In the center of the nn-cube there is the largest nn-ball that does not intersect any other nn-ball.

Building Intuitions

We want to extend it into any amount of dimensions but before that, we’ll build some intuitions.

2D Intersection of 3D Construct

Migrate center ball
Rotate intersecting plane

In the default configuration, the intersecting plane is the same as the construct in 2D. We see that when we rotate the plane along the center of the left balls, the balls on the right, vanish and are replaced—within the plane—by the two balls, diagonally across. There are a few important behaviors to note from this interactable.

  1. When the red ball migrates from the 2D center to the 3D center, it shrinks and vanishes from the 2D plane.
  2. As seen in the isolate plane perspective, the left balls maintain their size and only shift slightly away from the center.
  3. The differences between the and configuration.
    1. The enclosing box’s width grows from 44 to 424\sqrt{2}.
    2. Similarly, the balls’ horizontal positions shift from ±1\pm 1 to ±2\pm \sqrt{2}
    3. The red ball’s radius rr grows from 2−1\sqrt{2} - 1 to 3−1\sqrt{3} - 1

1D Intersection of 3D Construct

Diagonalize intersection
Camera angle

This diagram demonstrates the same phenomena as before, except the intersection is one dimensional and diagonalizes first into two, then three dimensions. Notice the similarities between the previous two diagrams. The left ball shifts to the left, maintaining it’s size, while the right ball vanishes to be replaced by another farther away.

Now we perform the same diagonalization operation, starting from three dimensions. As visualizing higher dimensions is not intuitive, we can’t rely on a lower dimensional intersection of a higher dimensional object to guide us. The similarities should be evident however.

3D Intersection of 10D Construct

Diagonalize intersection

Two of the boxes dimensions maintain their constant height of 44 while the third elongates to disect the remaining eight dimension of the 10D construct. It’s length transitions from 4=414 = 4\sqrt{1} up to 484\sqrt{8}, the length of the longest diagonal of an 88 dimensional box.

Viewing the fully diagonalized construct from the we can see the property it’s known for. The red ball reaches outside of the green box. Pieces of the red ball are outside the green box. This is absurd when considering how enclosed it is in the two and three dimensional versions, and even if it’s mathematically clear that r>2r > 2 when D>9D > 9, the fact is hard to accept.

Some people have tried to analogize this property to spikiness [1] [2] of the red ball. I don’t think the analogy is good. A 3D sphere is perfectly circular, no matter how you slice it. Similarly, an n-dimensional hyperball, is perfectly spherical from all perspectives. It’s ballness just reaches into more hard to grasp dimensions than we’re used to.

Hamming’s lecture

Here is a segment from a lecture that reveals this fact without mincing words.

Further Analysis

A unit n-cube has a unit volume for any DD. A unit n-ball has a volume of πD/2Γ(D/2+1)\frac{\pi^{D/2}}{\Gamma(D/2+1)} which rapidly approaches zero as DD grows. Intuitively, a sphere and a cylinder are both 3D extensions of a circle. There is more volume in the cylinder than the sphere. With some imprecision, we can thus consider the sphere loosing some volume when a dimension is added, while a cylinder or a box do not. This volume loss occurs in every additional dimension. So instead of considering n-balls to be spiky, it’s the space around them that outgrows them.

Cubing the Ball

The volume of the red ball is:

πD2(D−1)DΓ(D2+1)\frac{\pi^{\frac{D}{2}}\bigl(\sqrt{D}-1\bigr)^D}{\Gamma\left(\frac{D}{2}+1\right)}

and if we normalize the size of the green box to 1 by dividing it’s sidelength by 4, the volume of the red ball becomes:

V(D)=πD2(D−14)DΓ(D2+1)V(D) = \frac{\pi^{\frac{D}{2}}\left(\frac{\sqrt{D}-1}{4}\right)^D}{\Gamma\left(\frac{D}{2}+1\right)}

Which has this plot: Red ball relative size

There are a few notable/interesting values of DD.

Not only does some of the ball reach outside of the box (as happens when D=10D=10) it goes much further. A more adventurous mathematician than me can try to find the value of DD when the volume of all the hyperspherical caps become more than half of the volume of the sphere. At that point, most of the ball’s volume is outside the box. At D=1206D=1206 the ball becomes larger than the box and as DD increases, the relative size of the ball grows without bound.

3D Intersection of 1206D Construct

Here we see the relative scale of the red ball in 1206D. Note that as above, this is a perfectly valid 3D slice of the construct; a high dimensional being could, with the right tools, carve this out of the construct, with a single straight cut. There are however, many other ways to slice the construct that look different, similarly to how each slice of a tomato is distinct.

Here is a Desmos calculator interactable that visualises an orthogonal 2D slice of the 10D construct. Notice how much empty space there is between the balls.

This article was a great inspiration, and the reason I considered the 1206D construct and beyond.