In the past couple of months, I published a number of articles on recreational math. I did my best to keep them accessible and fun, but my goal was usually to shed light at deeper mathematical truths. For example, the discussion of 0.999… = 1 served as a springboard to highlight some of the subtler properties of real numbers and the different meanings of infinity.
Today, I have no agenda. This article exists because I discovered a somewhat obscure paper that says something unexpected and cool. It feels profound, it probably isn’t… and if you keep reading, it’s going to live rent-free in your head too.
The road to a friend's house is never long
Topologists are an odd bunch: they study the continuity of geometric shapes with no regard for appearances. To them, continuous transformations — such as stretching and squeezing — are of no consequence. A donut and a drinking straw are the same because you can knead one into another without making or mending any holes.
Fundamentally, a topologist doesn’t care about the distance between two points in space: all that matters is a more narrow concept of local continuity. Because of this, the practitioners often choose to lean on stripped-down geometrical spaces in which the notion of distance — also known as a metric — is simply not defined.
That said, if you’re not a topologist, you probably enjoy being able to measure stuff. In standard Euclidean geometry with two dimensions, if we have two points that are separated by x horizontally and y vertically, the resulting straight-line distance can be calculated as:
\(d = \sqrt{x^2 + y^2}\)
One of the most common ways to construct non-Euclidean spaces is to alter the space’s metric in some way. An example that should be familiar to many software engineers is the taxicab metric, also known as the Manhattan distance. It’s named so by analogy to a cab navigating a rectangular grid of streets, charging you per mile traveled:
An illustration of the taxicab distance.
In the taxicab universe, the distance between two points is a simple sum of the absolute distances in each axis: d taxicab = |x| + |y|. If we take another look at the earlier case — d = √(x² + y²) — it’s tempting to express the cab equation in an analogous way:
\(d_\textrm{taxicab} = \sqrt[1 \ ]{\lvert x \rvert^1 + \lvert y \rvert^1}\)
If we look at these two formulas — Euclidean and taxicab — it’s clear that we can generalize this to a whole family of related metric spaces:
\(d_n = \sqrt[n \ ]{\lvert x \rvert^n + \lvert y \rvert^n}\)
Again, the case of n = 1 is the taxicab universe; n = 2 nets us the standard Euclidean space. There are some unnamed geometries in between, but if n approaches infinity, we get what’s called the Chebyshev distance. In this case, even the tiniest difference between x and y makes one of the exponentiated values vastly smaller than the other one, so the distance is just:
\(d_\infty = max( \lvert x \rvert, \lvert y \rvert)\)
A circle by any other name
In each of these spaces — from d 1 to d ∞ — there is a well-defined notion of a “circle”: it’s a set of points that are equidistant under the chosen metric from some center point.
To understand how these circles might look like, we can note that if y is zero, the earlier distance formula always simplifies to just d n = |x|:
\(d_n = \sqrt[n \ ]{\lvert x \rvert^n + \lvert y \rvert^n} = \sqrt[n \ ]{\lvert x \rvert^n} = \lvert x \rvert\)
Similarly, if x is zero, the formula is just d n = |y|. This means that in any of our spaces, if we’re trying to draw an n-circle with a radius r = 1, the points at (1, 0), (0, -1), (-1, 0), and (0, 1) will be a part of the shape:
These points are always r = 1 away from (0, 0).
For the taxicab metric (d 1 ), the distance from (0, 0) is a simple sum of x and y coordinates, so a circle of radius r is just a collection of points that satisfy the criteria |x| + |y| = r. This includes (0.9, 0.1), (0.8, 0.2), (0.7, 0.3), and so on. In effect, each of the four quadrants of the circle is just a ±45° diagonal:
The taxicab circle (1-circle).
For higher-order n-circles, the constraint for (x, y) points that make up the “circle” is:
\(\sqrt[n]{\lvert x \rvert ^n + \lvert y \rvert ^n} = r\)
The following illustration shows examples calculated for n = 1.5, 2, 3, and 5:
Several n-circles.
Earlier on, we also mentioned that as n approaches infinity, we get what’s known as the Chebyshev distance, d ∞ = max(|x|, |y|). This ∞-circle is a collection of all points where one coordinate is equal to ±r, while the other one stays within [-r, r]:
The Chebyshev circle.
So… you promised something about π?
Right. This brings us to an interesting question: does the value of π — that is, the ratio of circumference to diameter of a circle — change for these “circles” drawn in these non-standard spaces?
Let’s have another look at the taxicab scenario:
The taxicab circle again.
What’s the circumference of that shape? It’s tempting to say that each quadrant is just the diagonal of a 1×1 square (= √2), so the circumference is 4·√2. The diameter of the circle is 2·r = 2. Hence, the value of the taxicab π (π 1 ) must be 4·√2/2 ≈ 2.828.
Except… that’s a bit of a category error. We’re attempting to measure the circumference of a circle drawn in a non-Euclidean space by using the Euclidean definition of length. In the taxicab space, the diagonal of a 1×1 square is not √2; it’s a simple sum of the edges of the square. So, if we’re to be consistent, the correct answer is that π 1 = 4·2/2 = 4.
Curiously, the ∞-circle case nets the same result: the each quadrant consists of two straight segments of length 1, so the result is π ∞ = 8·1/2 = 4.
For other n-circles, exact answers require some non-trivial calculus, but we can approximate the value numerically. To do this, we solve the circle equation at some constant angular intervals and then connect the dots, yielding a shape constructed out of straight segments.
For example, for the familiar case of n = 2, we get:
We can calculate the length of these segments using the appropriate metric, then divide it by the diameter (always 2). With the crude 20-segment approximation shown above, we get π 2 ≈ 3.129. A more precise model with a thousand segments nets us π 2 ≈ 3.14159.
Several other computed values are shown below:
\(\begin{array}{| l | l |} \hline \mathbf{n =} & \mathbf{\pi \approx} \\ \hline 1 & 4 \textrm{ (exact)} \\ \hline 1.5 & 3.26 \\ \hline 2 & 3.14 \leftarrow \textrm{(you are here)}\\ \hline 3 & 3.26 \\ \hline 5 & 3.50 \\ \hline \infty & 4 \textrm{ (exact)} \\ \hline \end{array}\)
And here’s a plot of π n showing even more data points:
The value of π n (vertical scale) in function of n (horizontal scale).
So, that’s the somewhat unexpected revelation: of all the metric spaces constructed through simple extrapolation from Euclidean geometry, our π is the “minimal” π. We live in some sort of a π-dip.
👉 Credit: in their 2000 paper, mathematicians Charles Adler and James Tanton provide a formal proof of this property, and this is where the idea for this blog post comes from.
Hol’ up… what about n < 1?
We can do that too! Positive exponents less than 1 produce concave “circles”:
N-circles for n = 0.8 (blue), 0.5 (red), and 0.3 (yellow).
The measurements corresponding to the image are π 0.8 ≈ 4.7, π 0.5 ≈ 7.2, π 0.3 ≈ 11.9, so the trend continues. And at n = 0, our earlier notion of distance breaks down.
If you liked the content, please subscribe; there’s no better way to stay in touch with the writers you like.