Registry · Definition V.D94 tau-effective formalized

V.D94 — The tau-vacuum

The tau-vacuum: the ground configuration omega_0 in H_partial[omega] satisfying dbar_b omega_0 = 0 everywhere (holomorphic throughout), S_def[omega_0] = 0 (zero defect entropy), and E[omega_0] = E_bdry (energy equals the boundary energy).

Book V Part 3 Ch. 25

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.VacuumNoVoid

Symbol: Tau.BookV.Thermodynamics.TheTauvacuum