nu_3D_Ising
plain-language theorem explainer
nu_3D_Ising supplies the numerical value 0.630 for the correlation-length exponent in the three-dimensional Ising universality class. A condensed-matter theorist comparing Recognition Science predictions to lattice data or real magnets would cite this constant when assembling the full set of 3D Ising exponents. The definition is a direct numerical assignment with no further computation.
Claim. The correlation-length critical exponent for the three-dimensional Ising model is defined by $nu = 0.630$.
background
The module Thermodynamics.CriticalExponents records the universal exponents that appear near continuous phase transitions in Recognition Science. Physical quantities diverge with reduced temperature $t = (T - T_c)/T_c$ according to $C sim |t|^{-alpha}$, $M sim (-t)^{beta}$, $chi sim |t|^{-gamma}$, and $xi sim |t|^{-nu}$. In the RS setting these exponents are fixed by phi-structured fluctuations of the J-cost rather than by microscopic details, yielding the 3D Ising values alpha approx 0.11, beta approx 0.326, gamma approx 1.24, nu approx 0.63.
proof idea
The definition is a direct numerical assignment of the conventional approximate value 0.630 for the three-dimensional Ising correlation-length exponent.
why it matters
This constant supplies the nu entry required by the phi-scaling derivation of universal critical exponents. It supports the paper proposition on Universal Critical Exponents from Golden Ratio Scaling and completes the 3D Ising list (alpha, beta, gamma, nu, eta, delta) that follows from the Recognition Composition Law and the eight-tick octave. No open question is attached to the numerical placeholder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.