The ${J}_{1}\text{\ensuremath{-}}{J}_{2}$ Heisenberg model is a ``canonical'' model in the field of quantum magnetism in order to study the interplay between frustration and quantum fluctuations as well as quantum phase transitions driven by frustration. Here we apply the coupled cluster method (CCM) to study the spin-half ${J}_{1}\text{\ensuremath{-}}{J}_{2}$ model with antiferromagnetic nearest-neighbor bonds
J1>0 and next-nearest-neighbor bonds
J2>0 for the simple cubic (sc) and body-centered cubic (bcc) lattices. In particular, we wish to study the ground-state ordering of these systems as a function of the frustration parameter
p=z2J2/z1J1, where
z1(z2) is the number of nearest (next-nearest) neighbors. We wish to determine the positions of the phase transitions using the CCM and we aim to resolve the nature of the phase transition points. We consider the ground-state energy, order parameters, spin-spin correlation functions, as well as the spin stiffness in order to determine the ground-state phase diagrams of these models. We find a direct first-order phase transition at a value of
p=0.528 from a state of nearest-neighbor N\'eel order to next-nearest-neighbor N\'eel order for the bcc lattice. For the sc lattice the situation is more subtle. CCM results for the energy, the order parameter, the spin-spin correlation functions, and the spin stiffness indicate that there is no direct first-order transition between ground-state phases with magnetic long-range order, rather it is more likely that two phases with antiferromagnetic long range are separated by a narrow region of a spin-liquid-like quantum phase around
p=0.55. Thus the strong frustration present in the ${J}_{1}\text{\ensuremath{-}}{J}_{2}$ Heisenberg model on the sc lattice may open a window for an unconventional quantum ground state in this three-dimensional spin model.
The existence of long range order (LRO) is examined in the antiferromagnetic Heisenberg model on the square or the simple cubic lattice with the next nearest neighbor interactions which are taken to be λ times the nearest neighbor ones (λ≧0). It is rigorously shown that Néel LRO exists at a low temperature on the simple cubic lattice and in the ground state on the square lattice for λ smaller than a critical value λ c . On the square lattice λ c increases with S starting from 0.072 for S =1 and approaches 0.5 in the limit S →∞. On the simple cubic lattice λ c =0.002 for S =1/2 and approaches 0.25 in the limit S →∞.