Registry · Theorem
V.T65
tau-effective
formalized
V.T65 — Vacuum energy is boundary energy
Vacuum energy is boundary energy: E_vac = E_bdry = integral over lemniscate L of |H_partial[omega_0]|^2 d-sigma; the vacuum energy is a finite integral over the compact boundary L, determined by the master constant iota_tau via the Central Theorem.
Book V
Part 3
Ch. 25