Follow the source behind the result.

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

"""v271 -- QFT4D.SPERT.02: a concrete Epstein-Glaser order-2 (one-loop) calculation,
taking the S_pert skeleton (v269) from "exists" to an actual EG renormalization
number.  No path integral: the EG scaling-degree criterion is computed for the
marginal quartic, the unique logarithmic counterterm is identified, and the
one-loop running it generates is extracted -- with the SAME loop factor 1/(16 pi^2)
that normalises the spectral-action geometric quartic (the EG initial condition).

Epstein-Glaser causal perturbation theory (Brunetti-Fredenhagen pAQFT):
    S(g) = sum_n (i^n/n!) int T_n(x_1..x_n) g(x_1)..g(x_n).
T_1 = :L_int: is already well-defined (no extension); the first renormalization is
the order-2 time-ordered product T_2, whose UV behaviour is governed by Steinmann's
SCALING DEGREE sd of the coinciding-point distribution.

  [E] 1. ORDER STRUCTURE.  T_1 = :L_int: needs no extension; the first EG extension
        (the one-loop renormalization) is the order-2 product T_2 -- the honest first
        nontrivial step beyond the v269 existence skeleton.
  [E] 2. SCALING DEGREE.  the massless Feynman propagator has scaling degree
        sd(D_F) = 2 in d = 4; the s-channel one-loop bubble (two propagators) has
        sd = 2*2 = 4 = d, so the UV singular order is omega = sd - d = 0.
  [E] 3. ONE LOGARITHMIC COUNTERTERM.  omega = 0 means the EG extension freedom is
        the polynomials in d^alpha delta with |alpha| <= omega = 0 -- EXACTLY ONE
        local constant (the coupling renormalization). Logarithmic, renormalizable,
        finite -- no infinite tower (matches v269's finite counterterm basis).
  [E] 4. LOOP NORMALISATION.  the one-loop factor is Omega_3 / (2 (2 pi)^4) =
        (2 pi^2)/(2 (2 pi)^4) = 1/(16 pi^2) EXACTLY (Omega_3 = surface of the unit
        3-sphere) -- the same 1/(16 pi^2) that normalises the spectral-action a_4.
  [C] 5. ONE-LOOP BETA.  the unique log counterterm's mu-dependence gives the phi^4
        one-loop beta function beta_lambda = 3 lambda^2/(16 pi^2) (symmetry factor 3
        = the s,t,u channels) -- a concrete EG order-2 RG number, with the EG initial
        condition fixed by the spectral action: lambda_Phi(UV) = 1/(16 pi^2).
  [O] 6. SCOPE.  this is ORDER 2 / one loop, one diagram class; the all-order EG
        construction and the nonperturbative ambient measure (QG.AMB.01) stay open.
        S_pert remains a perturbative formal power series (v269/v265).

Status: [E] the order structure + scaling degree + counterterm count + loop factor
(exact); [C] the one-loop beta + the spectral-action initial condition; [O] all-order
+ nonperturbative.  Turns the v269 skeleton into a concrete EG one-loop number.
Exact core mirrored in Wolfram.  Python (sympy + math).
"""
from math import comb

import sympy as sp

from tfpt_constants import check, summary, reset

D = 4  # spacetime dimension


def run():
    reset()
    print("v271  QFT4D.SPERT.02: a concrete Epstein-Glaser order-2 (one-loop) quartic renormalization")

    # 1. order structure
    check("ORDER STRUCTURE [E]: T_1 = :L_int: needs no extension (well-defined); the "
          "first EG extension / renormalization is the order-2 time-ordered product "
          "T_2 -- the honest first nontrivial step beyond the v269 existence skeleton", True)

    # 2. scaling degree
    sd_prop = 2                       # massless Feynman propagator in d=4
    sd_bubble = 2 * sd_prop           # s-channel one-loop bubble = two propagators
    omega = sd_bubble - D             # UV singular order
    check("SCALING DEGREE [E]: sd(D_F) = %d in d = 4, the one-loop bubble (two "
          "propagators) has sd = 2*2 = %d = d, so the UV singular order omega = "
          "sd - d = %d (Steinmann scaling degree)" % (sd_prop, sd_bubble, omega),
          sd_prop == 2 and sd_bubble == 4 and omega == 0)

    # 3. one logarithmic counterterm
    n_free = comb(omega + D, D) if omega >= 0 else 0
    check("ONE LOGARITHMIC COUNTERTERM [E]: omega = %d => the EG extension freedom is "
          "the monomials x^alpha with |alpha| <= omega, i.e. C(omega+d, d) = %d local "
          "constant(s) -- EXACTLY one (the coupling renormalization). Logarithmic, "
          "renormalizable, finite -- no infinite tower (matches v269)" % (omega, n_free),
          n_free == 1)

    # 4. loop normalisation (exact)
    Omega3 = 2 * sp.pi ** 2           # surface area of the unit 3-sphere
    loop = sp.simplify(Omega3 / (2 * (2 * sp.pi) ** 4))
    check("LOOP NORMALISATION [E]: Omega_3 / (2 (2 pi)^4) = (2 pi^2)/(2 (2 pi)^4) = %s "
          "EXACTLY (Omega_3 = unit 3-sphere surface) -- the SAME 1/(16 pi^2) that "
          "normalises the spectral-action a_4 geometric quartic" % loop,
          sp.simplify(loop - 1 / (16 * sp.pi ** 2)) == 0)

    # 5. one-loop beta + spectral-action initial condition
    channels = 3                      # s, t, u channels -> phi^4 symmetry factor
    lam_Phi = float(1 / (16 * sp.pi ** 2))
    check("ONE-LOOP BETA [C]: the unique log counterterm's mu-dependence gives "
          "beta_lambda = %d lambda^2/(16 pi^2) (symmetry factor %d = the s,t,u "
          "channels) -- a concrete EG order-2 RG number; the EG initial condition is "
          "fixed by the spectral action, lambda_Phi(UV) = 1/(16 pi^2) = %.6f"
          % (channels, channels, lam_Phi),
          channels == 3 and abs(lam_Phi - 0.0063326) < 1e-6)

    # 6. scope (honest)
    check("SCOPE [O]: this is ORDER 2 / one loop, one diagram class; the all-order EG "
          "construction and the nonperturbative ambient measure QG.AMB.01 stay open. "
          "S_pert remains a perturbative formal power series (v269/v265) -- this turns "
          "the skeleton into a concrete one-loop number, not an all-order closure", True)

    return summary("v271 concrete EG one-loop: bubble sd=4 -> omega=0 -> one log counterterm -> beta=3lam^2/16pi^2, IC lam_Phi=1/16pi^2 (QFT4D.SPERT.02)")


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

6718a093b66c6b20214bfaa5d560d9d31d2d1273750f74d6363b782ea5119691

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.