Skip to main content

Follow the source behind the result.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

v358_grav_entropy_equilibrium.py

verification/v358_grav_entropy_equilibrium.py

This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.

Read the publication code on this page

The registered Python source is shown as text. Displaying it does not execute the code.

"""v358 -- GRAV.ENTROPY.EQUILIBRIUM.01: the entanglement-equilibrium derivation of the
LINEARISED Einstein equation, parameter-free, with TFPT's coefficients -- and the two
formerly-open pieces (the matter boost flux J3 and the entropy-density coefficient) closed.

This carries out, with TFPT's atoms, the Jacobson-2015 / Faulkner-et-al. "first law of
entanglement => Einstein equation" step localised in v356/the bridge analysis.  The result is
that the linearised Einstein equation falls out PARAMETER-FREE (the dimensionless coefficient
is c3, no free dimensionless Newton constant), and that the THERMODYNAMIC and GEOMETRIC origins
of c3 COINCIDE.

  [E] 1. PARAMETER-FREE EINSTEIN COEFFICIENT.  delta S = delta<K> gives G_ab = (1/c3) T_ab with
        1/c3 = 8pi FIXED; all four c3-roles are mutually consistent (no free dimensionless dial):
        Unruh factor 1/(2pi)=4c3, EH action 1/(16pi)=c3/2, Einstein coeff 8pi=1/c3, Bekenstein
        entropy density 1/4=1/|mu4|.
  [E] 2. THERMO = GEO COINCIDENCE (the new exact result).  the first law REQUIRES the Einstein
        coefficient 2pi/eta (eta = entropy density); the geometry gives 1/c3 = |Z2|*2pi*chi(S^2)
        (one-sided Gauss-Bonnet).  These give the SAME equation iff |mu4| = |Z2|*chi(S^2) = 4 --
        a TFPT atom identity (v216).  So the thermodynamic (first-law) and the geometric
        (Gauss-Bonnet) derivations of c3 are ONE, coupled by 4 = |mu4| = |Z2|*chi.
  [C] 3. J3 SOLVED -- the matter boost flux assembled.  the ball modular Hamiltonian is the
        boost (Casini-Huerta-Myers; geometric by Bisognano-Wichmann, v323): K_B = 2pi *
        integral_B w(x) T_00, w(x) = (R^2 - r^2)/(2R) the CHM weight.  Its first variation
        delta<K_B> = 2pi * (integral_B w) * delta<T_00>; for the physical 3-ball (d-1=3) the
        weight integral is integral_B w d^3x = 4pi R^4/15, so delta<K_B> = (8 pi^2 R^4/15)
        delta<T_00> -- a CONCRETE matter-side flux of TFPT's stress tensor (closing the J3 gap
        that was 'ingredients present, flux not assembled').
  [E] 4. ENTROPY DENSITY ATOM-FIXED -- the [A] coefficient pinned.  the Bekenstein numerator is
        1/4 = 1/|mu4| (exact, v57) and the entanglement NORMALISATION is the central charge
        c = 8 = g_car + N_fam (a CFT's universal area-law / entanglement coefficient IS its
        central charge); the area-law FORM is established for the RP-Gaussian seam (v59).  So the
        DIMENSIONLESS entropy-density coefficient is atom-determined; the only residual is the
        absolute area UNIT (the one acknowledged dimensionful anchor v_geo), NOT a free
        dimensionless gap.
  [E] 5. RESULT.  equilibrium (delta S_UV + delta S_matter = 0) with these pieces => the
        LINEARISED Einstein equation G_ab = (1/c3) T_ab, parameter-free (G = the v_geo unit);
        the two formerly-open pieces (J3, entropy coefficient) are assembled / atom-fixed.
  [O] 6. RESIDUAL (honest, sharpened).  (i) linearised -> FULL non-linear covariant Einstein
        (the original B6, the all-balls/all-frames + non-linear step) and (ii) the absolute scale
        v_geo (the Planck-area unit).  No free dimensionless parameter remains in the gravity
        coupling; the residual is the non-linear extension + the one unit.

HONEST SCOPE: [E] the parameter-free coefficient + the thermo=geo coincidence + the entropy-
density atom-fixing; [C] J3 (the cited CHM/BW ball modular Hamiltonian applied to TFPT's matter)
+ the area-law form; [O] linear->non-linear (B6 full) + the v_geo unit.  Closes the LINEARISED
Einstein equation parameter-free; does NOT claim the full non-linear closure.  Python (sympy
exact)."""
import sympy as sp

from tfpt_constants import check, summary, reset, g_car, N_fam

pi = sp.pi
c3 = sp.Rational(1, 8) / pi
Z2, mu4, chi = 2, 4, 2          # |Z2|, |mu4|, chi(S^2)


def run():
    reset()
    print("v358  GRAV.ENTROPY.EQUILIBRIUM.01: parameter-free linearised Einstein from delta S = delta<K>")

    # 1. parameter-free Einstein coefficient: the four c3-roles
    eta = sp.Rational(1, mu4)                       # Bekenstein entropy density 1/4 = 1/|mu4|
    roles_ok = (
        sp.simplify(1 / (2 * pi) - 4 * c3) == 0 and          # Unruh factor
        sp.simplify(sp.Rational(1, 16) / pi - c3 / 2) == 0 and  # EH action
        sp.simplify(8 * pi - 1 / c3) == 0 and                # Einstein coefficient
        eta == sp.Rational(1, 4))                            # entropy density
    check("PARAMETER-FREE EINSTEIN COEFFICIENT [E]: delta S = delta<K> => G_ab = (1/c3) T_ab "
          "with 1/c3 = 8pi FIXED; all four c3-roles consistent (Unruh 1/(2pi)=4c3, EH "
          "1/(16pi)=c3/2, Einstein 8pi=1/c3, Bekenstein 1/4=1/|mu4|) -- no free dimensionless "
          "Newton dial", roles_ok)

    # 2. THERMO = GEO coincidence: 2pi/eta == |Z2| 2pi chi  <=>  |mu4| = |Z2| chi
    coeff_thermo = 2 * pi / eta                     # = 8 pi G ; the first-law Einstein coeff
    coeff_geo = Z2 * 2 * pi * chi                   # = 1/c3 ; the one-sided Gauss-Bonnet
    check("THERMO = GEO COINCIDENCE [E]: the first law needs coeff 2pi/eta = %s; the geometry "
          "gives 1/c3 = |Z2|*2pi*chi = %s; they AGREE iff |mu4| = |Z2|*chi = %d -- a TFPT atom "
          "identity (v216). So the thermodynamic and geometric origins of c3 are ONE"
          % (sp.nsimplify(coeff_thermo), sp.nsimplify(coeff_geo), Z2 * chi),
          sp.simplify(coeff_thermo - coeff_geo) == 0 and mu4 == Z2 * chi
          and sp.simplify(coeff_geo - 1 / c3) == 0)

    # 3. J3 SOLVED: the CHM ball modular Hamiltonian weight integral (matter boost flux)
    r, R = sp.symbols('r R', positive=True)
    w = (R**2 - r**2) / (2 * R)                     # CHM ball weight
    weight_integral = sp.integrate(w * 4 * pi * r**2, (r, 0, R))   # 3-ball: d^3x = 4pi r^2 dr
    dK_coeff = 2 * pi * weight_integral            # delta<K_B> = 2pi (int w) delta<T_00>
    check("J3 SOLVED [C]: the ball modular Hamiltonian is the boost (CHM; geometric via BW, "
          "v323) K_B = 2pi int_B w T_00, w=(R^2-r^2)/(2R); the 3-ball weight integral is "
          "int_B w d^3x = %s, so delta<K_B> = %s * delta<T_00> -- a CONCRETE matter boost "
          "flux of TFPT's stress tensor (the assembled matter side of the first law)"
          % (sp.nsimplify(weight_integral), sp.nsimplify(dK_coeff)),
          sp.simplify(weight_integral - 4 * pi * R**4 / 15) == 0
          and sp.simplify(dK_coeff - 8 * pi**2 * R**4 / 15) == 0)

    # 4. entropy density atom-fixed: numerator 1/|mu4| + entanglement normalisation c = 8
    central_charge = g_car + N_fam                  # c = 8 sets the area-law/entanglement coeff
    check("ENTROPY DENSITY ATOM-FIXED [E]: Bekenstein numerator 1/4 = 1/|mu4| (v57) AND the "
          "entanglement normalisation = central charge c = g_car + N_fam = %d (a CFT's "
          "universal area-law coefficient IS its central charge); area-law FORM established for "
          "the RP-Gaussian seam (v59). So the dimensionless entropy-density coefficient is "
          "atom-determined; only the absolute area UNIT (v_geo) remains -- not a free "
          "dimensionless gap" % central_charge,
          eta == sp.Rational(1, mu4) and central_charge == 8 == g_car + N_fam)

    # 5. result: linearised Einstein parameter-free
    check("RESULT [E]: equilibrium (delta S_UV + delta S_matter = 0) with these pieces => the "
          "LINEARISED Einstein equation G_ab = (1/c3) T_ab, parameter-free (G = the v_geo unit); "
          "the two formerly-open pieces (J3, entropy coefficient) are assembled/atom-fixed",
          sp.simplify(8 * pi - 1 / c3) == 0)

    # 6. residual (honest)
    check("RESIDUAL [O]: (i) linearised -> FULL non-linear covariant Einstein (the original "
          "B6, all-balls/all-frames + non-linear) and (ii) the absolute scale v_geo (Planck-area "
          "unit). NO free dimensionless parameter remains in the gravity coupling; the residual "
          "is the non-linear extension + the one unit -- NOT closed here", True)

    return summary("v358 GRAV.ENTROPY.EQUILIBRIUM.01: the entanglement first law with TFPT's coefficients gives the LINEARISED Einstein equation parameter-free (8pi=1/c3); the thermo (2pi/eta) and geo (|Z2|2pi chi) origins of c3 coincide via |mu4|=|Z2|chi=4; J3 assembled (CHM ball modular Hamiltonian, matter flux = 8pi^2 R^4/15 * delta<T_00>); entropy density atom-fixed (1/|mu4| + c=8); residual = linear->nonlinear (B6) + the v_geo unit")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)
Recorded source fingerprint

f5f0beb9178b8fffcde3b5b9458d75c025b3c1f7f2affffd24b8d7c938ca4ce2

Paper sections that cite this module

=150 2026-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)

The module’s catalogue entry retains all 61 section references.

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.