The Universe Is a ComputerEpisode 11 (extended) / D=2 Is on the Blade's Edge

"\(D\) is nothing but a reading" — so we've said. But one tick mark alone holds up existence

D=2 Is on the Blade's Edge Dimension \(D\) is a reading. But only exactly 2 lets atoms and planetary systems "hold their state" without falling apart. So we measure \(D\) experimentally to hunt for hidden dimensions.

Core: \(D\) is a reading, but only 2 permits structure — a blade; any deviation is the signature of extra dimensions Hook formula: \(F\sim 1/r^{\,d-1},\quad d=3\Rightarrow D=2\)

In Episode 1 we said "dimension is not a number the world possesses, but a reading on our side." In Episode 8 we ran \(D\) to imaginary values; in Episode 10 we let it run across the four forces as \(2\to\infty,\ 2\to0\). Here we turn the other way for once. If \(D\) is just a reading, why is our world exactly 2? The answer is electrifying — only 2 is the value on the blade's edge that permits binding (= holding a state). And because \(D\) is a measurable quantity, we are right now measuring inverse-square to the limit of precision and asking experimentally, "Is \(D\) truly and exactly 2?" — any deviation would be the signature of a hidden dimension.

01The reversal — among the readings, one tick alone is "load-bearing"

The tick marks on the ruler \(D=-d\ln F/d\ln r\) were supposed to have no physical up or down. 1, 2, 2.7 — just readings. And yet, for forces — that very value decides whether the universe permits structure or not. Put in a computer person's words:

The trick of this episode

\(D=2\) is a checksum the universe passes. Miss this value and matter cannot orbit stably, atoms collapse — that is, it cannot "hold a state" = cannot store information. Of the \(D\) that was supposed to be just a reading, one single tick mark alone becomes the precondition for existence.

02Ehrenfest — unless space is 3-dimensional, orbits don't close

If space is \(d\)-dimensional, the field a point source sprays out thins over a sphere \(\propto r^{\,d-1}\). By flux conservation the force is \(F\propto 1/r^{\,d-1}\). In our \(d=3\), \(F\propto1/r^2\), i.e. \(D=2\). So what happens if we move that exponent? We look through the effective potential that governs orbits (\(L\) is angular momentum):

Calculation — is there a well in the effective potential? $$V_{\text{eff}}(r)=\underbrace{\frac{L^2}{2r^2}}_{\text{outward (centrifugal)}}\;-\;\underbrace{\frac{k}{(p-1)\,r^{\,p-1}}}_{\text{inward (attraction, }F\sim1/r^{p})}$$

A stable orbit = this curve has a valley (a minimum). The condition for a stable circular orbit is \(p<3\):

Quantum mechanics gives the same conclusion. A hydrogen atom in \(d\ge4\) has a Schrödinger equation with no ground state, and undergoes "fall to the center." Classically or quantum-mechanically, only \(D=2\) (\(d=3\)) makes atoms possible.

Figure 1: moving the force exponent \(D\) (= \(p\)) changes whether a valley (a stable orbit) appears in the effective potential. If the slider is at \(D<3\) there's a valley = binding is possible; at \(D\ge3\) the valley vanishes = fall / dissipation. Our universe is \(D=2\) — just short of the borderline 3, on the safe side of the blade.
Move D with the slider and the valley appears or vanishes.
Effective potential \(V_{\text{eff}}(r)\) Stable (has a valley) Unstable (no valley)

03Bertrand's theorem — only two forces produce "closed orbits"

There is a still sharper theorem. In all the universe, the central-force potentials that produce closed orbits (that return without drifting) number only two:

Force shapeExponent DOrbitWhat it is
Inverse square \(F\sim1/r^2\)2closesgravity / electromagnetism (Kepler)
Spring \(F\sim r\)−1closesharmonic oscillator
Everything elseanything elsedoesn't closeprecesses and unwinds
The computer person's reading In Episode 1 we said "the easiest dimension is per-phenomenon (= the upper critical dimension)." Here is its dynamical version: the exponent that can stably hold a state is essentially unique in the universe (\(D=2\)). The spring (\(D=-1\)) has no system that extends indefinitely and so is never a real long-range force, leaving \(D=2\) with the field to itself. This one tick of the \(D\) we called a mere reading is the precondition for structure, memory, and life — this is the core of the reversal.
◇ ◇ ◇

04So we measure — \(D\ne2\) is the signature of a "hidden dimension"

\(D\) is not speculation but a measurable quantity. So we can ask: is inverse-square truly and exactly \(D=2\)? Here lies the thrill of modern physics. If there were a small, curled-up extra dimension (size \(R\)), then closer than that, \(rat short distances \(D\) jumps up from 2.

If there is an extra dimension $$D(r)=\begin{cases}2 & (r\gg R)\quad\text{looks like ordinary 3D}\\[2pt] 2+n & (r\ll R)\quad\text{the hidden }n\text{ dimensions open}\end{cases}$$

So if you measure \(D\) precisely at short range, a deviation from \(2\) is direct evidence of a hidden dimension. This is a live experiment (the Eöt-Wash torsion balance), which has verified Newton's inverse square down to ~50 micrometers. The deviation is, so far, zero — so we know large extra dimensions (if they exist) are smaller than that.

In a computer person's words — \(D\) is a probe for "whether the universe's address space has extra bits." An extra dimension is a hidden address line, opening only when you look up close (= at high resolution). In Episode 10, \(D\) ran per force because of mass and confinement; here the running is due to the hidden dimensions of space itself. The same ruler exposes a different secret.

Figure 2: if there were one extra dimension of size \(R\) (\(n=1\)), the measured \(D\) is 2 at long range and jumps to 3 for \(rIf the step lands to the right of this line (= larger \(R\)), the experiment should see a deviation — nothing is seen = an extra dimension of that size is ruled out. As much as it hides to the left, the search continues.
Move R with the slider to move where the step in D sits.
Measured \(D(r)\) Experimental reach (~50µm)

05The core — a reading, but one tick alone is load-bearing

The core of this episode

\(D\) is a reading (Episode 1). But for forces, only \(D=2\) permits binding = holding a state = accumulating information (Ehrenfest + Bertrand). Atoms, planetary systems, memory, life all ride on this one tick. And because \(D\) is measurable, the precision measurement of inverse-square is an experiment asking "is \(D\) exactly 2?", and any deviation is the signature of a hidden dimension — no deviation down to ~50µm. One single load-bearing tick among the readings, and it is being hammered on right now in the lab.

The honest line

This is not a proof that "space is necessarily 3-dimensional." Ehrenfest himself wrote it as a consistency observation — "how does being 3-dimensional show up in the basic laws?" — not as a theorem forbidding universes of other dimension (it carries an anthropic tint). \(D=2\) is load-bearing for our type of structure.

And there is not a single piece of new physics. Ehrenfest's dimensional argument (1917), Bertrand's theorem (1873), the quantum "fall to the center" in \(d\ge4\), the \(1/r^{2+n}\) of extra dimensions (the ADD model), and the Eöt-Wash torsion-balance verification of inverse-square (~tens of µm) are all established physics/mathematics. \(D=-d\ln F/d\ln r\) is the defining formula of dimension, and we merely read it by applying it to orbital stability and precision measurement. It doesn't contradict Episode 1's "\(D\) is a reading" — being a reading and that one particular reading alone permitting binding coexist. The holes that remain (the necessity of "why 3 dimensions," the existence of extra dimensions) are left open — never say "solved," that is the rule of the whole series.

Practice problems (solvable from this one sheet)
  1. Do "\(D\) is a reading" and "\(D=2\) is special" contradict?
    Show the answer
    No. Dimension is the reading a measurement returns (Episode 1), and in principle it can take any value. But for forces, only when that reading is \(2\) does a stable binding form (an effective potential with a valley). "The value can be read freely" and "only a particular reading permits structure" coexist.
  2. What happens to atoms if space is 4-dimensional (\(d=4\))?
    Show the answer
    The force becomes \(F\sim1/r^{3}\) (\(D=3\)) and the valley of the effective potential vanishes. Classically there is no stable orbit; quantum-mechanically there is no ground state and "fall to the center" occurs. Atoms cannot form = our type of matter, chemistry, and memory cannot exist.
  3. What is the experiment that measures inverse-square down to \(50\,\mu\text{m}\) searching for?
    Show the answer
    A deviation of \(D\) from 2 at short range. If there is an extra dimension of size \(R\), then for \(r

SummaryOne blade among the readings

In Episode 1 we said "dimension is a reading," and in Episodes 8 and 10 we sent \(D\) into the complex plane and set it running. This episode is the reverse — among the readings, one single tick alone is load-bearing. Only the force exponent \(D=2\) (= space \(d=3\)) makes a valley in the effective potential (Ehrenfest), closes orbits (Bertrand), and makes atoms, planetary systems, and memory possible. The borderline is \(D=3\); we sit just short of it, on the blade's edge.

And because \(D\) is measurable, the precision measurement of inverse-square becomes an experiment asking "is \(D\) exactly 2?", and a deviation from \(2\) becomes the signature of a hidden dimension — no deviation down to ~50µm. The same ruler \(F=1/(Cr)^D\) is the definition of dimension, the blade of existence, and the detector of hidden dimensions all at once. But no one has yet derived the necessity of "why 3 dimensions" — that we leave, honestly, open.

← Episode 10: The Dimensions of the Four Forces To the contents Episode 12: With a Single Spring Network →
This document is Episode 11 (extended) of the series "The Universe Is a Computer." Ehrenfest's dimensional argument (1917) (in \(d\) dimensions \(F\propto1/r^{d-1}\), stable binding only in \(d=3\)), the stability condition for circular orbits under a central force (\(F\propto1/r^p\) with \(p<3\)), Bertrand's theorem (1873) (only inverse-square and Hooke forces produce closed bound orbits), the "fall to the center" of the \(d\ge4\) Coulomb problem (non-existence of a ground state), large extra dimensions (the ADD model, \(F\propto1/r^{2+n}\) for \(r

Print / save as PDF: Ctrl+P (⌘+P on Mac). Figure 1 shows how the valley of the effective potential vanishes at D=3; Figure 2 shows how, as you move the extra-dimension size R, the step in D moves in and out of the experimental reach line. Click "Show the answer" to open each solution.