Ferromagnet asymptotic reference fitter

Family 271: Bloch's law, its lattice correction, and the spherical magnetization law. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Magnetic-model researchers can compare low-temperature magnetization simulations with the claimed exact leading coefficient and nearest-neighbor lattice correction.

Applicability and commercial boundary

Thermodynamic limit, zero-field derivative and low-temperature limit occur in that order. The formal scope covers spontaneous magnetization, not the newer exact Bloch coefficients or lattice correction.

Initial business decision

Conditional research. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Extract the dispersion determinant and quantify a finite-size/temperature reference window before fitting material data.

Evidence scope

The catalog statement was individually reviewed. Main-paper abstract passages and available family scope notes were also inspected; paper-level theorem and algorithm details still require deeper review. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

Bloch's Law for Finite-Range Heisenberg Ferromagnets in Three Dimensions.