What this folio proves, and with what.
The claim of Folio I was that gravity is the running balance of the entanglement ledger. This folio cashes the claim: starting from the balance identity — the Withdrawal, Postulate 3 — and three independently established results, the linearized Einstein equations follow, with Newton's constant fixed by the vacuum's entropy density and the sign of gravity forced by the direction of monogamy.
The three borrowed results, each with its own credit line:
| Instrument | Source | Status |
|---|---|---|
| First law of entanglement δSB = δ⟨KB⟩ |
Bhattacharya–Nozaki–Takayanagi 2013; Faulkner et al. 2014 | MEASURED · 0.15% on the lattice (exact modular Hamiltonian, low-T thermal perturbation) |
| Modular Hamiltonian of a ball KB = 2π∫B f(x) T00 dV |
Hislop–Longo 1982; Casini–Huerta–Myers 2011 | THEOREM in CFT; MEASURED profile survives mass (corr −0.93 over three decades) |
| Area balance of the vacuum Svac(B) = α·Area(∂B) |
Postulate 2 (the Portfolio) | MEASURED α ≈ 0.032 lattice units, R² fit across R = 2…6; saturation proof = open debt (see Solvency) |
And the one new axiom this house contributes:
δSmatter + δSvac(B) = 0 the balance identity (postulate 3) · measured in its simplest arena in folio IIISix steps from bookkeeping to curvature.
Put matter in the books. SETUP
Perturb the vacuum: let matter appear in a small causal-diamond region B — an excitation carrying energy density δ⟨T00⟩ and holding (or building) entanglement with systems elsewhere, δSmatter > 0. By the balance identity, B's vacuum account must be debited by exactly that amount:
Read the debit on the state side. FIRST LAW · 0.15%
The same change in B's entropy can be computed from the quantum state, with no reference to geometry. To linear order, the first law of entanglement gives it as the expectation of the modular Hamiltonian — and for a ball-shaped region, Casini's theorem makes KB explicit:
Both ingredients here are inherited with receipts: the first law verified on the lattice to 0.15%, the Casini weight profile measured at correlation −0.93 and robust to conformal breaking.
Read the same debit on the geometry side. AREA LAW
Postulate 2 says B's vacuum balance is its boundary area: Svac(B) = α·Area(∂B). So a debit in the account is, identically, a deficit in the area:
This is the move that makes the theory gravitational: the ledger has no separate column for "geometry." Area is what a balance looks like when you draw it.
Equate the two readings. THE BALANCE CONDITION
One debit, two ledgers — they must agree, for every ball B, at every point, at every scale:
The left side is pure geometry; the right side is pure stress-energy. An equation that forces geometry to track energy density, ball by ball, is already a gravitational field equation in integrated form. It remains to take its local limit.
Localize. KNOWN ROUTE
The local form of this ball-by-ball condition is a solved problem in the literature, reached twice by independent routes: Jacobson's entanglement-equilibrium argument (2015) shows that demanding δSvac(B) + δSmatter = 0 for all small balls in all frames yields exactly the Einstein equation at each point; Faulkner–Guica–Hartman–Myers–Van Raamsdonk (2014) derive the same linearized equations from the first law in the holographic setting. Applying either localization to the balance condition of Step 4:
The full tensor structure (not just the 00-component) comes from demanding the balance in every boosted frame — every observer's causal diamond keeps its own books, and they must all balance.
Read off the constants. THE EXCHANGE RATE
Matching to the conventional normalization 8πG = 2π/α:
Gravity is weak because the vacuum is rich: the more entanglement the vacuum holds per unit area, the less geometric response a given withdrawal buys. And the integration constant the localization cannot fix — the one freedom the Bianchi identity leaves — enters as Λ, the locked reserve. Its value is not predicted here; that is Folio VI's account.
What monogamy adds that the literature did not have.
Steps 2 and 5 are borrowed, with credit given. A fair auditor asks: what did the Ledger itself contribute? Three things, each absent from Jacobson 2015 and FGHMV 2014:
Credit posted after the novelty audit: the nearest ancestor of the Withdrawal is Verlinde 2016 (arXiv:1611.02269) — "the mass M removes part of, and therefore displaces, the entropy content in the interior." His displacement is a thermal volume-law/area-law competition, takes G as input, and prices an additional dark force; the monogamy conservation law and the sign argument below were not found in the audited literature. Prior Art Ledger →
The SignWhy gravity attracts.
Jacobson must postulate that the vacuum is a maximum of entanglement ("entanglement equilibrium") to get the sign of the response right. Here the sign is not a hypothesis — it is the direction of monogamy. Accounts can only be debited by matter: δSvac = −δSmatter ≤ 0 whenever matter holds entanglement. A debit is an area deficit; an area deficit around energy is attraction. G > 0 because monogamy only runs one way. A theory where matter could credit the vacuum account would be a theory of antigravity, and monogamy forbids it.
The SourceWhy matter gravitates at all.
In the entanglement-first literature, "matter couples to geometry" is imported from the first law's right-hand side. Here it has a mechanism: matter gravitates because it is entangled — with its own constituents, its records, its environment. A hypothetical perfectly unentangled excitation would make no withdrawal and source no curvature. This is a real, falsifiable difference (see Folio III's arena and the lab invoice of Folio I): the source of gravity is held entanglement, for which energy is the usual — but not the defining — proxy.
The IrreversibilityWhy the equation has an arrow under it.
Steps 1–6 are the reversible part of the bookkeeping — Einstein's equation is time-symmetric. Postulate 4 (the Fee) adds what it cannot: every transaction costs Γ ≥ (kBTL/ℏ)·Ṡent in irreversible decoherence. The field equations govern the balances; the fee schedule governs the history. General relativity is the ledger at equilibrium; thermodynamics is the ledger in use. Folio IV computes the fee's constant.
What is proven, what is measured, what is owed.
- Theorem-grade: Casini's KB (in CFT); the Jacobson / FGHMV localization (Step 5), given its hypotheses.
- Measured: the first law (0.15%); the area law (α ≈ 0.032); the Casini profile under mass; the withdrawal itself in its simplest arena (Folio III).
- The saturation debt — PAID, verdict against: the strict CKW contangle test (scripts n1_saturation.json, n1b_ckw.json) measures pairwise saturation at 11.3% (critical) / 39.9% (gapped) — only two shells carry any pairwise negativity; the vacuum's monogamous budget is dominantly collective. (Mutual information, by contrast, over-counts by up to 27× — redundant, broadcast, quantum-Darwinism-like: not a conservation currency at all.) Postulate 2 amended in place on Folio I. Consequence for this derivation: the balance identity of Step 1 operates on the thin pairwise layer; the area term of Step 3 is carried by the full (mostly collective) account. Whether the localization (Step 5) survives this split intact is the new sharpest open question of the folio.
- Owed — the debit's locality: the balance identity is asserted region-by-region. Folio III verifies it for one region pair on the lattice; the general local statement (which σ-algebra is debited, by how much, in an interacting theory) is open.
- Owed — second order: this derivation is linear in δ. The nonlinear completion (full Einstein, not just linearized) follows Jacobson's route only if the balance identity holds at second order — unchecked.
- Honest scope: nothing here predicts the value of Λ or of α in physical units. G = 1/(4αℏ) converts one unknown into another until α is computed from first principles — that conversion is the species-renormalization program, future work.
The derivation chain, in one line for the index:
balance identity → first law (0.15%) → Casini KB → area law (α) → Jacobson localization → Gμν + Λgμν = 8πG Tμν one new axiom · three borrowed theorems · sign of G forced by monogamy