Quantum Heisenberg model

The quantum Heisenberg model, developed by Werner Heisenberg, is a statistical mechanical model used in the study of critical points and phase transitions of magnetic systems, in which the spins of the magnetic systems are treated quantum mechanically. It is related to the prototypical Ising model, where at each site of a lattice, a spin represents a microscopic magnetic dipole to which the magnetic moment is either up or down. Except the coupling between magnetic dipole moments, there is also a multipolar version of Heisenberg model called the multipolar exchange interaction.

Overview

edit

For quantum mechanical reasons (see exchange interaction or Magnetism § Quantum-mechanical origin of magnetism), the dominant coupling between two dipoles may cause nearest-neighbors to have lowest energy when they are aligned. Under this assumption (so that magnetic interactions only occur between adjacent dipoles) and on a 1-dimensional periodic lattice, the Hamiltonian can be written in the form

 ,

where   is the coupling constant and dipoles are represented by classical vectors (or "spins") σj, subject to the periodic boundary condition  . The Heisenberg model is a more realistic model in that it treats the spins quantum-mechanically, by replacing the spin by a quantum operator acting upon the tensor product  , of dimension  . To define it, recall the Pauli spin-1/2 matrices

 ,
 ,
 ,

and for   and   denote  , where   is the   identity matrix. Given a choice of real-valued coupling constants   and  , the Hamiltonian is given by

 

where the   on the right-hand side indicates the external magnetic field, with periodic boundary conditions. The objective is to determine the spectrum of the Hamiltonian, from which the partition function can be calculated and the thermodynamics of the system can be studied.

It is common to name the model depending on the values of  ,   and  : if  , the model is called the Heisenberg XYZ model; in the case of  , it is the Heisenberg XXZ model; if  , it is the Heisenberg XXX model. The spin 1/2 Heisenberg model in one dimension may be solved exactly using the Bethe ansatz.[1] In the algebraic formulation, these are related to particular quantum affine algebras and elliptic quantum groups in the XXZ and XYZ cases respectively.[2] Other approaches do so without Bethe ansatz.[3]

XXX model

edit

The physics of the Heisenberg XXX model strongly depends on the sign of the coupling constant   and the dimension of the space. For positive   the ground state is always ferromagnetic. At negative   the ground state is antiferromagnetic in two and three dimensions.[4] In one dimension the nature of correlations in the antiferromagnetic Heisenberg model depends on the spin of the magnetic dipoles. If the spin is integer then only short-range order is present. A system of half-integer spins exhibits quasi-long range order.

A simplified version of Heisenberg model is the one-dimensional Ising model, where the transverse magnetic field is in the x-direction, and the interaction is only in the z-direction:

 .

At small g and large g, the ground state degeneracy is different, which implies that there must be a quantum phase transition in between. It can be solved exactly for the critical point using the duality analysis.[5] The duality transition of the Pauli matrices is   and  , where   and   are also Pauli matrices which obey the Pauli matrix algebra. Under periodic boundary conditions, the transformed Hamiltonian can be shown is of a very similar form:

 

but for the   attached to the spin interaction term. Assuming that there's only one critical point, we can conclude that the phase transition happens at  .

Solution by Bethe ansatz

edit

XXX1/2 model

edit

Following the approach of Ludwig Faddeev (1996), the spectrum of the Hamiltonian for the XXX model   can be determined by the Bethe ansatz. In this context, for an appropriately defined family of operators   dependent on a spectral parameter   acting on the total Hilbert space   with each  , a Bethe vector is a vector of the form   where  . If the   satisfy the Bethe equation   then the Bethe vector is an eigenvector of   with eigenvalue  .

The family   as well as three other families come from a transfer matrix   (in turn defined using a Lax matrix), which acts on   along with an auxiliary space  , and can be written as a   block matrix with entries in  ,   which satisfies fundamental commutation relations (FCRs) similar in form to the Yang–Baxter equation used to derive the Bethe equations. The FCRs also show there is a large commuting subalgebra given by the generating function  , as  , so when   is written as a polynomial in  , the coefficients all commute, spanning a commutative subalgebra which   is an element of. The Bethe vectors are in fact simultaneous eigenvectors for the whole subalgebra.

XXXs model

edit

For higher spins, say spin  , replace   with   coming from the Lie algebra representation of the Lie algebra  , of dimension  . The XXXs Hamiltonian   is solvable by Bethe ansatz with Bethe equations  

XXZs model

edit

For spin   and a parameter   for the deformation from the XXX model, the BAE (Bethe ansatz equation) is   Notably, for   these are precisely the BAEs for the six-vertex model, after identifying  , where   is the anisotropy parameter of the six-vertex model.[6][7] This was originally thought to be coincidental until Baxter showed the XXZ Hamiltonian was contained in the algebra generated by the transfer matrix  ,[8] given exactly by  

Applications

edit
  • Another important object is entanglement entropy. One way to describe it is to subdivide the unique ground state into a block (several sequential spins) and the environment (the rest of the ground state). The entropy of the block can be considered as entanglement entropy. At zero temperature in the critical region (thermodynamic limit) it scales logarithmically with the size of the block. As the temperature increases the logarithmic dependence changes into a linear function.[9] For large temperatures linear dependence follows from the second law of thermodynamics.
  • The Heisenberg model provides an important and tractable theoretical example for applying density matrix renormalisation.
  • The six-vertex model can be solved using the algebraic Bethe ansatz for the Heisenberg spin chain (Baxter 1982).
  • The half-filled Hubbard model in the limit of strong repulsive interactions can be mapped onto a Heisenberg model with   representing the strength of the superexchange interaction.
  • Limits of the model as the lattice spacing is sent to zero (and various limits are taken for variables appearing in the theory) describes integrable field theories, both non-relativistic such as the nonlinear Schrödinger equation, and relativistic, such as the   sigma model, the   sigma model (which is also a principal chiral model) and the sine-Gordon model.
  • Calculating certain correlation functions in the planar or large   limit of N = 4 supersymmetric Yang–Mills theory[10]

Extended symmetry

edit

The integrability is underpinned by the existence of large symmetry algebras for the different models. For the XXX case this is the Yangian  , while in the XXZ case this is the quantum group  , the q-deformation of the affine Lie algebra of  , as explained in the notes by Faddeev (1996).

These appear through the transfer matrix, and the condition that the Bethe vectors are generated from a state   satisfying   corresponds to the solutions being part of a highest-weight representation of the extended symmetry algebras.

See also

edit

References

edit
  • R.J. Baxter, Exactly solved models in statistical mechanics, London, Academic Press, 1982
  • Heisenberg, W. (1 September 1928). "Zur Theorie des Ferromagnetismus" [On the theory of ferromagnetism]. Zeitschrift für Physik (in German). 49 (9): 619–636. Bibcode:1928ZPhy...49..619H. doi:10.1007/BF01328601. S2CID 122524239.
  • Bethe, H. (1 March 1931). "Zur Theorie der Metalle" [On the theory of metals]. Zeitschrift für Physik (in German). 71 (3): 205–226. Bibcode:1931ZPhy...71..205B. doi:10.1007/BF01341708. S2CID 124225487.

Notes

edit
  1. ^ Bonechi, F; Celeghini, E; Giachetti, R; Sorace, E; Tarlini, M (7 August 1992). "Heisenberg XXZ model and quantum Galilei group". Journal of Physics A: Mathematical and General. 25 (15): L939–L943. arXiv:hep-th/9204054. Bibcode:1992JPhA...25L.939B. doi:10.1088/0305-4470/25/15/007. S2CID 119046025.
  2. ^ Faddeev, L. D. (26 May 1996). "How Algebraic Bethe Ansatz works for integrable model". arXiv:hep-th/9605187v1.
  3. ^ Rojas, Onofre; Souza, S.M. de; Corrêa Silva, E.V.; Thomaz, M.T. (December 2001). "Thermodynamics of the limiting cases of the XXZ model without Bethe ansatz". Brazilian Journal of Physics. 31 (4): 577–582. Bibcode:2001BrJPh..31..577R. doi:10.1590/s0103-97332001000400008.
  4. ^ Tom Kennedy; Bruno Nachtergaele. "The Heisenberg Model - a Bibliography". Retrieved 6 Jun 2019.
  5. ^ Fisher, Matthew P. A. (2004). "Duality in low dimensional quantum field theories". Strong interactions in low dimensions. Physics and Chemistry of Materials with Low-Dimens. Vol. 25. pp. 419–438. doi:10.1007/978-1-4020-3463-3_13. ISBN 978-1-4020-1798-8.
  6. ^ Lieb, Elliott H. (24 April 1967). "Exact Solution of the Problem of the Entropy of Two-Dimensional Ice". Physical Review Letters. 18 (17): 692–694. Bibcode:1967PhRvL..18..692L. doi:10.1103/PhysRevLett.18.692.
  7. ^ Dorey, Patrick; Dunning, Clare; Tateo, Roberto (10 August 2007). "The ODE/IM correspondence". Journal of Physics A: Mathematical and Theoretical. 40 (32): R205–R283. doi:10.1088/1751-8113/40/32/R01. ISSN 1751-8113. S2CID 14281617.
  8. ^ Baxter, Rodney J (1 April 1972). "One-dimensional anisotropic Heisenberg chain". Annals of Physics. 70 (2): 323–337. Bibcode:1972AnPhy..70..323B. doi:10.1016/0003-4916(72)90270-9. ISSN 0003-4916.
  9. ^ Korepin, V. E. (5 March 2004). "Universality of Entropy Scaling in One Dimensional Gapless Models". Physical Review Letters. 92 (9): 096402. arXiv:cond-mat/0311056. Bibcode:2004PhRvL..92i6402K. doi:10.1103/PhysRevLett.92.096402. PMID 15089496. S2CID 20620724.
  10. ^ Beisert, Niklas (1 December 2004). "The dilatation operator of N=4 super Yang–Mills theory and integrability". Physics Reports. 405 (1): 1–202. arXiv:hep-th/0407277. Bibcode:2004PhR...405....1B. doi:10.1016/j.physrep.2004.09.007. S2CID 118949332.