Registry · Definition V.D87 tau-effective formalized

V.D87 — Refinement entropy

Refinement entropy at orbit depth n: S_ref(n) = lim_{r->inf} (1/r) ln P_free(n,r), counting the exponential growth rate of defect-free holomorphic paths; these paths exist even in the vacuum because the lattice itself provides defect-free continuations.

Book V Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookV.Thermodynamics.EntropySplitting

Symbol: Tau.BookV.Thermodynamics.RefinementEntropy