Chapter 12 · A second frontrecords meet gravity
Gravity is the referee of public information.
In plain wordsCould spacetime be built out of records? The program tested that idea seven ways, and it failed every test. What survives runs the other way. Gravity caps how much of the world can be objectively recorded, charges for every public copy that crosses a horizon, and decides which facts can be public, which stay private, and which last.
Information comes in two kinds, and gravity treats them in opposite ways. Public information is a fact copied into many fragments, so many observers can read it on their own; that is what Quantum Darwinism describes. Private information is correlation that no local observer can read as a fact; that is what gravitational entropy counts. Gravity does not build spacetime out of records. It caps them, prices them and sorts them, and its own entropy lives on the private side.
This chapter reports a separate research sprint (26 September 2026): forty AI agents in five waves, with eight independent audits. Audited means a second agent re-derived the result with its own code; single-agent means that hasn’t happened yet. Neither means a physicist has checked it. Three results the page shows as exact were checked again for this page, with published scripts.
Pick a kind of fact. A conserved charge is public through a constraint: every surface around it reads the enclosed flux (Gauss’s law), with no copying at all. Perfectly, though, only if no charged matter can fluctuate; with dynamical charges, no bounded surface reads it with zero error, and the only exact record is at infinity (see the paper below). Scattered light is Quantum Darwinism proper: many independent copies, each paid for, and every bit-copy that crosses a horizon costs at least 4 ln 2 Planck areas. Which-path information swallowed by a horizon leaves no readable record on either side; the record lives only in regions that straddle the horizon. A fact that falls in comes back out in the radiation after the Page time, but encoded: present in principle, invisible to any efficient decoder.
A schematic of results, not a simulation. The horizon statements are proved for linear fields; the black-hole encoding result is numerical, conditional on pseudorandomness and single-agent, and its core matches Kim–Tang–Preskill (2020) and Brakerski (2022).
The tempting identity fails
The boldest version of the idea (call it REG, for “records explain gravity”) says that the redundancy Rδ of Quantum Darwinism is the microscopic entropy in Jacobson’s derivation of Einstein’s equations. It is refuted, and the refutation is audited. What survives is a set of inequalities, not an identity.
| REG component | Verdict | Why |
| Rδ = gravitational (Jacobson) entropy | ✕Refuted | No area law in the vacuum; the wrong sign when heat flows in; Rδ = 0 in equilibrium; unrecorded dark matter still gravitates; records grow at zero energy flux; and any quantity obeying the first law δS = δ⟨K⟩ equals von Neumann entropy to first order. |
| An Rδ area law | ◆Survives as a cap | Public information in a region is at most A/4 in Planck units (about A3/4 with no horizon). Never binding in real systems: the slack is 10¹⁸ to 10⁶⁰. |
| Rδ in the HaPPY code | ✕Can’t reach area | HaPPY’s area term is a constant; its only centers (80 of 600 intervals, all degenerate cuts) are shared by at most two regions. |
| Redundancy-constrained states = spectrum broadcast | ✕Category error | Redundancy-constrained means I₃ = 0. Records push I₃ above zero, holographic states keep it at or below zero, and I₃ = 0 is the two-copy boundary between them (try it below). |
| Redundancy in horizon decoherence | ✕No area law | It grows as κT times the source strength, and none of the which-path information is readable on either side of the horizon. |
| Record-overlap graph → manifold | ✕Reads geometry out | Overlap equals common-past volume, which is causal-set territory, and locally finite record graphs can’t be Lorentz invariant. |
| The Lovelock-pressure step | Objection stands | Choosing the functional makes almost any entropy law look like Einstein’s. Jacobson’s local derivation is restrictive and unaffected. |
Gravity’s entropy is private
In holographic codes the entropy of a region splits into three parts, and the split has the same shape as this program’s public base and private fiber.
S \;=\; \underbrace{H(p_\alpha)}_{\text{public label}} \;+\; \underbrace{\textstyle\sum_\alpha p_\alpha \log d_\alpha}_{\text{private fiber}} \;+\; \underbrace{\textstyle\sum_\alpha p_\alpha\, S(\rho_\alpha)}_{\text{bulk}}The area operator sits in the center of the algebra, the part a region and its complement can both recover (Harlow 2016). Edge modes in gauge theory and gravity give the same split. Fixed-area states have flat fibers, so A/4G lives in the fiber, not the label.
The public label, the hole’s geometry, carries almost nothing: about ½ ln(A/ℓP²), roughly 90 nats for a solar-mass hole. The Bekenstein–Hawking entropy A/4G, about 10⁷⁷ nats, is private-fiber entropy. Finer geometric labels don’t close the gap until the cells reach the Planck scale with order-one fluctuations, where the semiclassical description no longer holds. Even an area label is only “two-way objective”: complementary regions share it (R ≈ 2), and no one else does.
The ½ ln A form is the ℓ = 0 edge-mode estimate for horizons (single-agent). In holographic codes the label is O(log A) (audited).
Every public copy has a price
Copying a fact costs energy and entropy. Near a horizon it also costs area, and gravity caps the total. What REG hoped was an equality, redundancy = area, is a price ceiling. The bounds are structural: none comes close to binding in any real system.
Choose a fact of H bits copied R times inside a region of radius L. Each record’s Holevo information is at most its modular energy (Casini 2008). Each copy beyond the first produces entropy: Σ ≥ [R(1 − δ) − 1]·H (the core inequality is Churilov 2026). A region can hold at most A/4 Planck areas of public information with a horizon, and about A3/4 without one (self-gravitating radiation). A bit-copy that crosses a horizon costs at least 4 ln 2 ℓP² = 7.24 × 10⁻⁷⁰ m² (’t Hooft 1993).
The flat-space part of the region cap is a theorem; the gravity step is heuristic outside spherical symmetry. The presets are illustrations with round numbers, not measurements.
A recount
A sunlit dust grain carries about 10⁴ records, not 10⁸.
Riedel and Zurek (2010) estimate that a dust grain 1 µm across, after 1 µs of sunlight, has its location imprinted about 10⁸ times. Their calculation uses the dipole cross-section of a dielectric sphere, which assumes λ ≫ a; visible light on this grain has ka between 4.5 and 7.9. Exact Mie scattering gives about 1.2 × 10⁴ scattered photons in that microsecond, or 5 × 10⁴ if 1 µm is the radius. A record can’t be made without scattered light, so that is also the most records the grain can carry. The 10⁸ matches the dipole formula with a 1 µm radius.
Numerical: audited in the sprint, and recomputed independently for this page (repro/dust_grain.py, output). The paper’s point stands: ten thousand independent copies in a microsecond is still enormous redundancy.
Records and geometry are complementary
One identity translates between records and holographic geometry (Hosur, Qi, Roberts & Yoshida 2016). For a pure state on a system R and three fragments covering the rest:
I_3(F_1{:}F_2{:}F_3) \;=\; \sum_{i=1}^{3} I(R{:}F_i) \;-\; 2\,S(R)A state with one semiclassical geometry obeys monogamy of mutual information, I₃ ≤ 0. Good records push I₃ up.
With branching records, one or two copies leave I₃ exactly zero, and a third pushes it above zero, where no single semiclassical geometry can go. Two copies are exactly the redundancy-constrained condition of Cao and Carroll: marginal, two-copy objectivity. The same tension shows up two more ways. A shared record adds a uniform floor H to every pairwise mutual information, which erases the geometry that mutual information would otherwise draw (in a 15-qubit model; conditioning on the record restores it). And dephasing each boundary site of a large random tensor network with strength p leaves every region shorter than ℓ*(p) with no reconstructable bulk: ℓ* ≈ 11, 82 and 767 sites at p = 0, 0.8 and 0.97 (N = 2048; numerical, single-agent).
Exact for branching records whose fibers are unentangled (repro/i3_copies.py). Records whose branch fibers are themselves entangled can still give I₃ < 0 (audited caveat).
How entangled can a shared partner stay?
If B’s half of an entangled pair is shared symmetrically with m recipients, how much entanglement can A keep with any one of them? The sprint found an exact answer. It is the size of the program’s “finite-m quantum halo”.
\mathcal N_{\max}(m) \;=\; \frac{1}{m + 2\sqrt m - 1}\quad\Big(=\tfrac{1}{2m}\ \text{when } \rho_A = \tfrac12 I\Big),\qquad E_{\mathcal N}^{\,\rm Gauss} \;<\; \ln\frac{k+1}{k-1}Qubits on the left, where ρAB is m-extendible on B; Gaussian modes on the right, for k-extendible states. The two bounds coincide at k = m + 2√m, and both optimal states are a 1/m beam-splitter share.
The same bound turns a gravity-mediated entanglement (BMV) experiment into a test of whether spacetime keeps records. For masses in path superpositions, the negativity obeys 𝒩(A:B) ≤ Σi<j √(pipj) F(ρEi, ρEj), where E is everything else, mediator included. So measuring the ideal predicted entanglement would certify that gravity kept no redundant records of the paths. Standard physics predicts about 10⁻⁵⁸ which-path quanta in gravitational radiation; Diósi–Penrose collapse would leave about 378, enough to kill the entanglement.
The qubit theorem is proved for all m in the sprint (audited) and checked numerically for this page at m = 1, 2, 3 (repro/halo_bound.py). The Gaussian theorem is single-agent, one step from Lami–Khatri–Adesso–Wilde (2019).
How long a fact lasts
Chapter 3 left permanence open: Lieb–Robinson bounds protect a record only for a stated time. Gravity supplies two exact escape routes. A record is immune to all future local erasure if and only if its carrier lies beyond the observer’s causal future (in flat spacetime, it reaches null infinity), or the record is an exactly conserved charge. Both have limits. In our universe the first is bounded by the de Sitter horizon. The second holds only against charge-neutral dynamics, and under unheralded noise it is less robust than a repetition code.
If a record’s carrier escaped a time Δt ago, getting it back costs at least Emin = (λc⁴/G)·eHΔt, which grows by a factor e every 17.5 billion years. The window closes when that exceeds the heaviest black hole a de Sitter static patch can hold. For Planck-scale records this gives T* ≈ 2.4 × 10¹² years, about half the horizon’s scrambling time. Inside the window, recall needs a mirror already in place at the horizon crossing. Soft horizon records are never recallable, and records that escape into a transparent universe are permanent the moment they escape.
Derived, single-agent. The closing criterion drawn here (the Nariai mass) is this page’s reconstruction; it reproduces the sprint’s T* for Planck-scale λ. None of the source papers computes self-recall.
A first paper: how public can a fact be?
The sprint’s first draft paper takes the most public kind of fact there is, a conserved charge, and asks whether its publicity can be perfect: zero-error copies in arbitrarily many disjoint, bounded regions. Classically, Gauss’s law says yes: every closed surface around a charge measures it exactly. With quantum fields the answer is no, and the reason mirrors the principle that quantum gravity has no global symmetries.
Draft paper · 26 September 2026
How Public Can a Fact Be? Completeness forbids perfect records of charges in bounded regions
Authors to be added. Prepared with AI research assistance; not peer reviewed. Theorems are derived from stated hypotheses; results marked † in the paper come from a single exploratory analysis.
Read the paper (PDF, 12 pages) →
- ◆Theorem 1
The facts that every fragment reads with zero error, in every state, are exactly the projections all the fragment algebras share. They form an abelian, central algebra that no fragment-local operation can disturb.
- ◆Theorem 2
An exact higher-form symmetry makes a charge perfectly public on every shell that links it. In the toric code each fragment either reads the charge perfectly or learns nothing.
- ✦Theorem 3
With dynamical charged matter, vacuum-like (Reeh–Schlieder faithful) states and local normality, no bounded region reads a gauge charge with zero error, not even a region that contains the charge, and no local process running for a finite time can create such a record.
- ◆Corollary 1
Granting completeness of the charge spectrum, this is a conditional, effective-field-theory-level “no perfect publicity” counterpart of Harlow and Ooguri’s theorem, read here as “no perfect privacy”.
- ◆Section 6
The laws are not records. In the Marolf–Maxfield baby-universe model no radiation fragment holds any information about the coarse law, and infinitely many qubit fragments recover only 0.41% of it at S₀ = 2.
\lim_{r\to\infty}\,\lim_{\delta\to 0} R_\delta(r) \;=\; 0, \qquad \lim_{\delta\to 0}\,\lim_{r\to\infty} R_\delta(r) \;=\; \inftyThe two limits don’t commute. Near-perfect records of a charge are everywhere; perfect ones exist only at spatial infinity, and no finite region can acquire one in finite time.
Pick a fact and a region. The curve is the paper’s lower bound on how many disjoint regions inside radius r can each read the fact to within δ, using explicit, strictly disjoint readers. Mass is square-root public: 1 kg has at least 2 × 10²¹ disjoint readers within a metre, and a single 5 GHz photon about 12. A charge carried by massless particles is only logarithmically public, about 24 readers over twelve decades of radius. Gapped carriers give r/(ξ ln r), and a Higgs phase screens the charge down to O(1). Push δ to zero and every bounded-region curve vanishes. Only an exact 1-form symmetry, which quantum gravity is believed to forbid, keeps perfect readers.
These are achievability bounds; no upper bound is known except in the Higgs phase. The gapped curve shows the scaling only (its constant isn’t fixed). The zero-error no-go assumes faithful states and local normality, and holds at the level of effective field theory. The numbers quoted here were re-checked for this page.
What this changes for the program
Architecture
Public base, private fiber, again.
Gravity organizes its entropy the program’s way: the geometry label is the base, A/4G the fiber, and scrambling is fiber contraction.
Persistence
Two exact routes to permanence.
Null-boundary archiving, bounded by T* in de Sitter and by the Page time for black holes, and constraint protection, valid only against charge-neutral dynamics.
Prices
A price list for publicity.
At most its modular energy in Holevo information per record, at least 4 ln 2 ℓP² of horizon per bit-copy, and at most A/4 per region.
Halos
The quantum halo has an exact size.
1/(m + 2√m − 1) in negativity for qubits, and ln((k+1)/(k−1)) in log-negativity for Gaussian modes.
Quarantine
Inequalities in, identity out.
The “records → gravity” quarantine lifts for inequalities and stays in force for identities.
Scope
What this does not do.
Nothing here derives Einstein’s equations from records, and no record-theoretic quantity scales with area.
Next attacks
- Audit the single-agent results: the Gaussian halo, the de Sitter budget and window, the single-geometry theorem, “records erase the bulk”, the Harlow–Ooguri reading, and interior objectivity.
- Paper 1, The price of objectivity: capacity caps, records cost area, the de Sitter budget, and the dust-grain recount.
- Paper 2, Quantum halos: the qubit and Gaussian extendibility theorems, plus the BMV reading that entanglement certifies Rδ = 0.
- Paper 3, Charges are the public facts: now drafted as How Public Can a Fact Be? (above). Still to fold in: publicity thresholds for global charges and black-hole mass-class publicity.
- Open physics: an interacting-QFT version of “records cost area”; the mass-class law in a genuine holographic CFT; monitored records as a true infinite-horizon persistence mechanism; and whether the α-parameters of closed-universe quantum gravity are the only perfectly public records (Harlow 2026).