Vertical and reentrant ferromagnetic boundaries below the Nishimori point
Abstract
We prove that below the multicritical (Nishimori) point the ferromagnetic boundary of a biased Ising spin glass, argued by Nishimori (1986) to be exactly vertical, can be vertical and can also be reentrant, so that cooling at fixed disorder destroys order. It is vertical in the Sherrington-Kirkpatrick (SK) model with a Curie-Weiss bias J0, and reentrant near the triple point of fully connected p-spin glasses and, at one disorder strength, on a decorated planar ℤ2-periodic lattice. For every T<J the SK magnetization vanishes for J0≤ J, continuously at J0=J, and is macroscopic for J0>J. For every integer p≥3, at each bias slightly larger than the triple-point bias, the p-spin magnetization is macroscopic at the Nishimori temperature and vanishes at an explicit lower temperature; this is Nishimori's recent replica prediction in two-temperature form. On the lattice (ℤ2 with each bond replaced by a fixed series-parallel gadget; maximum degree four), with iid ± J couplings at ℙ(Je=−1)=9/10000, the Gibbs state is almost surely unique at high temperature, non-unique in a window containing the Nishimori temperature, and unique again at low temperature. As Dey and Kang observed, the SK boundary is set by the zero-field susceptibility together with an envelope bound on the free-energy gain in a field, which follows from the gauge inequality. We prove that this susceptibility is the curvature at the origin of the zero-field Parisi PDE solution, which Lopatto evaluated for every β>1 via his theorem that the support of the Parisi measure accumulates at the origin; we give a short alternative proof of that theorem. The p-spin and lattice results and the alternative proof are computer-assisted. The models are proxies for the nearest-neighbour ± J model on ℤ2 and say nothing about ℤd.
Related
- An Õ(n2 )-Time Sampler for Zero-Field Ferromagnetic Ising Models
- Critical and near-critical influence bounds for ferromagnetic Ising models
- Topological regularity and stability of noncollapsed spaces with Ricci curvature bounded below
- On the variational characterization of a laminated core model in ferromagnetic materials
- The p-local topologoical period-index problem in dimensions 2p+2 and below
BibTeX
@misc{pei2026vertical,
title = {{Vertical and reentrant ferromagnetic boundaries below the Nishimori point}},
author = {Yan Ru Pei},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.37479},
eprint = {2609.37479},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.37479},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Vertical and reentrant ferromagnetic boundaries below the Nishimori point
AU - Yan Ru Pei
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.37479
UR - https://arxiv.org/abs/2609.37479
AB - We prove that below the multicritical (Nishimori) point the ferromagnetic boundary of a biased Ising spin glass, argued by Nishimori (1986) to be exactly vertical, can be vertical and can also be reentrant, so that cooling at fixed disorder destroys order. It is vertical in the Sherrington-Kirkpatrick (SK) model with a Curie-Weiss bias J_0, and reentrant near the triple point of fully connected p-spin glasses and, at one disorder strength, on a decorated planar ℤ^2-periodic lattice. For every T<J the SK magnetization vanishes for J_0≤ J, continuously at J_0=J, and is macroscopic for J_0>J. For every integer p≥3, at each bias slightly larger than the triple-point bias, the p-spin magnetization is macroscopic at the Nishimori temperature and vanishes at an explicit lower temperature; this is Nishimori's recent replica prediction in two-temperature form. On the lattice (ℤ^2 with each bond replaced by a fixed series-parallel gadget; maximum degree four), with iid ± J couplings at ℙ(J_e=−1)=9/10000, the Gibbs state is almost surely unique at high temperature, non-unique in a window containing the Nishimori temperature, and unique again at low temperature. As Dey and Kang observed, the SK boundary is set by the zero-field susceptibility together with an envelope bound on the free-energy gain in a field, which follows from the gauge inequality. We prove that this susceptibility is the curvature at the origin of the zero-field Parisi PDE solution, which Lopatto evaluated for every β>1 via his theorem that the support of the Parisi measure accumulates at the origin; we give a short alternative proof of that theorem. The p-spin and lattice results and the alternative proof are computer-assisted. The models are proxies for the nearest-neighbour ± J model on ℤ^2 and say nothing about ℤ^d.
ER -