1 · The essentials
An Ising model describes a grid of spins, each of which can point in one of two directions. This family of results asks whether small changes to how nearby spins influence each other change the large-scale picture at the critical temperature. The main result concerns random changes to the strengths of the links between spins. When these changes are sufficiently weak and satisfy the stated conditions, the boundary separating spin regions approaches the same random-curve law, called SLE₃. This agreement holds in a precise sense over the random choices of link strengths, rather than being asserted for every choice. Companion manuscripts describe related agreement for weak nonrandom changes and for measurements of spins and energies inside the system. The main result has a Lean formalization, though the supplied summary does not specify which details or companion claims it covers.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine viewing a tiled picture from farther and farther away: small changes to individual tiles may leave its overall appearance unchanged. Here the claim is more precise than visual resemblance—the entire random boundary has a specified limiting law, under restrictions on the changes and the surrounding domain.
Why it matters
These results identify conditions under which microscopic changes preserve the critical Ising model’s large-scale behavior. They address both bulk correlations and entire interfaces, rather than just a single numerical quantity. The companion result on logarithmic fluctuations also shows why agreement of interface limits should not be read as saying that disorder has no other effects.
2 · Going further
The main manuscript considers planar Ising bonds , where the variables are independent and identically distributed with any fixed bounded, nondegenerate, mean-zero law. For sufficiently small , it gives quenched chordal SLE₃ convergence at the temperature defined by the spontaneous-magnetization threshold. Here “quenched” means that the curve law is considered with the bond environment fixed; convergence of these environment-dependent laws holds in probability over environments. The statement concerns the full oriented curve law in deterministic approximations of Jordan domains. Manuscript 2 treats the more restricted case of weak independent symmetric two-valued ferromagnetic bonds.
The deterministic companions address two related kinds of universality. Manuscript 4 shows in the manuscript that sufficiently small, square-symmetric, finite-range even multispin perturbations of either sign preserve conformal limits of mixed bulk spin and energy correlations. A single critical-temperature branch and two field normalizations work across the stated bounded simply connected Jordan domains, with free, plus, or minus boundary conditions, and in the periodic thermodynamic plane state; energies are centered in their actual states. Manuscript 5 shows in the manuscript that weak square-symmetric finite-range contour-energy perturbations of either sign admit a domain-independent inverse temperature with chordal SLE₃ interface limits. Its convergence is for oriented curves in uniform distance modulo increasing reparametrization, allowing admissible exterior contours and uniformly approximated Jordan domains.
The abstracts do not describe the main random-bond argument, so they do not support a detailed account of its mechanism. They do describe comparison and approximation tools in Manuscript 6: a likelihood-ratio comparison controlled by a zero-field FK connection probability after deleting commonly pinned vertices, and approximation of good conditional interface laws by finitely many regular signed barriers across a band of fixed positive width. The latter approximation is in total variation, uniformly over bounded observables and sufficiently fine meshes. The supplied text does not specify how these tools enter the other manuscripts.
Manuscript 3 examines a different aspect of weak disorder. Assuming its stated deterministic critical-reference estimates, it shows in the manuscript that the relative second moment of the quenched critical spin correlation for fair bonds grows as for each sufficiently small fixed . The temperature is the physical critical temperature, and the thermodynamic limit is taken before disorder moments and the large-distance limit.
Useful notions
- Spins and bond strengths in the Ising model
- Critical temperature and spontaneous magnetization
- Random environments and convergence in probability
- Scaling limits of curves
- Spin and energy correlations
What was known before / what is new
Before
The supplied text uses the critical nearest-neighbor square-lattice Ising model as a reference setting and SLE₃ as the target interface law. It does not provide a historical account of earlier universality results. Within this family, Manuscript 2 addresses symmetric two-valued random bonds, while the main manuscript addresses a broader class of fixed disorder laws.
New
The main result extends the stated random-bond interface conclusion to any fixed bounded, nondegenerate, mean-zero iid disorder law, provided its amplitude is sufficiently small. It concerns the full oriented curve law at the spontaneous-magnetization threshold, with convergence in probability over environments. The companions describe corresponding weak-interaction results for bulk correlations and interfaces, together with a conditional logarithmic-fluctuation result and critical comparison tools.
Limits and assumptions
The random-bond result requires sufficiently weak disorder of a fixed bounded, nondegenerate, mean-zero iid law; no uniform smallness threshold across all such laws is stated. Convergence in probability over environments is not a claim of convergence for every environment or of almost-sure convergence. The deterministic perturbation results require the specified smallness, square symmetry, finite range, and interaction and domain conditions. The logarithmic-fluctuation result assumes deterministic critical-reference estimates and uses a prescribed order of limits. The main result has a Lean formalization, but its exact coverage is not given in the supplied text, so formal verification should not be attributed to every companion claim. No specific remaining open problem is identified in the source.
Mini glossary
- Quenched law —
- A probability law for the spins or interface considered with the random bond environment held fixed.
- Chordal SLE₃ —
- The random-curve law identified in these manuscripts as the limiting law of the spin interface.
- Convergence in probability over environments —
- Convergence for which the probability of a specified discrepancy from the limiting law tends to zero when environments are sampled.
- Bulk correlations —
- Measurements of statistical relationships among spin or energy quantities inside the system.
- Finite-range perturbation —
- A change to interactions whose reach is restricted to a fixed finite distance.
- Field normalization —
- A rescaling of a spin or energy quantity used in stating its limiting correlations.
Keywords : Ising universality · Quenched disorder · SLE₃
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)
Weak finite-range square-symmetric even multispin perturbations of the square-lattice Ising model preserve critical bulk spin and energy limits; weak square-symmetric contour interactions also yield chordal SLE3 interface limits. With sufficiently weak iid bond disorder of any fixed bounded nondegenerate mean-zero law, critical spin interfaces converge to the same law in probability over environments.
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.
Manuscripts in this family
Quenched SLE₃ limits for general weak random-bond Ising models
05/10/2026For the planar Ising model with bonds , where the ξe have any fixed bounded, nondegenerate, mean-zero iid law, we prove quenched chordal SLE3 convergence for sufficiently small ε > 0. The temperature is the spontaneous-magnetization threshold. Convergence holds in probability over environments for the full oriented curve law in deterministic Jordan-domain approximations.
Quenched SLE₃ Universality for the Weak Random-Bond Ising Model
05/10/2026We prove quenched chordal SLE3 convergence for the planar Ising model with sufficiently weak independent symmetric two-valued ferromagnetic bonds. The temperature is the critical point defined by spontaneous magnetization. Convergence holds in probability over environments for the full oriented curve law in deterministic Jordan-domain approximations.
Logarithmic Relative Fluctuations in the Weakly Disordered Planar Ising Model
05/10/2026Assuming the stated deterministic critical-reference estimates, we prove that the relative second moment of the quenched critical spin correlation in the square-lattice Ising model with independent fair bonds grows as for each sufficiently small fixed ε > 0. The correlation is evaluated at the physical critical temperature, with the thermodynamic limit taken before the disorder moments and the large-distance limit.
Conformal universality of bulk Ising correlations under weak interactions
23/09/2026We prove conformal universality of mixed bulk spin and energy correlations for the square-lattice Ising model with sufficiently small, square-symmetric, finite-range even multispin perturbations of either sign. One critical-temperature branch and two field normalizations apply in every bounded simply connected C2 Jordan domain with free, plus, or minus boundary conditions, and in the periodic thermodynamic plane state. Energies are centered in their actual states.
SLE3 universality for weak finite-range Ising interactions
23/09/2026We prove that every sufficiently small, square-symmetric finite-range perturbation of the planar Ising contour energy has a domain-independent inverse temperature at which its spin interface converges to chordal SLE3. The result allows interactions of either sign, arbitrary admissible exterior contours, and uniformly approximated Jordan domains. Convergence holds for the full oriented curve law in uniform distance modulo increasing reparametrization.
Buffered comparison and stopping-band resolution in critical Ising
23/09/2026We prove pointwise comparison and finite stopping-band approximation theorems for the critical nearest-neighbor Ising model on the square lattice. Arbitrary common pinned spins are allowed in the comparison: the likelihood ratio is controlled by a zero-field FK connection probability on the graph with those vertices deleted. For an interface exploration across a band of fixed positive width, finitely many regular signed barriers approximate every good conditional target law in total variation, uniformly over bounded observables and sufficiently fine meshes.