Registry · Definition IV.D303 tau-effective formalized

IV.D303 — Regime transition

A regime transition at scale mu_* is a discontinuity in the entropy splitting: lim_{mu->mu_*^+} S_X^vis(mu) != lim_{mu->mu_*^-} S_X^vis(mu). At a regime transition, a finite block of entropy transfers discontinuously between visible and hidden sectors.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.RegimeTransition