The world is zero — four pages of notes, marked up
There is a small paper handwritten across four pages of a notebook. Its title: "A natural form for the gravitational potential".
The four pages use not a single tool of general relativity. From the consequence of special relativity E = mc² alone, they go after the "natural form" of the gravitational potential. What comes out is an exponential.
This article sets those four pages down as they are, and marks them up. The conclusion first: read in the right coordinates, this formula agrees with the exact Schwarzschild solution to third order, and the places where it breaks can be named. As a toy model, it is very good. Finally, the formula is reread from the side of the mass gap (08).
- The original (four pages)
- The heart of the derivation — self-consistency, and a zero embedded in a constant of integration
- The marking up — three points
- The check — in which coordinates, and to what order, does it agree
- Where this formula stands
- Rating it as a toy model
- Extension — two routes to taking in the curvature of space
- Rereading through the mass gap — a world that wells up from the infinitesimal, and a world with a floor
- What this article can say
The original (four pages)
Transcription
A particle of mass m0 falls towards a star of mass M. The work done by gravity W̄ = ∫F dr returns to the mass through E = mc², and gravity acts on the added part as well:
Combine ① and ②, multiply by r², differentiate with respect to r and separate variables: F′/F = −GM/c²r² − 2/r. The solution is F = k·eGM/c²r/r². Comparing with ① and fixing the constant by m(∞) = m0,
The potential is φ(r) = −∫∞r F dr = −m0c² eGM/c²r = −m0c² − GMm0/r − m0G²M²/2c²r² − …, agreeing with Newton at first order. Conservation of energy reads E + φ = c√(p²+m0²c²) − m0c² eGM/c²r ≈ p²/2m − GMm/r = 0.
The heart of the derivation — self-consistency, and a zero embedded in a constant of integration
The four pages actually use one assumption, and only one. Gravity acts on the energy it has itself produced. That is the m(r) appearing on the right-hand side of ②, and the moment that line goes in, the exponential is inevitable. Compound interest is exponential because interest earns interest — the same reason. And this is also the first drop of the non-linearity of general relativity (gravity gravitates). So it is no accident that this formula comes close to general relativity.
The other heart is the constant of integration on the fourth page. The zero of the potential is normally taken at infinity; here it is taken at φ(∞) = −m0c². The rest mass itself is counted as part of the gravitational debt. At that moment E + φ ≡ 0 holds identically along the whole fall. "The world is zero" is not the conclusion of this formula; it is built into the theory as the choice of origin — the most beautiful place in the four pages.
The marking up — three points
One, the use of proper time
On page two, F = d²r/dτ² = −GMm/r² is Newton's equation with t rewritten as τ; it is not the equation of motion of special relativity (relativistically one must write it with the four-force and proper time, or with coordinate time and momentum). However, everything that follows uses only the fact that the magnitude of the force has the form −GMm/r², so the resulting m(r) and φ(r) are unaffected. To fix it, replace "using proper time" on page two with "assuming the Newtonian form of the force", and the four pages become consistent throughout.
Two, the order of the logic
Following the four pages again, the derivation uses only self-consistency (gravity acting on the present mass-energy); "the total is 0" enters only on page four, when the constant of integration is chosen as φ(∞) = −m0c². "The world is zero" is not a consequence of the derivation but is built into the theory as a choice of origin. The reading that "mass was obtained on credit" is consistent as one interpretation of the formula, but the formula does not prove it. Writing that distinction down makes the four pages honest.
Three, the meaning of r
The r of the four pages is "the plain distance measured from far away", a different thing from the r of the Schwarzschild solution (the areal radius, the coordinate defined so that the area of a sphere is 4πr²). This difference determines the order to which the formulas agree. The next section measures it.
The check — in which coordinates, and to what order, does it agree
The pencil line on page four, γ = eGM/c²r = 1/√(1−v²/c²) — the speed, at that place, of a particle that fell from rest at infinity — is compared with the same quantity in the Schwarzschild solution. Put φ = GM/c²r.
| φ = GM/c²r | relative error, areal radius | relative error, isotropic |
|---|---|---|
| 0.001 | −1.0×10⁻⁶ | −8.3×10⁻¹¹ |
| 0.01 | −1.0×10⁻⁴ | −8.3×10⁻⁸ |
| 0.1 | −1.2×10⁻² | −8.3×10⁻⁵ |
Read in isotropic coordinates — the coordinates in which space is measured without distortion, the closest thing to "the plain distance as seen from far away" — the exponential formula of the four pages agrees with the Schwarzschild solution to third order, and the discrepancy is exactly φ³/12. The way the four pages take r is closer to isotropic coordinates than to the areal radius. The naively chosen r turned out to be a good coordinate.
Where this formula stands
| Element of the four pages | Counterpart in physics | Relation |
|---|---|---|
| the exponential factor eGM/c²r | the exponential metric (Yilmaz, 1958): g00 = e−2GM/c²r | The same functional form. It passes the classical solar-system tests with the same precision as general relativity, and parts company in strong fields — an exponential never reaches zero, so there is no event horizon |
| E + φ ≡ 0 | the zero-energy universe (Tryon 1973, Feynman's lectures on gravitation, Guth) | The line on which the positive mass-energy and the negative gravitational energy cancel, making the total energy of the universe zero |
| "the world is zero" | the Hamiltonian constraint H = 0 (canonical general relativity), the Wheeler–DeWitt equation Hψ = 0 | That the total energy of a closed universe is exactly zero stands as an equation inside the standard theory |
| self-consistency (gravity acting on the energy it produced) | the non-linearity of general relativity | Its first drop. The reason the second-order term comes out right |
The four pages strike two known veins — the exponential metric and the zero-energy universe — knowing of neither. And one more thing: in the formula of the four pages, as r → 0, m(r) diverges to positive infinity and the debt φ to negative infinity, while the sum stays 0. This 0 is not absence but the balance of two cancelling infinities — the physical vacuum is the same, not empty but a balanced ledger.
Rating it as a toy model
Five conditions for a good toy model, applied.
| Condition | The formula of the four pages | Verdict |
|---|---|---|
| Minimality — are the assumptions few | One (self-consistency). The tools are E = mc² and integration | ◎ |
| Range of reproduction — how much of the real thing does it produce | Time dilation, redshift and infall speed at first order. To third order in isotropic coordinates | ○ |
| Can the breaking points be named | (1) No curvature of space — the bending of light comes out half the observed value. (2) No horizon — it parts from general relativity at black holes | ◎ (the clearer the way it breaks, the better the toy model) |
| Extensibility — is the next step visible | Put the same exponential into the spatial components and it becomes the Yilmaz metric, and the bending of light lines up | ○ |
| Educational value | "Gravity gravitates" can be experienced without a single tensor | ◎ |
A toy model drops part of the real thing and reproduces the real thing's habits with what is left. The four pages drop "the curvature of space" and keep only "the self-coupling of gravity". Because the part kept was chosen correctly, the real habits come out to second order. And because it can even say where the dropped part matters (half the bending of light, the absence of a horizon), its failure becomes a textbook. That is the substance of "very good".
Extension — two routes to taking in the curvature of space
What the four pages handle is the time side: m(r) and φ(r) are the quantities that fix how much a clock at that place runs slow, corresponding in metric terms to g00. The spatial side (how much the radial ruler is stretched, grr) is not there yet. There are two routes to taking it in, and the key to both is the pencil line at the foot of page four, γ = eGM/c²r = 1/√(1−v²/c²).
Route A — keep two ledgers
Put the same exponential into the spatial side as well.
The debt is entered half and half into two ledgers, the clock and the ruler — time runs slow by a factor e−φ, and space is stretched by e+φ. This is exactly Yilmaz's (1958) exponential metric, and it passes the three classical tests — light bending, perihelion precession and redshift — with the same precision as general relativity.
Route B — Lorentz contraction in the falling frame
This route derives "why the same factor is needed in space" as an extension of the logic of the four pages. By the equivalence principle, a freely falling frame is inertial. The particle of the four pages falls from rest at infinity and is moving with γ = eφ at that place. Seen from the falling frame, a ruler at rest with respect to the star appears contracted radially by 1/γ — turned round, space at rest is stretched radially by γ relative to the falling frame, which is the inertial one. Hence grr = γ² = e2φ. Combined with e−2φ on the time side, this arrives at the same metric as route A.
This argument is due to Lenz (1944, recorded in Sommerfeld's lectures on electrodynamics), and it is known that putting in the exact γ² = 1/(1−2φ) of general relativity yields the Schwarzschild solution outright. Put in the exponential γ of the four pages and you get the Yilmaz metric. Pushed to its limit it becomes the "river model" of Painlevé–Gullstrand coordinates, in which space itself, still flat, flows into the star at the escape velocity — precisely the setting of the four pages (a particle falling from rest at infinity).
Why "half"
The coordinate speed of light is c·√(g00/grr), so a gravitational field acts as a medium of refractive index n = √(grr/g00). With the four pages as they are (g00 = e−2φ, grr = 1), n = eφ ≈ 1 + φ. With two ledgers, n = e2φ ≈ 1 + 2φ. The bending of light is proportional to n − 1, so the ratio is exactly 1 : 2 — the four pages give half the full value (Einstein's 1911 value), two ledgers give the full 4GM/c²b (the 1915 value).
Intuitively: the wavefront of light passing near a star bends because the side nearer the star lags. There are two reasons for the lag — clocks run slow there (the time ledger), and there is extra space to cross (the space ledger). Newtonian gravity and the four pages have only the first. What the 1919 eclipse tested was whether the second one is real.
Seeing that there is no horizon
Line up the time factor g00 as a function of distance measured in Schwarzschild radii rs = 2GM/c² (so 2φ = rs/r).
| r / rs | general relativity, 1 − rs/r | exponential, e−rs/r |
|---|---|---|
| 3 | 0.667 | 0.717 |
| 1.5 | 0.333 | 0.513 |
| 1 | 0 | 0.368 |
| 0.5 | −1 (inside; time and space swap roles) | 0.135 |
In general relativity g00 vanishes at r = rs — from outside, the clock stops; in the river model, the flow speed of space reaches the speed of light. That is the event horizon. In the exponential formula, g00 = e−rs/r stays positive all the way to r → 0 and never reaches zero. The world of the four pages has no horizon. Even after the curvature of space is taken in, this one point stays parted from general relativity. The umpire between the two theories is the observation of black hole shadows.
A map for the intuition — Einstein's equation in one line
Gμν = (8πG/c⁴) Tμν, said without chasing components, comes out like this (the formulation of Baez–Bunn 2005).
The left-hand side is how spacetime curves — ten components, but around a static spherically symmetric star they reduce to two functions, g00 and grr. The right-hand side is energy density and pressure — for ordinary matter mass dominates, and light has pressure (a third of the density). What Newtonian gravity and the four pages had was only g00, one of the two functions. What general relativity adds is grr — the "half" is this second function, and the bending of light was the only classical test able to probe whether it is real. Add grr to the four pages by route A or B and the two functions are complete, leaving only the presence or absence of a horizon — that is the summary of this section.
Rereading through the mass gap — a world that wells up from the infinitesimal, and a world with a floor
Look at the four pages once more from the side of the starting point. In m(r) = m0 eGM/c²r, m0 is the mass the particle had at infinity. The formula asks nothing of this m0. However small it is — even an infinitesimal seed — the self-coupling of gravity amplifies it exponentially, and as r → 0 it reaches infinity. In the world of the four pages, mass wells up from arbitrarily small beginnings and grows arbitrarily large. What supports this is the single assumption that gravity also acts on the energy it has itself produced — for the same reason that compound interest has no minimum deposit.
As classical mechanics, this continuity is natural. But the masses in nature do not well up continuously. The mathematical statement that says so is the mass gap of Yang–Mills theory.
What the mass gap is
In quantum field theory the state of lowest energy (the vacuum) is set to 0, and the excited states are arranged above it. A mass gap Δ > 0 means that between the vacuum and the first excited state there is a gap that cannot be crossed — that even the lightest thing that can be made in that world has a definite, non-zero mass. The classical starting point of Yang–Mills theory (the field theory of the strong force) contains not a single mass term; the field is written as a massless wave, like light. Yet once it is assembled as a quantum theory, physics believes that Δ > 0 (and lattice computations support this), and showing this as mathematics is the second half of the Clay Institute's Millennium problem.
Here there are two correspondences with the ledger of the four pages.
| The four pages | The mass-gap side | Relation |
|---|---|---|
| E + φ ≡ 0. Rest mass is counted as debt and the total is set to 0 | The normalisation that sets the vacuum energy to 0 (H Ω = 0). The first state comes a distance Δ above it | The origin is placed in the same way. The four pages do not ask what comes above 0, and allow it continuously |
| Exponential amplification from an infinitesimal m0. The seed has no lower bound | Δ > 0 forbids excitations with energy arbitrarily close to 0. The seed has a lower bound | Exact opposites. The world of the four pages is the "world without a gap" itself |
| The classical starting point needs a seed of mass m0. Without a seed nothing grows | The classical starting point has no mass (the field is massless). The quantum theory makes its own scale and produces Δ | The direction is reversed. The four pages amplify a given mass; Yang–Mills makes a scale out of nothing |
Why the infinitesimal is not allowed
What happens if the world of the four pages is carried as it is into quantum theory can be said in one line. If excitations with energy arbitrarily close to 0 are allowed, such excitations are arbitrarily cheap and can be made in arbitrary numbers; space is filled with them, and the quantities diverge (a breakdown of the type physics calls an infrared divergence). So for a quantum field theory to make sense, a floor is needed — "even the lightest thing has a non-zero weight". Δ > 0 is that floor.
Laid over the four pages, this reading shows one more thing the four pages left out. Besides the curvature of space (section 07), a smallest unit. The exponential of the four pages was compound interest that grows continuously. The compound interest of quantum theory has a minimum for the first grain. The "welling up from the infinitesimal" of the four pages is the limiting picture in which that minimum is set to 0.
The reading that matter is born the moment the gap is crossed
In a world with a mass gap, for something to be born from the vacuum, at least the energy Δ is needed at once. A smaller fluctuation leaves nothing behind and returns to the vacuum. Only when an event exceeding Δ occurs does something with non-zero mass first appear in the world — "energy gathering into a lump and becoming matter" is not a continuous process but an event that crosses a floor. In the field of the strong force, the lightest such lump carries the weight Δ, and it is the first step of the world of hadrons.
Restated in this reading, the idea of the four pages, "the world is 0", becomes this. On a ledger whose total is 0, for something non-zero to appear, a floor must be crossed. The four pages wrote that ledger, and did not write the existence of the floor. Showing the existence of the floor as mathematics is the mass-gap problem.
What this section can and cannot say
This correspondence is not a derivation of formulas. The four pages are a classical model of gravity; the mass gap is a property of the quantum field of the strong force. What joins the two is the structural question "does a self-coupling system have a smallest unit?", and neither side can be derived from the other. What can be said is two things: that the world of the four pages is the simplest specimen of a "world without a gap", and that the ledger of "the world is 0" has the same form as the normalisation of the vacuum in quantum field theory. The mathematics of the mass gap itself is pursued elsewhere (Yang–Mills existence and mass gap).
What this article can say
| Content | |
|---|---|
| can say | The derivation in the four pages correctly obtains m(r) = m₀e^{GM/c²r} from the single assumption of self-consistency (integral equation → differential equation → separation of variables, each step retraced) |
| can say | γ = eφ departs from the Schwarzschild solution from second order in the areal radius, from third order in isotropic coordinates (agreement confirmed numerically down to the coefficient φ³/12) |
| can say | "The total is 0" is not a consequence of the derivation but a choice of the constant of integration. The idea of debt produced the formula; the formula does not prove the idea |
| can say | The exponential functional form has a counterpart in Yilmaz's exponential metric, and E+φ≡0 in the zero-energy universe and the Hamiltonian constraint |
| can say | The m0 of the four pages has no lower bound, and the model is a specimen of a "world without a mass gap". E+φ≡0 has the same form as the normalisation that sets the vacuum to 0, and the four pages place no floor above it |
| cannot say | The curvature of space. The four pages are a theory of force, not of the metric, and have nothing corresponding to grr. Light bending and perihelion precession are not determined within this frame |
| cannot say | Strong fields. The exponential never reaches zero, so the world of the four pages has no horizon. This is where general relativity and observation (black hole shadows) are the umpire, and this article does not decide it |
| cannot say | Route B of the extension is a heuristic argument. It is known that Lorentz contraction in the falling frame yields the Schwarzschild solution, but Visser (2005) points out that this is not a derivation, only a heuristic argument that works. This article does not claim it as a derivation either |
| cannot say | Identifying the r of the four pages with isotropic coordinates is a correspondence only to first order; the coordinates were not made to agree completely. The agreement to third order holds on the condition "if the r of the four pages is read as isotropic" |
| cannot say | The relation to the mass gap is a structural correspondence, not a derivation. Δ > 0 (a property of the quantum field of the strong force) cannot be derived from the four pages (a classical model of gravity), nor the converse. "Matter is born the moment the floor is crossed" is a reading of a world with a gap, not a consequence of the formula of the four pages |
There is no new physics in this article
The exponential metric, the zero-energy universe, the Hamiltonian constraint and the reason the bending of light comes out half are all known. What was done was to retrace the four pages line by line, measure in which coordinates they agree to what order, and name the places where they break — nothing else.
Sources and reproduction
| Item | Kind | Source / tool |
|---|---|---|
| The four original pages | handwritten | A scan of four handwritten pages. Tones corrected, ruled lines and show-through removed |
| The Schwarzschild solution (areal radius, isotropic coordinates) | classical | Schwarzschild (1916). The isotropic form is the standard textbook one |
| The exponential metric | literature | Yilmaz, Phys. Rev. 111 (1958) |
| The zero-energy universe | literature | Tryon, Nature 246 (1973); Feynman, Lectures on Gravitation; Guth's "ultimate free lunch" |
| The Hamiltonian constraint | classical | ADM formalism (1962), the Wheeler–DeWitt equation (1967) |
| The bending of light coming out half | classical | Einstein's 1911 value (time component only) vs the 1915 value (including the space component) |
| Schwarzschild from Lorentz contraction in the falling frame | literature | Lenz (1944), Sommerfeld Electrodynamics §38; Visser, Am. J. Phys. 73 (2005), "Heuristic approach to the Schwarzschild geometry" |
| The river model (Painlevé–Gullstrand coordinates) | literature | Painlevé (1921), Gullstrand (1922); Hamilton–Lisle, Am. J. Phys. 76 (2008) |
| Einstein's equation restated in one line | literature | Baez–Bunn, Gen. Rel. Grav. 37 (2005), "The meaning of Einstein's equation" |
| The comparison figure and table for g00 | computed on this machine | 1 − rs/r and e−rs/r plotted over r/rs = 0.25–6 |
| The table of agreement orders | computed on this machine | γ = eφ, (1−2φ)−1/2, (1+φ/2)/(1−φ/2) compared at φ = 10⁻³, 10⁻², 10⁻¹. The logarithmic expansions by hand |
| The definition of the mass gap and the statement of the Millennium problem | literature | Jaffe–Witten, "Quantum Yang–Mills Theory" (the Clay Mathematics Institute problem description, 2000) |
| That lattice computations support Δ > 0 | literature | Lattice-QCD computations of glueball masses (standard reviews). Collected in Part 10 of this site's textbook "Yang–Mills existence and mass gap" |