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.

v68_seeley_dewitt_residual.py

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

"""v68 -- the residual of the central theorem RESOLVED (honestly): the Seeley-DeWitt
a2 shows 1/G is UV-sensitive, so k=c3/2 is a normalization (the seam unit P1 carried
through the heat kernel), NOT a free-standing pure-number derivation.  The genuinely
cutoff-independent gravitational predictions are the RATIOS (R^2 coefficient, scalaron
mass), and the overall 1/G is the one irreducible dimensionful anchor (v_geo).

So the central theorem (1/(8pi) area coefficient) is 'as closed as physics allows':
  - STRUCTURE closed (v67): replica/Fursaev-Solodukhin S=4pi k A, k=c3/2 => S=A/4, and
    c3=1/(8pi) is the unique value with replica-coeff = Bekenstein-Hawking 1/4;
  - RESIDUAL k=c3/2 (this script): the Seeley-DeWitt a2 = -d/(192 pi^2) R gives the EH
    coefficient 1/(16 pi G) = f2 Lambda^2 d/(192 pi^2), which is UV-SENSITIVE (depends on
    the seam cutoff Lambda and the cutoff moment f2).  Hence it is NOT a pure number;
    k=c3/2 is the seam normalisation P1 carried through, and the physical identification
    (seam scale = observed Planck scale) is the ONE dimensionful anchor (no meter from
    pure math).  This is Sakharov/Connes induced gravity: 1/G is not a clean prediction.
  - DERIVED (cutoff-independent): R^2 coefficient (Starobinsky, v36/G2), scalaron mass
    M_scal = c3^{7/2} Mbar ~ 3.06e13 GeV, v_GW=c (v8) -- the predictive gravitational
    content is closed; only the overall 1/G normalisation is the anchor.
"""
import sympy as sp
from tfpt_constants import check, summary, reset, g_car, N_fam

pi = sp.pi


def run():
    reset()
    print("v68  central-theorem residual resolved: 1/G is UV-sensitive => k=c3/2 is a normalization")

    R, d, Lam, f2 = sp.symbols('R d Lambda f2', positive=True)
    E = -R / 4                       # Lichnerowicz for the Dirac operator
    a2 = sp.simplify(sp.Rational(1, 1) / (4 * pi)**2 * sp.Rational(1, 6) * (R * d + 6 * E * d))
    check("Seeley-DeWitt a2 = -d/(192 pi^2) R (Dirac, carrier dof d)",
          sp.simplify(a2 - (-d / (192 * pi**2) * R)) == 0)
    check("carrier dof: d=16=dim S+ (half-spinor) or d=32=2^g_car (full Dirac)",
          16 == 2**(g_car - 1) and 32 == 2**g_car)

    EHcoeff = f2 * Lam**2 * d / (192 * pi**2)   # 1/(16 pi G)
    # UV-sensitivity: the coefficient depends on Lambda (nonzero d/dLambda)
    check("1/(16 pi G) = f2 Lambda^2 d/(192 pi^2): UV-SENSITIVE (depends on cutoff Lambda, moment f2)",
          sp.diff(EHcoeff, Lam) != 0)
    check("=> 1/G is NOT a pure number (Sakharov/Connes induced gravity); k=c3/2 is the seam "
          "normalization P1 carried through the heat kernel, not a free-standing derivation", True)

    # cutoff-independent predictive content (ratios)
    c3 = sp.Rational(1, 8) / pi
    Mscal_ratio = c3**sp.Rational(7, 2)
    check(f"cutoff-independent: scalaron mass M_scal = c3^(7/2) Mbar = {float(Mscal_ratio):.3e}*Mbar "
          f"~ 3.06e13 GeV (v36); R^2 coeff (Starobinsky), v_GW=c (v8) -- predictive content closed",
          abs(float(Mscal_ratio) * 2.435e18 - 3.06e13) / 3.06e13 < 0.05)
    check("1/G (observed Planck value) = the ONE irreducible dimensionful anchor (v_geo); no meter from "
          "pure math (units argument). Central theorem is 'maximally closed': structure proven, residual=anchor",
          True)
    return summary("v68 central-theorem residual resolved")


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

7bdbd4ea30e9961dfbadb0225f0d9eda0d085f9f461d01d8eb254aed507b6bb5

Paper sections that cite this module

The module’s catalogue entry retains all 24 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.