Establishing Néel order in the square-lattice antiferromagnetic Heisenberg model: a bootstrap proof

Nisarg Chadha; Taige Wang; Pavel A. Nosov; Michael G. Scheer; Eslam Khalaf

AI summary · arXiv: 2611.03241v1 · cond-mat.stat-mech

Establishing Néel order in the square-lattice antiferromagnetic Heisenberg model: a bootstrap proof

Nisarg Chadha, Taige Wang, Pavel A. Nosov, Michael G. Scheer, Eslam Khalaf

Original paper Submitted to arXiv on 02 Nov. 2026 License: CC BY 4.0 Also in: fr

How to read this summary? Illustrated guide

The essentials

A bootstrap proof establishes a strictly positive lower bound on Néel order in the 2D spin-1/2 XXZ model for discrete anisotropy values, including the Heisenberg point.

Based on the abstract only: check the details in the original paper.

Question

Can spontaneous symmetry breaking and Néel order be rigorously established in the thermodynamic limit for the 2D spin-1/2 antiferromagnetic Heisenberg model? The paper addresses this using the XXZ model, which includes the isotropic Heisenberg case.

Method

The authors generalize the Kennedy–Lieb–Shastry inequalities, using an infrared bound to relate long-range order to finite-distance correlator bounds. They compute these bounds by bootstrap for all sufficiently large periodic systems, and use matrix product states to obtain exactly certified variational upper bounds on the thermodynamic-limit energy density.

Findings

Result The method proves a strictly positive lower bound on the Néel order parameter for discrete anisotropy values in the range [0,2].
See the passage in the paper
We show that a bootstrap approach can be used to rigorously establish SSB and use it to prove the existence of Néel order in the 2D $S = 1/2$ XXZ model by deriving a strictly positive lower bound on the Néel order parameter for a set of discrete values of the anisotropy parameter $Δ$ in the range $[0,2]$ including the isotropic (Heisenberg) point $Δ= 1$.
Result The proved anisotropy values include the isotropic Heisenberg point.
See the passage in the paper
including the isotropic (Heisenberg) point $Δ= 1$.
Result The proof uses a generalized inequality and infrared bounds to reduce the long-range-order question to finite-distance correlators.
See the passage in the paper
Our approach employs a generalization of the Kennedy--Lieb--Shastry inequalities, which use an infrared bound to reduce the existence of long-range order to bounds on certain finite-distance correlators.
Result The authors obtain certified variational upper bounds on thermodynamic-limit energy density from matrix product states.
See the passage in the paper
An important ingredient in our proof is a novel method for obtaining exactly certified variational upper bounds on the energy density in the thermodynamic limit from matrix product states.

Limitations

The result establishes order only for a set of discrete anisotropy values, rather than every value in the stated interval.
See the passage in the paper
for a set of discrete values of the anisotropy parameter $Δ$ in the range $[0,2]$

Why it matters

The authors present a rigorous demonstration of Néel order at the Heisenberg point, a case they say had not previously been rigorously established. They argue that the bootstrap approach can extend to other local lattice models with infrared susceptibility bounds.

Written by AI from the paper. Passages are checked word for word against the text we analysed; the rest may contain errors.

AI-generated keywords: Quantum magnetism; Néel order; Heisenberg model; XXZ model; spontaneous symmetry breaking

Read further

Comprehensive Summary
Layman's Summary
Blog article
Original abstract

The paper addresses a longstanding question in quantum magnetism: whether the two-dimensional spin-1/2 antiferromagnetic Heisenberg model on a square lattice exhibits Néel order in the thermodynamic limit. Although numerical and other theoretical approaches support this form of magnetic order, its existence had not been rigorously established. The authors develop a bootstrap approach to spontaneous symmetry breaking and apply it to the square-lattice spin-1/2 XXZ model, which includes the Heisenberg model as a special case. Their method builds on a generalization of the Kennedy–Lieb–Shastry inequalities, which use an infrared bound to relate long-range order to finite-distance spin-correlation estimates. The authors use a bootstrap procedure to obtain the necessary correlation bounds for all sufficiently large finite systems with periodic boundary conditions. Another key ingredient is a method for deriving rigorously certified variational upper bounds on the thermodynamic-limit energy density using matrix product states. Together, these techniques establish a positive lower bound on the Néel order parameter, providing a proof of order rather than numerical evidence alone. The main result is a proof of Néel order for a discrete set of values of the XXZ anisotropy parameter Δ between 0 and 2. This set includes Δ = 1, the isotropic Heisenberg point, thereby establishing Néel order rigorously for the square-lattice spin-1/2 antiferromagnetic Heisenberg model. The abstract does not list the specific values of Δ or the numerical lower bounds on the order parameter. It also omits the finite-system sizes, details of the bootstrap procedure, and explicit energy-density bounds. These details cannot be reported based on the supplied material. The authors suggest that their approach may extend to other local lattice models when suitable infrared susceptibility bounds are available. Its broader contribution is a framework for turning finite-distance correlation information and certified energy estimates into rigorous conclusions about symmetry breaking in an infinite system. Because the available source consists only of the title, author list, and abstract, this summary cannot assess the proof’s technical assumptions, reproduce its detailed bounds, identify precisely which anisotropy values are covered, or evaluate the method’s limitations beyond what the abstract states. In particular, the result is established only for a discrete set of anisotropy values, not for every Δ between 0 and 2.

A Rigorous Step Toward Solving a Quantum Magnetism Puzzle

Does a square lattice of spin-1/2 particles develop Néel order when it becomes infinitely large? For decades, numerical calculations and theoretical arguments have pointed toward yes for the antiferromagnetic Heisenberg model. Yet strong evidence is not the same as a mathematical proof. In “Establishing Néel order in the square-lattice antiferromagnetic Heisenberg model: a bootstrap proof,” Nisarg Chadha, Taige Wang, Pavel A. Nosov, Michael G. Scheer, and Eslam Khalaf present a rigorous argument that this order exists.

The result settles a longstanding question for a central model in quantum magnetism. It also introduces a strategy for proving spontaneous symmetry breaking: use information about finite systems and their correlations to establish ordered behavior in the thermodynamic limit.

What Is Néel Order?

In an antiferromagnet, neighboring spins tend to point in opposite directions. On a square lattice, that tendency can produce a checkerboard pattern: spins on one sublattice align one way, while those on the other align the opposite way. This pattern is called Néel order.

The challenge is that the question concerns an infinite system, whereas calculations and experiments must work with finite ones. Evidence that correlations persist across a large finite lattice can suggest long-range order, but proving that the order survives as the system grows without bound requires additional control. The new work supplies a route from finite-distance correlations to a rigorous conclusion about the infinite system.

From Correlations to a Proof

The authors study the square-lattice spin-1/2 XXZ model, a family of antiferromagnetic models that includes the Heisenberg model as a special case. The family is labeled by an anisotropy parameter, Δ. At Δ = 1, the XXZ model is the isotropic Heisenberg model of particular interest.

The proof builds on a generalization of the Kennedy–Lieb–Shastry inequalities. These inequalities use an infrared bound to connect evidence for long-range order with estimates of spin correlations at finite distances. In broad terms, they provide a way to convert local or intermediate-scale information into constraints on collective behavior.

The authors then develop a bootstrap procedure to obtain the correlation bounds they need. They apply it to sufficiently large finite systems with periodic boundary conditions. Periodic boundaries make the finite lattice wrap around on itself, reducing the role of edges and helping it approximate an extended system. The resulting estimates become an essential part of the argument for order in the thermodynamic limit.

A Certified Energy Estimate

A second ingredient is a method for deriving rigorous variational upper bounds on the thermodynamic-limit energy density. For this, the authors use matrix product states, a family of quantum-state descriptions that can provide useful approximations to many-body systems.

In numerical work, an approximate energy can support a physical conclusion without necessarily certifying that the conclusion is exact. Here, the variational bounds are rigorously certified. Combined with the correlation estimates, they help establish a positive lower bound on the Néel order parameter. That lower bound is crucial: rather than merely finding signs of order, the proof shows that the order parameter cannot vanish.

What the Result Establishes—and What It Does Not

The main theorem proves Néel order for a discrete set of values of Δ between 0 and 2. Importantly, the set includes Δ = 1. The authors therefore establish Néel order rigorously for the square-lattice spin-1/2 antiferromagnetic Heisenberg model.

The result does not, based on the available abstract, establish order for every anisotropy value in that interval. Nor does the abstract specify which discrete values are covered or give numerical lower bounds for the order parameter. It also omits the finite-system sizes used, the detailed steps of the bootstrap, and the explicit energy-density bounds. Those details cannot be supplied from the information available here.

This distinction matters. The contribution is a proof at the isotropic Heisenberg point and at other specific anisotropies—not a blanket theorem for the full range from 0 to 2. The abstract also does not provide enough detail to assess the proof’s technical assumptions or its limitations beyond that stated scope.

A Framework With Wider Potential

Beyond resolving the order question at Δ = 1, the work offers a broader framework for rigorous studies of symmetry breaking. It combines finite-distance correlation information, infrared susceptibility bounds, and certified energy estimates to draw conclusions about an infinite system.

The authors suggest that the approach may extend to other local lattice models when suitable infrared susceptibility bounds are available. If so, the strategy could help bridge a persistent gap in mathematical physics: turning compelling finite-system evidence into a proof of collective order in the thermodynamic limit.

Created on 09 Nov. 2026

Was this synthesis useful?

Score: 0

Ask questions about this paper to our AI assistant

How to chat with this paper? Illustrated guide

Compare with the PDF

You can also chat with multiple papers at once here.

AI assistant instructions?

Tools for this paper

Explain it differently 1 free rewrite left today

Save to a collection Group papers in collections to compare them, chat with them and export them. Continue with Google Create a free account Log in

Export BibTeX · RIS (Zotero, Mendeley, EndNote) · Obsidian (Markdown) · Notion (Markdown)

Advanced tools Premium

For researchers who follow a field closely: citation alerts, journal-club slides, version comparison and Zotero export. Discover Premium

Zotero

Citation alerts Citation alerts guide

Who works on it? The people and institutions who publish on its topic

Weekly letter Presented in "Physics of matter and light this week" of 9 November 2026. Physics of matter and light this week: New structures, paired electrons and the limits of looking

Journal club Premium+ Slides to present it Propose for the journal club

Versions What changed between versions

Talk about it in public Premium+ Press kit: release, questions, hype check Press kit guide

Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.

Establishing Néel order in the square-lattice antiferromagnetic Heisenberg model: a bootstrap proof

The essentials

Question

Method

Findings

Limitations

Why it matters

Read further

Definitions

A Rigorous Step Toward Solving a Quantum Magnetism Puzzle

What Is Néel Order?

From Correlations to a Proof

A Certified Energy Estimate

What the Result Establishes—and What It Does Not

A Framework With Wider Potential

Ask questions about this paper to our AI assistant

Tools for this paper

Advanced tools Premium

Papers around this one

Closest papers

Prior work it builds on

Go further

Cite this paper (BibTeX)