Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal de Physique I

Extended proof of long-range order in the two-dimensional quantum spin-1/2 XXZ-model at T=0

Hans-Aloys Wischmann, E. Müller‐Hartmann

Published May 1, 1991• 11 citations
Publisher

Abstract

We prove the existence of long-range order (LRO) in the ground state of the 2D quantum spin-1/2 XXZ-model for all anisotropies $0 \leq \Delta\ leq 0.22$ and Δ≥1.47. We achieve this extension of previous proofs by developing an improved variant of the Dyson-Lieb-Simon proof of LRO in quantum spin systems and by deriving improved upper and lower bounds for the ground state energy of the XXZ-model.

DOI
10.1051/jp1:1991109

Related papers

Long-Range Order in Antiferromagnetic Quantum Spin Systems

Yukiyasu Ozeki, Hidetoshi Nishimori, Yasuhiro Tomita

The existence of long-range order is proved under certain conditions for the antiferromagnetic XYZ model on the simple cubic or the square lattice. In particular, the spin-1/2 XXZ model on the square lattice is shown to have ground-state long-range order if the exchange anisotropy Δ satisfies 0≦ Δ <0.20 or Δ >1.72, which improves the result of Kubo and Kishi. The existence of long-range order of the z -component of the spin operator is proved for the XXZ model with XY -like anisotropy (0≦ Δ ≦1) under certain conditions. A similar result is shown to hold for the long-range order in the x -direction for the Ising-like model ( Δ ≧1). The XXZ model on the two-dimensional hexagonal lattice is proved to have finite ground-state long-range order for any value of Δ (≧0) if S ≧1 and for Δ >2.55 when S =1/2.

Journal of the Physical Society of Japan•Jan 15, 1989•27 citations

Existence of Long-Range Order in the XY Model

Kenn Kubo

The existence of long-range order (LRO) at low temperature in the isotropic $\mathrm{XY}$ model with spin $S\ensuremath{\geqq}1$ on simple cubic lattice in three or more dimensions is shown. This completes the proof of the existence of LRO at low temperature in the isotropic $\mathrm{XY}$ model with arbitrary spin size in three or more dimensions, as the proof for $S=\frac{1}{2}$ was given earlier by Dyson, Lieb, and Simon. The existence of LRO in the ground state is shown for $S\ensuremath{\geqq}\frac{3}{2}$ in two dimensions.

Physical Review Letters•Jul 4, 1988•32 citations

LONG-RANGE ORDER IN TWO-DIMENSIONAL XXZ MODEL

Wen‐Long You

In the present paper, by applying the reflection positivity method due to Dyson, Lieb, and Simon, we rigorously establish the sufficient condition for existence of the Néel long-range order (NLRO) in two-dimensional spin-1/2 XXZ. Our result shows that if the anisotropic coupling Δ satisfies 0 ≤ Δ ≤ 0.30 or Δ ≥ 1.52, the existence of the NLRO along easy axis is proved.

International Journal of Modern Physics B•Apr 10, 2009•2 citations

Ground-State Long-Range Order in the Two-DimensionalXXZMode

Hidetoshi Nishimori, Yukiyasu Ozeki

We prove the existence of Néel-type long-range order in the ground state of the spin-1/2 XXZ model with Δ (exchange anisotropy)>1.67 on the square lattice. We further show the existence of long-range order for Δ >1.10 and 0≦ Δ <0.59 by assuming monotonicity of nearest neighbor correlations as functions of the system size. The assumption of monotonicity is supported by numerical calculations.

Journal of the Physical Society of Japan•Mar 15, 1989•42 citations

Existence of Long-Range Order in the XXZ Model

Kenn Kubo, Tatsuya Kishi

The method of Kennedy, Lieb, and Shastry is applied to the antiferromagnetic $\mathrm{XXZ}$ model to examine the existence of long-range order (LRO). On the 3D simple-cubic lattice LRO is proved to exist for any $S\ensuremath{\geqq}\frac{1}{2}$ and $\ensuremath{\Delta}\ensuremath{\geqq}0$ at low temperature. On the 2D square lattice LRO exists in the ground state for any $\ensuremath{\Delta}\ensuremath{\leqq}0$ if $S\ensuremath{\geqq}1$ and for $0\ensuremath{\leqq}\ensuremath{\Delta}<0.13$ and $\ensuremath{\Delta}=0$ if $S=\frac{1}{2}$. The existence of LRO in the ground state of the $S=\frac{1}{2} \mathrm{XY}$ model ($\ensuremath{\Delta}=0$), therefore, has been confirmed, in agreement with the conjecture by Nishimori et al. The ground state of the $S=\frac{1}{2}$ antiferromagnetic Heisenberg model in two dimensions still remains to be clarified.

Physical Review Letters•Nov 28, 1988•106 citations

Existence of Long-Range Magnetic Order in the Ground State of Two-Dimensional Spin-1/2 Heisenberg Antiferromagnets

Martin Indergand, Manfred Sigrist

We give a rigorous proof of the existence of long-range antiferromagnetic order in the ground state of several two-dimensional spin-1/2 Heisenberg systems.Three types of systems are considered.The first type consists of an even number, N , of coupled square lattices with antiferromagnetic nearest-neighbor Heisenberg interactions.In this case, we prove the existence of long-range order (LRO) in the ground state for an interplane to inplane coupling ratio r in the range 0.16 ≤ r ≤ 2.1 for N ≥ 4. Further, we prove that the antiferromagnetic bilayer with ferromagnetic next-nearest-neighbor (nnn) interplane couplings possesses LRO in the ground state for 0.21 ≤ r < 1/4, where r is the absolute value of the ratio of the ferromagnetic and antiferromagnetic couplings.The final example consists of two antiferromagnetic spin-1/2 square lattices that are coupled via an antiferromagnetic nnn interplane coupling r.For r = 1, this system is effectively a spin-1 square lattice and has an ordered ground state.We show that LRO exists in the region 0.85 ≤ r ≤ 1. * ) Note that E r q in the notation of KLS corresponds to 2 + r -E q in our notation.

Progress of Theoretical Physics•Jan 1, 2007•2 citations
We prove the existence of long-range order (LRO) in the ground state of the 2D quantum spin-1/2 XXZ-model for all anisotropies 0≤Δ leq0.220 \leq \Delta\ leq 0.220≤Δ leq0.22 and Δ≥1.47. We achieve this extension of previous proofs by developing an improved variant of the Dyson-Lieb-Simon proof of LRO in quantum spin systems and by deriving improved upper and lower bounds for the ground state energy of the XXZ-model.
The existence of long-range order is proved under certain conditions for the antiferromagnetic XYZ model on the simple cubic or the square lattice. In particular, the spin-1/2 XXZ model on the square lattice is shown to have ground-state long-range order if the exchange anisotropy Δ satisfies 0≦ Δ <0.20 or Δ >1.72, which improves the result of Kubo and Kishi. The existence of long-range order of the z -component of the spin operator is proved for the XXZ model with XY -like anisotropy (0≦ Δ ≦1) under certain conditions. A similar result is shown to hold for the long-range order in the x -direction for the Ising-like model ( Δ ≧1). The XXZ model on the two-dimensional hexagonal lattice is proved to have finite ground-state long-range order for any value of Δ (≧0) if S ≧1 and for Δ >2.55 when S =1/2.
The existence of long-range order (LRO) at low temperature in the isotropic XY\mathrm{XY}XY model with spin $S\ensuremath{\geqq}1$ on simple cubic lattice in three or more dimensions is shown. This completes the proof of the existence of LRO at low temperature in the isotropic XY\mathrm{XY}XY model with arbitrary spin size in three or more dimensions, as the proof for S=12S=\frac{1}{2}S=21​ was given earlier by Dyson, Lieb, and Simon. The existence of LRO in the ground state is shown for $S\ensuremath{\geqq}\frac{3}{2}$ in two dimensions.
The method of Kennedy, Lieb, and Shastry is applied to the antiferromagnetic XXZ\mathrm{XXZ}XXZ model to examine the existence of long-range order (LRO). On the 3D simple-cubic lattice LRO is proved to exist for any $S\ensuremath{\geqq}\frac{1}{2}$ and $\ensuremath{\Delta}\ensuremath{\geqq}0$ at low temperature. On the 2D square lattice LRO exists in the ground state for any $\ensuremath{\Delta}\ensuremath{\leqq}0$ if $S\ensuremath{\geqq}1$ and for $0\ensuremath{\leqq}\ensuremath{\Delta}<0.13$ and $\ensuremath{\Delta}=0$ if S=12S=\frac{1}{2}S=21​. The existence of LRO in the ground state of the S=12XYS=\frac{1}{2} \mathrm{XY}S=21​XY model ($\ensuremath{\Delta}=0$), therefore, has been confirmed, in agreement with the conjecture by Nishimori et al. The ground state of the S=12S=\frac{1}{2}S=21​ antiferromagnetic Heisenberg model in two dimensions still remains to be clarified.
We give a rigorous proof of the existence of long-range antiferromagnetic order in the ground state of several two-dimensional spin-1/2 Heisenberg systems.Three types of systems are considered.The first type consists of an even number, N , of coupled square lattices with antiferromagnetic nearest-neighbor Heisenberg interactions.In this case, we prove the existence of long-range order (LRO) in the ground state for an interplane to inplane coupling ratio r in the range 0.16 ≤ r ≤ 2.1 for N ≥ 4. Further, we prove that the antiferromagnetic bilayer with ferromagnetic next-nearest-neighbor (nnn) interplane couplings possesses LRO in the ground state for 0.21 ≤ r < 1/4, where r is the absolute value of the ratio of the ferromagnetic and antiferromagnetic couplings.The final example consists of two antiferromagnetic spin-1/2 square lattices that are coupled via an antiferromagnetic nnn interplane coupling r.For r = 1, this system is effectively a spin-1 square lattice and has an ordered ground state.We show that LRO exists in the region 0.85 ≤ r ≤ 1. * ) Note that E r q in the notation of KLS corresponds to 2 + r -E q in our notation.