Higher Dimensions

A sphere visiting a two-dimensional world is seen by its residents as a dot that swells into a disc, shrinks, and vanishes — the whole visitor, reported one slice at a time. This entry runs that famous thought experiment live, then turns the same machinery on us: exact cross-sections and shadows of four-dimensional balls and polytopes passing through our three-dimensional space, the strange bookkeeping of volume in dimensions five, six, ten — and what tabletop gravity, the LHC, and a neutron-star merger actually say about whether the extra dimensions are there.

Abbott 1884 · Kaluza 1921 · Coxeter 1973 · Arkani-Hamed+ 1998 · Lee+ 2020 · Pardo+ 2018 · r(w) = √(R²−w²) · V_n = π^{n/2}/Γ(n/2+1)
MODEL CLASS  EXACT CROSS-SECTIONS  4-D objects are sliced and shadowed, never pictured whole
4
dimension dialed
1.00 R
slice radius · live
slice faces · live
n = 5
unit-ball V peak
52 μm
1/r² law verified to
D = 4
GW170817 verdict
View 1 · A 3-D Visitor in a 2-D World · The Brane Picture

The bulk view and the brane view, side by side — drag to orbit the bulk

The gold sheet is a 2-D universe; its residents can never leave it or look off it. A 3-D solid passes through. They get the inset: a flat cross-section appearing from nowhere, morphing, and vanishing. Only by stacking slices in time can they reconstruct the visitor — and a tilted cube shows how badly a single slice can mislead.

The 2-D scientist's logbook

visitorsphere
w · bulk position−1.30 R
she reportsnothing
slice area0
pieces seen0
her full recorddot → disc → dot
Her instruments are honest and her physics is correct — she is simply missing one coordinate. Everything she measures is the true intersection of the visitor with her universe.

Brane view · what she records

her 2-D map (top-down)w = −1.30
what she literally sees: a 1-D horizon
THE ANALOGY THAT CARRIES EVERYTHING

You are the Flatlander, one dimension up

Nothing in her physics is wrong — she lacks a direction, not intelligence. If a 4-D object ever crossed our space we would see exactly this movie one dimension up: a 3-D solid appearing from nowhere, morphing, and vanishing, with a perfectly good conservation-law alibi in the bulk. Views 2 and 3 show that movie, computed exactly.

View 2 · A 4-Ball Through Our 3-Space · r(w) = √(R²−w²)

This sphere is not growing — a fixed, rigid 4-D ball is passing through

Scrub w. What appears is a point that swells into a sphere of radius √(R²−w²) and vanishes — the exact 3-D cross-section of a rigid hyperball, the sphere-through-Flatland movie one dimension up. Dial n higher and the movie is identical — but the volume bookkeeping (bottom right) shows where an n-ball really lives.

Slice bookkeeping · n-ball

n dialed4
w0.00 R
slice radius1.000 R
slice volume V₃4.189 R³
n-volume swept50.0%
V_n · unit n-ball4.935
volume in |w|<0.2R33.3%
within 5% of skin18.5%
The unit-ball volume peaks at n = 5 and then collapses toward zero — and ever more of what remains crowds against the surface. High dimensions are almost all skin.

The honest bulk diagram · one plane of the 4-D scene

w · the hidden axis →ρ = distance in our space

Slice volume vs w · violet n=4 · gold n dialed

−Rcrossing profile · equal areas = equal n-volume+R
WHERE HIGH DIMENSIONS GET STRANGE

In dimension 10, the crossing is a flash at the equator

The slice radius law never changes, but the volume profile (1−w²/R²)(n−1)/2 sharpens ruthlessly with n: a 10-ball keeps 49% of its volume within |w| < 0.2R, a 100-ball 96%. Almost the entire object crosses in a brief moment near w = 0 — and almost all of it hugs the surface. This concentration of measure is real mathematics with real consequences, from statistical mechanics to why machine learning in high dimensions is hard.

View 3 · Exact Cross-Sections of the Regular 4-Polytopes

A tesseract falling corner-first through our space is a parade of polyhedra

Every frame: the 32 edges of the true 4-D solid are cut by the hyperplane w = const and the convex hull of the crossings is built and rendered. Corner-first, a hypercube enters as a point, swells through tetrahedra and truncated tetrahedra, is a perfect octahedron at halfway, and leaves the same way in reverse. Drag to orbit; the faint ghost is the whole solid's shadow.

Current slice · computed

solidtesseract
orientationcorner-first
w0.00
slice isoctahedron
vertices · edges · faces6 · 12 · 8
Euler V−E+F2 ✓
slice volume10.667
4-volume swept50.0%
∫ V(w) dw vs exact16.00 / 16
The sweep integral in the last row is the whole slicer audited live: slice volumes integrated over w must reproduce the solid's exact 4-volume, whatever the orientation.

Slice volume vs w · this orientation

−2breakpoints = vertex levels+2
ONE OBJECT · MANY APPEARANCES

Same hypercube, four different movies

Cell-first, a tesseract crossing our space is just a cube that sits there for a while — utterly unremarkable. Corner-first, the same rigid object is a morphing parade of polyhedra. A 2-D scientist watching a tilted cube has the same problem: the slice sequence depends on the angle of approach, and no single slice ever shows the thing itself.

View 4 · The Other Honest Picture · 4-D → 3-D Shadows

The small inner cube is not smaller, and it is not inside

This is the second way to see a higher-dimensional thing: project it, the way a wire cube casts a 2-D shadow. The famous tesseract picture — a cube inside a cube — is a lamp-shadow: the inner cube is the far cell, shrunk by perspective along w exactly as a far object shrinks in a photograph. Rotate it in 4-D and cells pass through each other's shadows; nothing is deforming but the projection.

Shadow readout

solidtesseract
vertices · edges · cells16 · 32 · 8
projectionperspective · d = 3.4
rotation planesxw + yz
θ · xw
θ · yz
edge tintnear in w · far in w
A double rotation — turning in two completely separate planes at once — is impossible for a 3-D object. It is the generic rotation in 4-D, and it is why the shadow's motion looks like nothing you have ever seen turn.
SLICE vs SHADOW

Two honest pictures, two different lies

A slice shows true sizes but only one w at a time; a shadow shows every part at once but distorts sizes by depth. Neither is the object — exactly as a CT slice and an X-ray of the same skull disagree, and are both honest. Everything anyone has ever shown you of a tesseract is one of these two pictures.

View 5 · The Dimensional Ladder · Point → Segment → Square → Cube → Tesseract

One rule, applied forever: drag a copy perpendicular to everything so far

A point dragged makes a segment; a segment dragged sideways makes a square; a square dragged out of its plane makes a cube. The fourth step is the same rule — we just can't point along the new direction, so the drag is drawn in projection. Scrub the ladder and watch the counts obey 2ᵏ, k·2ᵏ⁻¹, …

The bookkeeping of k-cubes

buildingsquare → cube
vertices 2ᵏ8
edges k·2ᵏ⁻¹12
squares C(k,2)·2ᵏ⁻²6
cubes C(k,3)·2ᵏ⁻³1
rulecounts double + promote
Each drag doubles every element and promotes it: every vertex sweeps a new edge, every edge a new square, every square a new cube. Dimension four is not mystical — it is one more application of the only rule there ever was.
WHY MATHEMATICIANS ARE CALM ABOUT THIS

Dimension is a count, not a place

A dimension is just an independent direction — one more number needed to say where something is. The ladder never asks permission to continue: the mathematics of n = 4, 5, 6… is exactly as solid as n = 3. Whether physical space has more directions than three is a separate, experimental question — and the panels below the stage report what the experiments actually say.

Entry XXVI · a dimension is a direction, not a destination

Three honest ways to see one dimension up

No 3-D eye will ever see a 4-D object whole — our retinas are 2-D and our visual cortex reconstructs 3-D, full stop. But "cannot see" is not "cannot know". There are exactly three faithful pictures, each a rigorous mathematical operation with a declared distortion, and every view above is one of them. Anything else you have ever been shown — glowing "hyperspace" tunnels included — is decoration.

Slicing

intersect with our space · view 1 · 2 · 3

Cut the object with the hyperplane w = const and show the intersection: true sizes, true shapes, but only one w-level at a time. This is the CT scan of higher dimensions — and the brane picture of Fig. 22.2: a 3-sphere greeting a 2-D world as a growing and shrinking disc. Slices here are computed exactly, edge by edge.

Projection

cast a shadow · view 4

Map every point down one dimension, optionally with perspective along w: the whole object at once, but sizes lie by depth. The cube-in-a-cube tesseract is this and nothing more — the inner cube is the far cell. This is the X-ray, and it is how every "picture of a tesseract" ever drawn actually works.

Stacking

rebuild from slices over time · view 1 trail

Record the slice at every w and stack the record: the Flatlander's stop-motion reconstruction of her visitor, and exactly how a radiologist rebuilds a 3-D skull from 2-D scans. Time plays the role of the missing axis — which is why "is time the fourth dimension?" is a natural question with a careful answer: it is a fourth coordinate, but with the wrong sign in the metric. Entry XXIII covers that story.

The engine underneath

Class: analytic — everything rendered on this page is exact, closed-form geometry; nothing is keyframed or approximated. The four computations:

1 · Ball slices
r(w) = √(R² − w²)

Pythagoras, verbatim, in any dimension: the cross-section of an n-ball at bulk offset w is an (n−1)-ball of this radius. One line of mathematics drives the whole of views 1 and 2 — and it is the same line for n = 3 and n = 100.

2 · Polytope slices
edge ∩ {w = c} → 3-D convex hull

Each of the solid's edges either crosses the hyperplane or doesn't; the crossings are found by linear interpolation and their convex hull is the slice — exact for any convex polytope. Audited live by the sweep integral ∫V(w)dw = exact 4-volume and by Euler's V−E+F = 2 on every frame.

3 · Volume bookkeeping
V_n = π^{n/2}/Γ(n/2+1) · V_n = V_{n−2}·2πR²/n

The n-ball volume, computed by the exact two-step recursion (no Γ approximation). It peaks at n = 5 and dies toward zero; the slab and shell fractions in view 2 come from integrating the slice profile, checked against scipy's incomplete beta function.

4 · Shadows
(x,y,z) · d/(d − w) · R(θ_xw)R(φ_yz)

Perspective projection along w — identical in form to how a camera flattens z — after rotating in genuinely four-dimensional planes. A double rotation turns two orthogonal planes at once, something with no 3-D counterpart; the projection matrix is checked orthogonal to 10⁻¹² at load.

The bookkeeping of hypercubes

The ladder's rule — every drag doubles each element and promotes a copy — compresses to one row of binomial arithmetic per dimension. Nothing here is conjecture; these are counts you can do on your fingers, and the page's slicer touches every one of the tesseract's 32 edges each frame.

objectkvertices 2ᵏedges k·2ᵏ⁻¹squarescubestesseracts
point01
segment121
square2441
cube381261
tesseract416322481
penteract53280804010
hexeract66419224016060

The four regular 4-polytopes the slicer carries: the 5-cell (4-simplex, five tetrahedra — the 4-D tetrahedron), the tesseract (eight cubes), its dual the 16-cell (sixteen tetrahedra), and the 24-cell (twenty-four octahedra) — the strangest of them, self-dual and with no 3-D analogue at all. In five dimensions and above the zoo collapses: only the simplex, hypercube, and cross-polytope families survive. Three is not the richest dimension for regular solids; four is.

Where physics actually puts extra dimensions

Everything above is mathematics — unconditionally true whether or not nature uses it. The physical question is separate: does space have more than three directions? Serious physics has proposed yes, repeatedly, for a century — always with the same escape clause for why we don't see them, and (so far) always with null results where it was testable.

Kaluza–Klein · 1921–26

one curled-up direction

Write general relativity in five dimensions and electromagnetism falls out of the extra components of the metric — gravity and light unified by geometry alone. Klein's fix for invisibility: the fifth direction is a circle of subatomic circumference. Every point in space is secretly a tiny loop, far too small to notice — the template every later theory borrowed.

Strings and branes · 1984–99

6 or 7 more, compactified — or a large one, braneward

Superstring theory is only consistent in 9+1 dimensions, M-theory in 10+1; the surplus six or seven are curled into Calabi–Yau spaces whose shape sets particle physics. Braneworld models (ADD 1998, Randall–Sundrum 1999) instead pin all matter and light to a 3-brane — the literal Fig. 22.2 picture — while gravity alone leaks into the bulk, predicting Newton's law fails at short range.

What experiment says

null, null, null — and that is a measurement

Torsion-balance tests find gravity perfectly inverse-square down to 52 μm (Eöt-Wash 2020): any large extra dimension is smaller than a dust mote. The LHC finds no KK gravitons or micro black holes. And GW170817's gravitational waves arrived with exactly the amplitude 3+1-dimensional propagation predicts over 130 million light-years — D = 4.02 ± 0.1: gravity is not leaking anywhere. Extra dimensions remain legal, but they are cornered.

Boundary of validity

Where this is exact, and where a picture is impossible

The geometry on this page is Tier A: slices, shadows, volumes and counts are computed from first principles and audited at load. The honesty lines worth drawing:

Slices and shadows only — never the object

Every frame is a 3-D (then 2-D, on your screen) picture of a 4-D thing: an intersection or a projection, each with its declared distortion. No rendering, here or anywhere, shows "what a tesseract looks like" — there is no honest answer to that request, and this page does not pretend to one.

operations exact · experience unavailable · Tier D declared
Lighting and colour are conventions

A 4-D object has no 3-D optics: nothing says the slice of a hyperball is violet or glossy. Materials exist to make shape legible; the w-tint on shadow edges is a depth code, not a colour anything "has". The geometry underneath the paint is the exact part.

shape exact · paint is paint
The brane physics is an analogy here

View 1 uses the brane as Abbott and Thorne meant it — a perfect intuition pump. Real braneworld models are dynamical: branes have tension, gravity warps the bulk, and matter is confined by field physics, not geometry alone. None of that dynamics is simulated on this page; the panels report it as proposals with experimental bounds.

geometry live · braneworld dynamics not simulated
Null results bound, they do not forbid

52 μm, TeV colliders, and GW170817 close windows; they cannot close the idea. A dimension curled below ~10⁻¹⁹ m, or a bulk only gravity at cosmological wavelengths could probe, remains untouched. As with the topology of Entry XXV, the honest verdict is a bound, not a verdict.

bounds, not proofs

Verification · recomputed at every load

Sixteen checks against offline scipy/analytic values

References

  • Abbott, E. A. 1884Flatland: A Romance of Many Dimensions — the sphere-visits-Flatland thought experiment that view 1 computes
  • Coxeter, H. S. M. 1973Regular Polytopes, 3rd ed. — the six regular 4-polytopes, their sections and projections
  • Banchoff, T. 1990Beyond the Third Dimension — slicing and projection as the two honest pictures; hypercube section sequences
  • Thorne, K. 2014The Science of Interstellar, ch. 21–22 — the brane/bulk picture (Fig. 22.2) this entry animates
  • Kaluza, T. 1921, Sitz. Preuss. Akad. Wiss. — gravity + electromagnetism from five-dimensional relativity
  • Klein, O. 1926, Z. Phys. 37, 895 — the compactified fifth dimension and the quantum interpretation
  • Arkani-Hamed, N., Dimopoulos, S., Dvali, G. 1998, PLB 429, 263 — large extra dimensions and the hierarchy problem — arXiv:hep-ph/9803315
  • Randall, L., Sundrum, R. 1999, PRL 83, 3370 — warped braneworld geometry — arXiv:hep-ph/9905221
  • Lee, J. G. et al. 2020, PRL 124, 101101 — Eöt-Wash torsion balance: inverse-square law holds to 52 μm — arXiv:2002.11761
  • Pardo, K., Fishbach, M., Holz, D., Spergel, D. 2018, JCAP 07, 048 — GW170817 amplitude ⇒ D = 4.02 ± 0.1: no gravitational leakage — arXiv:1801.08160
  • Adelberger, E. et al. 2003, ARNPS 53, 77 — review of short-range tests of the gravitational inverse-square law
  • Ball, K. 1997An Elementary Introduction to Modern Convex Geometry — concentration of measure; where the volume of high-dimensional balls lives