A controlled nonperturbative theory of the strong-coupling regime of the O(3) nonlinear sigma model with hedgehog Berry phases for two-dimensional quantum antiferromagnets

Haldane [Phys. Rev. Lett. 61, 1029 (1988)] showed that the (2+1)-dimensional O(3) nonlinear sigma model of a spin-S square-lattice Heisenberg antiferromagnet has no Hopf term for smooth Néel fields, but that hedgehog (skyrmion-number-changing) tunneling events carry Berry-phase amplitudes depending on S and on the parity of the lattice plaquette hosting the hedgehog, distinguishing half-integer, odd-integer, and even-integer spin. The open problem is whether a complete, controlled theory of the strong-coupling (disordered) regime can be built within this framework: (i) the infrared fate of hedgehog proliferation — whether the parity- and S-dependent interference rules disorder the Néel state for realizable microscopic parameters, and whether the ordering transition is continuous (deconfined), weakly first-order, or pseudocritical; (ii) whether a nonperturbative continuum field-theory representation of the lattice Berry-phase selection rules (the hedgehog parity factors) exists that supports controlled analytical treatment at strong coupling, where the sigma-model formulation is non-renormalizable; and (iii) for odd-integer S ( $2S = 2$ mod 4), the scaling dimension of the 2-monopole operator at the monopole-suppressed fixed point, which determines whether a direct second-order Néel-valence-bond-solid transition is allowed in that spin class. Later work (Read-Sachdev large- $N_f$ ; deconfined quantum criticality; J-Q quantum Monte Carlo; SO(5) Wess-Zumino-Witten sigma-model, fuzzy-sphere, and bootstrap studies) confirmed the fourfold valence-bond-solid pattern for S=1/2 in designed sign-problem-free models and produced several candidate nonperturbative dual descriptions, but none is controlled at the physical S=1/2 point; the nature of the Néel-valence-bond-solid transition (continuous, weakly first-order, or pseudocritical) remains unsettled, the odd-integer-S twofold degeneracy pattern predicted by the Berry-phase analysis has not been realized in a physical SU(2) Heisenberg antiferromagnet (though the mod(4,2S) rule, including the twofold state at S = 1, has been seen in sign-free quantum Monte Carlo on the SU(N), N = 8S+2 line), and g_c with Berry phases is uncomputed. The problem is open.

Background

A two-dimensional (2D) quantum Heisenberg antiferromagnet is a lattice of spin- $S$ degrees of freedom with antiferromagnetic exchange; its semiclassical ground state has Néel order, i.e. a staggered magnetization that breaks spin-rotation symmetry. Its long-wavelength quantum fluctuations are described by the O(3) nonlinear sigma model (NLσM) in 2+1 spacetime dimensions: a relativistic field theory of a unit three-component vector $\hat{n}(r,t)$ , the local staggered-magnetization direction, with stiffness $\gamma$ . Chakravarty, Halperin, and Nelson [Phys. Rev. B 39, 2344 (1989)] showed that this model (ignoring Berry phases) has a quantum critical point at a dimensionless coupling $g_c$ , separating Néel order from a gapped quantum paramagnet; Haldane's $g = \hbar\omega_D/(2\pi\gamma)$ is the standard dimensionless measure of quantum fluctuations ( $\hbar\omega_D$ the magnon Debye bandwidth, the magnon energy scale set by the lattice cutoff).

In the spin-coherent-state path integral each spin contributes a Berry phase equal to $S$ times the solid angle swept by its orientation; on a two-sublattice antiferromagnet these phases enter with alternating signs. In one spatial dimension the residual Berry-phase effect is the topological θ-term — an angle $\theta$ multiplying the total winding number of the field configuration in the 1+1-dimensional action — with $\theta = 2\pi S$ , which underlies Haldane's famous distinction between integer-spin chains (gapped) and half-integer-spin chains (gapless). In 2D, contemporaneous work (Wen and Zee) speculated that a Hopf term — a topological term quantified by the Hopf invariant of maps from 3D spacetime to the 2-sphere that would attach exotic statistics to skyrmions — might appear. Haldane proved that for smooth Néel fields no Hopf term arises. However, the path integral must also sum over hedgehogs: singular spacetime events at which the Néel field vanishes and the spatial skyrmion (Pontryagin) number $Q_{xy} = (1/4\pi)\int d^2r\, \hat{n}\cdot(\partial_x \hat{n} \times \partial_y \hat{n})$ changes by $\pm 1$ . Haldane showed the alternating site-resolved Berry phases do not cancel in the presence of hedgehogs: a hedgehog of charge $Q_n = \pm 1$ centered on a plaquette of the dual lattice (the lattice offset by half a lattice spacing, on which skyrmion centers reside) carries a phase factor $(\xi_n)^{2S Q_n}$ , where $\xi_n$ is a fourth root of unity fixed by the parity of the plaquette's dual-lattice coordinates (in a standard convention, (even, even) → +1, (even, odd) → $i$ , (odd, odd) → −1, (odd, even) → − $i$ ), and he derived how topological sectors transform under lattice translations ( $T_{[11]} = \exp(2\pi i S Q_{xy})$ ), which restricts which tunneling processes conserve crystal momentum at low energy.

These rules have striking physical implications for the putative strong-coupling ( $g \gtrsim 1$ ), hedgehog-proliferated disordered phase: for half-integer $S$ ( $2S$ odd) the oscillating phases force hedgehogs to occur in quadruplets, implying a fourfold-degenerate valence bond solid (VBS) — a paramagnet that preserves spin-rotation symmetry but breaks lattice translation/rotation symmetry via static modulations of the nearest-neighbor singlet-bond (valence-bond) strengths; for odd-integer $S$ ( $2S = 2$ mod 4) hedgehogs pair, implying a twofold degeneracy; for even-integer $S$ ( $2S = 0$ mod 4) the Berry phases cancel identically, the path integral is positive, the theory maps to the 3D classical Heisenberg model, and the disordered phase should be a nondegenerate gapped singlet (consistent with the exact valence-bond ground states of Affleck, Kennedy, Lieb, and Tasaki, constructible for even-integer $S$ ). For half-integer $S$ the Lieb-Schultz-Mattis theorem — an exact result forbidding a unique, gapped, translation-invariant ground state when the spin per unit cell ( $S$ times the number of spins per unit cell) is half-odd-integer — independently forbids a trivial featureless paramagnet, so some nontrivial order or topological structure is mandatory.

What has remained open since is the strong-coupling side of this program. Read and Sachdev's large- $N_f$ analyses — expanding in a generalization of the spin symmetry group from SU(2) to Sp( $2N_f$ ), a controlled limit that retains the monopole Berry phases — confirmed the semiclassical picture (Berry phases plus monopole proliferation confine the fractionalized spin-1/2 spinon excitations and produce VBS order with $S$ -dependent degeneracy), and the deconfined-quantum-criticality framework of Senthil, Balents, Sachdev, Vishwanath, and Fisher re-expressed the Berry phases as monopole-fugacity oscillations on the dual lattice of a noncompact CP $^1$ gauge theory (a formulation in which the unit vector is parametrized by a two-component complex spinor — the CP $^1$ representation of the 2-sphere — coupled to an emergent U(1) gauge field whose flux is treated as noncompact, so that hedgehogs appear as explicit monopole operators) and proposed that the Néel-VBS transition is a continuous transition beyond the Landau-Ginzburg-Wilson paradigm (the standard framework in which each phase is described by its own local order parameter and transitions by the fluctuations of that order parameter), with an emergent SO(5) symmetry between Néel and VBS order captured by a level-1 Wess-Zumino-Witten (WZW) term (a topological term for a five-component unit vector whose target space is the 4-sphere). But all of these descriptions are strongly coupled at the physical $S = 1/2$ point, and the nature of the Néel-VBS transition — continuous, weakly first-order, or 'pseudocritical' (governed by a complex fixed point with walking renormalization-group flow) — is still contested by quantum Monte Carlo, tensor-network, conformal-bootstrap (a numerical method that tests the consistency of a hypothetical critical theory's operator content), and fuzzy-sphere (a matrix regularization of the two-sphere that realizes the 2+1-dimensional theory in a finite system where the putative emergent symmetry acts linearly) studies.

Problem Statement

Within the O(3) nonlinear sigma-model description of the spin-S two-sublattice (square-lattice) quantum Heisenberg antiferromagnet in two spatial dimensions, augmented by the exact lattice Berry-phase amplitudes for hedgehog tunneling — each hedgehog n with charge Q_n = ±1 carrying a phase factor $(\xi_n)^{2S Q_n}$ , where $\xi_n \in \{1, i, -1, -i\}$ is fixed by the parity of the dual-lattice plaquette on which the hedgehog is centered, and $2S$ an integer — obtain a controlled nonperturbative description of the strong-coupling (disordered) regime at $g \gtrsim 1$ , where $g = \hbar\omega_D/(2\pi\gamma)$ is the dimensionless quantum coupling ( $\gamma$ the spin stiffness, $\hbar\omega_D$ the magnon Debye bandwidth), at the physical $S = 1/2$ point and in the odd-integer- $S$ class ( $2S = 2$ mod 4). The open content recognized in the cited literature comprises the following jointly required sub-questions — sub-question (ii) is resolved either by constructing such a representation or by a definitive demonstration that none of the recognized candidate descriptions of the lattice Berry-phase selection rules — the noncompact CP $^1$ monopole description, the SO(5) level-1 Wess-Zumino-Witten description, their duals, and the sigma-model formulation itself — admits an identifiable small parameter or solvable limit at the physical point; such a no-go constitutes the negative answer to the umbrella existence question (with (i) and (iii) each reported at the level of continuum-level determinations within the existing noncompact CP $^1$ description), so no construction in (ii) is a prerequisite for (i) or (iii):

(i) the infrared fate of the strongly coupled theory: whether monopole (hedgehog) proliferation drives the Néel state into a disordered phase for microscopic parameters realizable in two-dimensional quantum magnets (e.g., via further-neighbor frustration or multi-spin exchanges) — 'realizable' being understood as a model with physically accessible couplings, the further-neighbor and multi-spin (ring-exchange) couplings of the cited sign-problem-free models counting as admissible, and a single representative such realization together with a continuum-level determination establishing realizability — and what the character of the ordering transition is (continuous/deconfined, weakly first-order, or pseudocritical) — in particular, the precise fate of the N = 2 noncompact CP $^1$ theory (equivalently the SO(5) level-1 Wess-Zumino-Witten description) remains unresolved;

(ii) whether a nonperturbative continuum field-theory representation of the lattice Berry-phase selection rules (including the hedgehog parity factors $\xi_n$ ) exists that supports controlled analytical treatment of the strong-coupling regime — at strong coupling the sigma-model formulation is non-renormalizable and requires an alternative continuum field-theory formulation — one admitting an identifiable small parameter or solvable limit;

(iii) for odd-integer $S$ ( $2S = 2$ mod 4), the scaling dimension of the 2-monopole operator (the charge-2 monopole, which creates a pair of charge-1 hedgehogs and is the leading monopole channel for odd-integer $S$ , where the Berry phases force the hedgehogs to pair) at the monopole-suppressed fixed point (the putative deconfined fixed point of the two-flavor noncompact CP $^1$ theory, at which the elementary charge-1 monopole operators are irrelevant, leaving the relevance of the leading charge-2 monopole operator as the open question), whose value relative to the marginal dimension 3 determines whether a direct second-order Néel-valence-bond-solid transition is allowed in that spin class; should the transition instead prove weakly first order, so that no deconfined fixed point exists to evaluate at, the sub-question is resolved by establishing that the charge-2 monopole operator is relevant in the two-flavor noncompact CP $^1$ theory.

The predicted disordered ground-state degeneracy patterns — nondegenerate gapped singlet for even-integer $S$ , twofold degeneracy for odd-integer $S$ , fourfold (VBS-type lattice-symmetry-breaking) degeneracy for half-integer $S$ — are consequences of the established Haldane and Read-Sachdev Berry-phase analysis; the fourfold pattern is supported microscopically at $S = 1/2$ in designed sign-problem-free models, and the mod(4,2S) degeneracy rule — including the twofold, nematic ( $C_4 \to C_2$ ) valence-bond-solid state at $S = 1$ — has since been observed in sign-free quantum Monte Carlo along the SU( $N$ ), $N = 8S+2$ line [Schwab, Parisen Toldin, and Assaad, Phys. Rev. B 108, 115151 (2023)], while the twofold pattern has still not been realized in a physical SU(2) Heisenberg antiferromagnet.

References

F. D. M. Haldane, "O(3) Nonlinear σ Model and the Topological Distinction between Integer- and Half-Integer-Spin Antiferromagnets in Two Dimensions", Phys. Rev. Lett. 61, 1029 (1988). DOI: 10.1103/PhysRevLett.61.1029, https://doi.org/10.1103/PhysRevLett.61.1029
X. G. Wen and A. Zee, "Spin waves and topological terms in the mean-field theory of two-dimensional ferromagnets and antiferromagnets", Phys. Rev. Lett. 61, 1025 (1988). DOI: 10.1103/PhysRevLett.61.1025, https://doi.org/10.1103/PhysRevLett.61.1025
S. Chakravarty, B. I. Halperin, and D. R. Nelson, "Two-dimensional quantum Heisenberg antiferromagnet at low temperatures", Phys. Rev. B 39, 2344 (1989). DOI: 10.1103/PhysRevB.39.2344, https://doi.org/10.1103/PhysRevB.39.2344
I. Affleck, T. Kennedy, E. H. Lieb, and H. Tasaki, "Rigorous results on valence-bond ground states in antiferromagnets", Phys. Rev. Lett. 59, 799 (1987). DOI: 10.1103/PhysRevLett.59.799, https://doi.org/10.1103/PhysRevLett.59.799
N. Read and S. Sachdev, "Spin-Peierls, valence-bond solid, and Néel ground states of low-dimensional quantum antiferromagnets", Phys. Rev. B 42, 4568 (1990). DOI: 10.1103/PhysRevB.42.4568, https://doi.org/10.1103/PhysRevB.42.4568
N. Read and S. Sachdev, "Large-N expansion for frustrated quantum antiferromagnets", Phys. Rev. Lett. 66, 1773 (1991). DOI: 10.1103/PhysRevLett.66.1773, https://doi.org/10.1103/PhysRevLett.66.1773
T. Senthil, A. Vishwanath, L. Balents, S. Sachdev, and M. P. A. Fisher, "'Deconfined' quantum critical points", Science 303, 1490 (2004). DOI: 10.1126/science.1091806, arXiv:cond-mat/0311326, https://arxiv.org/abs/cond-mat/0311326
T. Senthil, L. Balents, S. Sachdev, A. Vishwanath, and M. P. A. Fisher, "Quantum criticality beyond the Landau-Ginzburg-Wilson paradigm", Phys. Rev. B 70, 144407 (2004). DOI: 10.1103/PhysRevB.70.144407, arXiv:cond-mat/0312617, https://arxiv.org/abs/cond-mat/0312617
A. W. Sandvik, "Evidence for deconfined quantum criticality in a two-dimensional Heisenberg model with four-spin interactions", Phys. Rev. Lett. 98, 227202 (2007). DOI: 10.1103/PhysRevLett.98.227202, arXiv:cond-mat/0611343, https://arxiv.org/abs/cond-mat/0611343
A. B. Kuklov, M. Matsumoto, N. V. Prokof'ev, B. V. Svistunov, and M. Troyer, "Deconfined criticality: generic first-order transition in the SU(2) symmetry case", Phys. Rev. Lett. 101, 050405 (2008). DOI: 10.1103/PhysRevLett.101.050405, https://doi.org/10.1103/PhysRevLett.101.050405
A. Tanaka and X. Hu, "Many-body spin Berry phases emerging from the π-flux state: Competition between antiferromagnetism and the valence-bond-solid state", Phys. Rev. Lett. 95, 036402 (2005). DOI: 10.1103/PhysRevLett.95.036402, https://doi.org/10.1103/PhysRevLett.95.036402
T. Senthil and M. P. A. Fisher, "Competing orders, nonlinear sigma models, and topological terms in quantum magnets", Phys. Rev. B 74, 064405 (2006). DOI: 10.1103/PhysRevB.74.064405, https://doi.org/10.1103/PhysRevB.74.064405
C. Wang, A. Nahum, M. A. Metlitski, C. Xu, and T. Senthil, "Deconfined quantum critical points: symmetries and dualities", Phys. Rev. X 7, 031051 (2017). DOI: 10.1103/PhysRevX.7.031051, arXiv:1703.02426, https://arxiv.org/abs/1703.02426
H. Shao, W. Guo, and A. W. Sandvik, "Quantum criticality with two length scales", Science 352, 213 (2016). DOI: 10.1126/science.aad5007, arXiv:1603.02171, https://arxiv.org/abs/1603.02171
T. Senthil, "Deconfined quantum critical points: a review", arXiv:2306.12638 (2023), https://arxiv.org/abs/2306.12638
Z. Zhou, L. Hu, W. Zhu, and Y.-C. He, "The SO(5) deconfined phase transition under the fuzzy sphere microscope: approximate conformal symmetry, pseudo-criticality, and operator spectrum", Phys. Rev. X 14, 021044 (2024). DOI: 10.1103/PhysRevX.14.021044, arXiv:2306.16435, https://arxiv.org/abs/2306.16435
F. De Cesare and S. Rychkov, "Disturbing news about the d=2+ε expansion", Prog. Theor. Exp. Phys. (2025). DOI: 10.1093/ptep/ptaf103, https://doi.org/10.1093/ptep/ptaf103, arXiv:2505.21611, https://arxiv.org/abs/2505.21611
R. Flynn and A. W. Sandvik, "SU(N) Quantum Spin Model with Weak and Strong First-Order Néel to Valence-Bond Solid Transitions", arXiv:2603.16106 (2026), https://arxiv.org/abs/2603.16106
Z. Li and T. Shen, "Bootstrap Cone of the Multicritical Deconfined Quantum Critical Point", arXiv:2606.09985 (2026), https://arxiv.org/abs/2606.09985
S. Liu, S. Yang, J. Lou, and Y. Chen, "Studying line defect at Deconfined Quantum Criticality via fuzzy sphere regularization", arXiv:2609.03465 (2026), https://arxiv.org/abs/2609.03465
J. Schwab, F. Parisen Toldin, and F. F. Assaad, "Phase diagram of the spin S, SU(N) antiferromagnet on a square lattice", Phys. Rev. B 108, 115151 (2023). DOI: 10.1103/PhysRevB.108.115151, arXiv:2304.07329, https://arxiv.org/abs/2304.07329