Bloch's law, its lattice correction, and the spherical magnetization law

1 · The essentials

These manuscripts study mathematical models of quantum magnets at low positive temperatures. The main result describes how much their magnetization falls below its maximum: in three dimensions, the leading decrease follows temperature raised to the power $3/2$ , with an exact multiplying constant. It applies to every fixed positive quantum spin and to nonnegative, symmetric interactions of finite reach that connect the entire three-dimensional grid, even when their strengths vary with spatial direction. The order of operations matters: first let the system grow without bound, then determine magnetization at zero field, and only afterward lower the temperature toward zero. Companion manuscripts describe the next correction for nearest-neighbor interactions and a zero-field picture in which the magnetization has a positive, fixed size but a uniformly distributed direction. Another companion shows in the manuscript that spontaneous magnetization exists at sufficiently low positive temperatures in every dimension of at least three. The main result has a Lean formalization, although the supplied source does not specify its detailed scope or establish that it covers the companion results.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine an arrow whose length becomes slightly shorter as a magnet warms, while its direction is not selected when no external field is present. Bloch's law describes the leading shortening, the lattice correction refines it, and the spherical law describes a fixed-length arrow pointing uniformly in all directions. This image does not capture the quantum measurement restrictions that the spherical-law manuscript explicitly respects.

Why it matters

The family connects a precise low-temperature formula with the existence and zero-field description of spontaneous magnetization. The main result includes spatially anisotropic finite-range interactions and determines the exact leading coefficient, rather than only the temperature exponent. The companion results refine the temperature dependence and explain how a symmetric zero-field description can still have a positive magnetization magnitude.

2 · Going further

The main problem concerns the spontaneous magnetization of a three-dimensional quantum Heisenberg ferromagnet at each fixed positive quantum spin. Its couplings must be nonnegative, symmetric, and finite-range, with support generating $Z^{3}$ ; spatial anisotropy is allowed. The leading magnetization deficit follows Bloch's $T^{3/2}$ law, with an exact coefficient determined by the determinant of the quadratic one-magnon dispersion. Magnetization is defined using the right field derivative at zero of the thermodynamic pressure: the thermodynamic limit comes first, the field derivative second, and the low-temperature limit last.

The abstracts identify the central quantitative connection as the relation between magnetization loss and magnon dispersion, but do not describe the proof mechanism. For three-dimensional nearest-neighbor couplings and each fixed $S = \frac{1}{2}, 1, \frac{3}{2}, \dots$ , the lattice-correction manuscript shows that the deficit agrees with the full ideal-magnon density up to $o (β^{- 5/2})$ , where $β$ denotes inverse temperature. Beyond the leading Bloch term, it gives the correction $3 ζ (5/2) (β S)^{- 5/2} / (128 π^{3/2})$ .

The spherical-law manuscript addresses the three-dimensional nearest-neighbor isotropic model at every sufficiently low fixed positive temperature. Along growing even periodic cubes, it shows in the manuscript that the symmetric zero-field magnetization converges in moments to a uniform direction with a deterministic positive magnitude. That magnitude equals the right derivative at zero field of the infinite-volume pressure. The formulation uses self-adjoint linear combinations of spin components, not a joint measurement of noncommuting observables.

The ordering manuscript treats nearest-neighbor isotropic models in every dimension $d \geq 3$ and every spin $S \in {\frac{1}{2}, 1, \frac{3}{2}, \dots}$ . It shows in the manuscript that, at every sufficiently low positive temperature, there is a translation-invariant equilibrium state with magnetization at least $S /4$ , satisfying the KMS condition for zero-field dynamics. The abstract describes this as resolving the low-temperature ordering problem in the spontaneous-magnetization formulation. The main Bloch-law result has a Lean formalization; the supplied information does not give a claim-by-claim account of that formalization.

Useful notions

Quantum spin and magnetization
Lattice interactions and nearest neighbors
Thermodynamic limits
Low-temperature asymptotic expansions
Pressure and field derivatives

What was known before / what is new

Before

The source identifies Bloch's $T^{3/2}$ law as the leading law under study and frames the existence of low-temperature spontaneous magnetization as an ordering problem. It does not provide a history of earlier results or specify which interaction classes and coefficients were previously established.

New

The main manuscript establishes the exact leading Bloch coefficient for the stated class of three-dimensional finite-range interactions at every fixed positive quantum spin, including spatial anisotropy. The nearest-neighbor companion shows in the manuscript the first lattice correction and agreement with ideal-magnon density to the stated error. The other companions show in their manuscripts the spherical zero-field magnetization law in three dimensions and a spontaneously magnetized equilibrium state in every dimension $d \geq 3$ , under their respective hypotheses.

Limits and assumptions

The broad finite-range interaction class belongs to the main three-dimensional Bloch-law result; the lattice correction is stated for three-dimensional nearest-neighbor couplings. The spherical law additionally assumes isotropy, sufficiently low fixed positive temperature, and a limit along even periodic cubes. The existence result assumes nearest-neighbor isotropic couplings, dimension at least three, and sufficiently low positive temperature. All results fix a positive quantum spin, and the Bloch and correction statements require the specified order of volume, field, and temperature limits. The main result has a Lean formalization, but its detailed scope and formal verification of companion claims are not supplied. The source does not identify remaining open problems or state extensions beyond these hypotheses.

Mini glossary

Spontaneous magnetization: Magnetization at zero external field, defined here through the right field derivative of infinite-volume pressure.
Thermodynamic limit: The limit in which the system's volume grows without bound.
Finite-range interaction: An interaction that couples sites only within a finite spatial reach.
Spatial anisotropy: Dependence of interaction strengths on spatial direction.
Spherical magnetization law: The limiting zero-field description in which magnetization has a deterministic positive magnitude and a uniformly distributed direction.

Keywords : Bloch's law · Quantum Heisenberg ferromagnet · Spontaneous magnetization

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves Bloch's T^3/2 law with its exact coefficient for three-dimensional quantum Heisenberg ferromagnets at every positive quantum spin, allowing nonnegative symmetric finite-range couplings whose support generates ℤ³. The thermodynamic limit precedes the zero-field derivative and low-temperature limit. The family also proves spontaneous magnetization for nearest-neighbor models in every dimension d ≥ 3 and determines the first lattice correction for three-dimensional nearest-neighbor couplings.

Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.

Scope of the Lean formalization (source text)

…

lean/docs/271.md

Manuscripts in this family

★

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

05/10/2026

To be verified

We prove Bloch's T^3/2 law for the spontaneous magnetization of three-dimensional quantum Heisenberg ferromagnets at every fixed positive quantum spin. The result holds for every nonnegative symmetric finite-range interaction whose support generates ℤ³, including spatially anisotropic couplings. The leading magnetization deficit has the exact coefficient determined by the determinant of the quadratic one-magnon dispersion. The thermodynamic limit is taken before the right field derivative at zero, and the low-temperature limit is taken last.

PDF GitHub folder

The first lattice correction to Bloch's law

05/10/2026

To be verified

We prove the first lattice correction to Bloch's law for the three-dimensional nearest-neighbor quantum Heisenberg ferromagnet at every fixed spin $S = \frac{1}{2}, 1, \frac{3}{2}, \dots$ . The spontaneous-magnetization deficit agrees with the full ideal-magnon density up to $o (β^{- 5/2})$ . In addition to the leading Bloch term, this gives the correction $3 ζ (5/2) (β S)^{- 5/2} / (128 π^{3/2})$ . The magnetization is the right derivative at zero field of the thermodynamic pressure; the volume limit precedes the field derivative, and the low-temperature limit is taken last.

PDF GitHub folder

The spherical magnetization law for the three-dimensional quantum Heisenberg ferromagnet

05/10/2026

To be verified

We prove the spherical magnetization law for the three-dimensional nearest-neighbor isotropic quantum Heisenberg ferromagnet at every fixed positive quantum spin and every sufficiently low fixed positive temperature. As the even periodic cubes grow, the symmetric zero-field magnetization converges in moments to a uniform direction with a deterministic positive magnitude. This magnitude equals the right derivative at zero field of the infinite-volume pressure. The law is expressed through self-adjoint linear combinations of the spin components and requires no joint measurement of noncommuting observables.

PDF GitHub folder

Spontaneous magnetization in the quantum Heisenberg ferromagnet

24/09/2026

To be verified

For every dimension d ≥ 3 and every spin $S \in {\frac{1}{2}, 1, \frac{3}{2}, \dots}$ , we prove that the nearest-neighbor isotropic quantum Heisenberg ferromagnet has a translation-invariant, spontaneously magnetized equilibrium state at every sufficiently low positive temperature. The same state satisfies the KMS condition for the zero-field dynamics and has magnetization at least $S /4$ . This resolves the low-temperature ordering problem in the spontaneous-magnetization formulation.

PDF GitHub folder