Registry · Corollary
V.C08
tau-effective
formalized
V.C08 — Vacuum source term is finite
Vacuum source term is finite: T_vac = E_bdry/V = (1/V) integral over L of |H_partial[omega_0]|^2 d-sigma, finite and independent of any momentum cutoff; the 10^{120} discrepancy does not arise because no mode sum appears in the tau-Einstein equation.