Registry · Proposition V.P38 tau-effective formalized

V.P38 — QFT vacuum = refinement sum

QFT vacuum equals refinement sum: the QFT vacuum energy density at cutoff level n corresponds to rho_vac^QFT(n) ~ p^{3n} hbar c / (2 l_ref); at the Planck cutoff, this gives the 10^{120} discrepancy. The sum counts lattice modes, not physical energy.

Book V Part 3 Ch. 25

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.QftVacuumRefinementSum