The quantitative description of long-range order remains a challenge in quantum many-body physics. We provide zero-temperature results from two complementary methods for the ground-state energy per site, the sublattice magnetization, the spin gap, and the transverse spin correlation length for the spin-1/2 quantum XXZ antiferromagnet on the square lattice. On the one hand, we use exact, large-scale quantum Monte Carlo (QMC) simulations. On the other hand, we use the semianalytic approach based on continuous similarity transformations in terms of elementary magnon excitations. Our findings confirm the applicability and quantitative validity of both approaches along the full parameter axis from the Ising point to the symmetry-restoring phase transition at the Heisenberg point and further provide quantitative reference results in the thermodynamic limit. In addition, we analytically derive the relation between the dispersion and the correlation length at zero temperature in arbitrary dimension, and discuss improved second-moment QMC estimators.
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 method of Kennedy, Lieb, and Shastry is applied to the antiferromagnetic
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=21. The existence of LRO in the ground state of the
S=21XY model ($\ensuremath{\Delta}=0$), therefore, has been confirmed, in agreement with the conjecture by Nishimori et al. The ground state of the
S=21 antiferromagnetic Heisenberg model in two dimensions still remains to be clarified.