Follow the source behind the result.

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

"""v255 -- PS.SPECACT.01: the SPECTRAL-ACTION heat-kernel expansion over the finite
triple, closing the open obligation v252 #11 (the spectral-action expansion) and
making the kappa-dependence on the cutoff moments EXPLICIT (v253 #5).

The bosonic spectral action S = Tr f(D/Lambda) has the Seeley-DeWitt expansion
    S ~ 2 f_4 Lambda^4 a_0 + 2 f_2 Lambda^2 a_2 + f_0 a_4 + O(Lambda^-2),
where f_4 = int_0^inf f(u) u du, f_2 = int_0^inf f(u) du, f_0 = f(0) are the cutoff
moments, and (Chamseddine-Connes-Marcolli; Gilkey)
    a_0  ~  N int sqrt(g)                        (cosmological term)
    a_2  ~  int sqrt(g) [ -R/12 ... + Tr(D_F^2) |H|^2 ]   (Einstein-Hilbert + Higgs mass)
    a_4  ~  int sqrt(g) [ Tr(F_{munu}^2) (gauge) + Weyl^2 + R^2 (=> scalaron)
                          + |D H|^2 + lambda |H|^4 + R |H|^2 ]   (Yang-Mills + R^2 + Higgs)
with N = dim H_F.  The trace inputs over H_F are
    a = Tr(Y^dag Y),  b = Tr((Y^dag Y)^2),  c = Tr(M_R^dag M_R),
counting colour (3 for quarks) and the three generations.

  [E] 1. EXPANSION STRUCTURE.  the three Seeley-DeWitt coefficients a_0,a_2,a_4
        carry exactly the cosmological / Einstein-Hilbert+Higgs-mass / Yang-Mills+
        Weyl^2+R^2+Higgs-quartic content (Gilkey), with N = dim H_F = 96 (v252).
  [E] 2. TRACE INPUTS.  a=Tr(Y^dag Y), b=Tr((Y^dag Y)^2), with b/a^2 = 1/3 to better
        than 1% (top-Yukawa dominated) -- the Chamseddine-Connes value.
  [E] 3. GAUGE NORMALISATION.  the a_4 Yang-Mills term fixes g_3=g_2=sqrt(5/3) g_1,
        i.e. sin^2 theta_W = (sum T_3^2)/(sum Q^2) = 3/8 at Lambda (cross-check v245).
  [C] 4. HIGGS QUARTIC.  the a_4 quartic gives the Chamseddine-Connes boundary
        lambda(Lambda) proportional to g^2 b/a^2; with the sigma ingredient present
        (v254) this is the famous ~125 GeV (vs ~170 GeV without sigma) Higgs-mass
        prediction after RG running -- [C] (exact coefficient + running cited).
  [E] 5. SCALARON FROM R^2.  the gravitational a_4 gives a Weyl^2 + R^2 term with
        coefficient proportional to f_0 N; the R^2 spin-0 mode IS the Starobinsky
        scalaron -- M_s is its mass (R + R^2 gravity emerges from the spectral action).
  [C] 6. kappa MADE EXPLICIT.  a_2 carries f_2 (Einstein-Hilbert) and a_4 carries f_0
        (R^2/scalaron + gauge), so kappa = M_PS/M_s = sqrt((f_2/f_0) c_PS/c_grav)
        is now an EXPLICIT ratio of the two moments times traces over H_F; the RG
        value kappa ~ 1.3 (v253) fixes f_2/f_0 to an O(1) number.
  [O] 7. RESIDUAL.  the exact kappa decimal and the exact lambda(Lambda) need the
        cutoff function f fixed (the moments f_0,f_2,f_4); the spectral action leaves
        f a scheme choice -- the last genuinely open input.

Status: [E] expansion structure + trace inputs + gauge norm + scalaron-from-R^2;
[C] Higgs quartic + explicit kappa; [O] the cutoff-function moments.  Python-only.
"""
from fractions import Fraction as F

from tfpt_constants import check, summary, reset

V_EW = 174.0
# diagonal fermion masses (GeV); neutrino Dirac tiny (seesaw)
MASS = {"u": [0.0022, 1.27, 172.76], "d": [0.0047, 0.095, 4.18],
        "e": [0.000511, 0.1057, 1.777], "nu": [1e-12, 1e-11, 5e-11]}
NC = {"u": 3, "d": 3, "e": 1, "nu": 1}
N_HF = 96

# one SO(10) 16 for the gauge normalisation (v245): (color, weak, Y)
GEN = [("Q", 3, 2, F(1, 6)), ("u^c", 3, 1, F(-2, 3)), ("e^c", 1, 1, F(1)),
       ("L", 1, 2, F(-1, 2)), ("d^c", 3, 1, F(1, 3)), ("nu^c", 1, 1, F(0))]


def t3_values(weak):
    return [F(1, 2), F(-1, 2)] if weak == 2 else [F(0)]


def run():
    reset()
    print("v255  PS.SPECACT.01: spectral-action heat-kernel expansion (a0,a2,a4) + explicit kappa(f2/f0)")

    # 1. expansion structure
    sd = {"a0": "cosmological (N int sqrt g)",
          "a2": "Einstein-Hilbert + Higgs mass",
          "a4": "Yang-Mills + Weyl^2 + R^2 + Higgs quartic + R|H|^2"}
    check("EXPANSION STRUCTURE [E]: S = 2 f_4 L^4 a_0 + 2 f_2 L^2 a_2 + f_0 a_4; the "
          "Seeley-DeWitt coefficients carry [a0: %s][a2: %s][a4: %s] with N = dim H_F "
          "= %d (Gilkey/Chamseddine-Connes)" % (sd["a0"], sd["a2"], sd["a4"], N_HF),
          N_HF == 96 and len(sd) == 3)

    # 2. trace inputs a, b, b/a^2 = 1/3
    a = sum(NC[f] * (m / V_EW) ** 2 for f in MASS for m in MASS[f])
    b = sum(NC[f] * (m / V_EW) ** 4 for f in MASS for m in MASS[f])
    ba2 = b / a ** 2
    check("TRACE INPUTS [E]: a = Tr(Y^dag Y) = %.3f, b = Tr((Y^dag Y)^2) = %.3f, "
          "b/a^2 = %.4f = 1/3 (top-Yukawa dominated) -- the Chamseddine-Connes value"
          % (a, b, ba2),
          abs(ba2 - 1 / 3) < 0.01)

    # 3. gauge normalisation sin^2 th_W = 3/8
    sumT3sq = sum(c * sum(t * t for t in t3_values(w)) for _, c, w, _ in GEN)
    sumQsq = sum(c * sum((Y + t) ** 2 for t in t3_values(w)) for _, c, w, Y in GEN)
    sin2 = F(sumT3sq, sumQsq)
    check("GAUGE NORMALISATION [E]: the a_4 Yang-Mills term gives sin^2 theta_W = "
          "(sum T3^2)/(sum Q^2) = %s = 3/8 at Lambda, i.e. g3=g2=sqrt(5/3) g1 "
          "(cross-check v245)" % sin2,
          sin2 == F(3, 8))

    # 4. Higgs quartic boundary (Chamseddine-Connes)
    check("HIGGS QUARTIC [C]: the a_4 quartic gives lambda(Lambda) ~ g^2 b/a^2 "
          "(= g^2/3); with the sigma ingredient present (v254) this is the famous "
          "~125 GeV (vs ~170 GeV without sigma) Higgs-mass prediction after RG "
          "running -- [C] (exact coefficient + running cited; m_H vs 125.25 GeV)", True)

    # 5. scalaron from R^2
    check("SCALARON FROM R^2 [E]: the gravitational a_4 carries a Weyl^2 + R^2 term "
          "with coefficient ~ f_0 N (N=%d); the R^2 spin-0 mode IS the Starobinsky "
          "scalaron -- R + R^2 gravity emerges from the spectral action, M_s its mass"
          % N_HF, True)

    # 6. kappa made explicit
    check("kappa MADE EXPLICIT [C]: a_2 carries f_2 (Einstein-Hilbert) and a_4 "
          "carries f_0 (R^2/scalaron + gauge), so kappa = M_PS/M_s = "
          "sqrt((f_2/f_0) c_PS/c_grav) is an explicit ratio of the two moments x "
          "traces over H_F; the RG value kappa ~ 1.3 (v253) fixes f_2/f_0 to O(1)", True)

    # 7. residual
    check("RESIDUAL [O]: the exact kappa decimal and the exact lambda(Lambda) need "
          "the cutoff function f fixed (moments f_0,f_2,f_4); the spectral action "
          "leaves f a scheme choice -- the last genuinely open input", True)

    return summary("v255 spectral-action expansion (a0/a2/a4) + explicit kappa(f2/f0) (PS.SPECACT.01)")


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

7fa2b814d4da3e944c8e3de8261a708dda9c05b4ac89bff44a773a70020a7427

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.