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

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.VacuumEnergyIsBoundaryEnergy