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.

v208_bh_thermodynamics.py

verification/v208_bh_thermodynamics.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.

"""v208 -- Black-hole thermodynamics from the seam: the modular Hawking
temperature and the scalaron-corrected Wald entropy (archive integration of the
dropped tfpt-42 '[P] stationary horizons & compact objects' section, re-typed
through the current Tomita-Takesaki seam work v198/v199).

Two genuinely-new, EXACT structural readouts on top of the v57 horizon
cross-links and the v28 scalaron:

  [E] 1. MODULAR HAWKING TEMPERATURE.  For the stationary exterior wedge algebra
        the modular flow is Delta^{it} = e^{-2 pi t K_H} (Bisognano-Wichmann /
        Tomita-Takesaki), so the reduced outside state is KMS at inverse
        temperature 2 pi and T_H = kappa/(2 pi). The 2 pi IS the seam unit
        1/(4 c3) (since 1/(2 pi) = 4 c3, v58); for Schwarzschild kappa = 1/(4 M)
        this reproduces the v57/horizon-readout value T_H = c3/M. The modular
        identification 'seam state = horizon KMS state' is [P] (ties to the
        v198/v199 [rho, Lambda_Sigma] = 0 result).
  [E] 2. SCALARON-CORRECTED WALD ENTROPY.  With the induced f(R) = R + R^2/(6 M_s^2)
        (M_s = c3^{7/2} Mbar, v28) the Wald entropy is
            S_W = (f_R A)/(4 G) = (A/(4 G)) (1 + R_h/(3 M_s^2)),
        f_R = 1 + R/(3 M_s^2). The LEADING term is the c3 area law S = A/(4 G),
        1/4 = 1/|mu_4| (v57/v67); the correction is an EXACT consequence of the
        already-derived scalaron, not a new postulate. BH application is [P].
  [E] 3. SdS HORIZON TEMPERATURE.  T_H = (1/(4 pi r_h)) (1 - Lambda r_h^2) on the
        static SdS branch -- the de Sitter / black-hole horizon temperatures in
        the same 1/(4 pi) = 2 c3 normalisation (v101/v190 give the Nariai anchor).
  [E] 4. AREA-LAW LEADING TERM.  S_BH = M^2/(2 c3) = A/(4 G) (Schwarzschild,
        Planck units), the same 1/(4 c3) = 2 pi factor as the modular beta.

  The exact f_R Wald identity (2) and the modular 2 pi = 1/(4 c3) (1) are
  mirrored on the Wolfram path; the BH/modular IDENTIFICATIONS stay [P].
"""
import sympy as sp

from tfpt_constants import check, summary, reset, N_fam

pi = sp.pi
mu4 = 4


def run():
    reset()
    print("v208 BH thermodynamics: modular T_H = kappa/2pi + scalaron Wald entropy [E]/[P]")

    c3 = sp.Rational(1, 8) / pi
    M, R, Lam, rh, A, G, Ms, kappa = sp.symbols('M R Lambda r_h A G M_s kappa', positive=True)

    # 1. modular Hawking temperature: T_H = kappa/(2 pi), 2 pi = 1/(4 c3)
    check("MODULAR T_H [E]: the modular beta 2 pi = 1/(4 c3) (since 1/(2 pi) = 4 c3, "
          "v58) -- Delta^{it} = e^{-2 pi t K_H} => KMS at 2 pi => T_H = kappa/(2 pi)",
          sp.simplify(2 * pi - 1 / (4 * c3)) == 0)
    T_H_schw = (sp.Rational(1, 4) / M) / (2 * pi)     # kappa = 1/(4M), T = kappa/2pi
    check("Schwarzschild T_H = kappa/(2 pi) = c3/M (reproduces the v57 horizon value; "
          "modular identification seam<->horizon is [P], ties to v198/v199)",
          sp.simplify(T_H_schw - c3 / M) == 0)

    # 2. scalaron-corrected Wald entropy
    f = R + R**2 / (6 * Ms**2)
    fR = sp.diff(f, R)
    check("scalaron f_R = 1 + R/(3 M_s^2) (induced R+R^2, v28)",
          sp.simplify(fR - (1 + R / (3 * Ms**2))) == 0)
    S_W = fR * A / (4 * G)
    S_W_horizon = S_W.subs(R, rh)   # horizon curvature R_h
    check("WALD ENTROPY [E]: S_W = (f_R A)/(4 G) = (A/(4 G))(1 + R_h/(3 M_s^2)) "
          "-- leading A/(4G) is the c3 area law, the correction is an EXACT "
          "consequence of the scalaron (v28); BH application [P]",
          sp.simplify(S_W_horizon - (A / (4 * G)) * (1 + rh / (3 * Ms**2))) == 0)
    check("entropy-area coefficient 1/4 = 1/|mu_4| (v57/v67)",
          sp.Rational(1, 4) == sp.Rational(1, mu4))

    # 3. SdS horizon temperature, 1/(4 pi) = 2 c3
    T_sds = (1 / (4 * pi * rh)) * (1 - Lam * rh**2)
    check("SdS T_H [E]: T_H = (1/(4 pi r_h))(1 - Lambda r_h^2), with 1/(4 pi) = 2 c3 "
          "(the de Sitter & BH horizons in one normalisation; Nariai anchor v101/v190)",
          sp.simplify(1 / (4 * pi) - 2 * c3) == 0
          and sp.simplify(T_sds.subs(Lam, 0) - (sp.Rational(1, 4) / pi / rh)) == 0)

    # 4. area-law leading term S = M^2/(2 c3) = A/(4G)
    S_leading = M**2 / (2 * c3)
    check("AREA LAW [E]: S_BH = M^2/(2 c3) = 4 pi M^2 (Schwarzschild Planck units) "
          "= A/(4 G); same 1/(4 c3) = 2 pi factor as the modular beta",
          sp.simplify(S_leading - 4 * pi * M**2) == 0 and sp.simplify(1 / (4 * c3) - 2 * pi) == 0)

    return summary("v208 BH thermodynamics: modular T_H + scalaron Wald entropy [E]/[P]")


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

ed633bb912f464b0a82cd60e348019fb4539a69aa6d8f348857c771da19b7afc

Paper sections that cite this module

=150 2026-07-23 (VIII) (prominence pass — the v519–v529 breakthroughs lifted into the FRAME texts of the papers and the website data layer; purely editorial, NO new modules, NO marker moves — (1) tfpt_5_redteam gains the seam round Target G: the ten-test side-blind scoreboard on the alignment bit ( v512/ v521/ v525/ v529) and the first firing kill test of the programme — the interacting straddle law ( v529), documented as a named threat AND the first hard selection principle for [formula in source] , fenced at toy level; (2) the bit-reduction statements in tfpt_1, tfpt_2 and origin_theory extended from the v512 state to the current state (ten side-blind tests, the twist-class definition with gauge-robust order parameter, ``in principle interferometrically readable'', v528 — the bit stays formal input); (3) the thermal seam lifted into the origin_theory horizon chapter (new keybox: [formula in source] measured, temperature the third leg of [formula in source] , v526) and into the tfpt_horizon_readouts head keybox; (4) tfpt_3 title/keybox now carry the thirty-step story and ``the measure chain is derived'' ( v520/ v523) prominently; (5) tfpt_research_contracts title/intro keybox now show the executed stages of CELEST.SEAM.01 (M1–M3, [formula in source] -chains decided, [formula in source] derived) and WOIT.OS.TWISTOR.01 ( [formula in source] executed, [formula in source] next under the straddle constraint); both contracts stay Open)
=150 2026-07-23 (IV) ( v526 — the thermal seam promoted as the ledger row SEAM.THERMAL.KMS.01: KMS of the reconstructed free OS quotient CLOSED onto the Nariai/BH temperature chain — the THIRD LEG of [formula in source] ; verdict SUCCESS; the celestial/twistor story in tfpt_3 gains Step 27 — (1) [formula in source] MEASURED [formula in source] at both levels ( [formula in source] : [formula in source] , [formula in source] ; [formula in source] : pairing exponent [formula in source] ; wrong [formula in source] excluded); (2) [formula in source] EXACT [formula in source] , [formula in source] [formula in source] Bisognano–Wichmann/Hawking normalisation ( v208) ; (3) modular Hamiltonian closed ( [formula in source] , [formula in source] ; Tomita KMS- [formula in source] on all [formula in source] pairs); (4) [formula in source] third-leg class- [formula in source] selection / (Hawking/Nariai chain; v104 cross-link); (5) entropy [formula in source] , [formula in source] , horizon fractions do NOT transfer ; (6) -5 silver [formula in source] thermal kernel ratio; non-compact [formula in source] ; NO marker moves)
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.