Registry · Remark IV.R169 conjectural formalized

IV.R169 — Universality and critical exponents

Critical exponents (alpha, beta, gamma, delta) of Landau-Ginzburg/Wilson-Fisher theory are readout-level quantities determined by the local geometry of the defect tuple space near the critical point; universality follows from the structural universality of the defect functional.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt2

Symbol: Tau.BookIV.ManyBody.UniversalityAndCriticalExponents