Registry · Proposition V.P28 tau-effective formalized

V.P28 — iota_tau controls the splitting ratio

iota_tau controls the splitting ratio: S_def(n)/S(n) <= (1 - iota_tau)^n S_def(0)/(n ln p); the crossover depth n* at which defect entropy drops below refinement entropy is determined by the master constant iota_tau.

Book V Part 3 Ch. 22

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.IotatauControlsTheSplittingRatio