Registry · Definition IV.D302 tau-effective formalized

IV.D302 — Entropy splitting

At any energy scale mu, the total entropy of sector X splits as S_X(mu) = S_X^vis(mu) + S_X^hid(mu), where S_X^vis is the entropy accessible to a measurement apparatus at scale mu and S_X^hid is the entropy stored in unresolvable sub-structure.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.EntropySplitting