ising_bootstrap
plain-language theorem explainer
ising_bootstrap encodes the conformal bootstrap reference values for the three-dimensional Ising universality class as the structure with symmetry rank 1, nu equal to 0.629971 and eta equal to 0.0362978. Critical phenomena researchers cite these numbers when comparing O(N) classes or testing scaling relations. The definition is a direct structure constructor with the listed constants.
Claim. The Ising universality class is the structure with symmetry rank $N=1$, correlation length exponent $nu=0.629971$ and anomalous dimension $eta=0.0362978$.
background
A UniversalityClass is a structure holding the O(N) symmetry rank N together with the critical exponents nu and eta. The module maps these classes to subgroups of the automorphism group of the cube Q₃. The supplied values match the high-precision conformal bootstrap results listed for the O(1) Ising case at spatial dimension three.
proof idea
The definition is a direct constructor that packages the three numerical values into the UniversalityClass structure. No lemmas are applied.
why it matters
This definition supplies the reference values consumed by the eta-in-band theorem and the nu-monotonicity theorem between Ising and XY classes. It occupies the bootstrap reference slot in the O(N) mapping from Q₃ geometry. These numbers serve as targets for any future derivation of the exponents from the J-cost functional equation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.