Registry · Definition V.D86 tau-effective formalized

V.D86 — Defect entropy

Defect entropy at orbit depth n: S_def(n) = lim_{r->inf} (1/r) ln(1 + P_def(n,r)), measuring the exponential growth rate of defect-traversing paths; the +1 inside the logarithm ensures S_def = 0 when the defect path count vanishes (vacuum).

Book V Part 3 Ch. 22

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.DefectEntropy