gamma_3D_Ising
plain-language theorem explainer
The declaration supplies the numerical value 1.237 for the susceptibility critical exponent γ in the three-dimensional Ising universality class. Researchers in statistical mechanics cite it when testing φ-scaling predictions against known 3D Ising data or when assembling sets of universal exponents. The definition is introduced as a direct real-number assignment with no derivation steps.
Claim. In the three-dimensional Ising universality class the susceptibility diverges as $χ ∼ |t|^{-γ}$ where the exponent $γ$ equals 1.237.
background
Critical phenomena near a phase transition produce power-law divergences in thermodynamic quantities. The module states that specific heat scales as $C ∼ |t|^{-α}$, order parameter as $M ∼ (-t)^{β}$, susceptibility as $χ ∼ |t|^{-γ}$, and correlation length as $ξ ∼ |t|^{-ν}$, with $t$ the reduced temperature. Recognition Science obtains these universal exponents from φ-scaling of J-cost fluctuations near criticality, independent of microscopic details and dependent only on dimensionality and symmetry.
proof idea
The definition is a direct constant assignment of the real number 1.237 to gamma_3D_Ising.
why it matters
This definition supplies the RS-native numerical value for the susceptibility exponent in the 3D Ising class, supporting the module target that universality follows from φ-scaling. It contributes to the paper proposition on universal critical exponents from golden ratio scaling and sits alongside the sibling definitions for the remaining 3D and 2D Ising exponents.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.