probability-statistics / Disordered systems; two-dimensional Ising model; SLE

Marginal irrelevance of weak bond disorder at the planar Ising critical point: quenched SLE3 interfaces for weak random bonds

Theorem 1.1: for any bounded mean-zero nondegenerate law ρ\rho on [−1,1][-1,1] there is ε0(ρ)>0\varepsilon_0(\rho)>0 such that for fixed 0<ε<ε00<\varepsilon<\varepsilon_0, at the spontaneous-magnetization threshold βcρ(ε)=12log⁡(1+2)+O(ε2)\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O(\varepsilon^2), the quenched Dobrushin spin interface in any bounded Jordan domain converges to chordal SLE3\mathrm{SLE}_3 in probability over environments, in the bounded-Lipschitz metric on oriented curves. A companion proves, conditionally on stated deterministic reference estimates, that the relative second moment of the quenched spin correlation grows as (log⁡r)1/4+o(1)(\log r)^{1/4+o(1)} for fair ±ε\pm\varepsilon bonds. Not shown: strong disorder, the double-logarithmic specific heat, or unconditional logarithmic corrections.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsOct 5, 2026Significance 22/100Registry: unreviewed

Marginal irrelevance of weak bond disorder at the planar Ising critical point: quenched SLE3 interfaces for weak random bonds

Prior state unknown→proved

Theorem 1.1: for any bounded mean-zero nondegenerate law ρ\rho on [−1,1][-1,1] there is ε0(ρ)>0\varepsilon_0(\rho)>0 such that for fixed 0<ε<ε00<\varepsilon<\varepsilon_0, at the spontaneous-magnetization threshold βcρ(ε)=12log⁡(1+2)+O(ε2)\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O(\varepsilon^2), the quenched Dobrushin spin interface in any bounded Jordan domain converges to chordal SLE3\mathrm{SLE}_3 in probability over environments, in the b…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for any bounded mean-zero nondegenerate law ρ\rho on [−1,1][-1,1] there is ε0(ρ)>0\varepsilon_0(\rho)>0 such that for fixed 0<ε<ε00<\varepsilon<\varepsilon_0, at the spontaneous-magnetization threshold βcρ(ε)=12log⁡(1+2)+O(ε2)\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O(\varepsilon^2), the quenched Dobrushin spin interface in any bounded Jordan domain converges to chordal SLE3\mathrm{SLE}_3 in probability over environments, in the bounded-Lipschitz metric on oriented curves. A companion proves, conditionally on stated deterministic reference estimates, that the relative second moment of the quenched spin correlation grows as (log⁡r)1/4+o(1)(\log r)^{1/4+o(1)} for fair ±ε\pm\varepsilon bonds. Not shown: strong disorder, the double-logarithmic specific heat, or unconditional logarithmic corrections.

Theorem 1.1: for any bounded mean-zero nondegenerate law ρ\rho on [−1,1][-1,1] there is ε0(ρ)>0\varepsilon_0(\rho)>0 such that for fixed 0<ε<ε00<\varepsilon<\varepsilon_0, at the spontaneous-magnetization threshold βcρ(ε)=12log⁡(1+2)+O(ε2)\beta_c^\rho(\varepsilon)=\tfrac12\log(1+\sqrt2)+O(\varepsilon^2), the quenched Dobrushin spin interface in any bounded Jordan domain converges to chordal SLE3\mathrm{SLE}_3 in probability over environments, in the bounded-Lipschitz metric on oriented curves. A companion proves, conditionally on stated deterministic reference estimates, that the relative second moment of the quenched spin correlation grows as (log⁡r)1/4+o(1)(\log r)^{1/4+o(1)} for fair ±ε\pm\varepsilon bonds. Not shown: strong disorder, the double-logarithmic specific heat, or unconditional logarithmic corrections.

Recorded attempts

Evidence graph

Connected research record