Registry · Proposition
V.P29
tau-effective
formalized
V.P29 — Defect entropy from defect functional
Defect entropy from defect functional: S_def(n) = ln|supp(delta[omega]_n)| + O((ln n)/n), relating the defect entropy at orbit depth n to the logarithm of the support of the 4-component defect functional D(d) = (mu, nu, kappa, theta).
Book V
Part 3
Ch. 22