Registry · Proposition V.P31 tau-effective formalized

V.P31 — Vacuum circulation is periodic

Vacuum circulation is periodic: in the post-horizon regime (n >= n_coh), the evolution on the compact base tau^1 is periodic with period T_circ > 0; the alpha-orbit is holomorphic and defect-free, producing a rotation of the vacuum state around the temporal circle.

Book V Part 3 Ch. 23

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.VacuumCirculationIsPeriodic