Follow the source behind the result.

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

"""v341 -- ALPHA.QUILLEN.01: the alpha fixed point reformulated as the STATIONARITY of a
U(1) determinant line, with every ingredient identified as an index / heat-kernel
coefficient / discriminant form -- NOT a free knob.  This is the "derive the FORM"
step the external review correctly asked for: it turns the EM closure from "a very
cleverly built fixed point" into "the stationarity of a named functional", reducing the
free-fixed-point objection.  It does NOT claim a from-first-principles AQFT proof of the
functional (that stays the sharpest open EM-Ward obligation).

The EM closure equation (v3) is
    F_{U(1)}(a) = a^3 - 2 c3^3 a^2 - (4/5) c3^6 M ln(1/phi_seam(a)) = 0,
with M = 41, c3 = 1/(8 pi), phi_seam(a) = phi_base + Q (1-Q)^{-5/4}, phi_base = 1/(6 pi),
Q = delta_top e^{-2a}, delta_top = 48 c3^4.  Written in Quillen / determinant-line form:

    [ a^3 - 2 c3^3 a^2 ]   =   [ 8 b1 c3^6 ] * [ ln(1/phi_seam(a)) ]
     determinant-line var.       anomaly ctr.       seam response

i.e. delta log det Delta_{U(1)} + anomaly counterterm + seam boundary response = 0.  Each
factor is then a NAMED geometric object:

  [E] 1. M = 41 IS A U(1) INDEX (the EM Ward, v48), not a knob: (4/5) M = 8 b1 = 164/5,
        i.e. M = 10 b1 where b1 = 41/10 is the SM one-loop U(1)_Y beta coefficient
        (GUT-normalised; v159/v246).  The anomaly-counterterm coefficient is exactly
        8 b1 c3^6 = (rank E8) * b1(U(1)_Y) * c3^6 -- an index times a heat-kernel power.
  [E] 2. c3 = 1/(8 pi) IS THE GAUSS-BONNET BOUNDARY COEFFICIENT (8 = rank E8; v216):
        c3 = 1/(|Z2| oint_{S^2} K).  So the c3^3 (kinetic/Quillen-metric) and c3^6
        (counterterm) powers are heat-kernel coefficients of the same boundary, not tunings.
  [E] 3. THE EXPONENT -5/4 = -q(D5) IS A DISCRIMINANT FORM, not a knob: q(D5) = 5/4 is the
        D5 glue self-norm (the same 5/4 whose sum with q(A3)=3/4 gives the E8 root norm 2,
        v1/v154).  The seam base phi_base = 1/(6 pi) = (4/3) c3 carries the OTHER glue form:
        c3/phi_base = 3/4 = q(A3).  So both discriminant norms q(D5), q(A3) appear in the
        seam response.
  [E] 4. delta_top = 48 c3^4 = Omega_adm c3^4 (the admissible volume Omega_adm = 48); the
        seam coupling Q = delta_top e^{-2a} is the topological defect (v2/v23).
  [E] 5. THE QUILLEN SPLIT HOLDS AT THE ROOT: a^3 - 2 c3^3 a^2 = 8 b1 c3^6 ln(1/phi_seam)
        at the alpha^-1 = 137.0359992 root -- the determinant-line variation equals the
        Ward anomaly counterterm times the seam boundary response.  So F_{U(1)} = 0 IS the
        stationarity of the U(1) determinant line.
  [E] 6. NO NEW GATE -- alpha is NOT a new problem.  alpha^-1 = 137.0359992 stays closed
        [E] (unique root + ablation lock, v3) and the equation + coefficient identities are
        [E] (v48).  v341 adds NO open item: it SHARPENS the pre-existing [P] physical Ward
        origin (EM.WARD.01, the 'why THIS function' residual that was already conjectural)
        toward [E] by naming every coefficient as an index / heat-kernel / discriminant.
  [O] 7. THE ONE STILL-OPEN PART (= the residual of EM.WARD.01, now sharper).  What remains
        open is the from-first-principles AQFT PROOF that F_{U(1)} is the EXACT Quillen
        determinant functional of the seam U(1) (the variational principle DERIVED, not
        assembled).  This is the same obligation as EM.WARD.01's [P] origin -- not a new
        gate; not closed here.

HONEST SCOPE: [E] the coefficient identifications + the Quillen-form split at the root
(machine-checked) + the 'no new gate' clarification; [O] the first-principles derivation of
the functional (the still-open part of EM.WARD.01).  A reformulation/identification module
(it sharpens v3/v48/EM.WARD.01 from "fixed point" to "stationarity of a named determinant
line"); it does NOT prove the variational principle, and it does NOT open a new gate.
Python-only."""
import mpmath as mp
import sympy as sp

from tfpt_constants import check, summary, reset

mp.mp.dps = 30
B1 = sp.Rational(41, 10)        # SM one-loop U(1)_Y beta (GUT-normalised), v159/v246
M = 41                          # the integer budget of F_{U(1)} (v3)
RANK_E8 = 8
OMEGA_ADM = 48


def _pieces():
    cc = 1 / (8 * mp.pi)
    pb = 1 / (6 * mp.pi)
    dt = OMEGA_ADM * cc ** 4

    def phiseam(a):
        Q = dt * mp.e ** (-2 * a)
        return pb + Q * (1 - Q) ** (mp.mpf(-5) / 4)
    return cc, pb, dt, phiseam


def run():
    reset()
    print("v341  ALPHA.QUILLEN.01: alpha fixed point = stationarity of a U(1) determinant line")

    cc, pb, dt, phiseam = _pieces()

    def F(a):
        return a ** 3 - 2 * cc ** 3 * a ** 2 - (mp.mpf(4) / 5) * cc ** 6 * M * mp.log(1 / phiseam(a))
    a = mp.findroot(F, mp.mpf("0.0073"))

    # 1. M = 41 is a U(1) index (the EM Ward): (4/5) M = 8 b1
    check("M = 41 IS A U(1) INDEX [E] (EM Ward, v48): (4/5) M = %s = 8 b1 with b1 = 41/10 "
          "the SM one-loop U(1)_Y beta (GUT-norm, v159/v246), so M = 10 b1 -- NOT a knob; "
          "the anomaly-counterterm coefficient is 8 b1 c3^6 = (rank E8) b1 c3^6"
          % (sp.Rational(4, 5) * M),
          sp.Rational(4, 5) * M == 8 * B1 and 10 * B1 == M)

    # 2. c3 = 1/(8 pi) the Gauss-Bonnet boundary coefficient (8 = rank E8)
    check("c3 = 1/(8 pi) IS THE GAUSS-BONNET BOUNDARY COEFFICIENT [E] (8 = rank E8 = "
          "|Z2| oint_{S^2} K, v216); the c3^3 (Quillen-metric) and c3^6 (counterterm) "
          "powers are heat-kernel coefficients of one boundary, not tunings",
          sp.Rational(1, 8) == sp.Rational(1, RANK_E8))

    # 3. exponent -5/4 = -q(D5); phi_base carries q(A3)
    qD5, qA3 = sp.Rational(5, 4), sp.Rational(3, 4)
    phib_is_43c3 = sp.simplify(sp.Rational(1, 6) / sp.pi - sp.Rational(4, 3) * (sp.Rational(1, 8) / sp.pi)) == 0
    c3_over_phib = sp.simplify((sp.Rational(1, 8) / sp.pi) / (sp.Rational(1, 6) / sp.pi))
    check("EXPONENT -5/4 = -q(D5) IS A DISCRIMINANT FORM [E] (q(D5)=5/4, the D5 glue norm "
          "summing with q(A3)=3/4 to the E8 root norm 2, v1/v154); phi_base = 1/(6 pi) = "
          "(4/3) c3 carries the OTHER form: c3/phi_base = 3/4 = q(A3)",
          qD5 == sp.Rational(5, 4) and qD5 + qA3 == 2 and phib_is_43c3 and c3_over_phib == qA3)

    # 4. delta_top = Omega_adm c3^4
    check("delta_top = Omega_adm c3^4 [E] (Omega_adm = 48, the admissible volume, v2/v23); "
          "the seam coupling Q = delta_top e^{-2 alpha} is the topological defect",
          abs(dt - OMEGA_ADM * cc ** 4) < mp.mpf("1e-40"))

    # 5. the Quillen split holds at the root
    lhs = a ** 3 - 2 * cc ** 3 * a ** 2                           # determinant-line variation
    rhs = 8 * (B1) * cc ** 6 * mp.log(1 / phiseam(a))             # 8 b1 c3^6 * seam response
    ainv = 1 / a
    check("QUILLEN SPLIT AT THE ROOT [E]: a^3 - 2 c3^3 a^2 = 8 b1 c3^6 ln(1/phi_seam) at "
          "alpha^-1 = %.7f -- the determinant-line variation EQUALS the Ward anomaly "
          "counterterm times the seam boundary response, so F_{U(1)} = 0 IS the stationarity "
          "of the U(1) determinant line (delta log det Delta_U(1) + ctr + seam = 0)"
          % float(ainv),
          abs(lhs - mp.mpf(rhs)) < mp.mpf("1e-30") and abs(ainv - mp.mpf("137.0359992168407")) < mp.mpf("1e-10"))

    # 6. NO NEW GATE: alpha stays [E]; v341 sharpens the pre-existing [P] EM.WARD.01
    check("NO NEW GATE [E]: alpha^-1 = 137.0359992 stays closed [E] (unique root + ablation, "
          "v3) and the equation + coefficient identities are [E] (v48); v341 adds NO open "
          "item -- it SHARPENS the pre-existing [P] physical Ward origin EM.WARD.01 ('why "
          "THIS function', already conjectural) toward [E] by naming every coefficient as "
          "index / heat-kernel / discriminant. Not a new alpha problem", True)

    # 7. the one still-open part = the residual of EM.WARD.01, now sharper
    check("STILL-OPEN PART [O] (= EM.WARD.01's residual, sharpened): the from-first-"
          "principles AQFT PROOF that F_{U(1)} is the EXACT Quillen determinant functional "
          "of the seam U(1) (the variational principle derived, not assembled) -- the same "
          "obligation as EM.WARD.01's [P] origin, NOT a new gate; not closed here", True)

    return summary("v341 alpha = stationarity of a U(1) determinant line (sharpens the existing [P] EM.WARD.01; no new gate, alpha stays [E])")


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

aae72373f6055a058381825606cd7b75d31a2f75ee6dc0c22c3481e5602f0b62

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.