alpha_3D_Ising
plain-language theorem explainer
The definition supplies the numerical value 0.110 for the specific heat critical exponent α in the three-dimensional Ising model. Researchers in critical phenomena would cite this constant when comparing Recognition Science φ-scaling predictions to measured divergences near phase transitions. The assignment is a direct constant declaration drawn from established numerical consensus rather than an internal derivation from the forcing chain.
Claim. The critical exponent α for the specific heat divergence in the three-dimensional Ising model is defined by α = 0.110.
background
The module THERMO-005 addresses critical exponents arising from φ-scaling in Recognition Science. Near a phase transition, quantities diverge as C ~ |t|^{-α} for specific heat, M ~ (-t)^β for the order parameter, and similarly for susceptibility and correlation length, with t the reduced temperature. The RS mechanism states that these universal exponents follow from φ-structured fluctuations in J-cost and depend only on dimensionality and symmetry.
proof idea
The declaration is a direct numerical assignment of the constant 0.110 to the identifier for the 3D Ising specific heat exponent.
why it matters
This definition supplies the concrete value for α in the list of 3D Ising critical exponents that the module uses to illustrate universality from φ-scaling. It supports the target of deriving universal exponents from RS φ-scaling as outlined in the paper proposition on golden ratio scaling. The value aligns with the framework claim that exponents are constrained by φ in the critical regime near the Berry creation threshold.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.