Skip to content

XXZ Spin Chain

The spin-1/21/2 XXZ chain is the nearest-neighbor Heisenberg chain with different exchange strengths along the distinguished zz axis and in the transverse xyxy plane. In a standard convention,

H=J∑j(sjxsj+1x+sjysj+1y+Δsjzsj+1z)−h∑jsjz.H = J \sum_j \left( s_j^x s_{j+1}^x + s_j^y s_{j+1}^y + \Delta s_j^z s_{j+1}^z \right) - h \sum_j s_j^z.

Here JJ and hh have units of energy, the sjαs_j^\alpha are dimensionless spin-1/21/2 operators, and Δ\Delta is the dimensionless exchange anisotropy. This one parameter connects a free-fermion chain, a gapless interacting quantum liquid, the isotropic antiferromagnet, a gapped Néel phase, and a ferromagnet.

The model is unusually valuable because several descriptions meet without becoming interchangeable. It is a local spin Hamiltonian, an interacting spinless-fermion model after a Jordan–Wigner transformation, an integrable many-body system solved by factorized scattering, and a compact-boson field theory at low energy in its critical regime. Each description answers a different class of questions.

The XXZ Chain dossier is the convention-complete lookup record for the baseline phase map, exact fingerprints, observables, and finite-ring validation set. This teaching article owns the detailed fermion, Bethe, Luttinger, BKT, transport, and correlation developments.

The Spin-1/21/2 Chain dossier owns the umbrella XYZ-family record, spin-versus-Pauli normalization, generic symmetry conditions, and finite-chain audit. This page owns the XXZ specialization and its anisotropy-dependent physics.

This page is the canonical home for the spin-1/21/2 XXZ chain: Hamiltonian conventions, anisotropy, symmetries, the zero-field phase diagram, exact finite checks, the fermion map, Bethe-ansatz structure, and the Luttinger-liquid bridge.

The Heisenberg Chain dossier owns the compact isotropic spin-1/21/2 record and benchmark, while Heisenberg Model owns isotropic exchange on general lattices, arbitrary spin, spin waves, and broader quantum-magnetism context. The Transverse-Field Ising Model owns the noncommuting-field Ising chain and its c=1/2c=1/2 critical point. Correlation Functions Overview owns the general definitions of connected correlators and structure factors.

Spinless Fermion Chains owns the fermionic tt–VV Hamiltonian, free-chain solution, fermionic correlators, twist response, and density-language phase interpretation. This page states the fermion dictionary only far enough to expose that connection; Jordan–Wigner Transformation owns the full derivation of nonlocal strings, periodic-boundary parity sectors, and operator dictionaries. Likewise, the Bethe ansatz is developed far enough to show what integrability means, but not as a substitute for a full exact-solutions treatment.

For LL sites,

H=⨂j=1LC2,dim⁡H=2L.\mathcal H = \bigotimes_{j=1}^{L} \mathbb C^2, \qquad \dim\mathcal H = 2^L.

The dimensionless spin operators obey

[siα,sjβ]=iδijϵαβγsjγ,sj2=34.\begin{aligned} [s_i^\alpha,s_j^\beta] &= i\delta_{ij} \epsilon_{\alpha\beta\gamma} s_j^\gamma, \\ \mathbf s_j^2 &= \frac34. \end{aligned}

Physical angular momentum is Sj=ℏsj\mathbf S_j=\hbar\mathbf s_j. For spin 1/21/2,

sjα=12σjα.s_j^\alpha = \frac12\sigma_j^\alpha.

Therefore the same Hamiltonian in Pauli-matrix notation is

H=J4∑j(σjxσj+1x+σjyσj+1y+Δσjzσj+1z)−h2∑jσjz.\begin{aligned} H = {}& \frac{J}{4} \sum_j \left( \sigma_j^x\sigma_{j+1}^x + \sigma_j^y\sigma_{j+1}^y + \Delta \sigma_j^z\sigma_{j+1}^z \right) \\ &- \frac{h}{2} \sum_j\sigma_j^z. \end{aligned}

Missing factors of two or four often come from comparing these two conventions. A quoted critical field, velocity, or energy density is not portable until the operator normalization is stated.

For an open chain,

HOBC=J∑j=1L−1(sjxsj+1x+sjysj+1y+Δsjzsj+1z)−h∑j=1Lsjz.H_{\mathrm{OBC}} = J \sum_{j=1}^{L-1} \left( s_j^x s_{j+1}^x + s_j^y s_{j+1}^y + \Delta s_j^z s_{j+1}^z \right) - h\sum_{j=1}^{L}s_j^z.

For a periodic chain,

sL+1α=s1α,s_{L+1}^\alpha = s_1^\alpha,

and the exchange sum has LL bonds. Open chains have L−1L-1 bonds. This difference is order one in the total energy but vanishes in the bulk energy density as L→∞L\to\infty.

Periodic spin boundary conditions do not become one universal periodic boundary condition for Jordan–Wigner fermions. The fermion boundary term depends on total fermion parity. Ignoring that sector dependence can shift finite-size momenta and apparent gaps.

Write the exchange tensor as

Jx=Jy=J,Jz=JΔ.J_x=J_y=J, \qquad J_z=J\Delta.

The parameter Δ\Delta compares longitudinal and transverse exchange:

RegimeConventional nameDominant tendency for J>0J>0
Δ=0\Delta=0XX limittransverse exchange and spin transport
∣Δ∣<1\lvert\Delta\rvert<1easy planefluctuating xyxy correlations
Δ=1\Delta=1isotropic Heisenberg pointfull rotationally invariant exchange
Δ>1\Delta>1antiferromagnetic easy axisalternating zz alignment
Δ<−1\Delta<-1ferromagnetic easy axisuniform zz polarization

The phrases easy plane and easy axis describe the exchange anisotropy, not a proof that a finite one-dimensional ground state has a classical orientation. Quantum fluctuations, symmetry, and the thermodynamic limit still determine the phase.

Define

sj±=sjx±isjy.s_j^\pm = s_j^x \pm i s_j^y.

Then

sjxsj+1x+sjysj+1y=12(sj+sj+1−+sj−sj+1+).s_j^x s_{j+1}^x + s_j^y s_{j+1}^y = \frac12 \left( s_j^+s_{j+1}^- + s_j^-s_{j+1}^+ \right).

The Hamiltonian becomes

H=J2∑j(sj+sj+1−+sj−sj+1+)+JΔ∑jsjzsj+1z−h∑jsjz.\begin{aligned} H = {}& \frac{J}{2} \sum_j \left( s_j^+s_{j+1}^- + s_j^-s_{j+1}^+ \right) \\ &+ J\Delta \sum_j s_j^z s_{j+1}^z - h\sum_j s_j^z. \end{aligned}

The transverse term moves a down spin relative to an up-spin background. The longitudinal term assigns an interaction energy according to neighboring zz projections. This separation anticipates the hopping-plus-density-interaction fermion form.

For generic Δ\Delta, simultaneous rotations of every spin about the zz axis leave the Hamiltonian invariant. The generator is

Stotz=∑j=1Lsjz.S_{\mathrm{tot}}^z = \sum_{j=1}^{L}s_j^z.

Because every transverse exchange term raises one site and lowers its neighbor,

[H,Stotz]=0.[H,S_{\mathrm{tot}}^z] = 0.

The Hilbert space decomposes into fixed-magnetization sectors. If MM sites are down relative to the all-up state, then

Stotz=L2−M,S_{\mathrm{tot}}^z = \frac{L}{2}-M,

and the sector dimension is

dim⁡HM=(LM).\dim\mathcal H_M = \binom{L}{M}.

This U(1)U(1) symmetry is both physical and computational: exact diagonalization can work one magnetization block at a time.

Symmetry Enhancement at the Isotropic Point

Section titled “Symmetry Enhancement at the Isotropic Point”

At Δ=1\Delta=1 and h=0h=0,

H=J∑jsj⋅sj+1,H = J\sum_j \mathbf s_j\cdot\mathbf s_{j+1},

so all components of total spin commute with HH:

[H,Stotα]=0,α=x,y,z.[H,S_{\mathrm{tot}}^\alpha] = 0, \qquad \alpha=x,y,z.

The internal symmetry is enhanced from axial U(1)U(1) to SU(2)SU(2). A longitudinal field retains rotations about zz but lifts degeneracies between different values of StotzS_{\mathrm{tot}}^z.

The SU(2) reference develops the group structure. The XXZ page uses only the consequence that Δ=1\Delta=1 is a symmetry-enhanced point, not a generic representative of the entire anisotropic family.

At h=0h=0, a global π\pi rotation about the xx axis sends

sjz⟼−sjz,sjy⟼−sjy,s_j^z \longmapsto -s_j^z, \qquad s_j^y \longmapsto -s_j^y,

while leaving sjxs_j^x unchanged. It reverses the total magnetization and preserves the Hamiltonian.

For uniform periodic couplings, the model also has lattice translation and spatial inversion symmetry. At h=0h=0 it is time-reversal invariant. Boundaries, bond alternation, disorder, Dzyaloshinskii–Moriya exchange, or site-dependent fields can remove some of these symmetries even if StotzS_{\mathrm{tot}}^z remains conserved.

Several values of Δ\Delta organize the model:

ValueStructure
Δ=0\Delta=0XX chain; free spinless fermions after Jordan–Wigner
Δ=1\Delta=1antiferromagnetic isotropic Heisenberg chain; SU(2)SU(2) symmetry
Δ=−1\Delta=-1singular ferromagnetic endpoint after a staggered rotation
−1<Δ<1-1<\Delta<1gapless interacting Luttinger liquid
Δ>1\Delta>1gapped antiferromagnetic easy-axis regime
Δ<−1\Delta<-1gapped ferromagnetic regime at zero field

The points Δ=−1\Delta=-1 and Δ=1\Delta=1 are not equivalent endpoints. The former is a first-order boundary with quadratic low-energy dispersion at the endpoint. The latter is a Berezinskii–Kosterlitz–Thouless boundary at which a gap opens nonanalytically into the Néel phase.

Assume J>0J>0, h=0h=0, short-range nearest-neighbor exchange, and the thermodynamic limit.

AnisotropyGround-state regimeGapLong-distance structure
Δ<−1\Delta<-1zz-ferromagnetgapped away from Δ=−1\Delta=-1saturated magnetization
−1<Δ<1-1<\Delta<1critical easy-plane phasegaplessalgebraic correlations, c=1c=1
Δ=1\Delta=1isotropic critical pointgaplessalgebraic correlations with logarithmic corrections
Δ>1\Delta>1easy-axis antiferromagnetgappedthermodynamic Néel order

The critical interval is a phase, not one isolated critical point. Its exponents vary continuously with Δ\Delta through the Luttinger parameter KK.

Finite chains require more careful language. A finite even periodic chain in the critical or antiferromagnetic regimes may have a unique symmetry eigenstate. Thermodynamic order is diagnosed through size scaling, long-distance correlations, symmetry-partner structure, or a symmetry-breaking source with an explicit order of limits.

Zero-field XXZ phase line and the mapping from spins to interacting fermions and a Luttinger liquid

For J>0J>0 and h=0h=0, the spin-1/21/2 XXZ chain passes from a ferromagnet through a gapless c=1c=1 phase into a gapped Néel phase. Jordan–Wigner maps the lattice model to spinless hopping with nearest-neighbor interaction, while the critical interval has a Luttinger-liquid description with an exactly known KK.

For Δ<−1\Delta<-1, the all-up and all-down product states minimize the zero-field bulk energy. For a periodic chain,

∣F↑⟩=∣↑↑⋯↑⟩,∣F↓⟩=∣↓↓⋯↓⟩.\lvert F_\uparrow\rangle = \lvert\uparrow\uparrow\cdots\uparrow\rangle, \qquad \lvert F_\downarrow\rangle = \lvert\downarrow\downarrow\cdots\downarrow\rangle.

Their exchange energy is

EF=JΔL4.E_F = \frac{J\Delta L}{4}.

The transverse exchange annihilates each fully polarized state. A single overturned spin can propagate, but at h=0h=0 its minimum excitation energy is

Δmag=J(−Δ−1),Δ<−1.\Delta_{\mathrm{mag}} = J(-\Delta-1), \qquad \Delta<-1.

This gap closes as Δ→−1−\Delta\to-1^-.

On an even bipartite chain, rotate every other spin by π\pi about the zz axis. The transformation changes the signs of sxs^x and sys^y on one endpoint of every bond while leaving szs^z unchanged. At Δ=−1\Delta=-1,

H(−1)⟼−J∑jsj⋅sj+1.H(-1) \longmapsto -J \sum_j \mathbf s_j\cdot\mathbf s_{j+1}.

Thus the endpoint is unitarily equivalent to an isotropic ferromagnetic Heisenberg chain. Its finite-size ground space is much more degenerate than the generic critical ground state.

For spin 1/21/2, the ferromagnetic total-spin multiplet has

Stot=L2,dim⁡G=2Stot+1=L+1.S_{\mathrm{tot}} = \frac{L}{2}, \qquad \dim\mathcal G = 2S_{\mathrm{tot}}+1 = L+1.

The staggered rotation preserves this dimension at Δ=−1\Delta=-1 for the even bipartite chain.

The low-energy one-magnon dispersion near its minimum is quadratic, not relativistic. If k=π+qk=\pi+q at h=0h=0,

ε(π+q)=J[1−cos⁡q]∼Jq22.\varepsilon(\pi+q) = J\left[1-\cos q\right] \sim \frac{Jq^2}{2}.

Consequently Δ=−1\Delta=-1 is not included as an ordinary c=1c=1 conformal point of the interval −1<Δ<1-1<\Delta<1. Both the Luttinger velocity and the assumptions behind the linear low-energy theory become singular there.

For

−1<Δ<1,-1 < \Delta < 1,

the chain is gapless. It has no conventional long-range transverse order, but spin correlations decay algebraically. Low-energy excitations live near two Fermi points in the fermion description and become collective density and phase modes once interactions are included.

This phase is a Luttinger liquid. Luttinger Liquid Preview owns the generic bosonization convention, vertex dimensions, and perturbation criteria; this page supplies the exact XXZ parameters and spin-operator realization. The phase has:

  • linear low-energy dispersion;
  • central charge c=1c=1;
  • continuously varying correlation exponents;
  • power-law finite-size gaps of order 1/L1/L;
  • logarithmic interval entanglement;
  • no stable one-particle quasiparticle pole of an ordinary Fermi liquid.

The word liquid here names a universality class of one-dimensional gapless systems. It does not imply a continuum fluid at the microscopic scale.

At Δ=1\Delta=1, the spin-1/21/2 antiferromagnetic Heisenberg chain remains gapless. Its low-energy velocity is

v=πJa2ℏ,v = \frac{\pi J a}{2\hbar},

where aa is the lattice spacing.

The continuum fixed point has c=1c=1 and the limiting Luttinger value K=1/2K=1/2 in the convention used below. A marginally irrelevant operator produces multiplicative logarithmic corrections. Finite-size fits that ignore those corrections can converge slowly and imitate shifted exponents.

The exact ground-state energy density is

e0J=14−ln⁡2.\frac{e_0}{J} = \frac14 - \ln2.

This number is a useful normalization and numerical benchmark.

For Δ>1\Delta>1, longitudinal exchange favors the two alternating configurations

∣N1⟩=∣↑↓↑↓⋯ ⟩,\lvert N_1\rangle = \lvert\uparrow\downarrow\uparrow\downarrow\cdots\rangle,

and

∣N2⟩=∣↓↑↓↑⋯ ⟩.\lvert N_2\rangle = \lvert\downarrow\uparrow\downarrow\uparrow\cdots\rangle.

At large Δ\Delta, the transverse exchange creates quantum fluctuations around these Ising-like configurations. The thermodynamic phase has staggered zz order and a nonzero bulk gap.

A convenient order parameter is the staggered magnetization

mst=lim⁡L→∞1L∑j=1L(−1)j⟨sjz⟩,m_{\mathrm{st}} = \lim_{L\to\infty} \frac1L \sum_{j=1}^{L} (-1)^j \langle s_j^z\rangle,

with a symmetry-breaking prescription understood. In a finite translation-invariant state, ⟨sjz⟩\langle s_j^z\rangle may vanish even when

lim⁡r→∞(−1)r⟨sjzsj+rz⟩≠0\lim_{r\to\infty} (-1)^r \langle s_j^z s_{j+r}^z\rangle \ne 0

after the thermodynamic limit.

The boundary at Δ=1\Delta=1 is of Berezinskii–Kosterlitz–Thouless type. The critical side approaches K=1/2K=1/2, while an umklapp perturbation becomes relevant on the easy-axis side and pins the low-energy field.

The gap does not open as a simple power

Δgap∝̸(Δ−1)ν\Delta_{\mathrm{gap}} \not\propto (\Delta-1)^\nu

with an ordinary finite exponent ν\nu. It has an essential singularity. This makes numerical location of the transition delicate: modest sizes can remain much shorter than the rapidly growing correlation length.

Quantum Phase Transitions owns the general scaling language, while Renormalization Group Preview owns fixed lines, marginal directions, and BKT-type flow geometry. Here the important model-specific fact is that the first-order boundary at Δ=−1\Delta=-1 and the BKT boundary at Δ=1\Delta=1 require different diagnostics.

Let

∣F↑⟩=∣↑↑⋯↑⟩\lvert F_\uparrow\rangle = \lvert\uparrow\uparrow\cdots\uparrow\rangle

and define a one-down-spin basis

∣j⟩=sj−∣F↑⟩.\lvert j\rangle = s_j^- \lvert F_\uparrow\rangle.

For a periodic chain, the polarized-state energy is

EF=JΔL4−hL2.E_F = \frac{J\Delta L}{4} - \frac{hL}{2}.

Acting on ∣j⟩\lvert j\rangle gives

(H−EF)∣j⟩=(h−JΔ)∣j⟩+J2(∣j−1⟩+∣j+1⟩).\begin{aligned} (H-E_F)\lvert j\rangle = {}& (h-J\Delta)\lvert j\rangle \\ &+ \frac{J}{2} \left( \lvert j-1\rangle + \lvert j+1\rangle \right). \end{aligned}

The momentum state

∣k⟩=1L∑j=1Leikj∣j⟩\lvert k\rangle = \frac1{\sqrt L} \sum_{j=1}^{L} e^{ikj}\lvert j\rangle

has excitation energy

ε(k)=h−JΔ+Jcos⁡k.\varepsilon(k) = h - J\Delta + J\cos k.

For J>0J>0, the minimum is at k=πk=\pi. The all-up state is stable when

h≥hsat=J(1+Δ).h \ge h_{\mathrm{sat}} = J(1+\Delta).

For Δ>−1\Delta>-1, this is the positive saturation field in the stated convention. For Δ<−1\Delta<-1, the zero-field chain is already ferromagnetic.

Consider one open bond at h=0h=0,

H2=J(s1xs2x+s1ys2y+Δs1zs2z).H_2 = J \left( s_1^x s_2^x + s_1^y s_2^y + \Delta s_1^z s_2^z \right).

The parallel states have energies

E↑↑=E↓↓=JΔ4.E_{\uparrow\uparrow} = E_{\downarrow\downarrow} = \frac{J\Delta}{4}.

In the zero-magnetization sector, define

∣t0⟩=∣↑↓⟩+∣↓↑⟩2\lvert t_0\rangle = \frac{ \lvert\uparrow\downarrow\rangle + \lvert\downarrow\uparrow\rangle }{\sqrt2}

and

∣s⟩=∣↑↓⟩−∣↓↑⟩2.\lvert s\rangle = \frac{ \lvert\uparrow\downarrow\rangle - \lvert\downarrow\uparrow\rangle }{\sqrt2}.

Their energies are

Et0=J(2−Δ)4,Es=−J(2+Δ)4.E_{t_0} = \frac{J(2-\Delta)}{4}, \qquad E_s = -\frac{J(2+\Delta)}{4}.

At Δ=1\Delta=1, the three triplet states become degenerate at J/4J/4, while the singlet lies at −3J/4-3J/4. At Δ=−1\Delta=-1, the parallel states cross the singlet. This dimer detects the ferromagnetic boundary, but it cannot reproduce the thermodynamic distinction between a Luttinger liquid and a Néel phase.

Introduce spinless fermions satisfying

{ci,cj†}=δij,{ci,cj}=0.\{c_i,c_j^\dagger\} = \delta_{ij}, \qquad \{c_i,c_j\} = 0.

One useful convention is

sjz=nj−12,nj=cj†cj,s_j^z = n_j - \frac12, \qquad n_j = c_j^\dagger c_j,

and

sj+=cj†exp⁡ ⁣(iπ∑ℓ<jnℓ).s_j^+ = c_j^\dagger \exp\!\left( i\pi \sum_{\ell<j}n_\ell \right).

The nonlocal string makes spin operators on different sites commute while the cjc_j anticommute. For adjacent sites, the strings cancel locally in the exchange term.

For an open chain,

H=J2∑j=1L−1(cj†cj+1+cj+1†cj)+JΔ∑j=1L−1(nj−12)(nj+1−12)−h∑j=1L(nj−12).\begin{aligned} H = {}& \frac{J}{2} \sum_{j=1}^{L-1} \left( c_j^\dagger c_{j+1} + c_{j+1}^\dagger c_j \right) \\ &+ J\Delta \sum_{j=1}^{L-1} \left(n_j-\frac12\right) \left(n_{j+1}-\frac12\right) \\ &- h \sum_{j=1}^{L} \left(n_j-\frac12\right). \end{aligned}

Thus

t=J2,V=JΔ,t = \frac{J}{2}, \qquad V = J\Delta,

up to a removable sign of tt from a staggered fermion phase convention. The XXZ chain is the nearest-neighbor interacting spinless-fermion chain at a filling fixed by magnetization.

The dictionary makes several facts immediate:

  • total magnetization becomes total fermion number, up to a constant;
  • transverse exchange becomes nearest-neighbor hopping;
  • longitudinal exchange becomes a nearest-neighbor density interaction;
  • the field becomes a chemical-potential term;
  • Δ=0\Delta=0 is free;
  • Δ≠0\Delta\ne0 is interacting even though the spin Hamiltonian remains integrable;
  • the zero-field spin-flip symmetry fixes half filling in the nonmagnetic ground state.

It also shows what Jordan–Wigner does not accomplish. For Δ≠0\Delta\ne0, the density interaction remains. The map changes variables; it does not by itself diagonalize the model.

At Δ=0\Delta=0, the interaction vanishes. After a staggered gauge transformation if desired, the dispersion can be written

ϵ(k)=−Jcos⁡k−h.\epsilon(k) = -J\cos k - h.

At h=0h=0, the ground state is half filled, with Fermi points

kF=±π2.k_F = \pm\frac{\pi}{2}.

The energy density is

e0=−Jπ,e_0 = -\frac{J}{\pi},

and the Fermi velocity is

vF=Jaℏ.v_F = \frac{Ja}{\hbar}.

The free point already has algebraic spin correlations because spin-flip operators contain Jordan–Wigner strings. A free fermion Hamiltonian does not imply that every spin observable is a one-body fermion observable.

The uniform nearest-neighbor XXZ chain belongs to a family generated by the six-vertex transfer matrix. The Yang–Baxter relation implies commuting transfer matrices,

[T(u),T(v)]=0,[T(u),T(v)] = 0,

for spectral parameters uu and vv. Expanding a logarithm of T(u)T(u) generates mutually commuting conserved quantities. The Hamiltonian is one member of that hierarchy.

This algebraic statement is stronger than energy conservation and total-magnetization conservation. It constrains many-body scattering so that it factorizes into compatible two-body processes.

Integrability is fragile under generic perturbations. Next-nearest-neighbor exchange, generic disorder, transverse fields, or arbitrary staggered couplings usually destroy the commuting hierarchy even when some ordinary symmetries survive.

The interacting random-field problem and the evidence required to distinguish localization from slow finite-time dynamics are treated in Many-Body Localization Preview.

Choose the all-up state as a reference and work in a sector with MM down spins at ordered positions

1≤x1<x2<⋯<xM≤L.1 \le x_1 < x_2 < \cdots < x_M \le L.

Away from collisions, the wavefunction is a superposition of plane waves:

ψ(x1,…,xM)=∑P∈SMA(P)exp⁡ ⁣(i∑a=1MkPaxa).\psi(x_1,\ldots,x_M) = \sum_{P\in S_M} A(P) \exp\!\left( i\sum_{a=1}^{M} k_{P_a}x_a \right).

The amplitudes for permutations are related by two-body scattering phases. Periodicity requires each quasiparticle to accumulate both its free phase around the ring and its scattering phases through every other quasiparticle. Schematically,

eikjL=∏ℓ≠jS(kj,kℓ).e^{ik_jL} = \prod_{\ell\ne j} S(k_j,k_\ell).

These coupled quantization conditions are the Bethe equations. The energy remains additive in the Bethe momenta,

E=EF+∑j=1M(h−JΔ+Jcos⁡kj),E = E_F + \sum_{j=1}^{M} \left( h - J\Delta + J\cos k_j \right),

but the allowed kjk_j are strongly correlated by the scattering equations.

In the critical regime, parameterize

Δ=cos⁡γ,0<γ<π.\Delta = \cos\gamma, \qquad 0<\gamma<\pi.

A representative rapidity convention uses

eik(λ)=sinh⁡(λ+iγ/2)sinh⁡(λ−iγ/2).e^{ik(\lambda)} = \frac{ \sinh(\lambda+i\gamma/2) }{ \sinh(\lambda-i\gamma/2) }.

The periodic Bethe equations then take the form

[sinh⁡(λj+iγ/2)sinh⁡(λj−iγ/2)]L=∏ℓ≠jsinh⁡(λj−λℓ+iγ)sinh⁡(λj−λℓ−iγ).\left[ \frac{ \sinh(\lambda_j+i\gamma/2) }{ \sinh(\lambda_j-i\gamma/2) } \right]^L = \prod_{\ell\ne j} \frac{ \sinh(\lambda_j-\lambda_\ell+i\gamma) }{ \sinh(\lambda_j-\lambda_\ell-i\gamma) }.

Different sources shift, rescale, or negate rapidities and may include an overall phase in the equations. Those forms can be equivalent. A convention must be checked by reconstructing momentum, energy, and the one-magnon limit.

What Exact Solvability Does and Does Not Give

Section titled “What Exact Solvability Does and Does Not Give”

The Bethe equations determine finite-volume eigenvalues and eigenstates in principle. In practice:

  • the number of roots grows with system size;
  • roots can form complex patterns associated with bound states;
  • selecting the ground-state root distribution requires care;
  • finite-temperature thermodynamics leads to coupled nonlinear integral equations;
  • norms and matrix elements require determinant formulas;
  • dynamical correlation functions need sums over many intermediate states;
  • special anisotropies can carry additional degeneracies and root subtleties.

“Exactly solvable” therefore does not mean “every observable has an elementary closed form.” It means that a nonperturbative spectral structure is available and can anchor controlled analytic and numerical work.

As L,M→∞L,M\to\infty at fixed density, discrete Bethe roots condense into distributions. Sums become integrals,

1L∑j=1Mf(λj)⟶∫dλ ρ(λ)f(λ).\frac1L \sum_{j=1}^{M} f(\lambda_j) \longrightarrow \int d\lambda\, \rho(\lambda)f(\lambda).

The logarithmic Bethe equations become integral equations for root and hole densities. At finite temperature, minimizing the free energy subject to those constraints produces thermodynamic Bethe-ansatz equations for dressed energies.

This procedure is model-specific. Ordinary canonical and grand-canonical ensembles remain the statistical framework; integrability supplies an exact way to evaluate their thermodynamics for this special Hamiltonian. Post-quench stationary root densities and the charge-completeness problem are developed in Integrability and Generalized Gibbs Ensembles Preview.

Three zero-field results are especially useful for checking code and conventions:

PointExact bulk result
Δ=0\Delta=0e0/J=−1/πe_0/J=-1/\pi
Δ=1\Delta=1e0/J=1/4−ln⁡2e_0/J=1/4-\ln2
Δ<−1\Delta<-1 polarized brancheF/J=Δ/4e_F/J=\Delta/4

The values assume the unshifted spin-operator Hamiltonian written at the top of this page. Adding a bond constant such as −JΔ/4-J\Delta/4 changes every quoted energy density but not eigenstates, gaps, or phase boundaries.

Throughout −1<Δ<1-1<\Delta<1, the long-wavelength sector is described by conjugate compact fields ϕ(x)\phi(x) and θ(x)\theta(x). One common normalization is

[ϕ(x),∂yθ(y)]=iπδ(x−y).[\phi(x),\partial_y\theta(y)] = i\pi\delta(x-y).

The universal quadratic Hamiltonian is

HLL=ℏv2π∫dx[K(∂xθ)2+1K(∂xϕ)2].H_{\mathrm{LL}} = \frac{\hbar v}{2\pi} \int dx \left[ K(\partial_x\theta)^2 + \frac1K(\partial_x\phi)^2 \right].

The velocity vv sets the low-energy light cone. The dimensionless Luttinger parameter KK sets scaling dimensions and the relative stiffness of density and phase fluctuations.

The numerical value called KK depends on field normalization. Formulas must be compared as a complete package: commutator, Hamiltonian, operator dictionary, and correlation exponents.

Exact Luttinger Parameters at Zero Magnetization

Section titled “Exact Luttinger Parameters at Zero Magnetization”

For

Δ=cos⁡γ,0<γ<π,\Delta = \cos\gamma, \qquad 0<\gamma<\pi,

the zero-field XXZ chain has

K=π2(π−γ)K = \frac{\pi}{2(\pi-\gamma)}

and

v=Jaℏπsin⁡γ2γ.v = \frac{Ja}{\hbar} \frac{\pi\sin\gamma}{2\gamma}.

Useful checks are

ΔKv01Ja/ℏ1−1/2πJa/(2ℏ)−1+∞0\begin{array}{c|c|c} \Delta & K & v \\ \hline 0 & 1 & Ja/\hbar \\ 1^- & 1/2 & \pi Ja/(2\hbar) \\ -1^+ & \infty & 0 \end{array}

The divergent KK and vanishing vv at Δ→−1+\Delta\to-1^+ signal the failure of an ordinary finite-velocity conformal description at the endpoint.

At zero magnetization and away from endpoint subtleties, the leading forms are

⟨s0zsrz⟩∼−K2π2r2+Az(−1)rr2K,⟨s0+sr−⟩∼A⊥(−1)rr1/(2K).\begin{aligned} \langle s_0^z s_r^z\rangle \sim {}& -\frac{K}{2\pi^2r^2} + A_z \frac{(-1)^r}{r^{2K}}, \\ \langle s_0^+s_r^-\rangle \sim {}& A_\perp \frac{(-1)^r}{r^{1/(2K)}}. \end{aligned}

The amplitudes AzA_z and A⊥A_\perp are nonuniversal. The exponents are universal once the KK convention is fixed.

At the XX point, K=1K=1, so the leading transverse exponent is 1/21/2. At the isotropic limit, K=1/2K=1/2, and the leading staggered longitudinal and transverse powers both approach 1/r1/r, as required by restored spin rotation symmetry. Multiplicative logarithms modify the pure powers at Δ=1\Delta=1.

An algebraic correlator tends to zero as r→∞r\to\infty. The gapless phase therefore has quasi-long-range order rather than a nonzero transverse order parameter. By contrast, in the easy-axis Néel phase,

(−1)r⟨s0zsrz⟩⟶mst2(-1)^r \langle s_0^z s_r^z\rangle \longrightarrow m_{\mathrm{st}}^2

in an appropriate thermodynamic state.

Distinguishing these behaviors requires distance and size scaling. A large short-distance staggered correlator on one small chain is not enough.

For a periodic critical chain of physical circumference L=La\mathcal L=La, the ground-state entropy of an interval of length ℓ\ell is

S(ℓ)=c3ln⁡ ⁣[Lπa0sin⁡ ⁣(πℓL)]+s1+⋯ .S(\ell) = \frac{c}{3} \ln\!\left[ \frac{\mathcal L}{\pi a_0} \sin\!\left( \frac{\pi\ell}{\mathcal L} \right) \right] + s_1 + \cdots.

Here a0a_0 is a short-distance cutoff, s1s_1 is nonuniversal, and

c=1c = 1

throughout the Luttinger-liquid regime. Open chains have the leading coefficient c/6c/6 for an interval adjacent to a boundary.

In either gapped phase, interval entanglement saturates once ℓ\ell greatly exceeds the correlation length, apart from finite cat-state or boundary contributions. Entanglement Entropy in Many-Body Systems owns the general scaling theory and numerical caveats.

For a periodic critical chain,

E0(L)=Le∞−πℏvc6La+o(L−1).E_0(L) = Le_\infty - \frac{\pi\hbar v c}{6La} + o(L^{-1}).

Low-energy gaps behave as

En(L)−E0(L)=2πℏvLaxn+o(L−1),E_n(L)-E_0(L) = \frac{2\pi\hbar v}{La} x_n + o(L^{-1}),

where xnx_n are scaling dimensions, with momentum and winding quantum numbers determined by the compact boson.

These formulas provide a numerical route to vv, cc, and KK, but subleading corrections matter. Near Δ=1\Delta=1, marginal logarithms make naive straight-line extrapolations unreliable.

Conservation of StotzS_{\mathrm{tot}}^z implies a lattice continuity equation. With

s˙jz=Jj−1z−Jjz,\dot s_j^z = \mathcal J_{j-1}^z - \mathcal J_j^z,

one convention for the physical current is

Jjz=Jℏ(sjxsj+1y−sjysj+1x).\mathcal J_j^z = \frac{J}{\hbar} \left( s_j^x s_{j+1}^y - s_j^y s_{j+1}^x \right).

The anisotropy term does not move zz magnetization; the transverse exchange does. Transport in integrable chains is subtle because conserved quantities can protect ballistic components in some regimes and ensembles. A transport claim must specify temperature, field, order of limits, and the measured response. Transport Coefficients Preview supplies the generic Drude-weight, diffusion, Green–Kubo, and finite-size dictionary; this page retains the model-specific current.

The field hh is conjugate to total magnetization. In the fermion language it is a chemical potential. It changes the filling and therefore changes the Luttinger parameter away from the zero-magnetization formula quoted above.

For −1<Δ≤1-1<\Delta\le1, a finite interval below saturation remains a gapless Luttinger liquid. At

∣h∣=hsat=J(1+Δ),|h| = h_{\mathrm{sat}} = J(1+\Delta),

the ground state becomes fully polarized in the stated convention.

For Δ>1\Delta>1, the zero-field Néel phase survives up to a lower critical field set by its gap. Between that field and saturation lies a field-induced gapless regime. The exact lower critical field and dressed parameters require Bethe-ansatz thermodynamics; they are not given by the one-magnon saturation calculation.

The zero-field phases above describe T=0T=0. A one-dimensional short-range chain has no nonzero-temperature transition into true ferromagnetic or Néel long-range order. Thermal domain walls give a finite correlation length for every T>0T>0.

Low-temperature observables can nevertheless retain quantum-critical scaling over large windows when

kBT≪Jk_BT \ll J

and other gaps or crossover scales are controlled. Calling such a window a phase transition would conflate a crossover with the zero-temperature phase boundary.

Three boundary issues should be kept separate:

  1. Open and periodic spin chains have different bond counts and finite-size spectra.
  2. Jordan–Wigner turns a periodic spin boundary into a fermion boundary term containing total parity.
  3. Bethe equations depend on periodicity, twists, magnetization sector, and rapidity convention.

For bulk thermodynamics these differences often become subextensive. For exact spectra, momentum quantum numbers, entanglement cuts, and edge physics they remain essential.

A twist can be introduced by

sL+1±=e±iΦs1±.s_{L+1}^\pm = e^{\pm i\Phi} s_1^\pm.

The dependence of the ground-state energy on Φ\Phi probes spin stiffness. The normalization of stiffness or Drude weight must be stated because conventions differ by factors of LL, π\pi, and ℏ\hbar.

In the szs^z product basis, the longitudinal exchange and field are diagonal. Each transverse bond either annihilates a parallel pair or exchanges

∣↑↓⟩⟷∣↓↑⟩.\lvert\uparrow\downarrow\rangle \longleftrightarrow \lvert\downarrow\uparrow\rangle.

The Hamiltonian is sparse. Within a fixed-MM sector, a basis state connects to at most the number of domain walls that can be exchanged across neighboring bonds.

Useful methods include:

  • exact diagonalization in fixed magnetization and momentum sectors;
  • Lanczos or Krylov methods for low energies and dynamics;
  • matrix-product states and density-matrix renormalization for open chains;
  • Bethe-root solvers for integrable finite systems;
  • thermodynamic Bethe ansatz for bulk finite-temperature quantities;
  • quantum Monte Carlo in sign-compatible formulations;
  • conformal finite-size and entanglement fits in the critical regime.

Sparse Matrices explains the storage logic shared by local lattice Hamiltonians.

QuestionUseful diagnosticMain caveat
ferromagnetic orderStotzS_{\mathrm{tot}}^z, polarization, one-magnon gapfinite symmetry sectors and field selection
Luttinger liquid1/L1/L gaps, algebraic correlations, c=1c=1 entropylogarithmic and boundary corrections
Néel orderstaggered structure factor and long-distance zzzz correlationsfinite symmetric states can have zero one-point order
BKT boundarylevel spectroscopy, stiffness, correlation exponentsexponentially large crossover length
integrabilitylevel statistics, conserved charges, Bethe benchmarksordinary symmetries alone do not prove integrability
fermion mappingspectra and fixed-number blocksperiodic parity sectors and string observables

No one scalar diagnostic identifies every phase and transition reliably.

Common extensions include:

  • bond-alternating or dimerized XXZ chains;
  • next-nearest-neighbor and frustrated exchange;
  • random fields or random bonds;
  • long-range exchange;
  • Dzyaloshinskii–Moriya interactions;
  • open chains with boundary fields or impurities;
  • higher-spin anisotropic chains;
  • ladders and coupled chains;
  • quenches and periodic driving.

Some variants retain integrability for special boundary or coupling choices, but generic extensions do not. Phase diagrams and low-energy theories must be re-established rather than inherited automatically from the uniform nearest-neighbor chain.

  • Omitting whether sαs^\alpha or σα\sigma^\alpha appears in the Hamiltonian.
  • Calling every ∣Δ∣<1|\Delta|<1 point “the XX model”; only Δ=0\Delta=0 is free.
  • Saying Jordan–Wigner solves the interacting chain without mentioning the remaining density interaction.
  • Treating Δ=−1\Delta=-1 as an ordinary relativistic c=1c=1 endpoint.
  • Treating the transition at Δ=1\Delta=1 as a conventional power-law critical point.
  • Inferring Néel order from a nonzero finite-distance correlator on one small chain.
  • Inferring absence of order from a vanishing finite-system one-point function.
  • Comparing KK values from incompatible bosonization normalizations.
  • Using the zero-magnetization formulas for KK and vv at finite field.
  • Forgetting logarithmic corrections at the isotropic point.
  • Imposing periodic fermion boundary conditions without checking parity.
  • Assuming integrability makes dynamical correlators elementary.
  • Quoting a saturation field without the Hamiltonian and spin normalization.
  • Confusing a low-temperature quantum-critical crossover with a finite-temperature phase transition.

For an XXZ calculation:

  1. Write the Hamiltonian and operator normalization.
  2. State JJ, Δ\Delta, hh, LL, and boundary conditions.
  3. Identify exact symmetries and the magnetization sector.
  4. Decide whether the target is a finite spectrum, bulk phase, correlator, or response.
  5. Use a soluble limit: dimer, one magnon, Δ=0\Delta=0, or Δ=1\Delta=1.
  6. If using Jordan–Wigner, record the szs^z convention and boundary parity.
  7. If using Bethe ansatz, record the rapidity and energy convention.
  8. If using Luttinger theory, record the field normalization, KK, vv, and validity window.
  9. Scale in size, distance, or temperature before assigning a phase.
  10. Separate exact statements from numerical extrapolation and low-energy approximation.

Show directly that the XXZ Hamiltonian commutes with StotzS_{\mathrm{tot}}^z.

Solution

The longitudinal exchange and field are functions only of sjzs_j^z, so they commute with StotzS_{\mathrm{tot}}^z. For one transverse term,

[Stotz,sj+sj+1−]=[sjz+sj+1z,sj+sj+1−].\left[ S_{\mathrm{tot}}^z, s_j^+s_{j+1}^- \right] = \left[ s_j^z+s_{j+1}^z, s_j^+s_{j+1}^- \right].

Using

[sz,s+]=s+,[sz,s−]=−s−,[s^z,s^+] = s^+, \qquad [s^z,s^-] = -s^-,

gives

[sjz+sj+1z,sj+sj+1−]=sj+sj+1−−sj+sj+1−=0.\begin{aligned} \left[ s_j^z+s_{j+1}^z, s_j^+s_{j+1}^- \right] &= s_j^+s_{j+1}^- - s_j^+s_{j+1}^- \\ &= 0. \end{aligned}

The Hermitian-conjugate exchange term also commutes. Therefore

[H,Stotz]=0.[H,S_{\mathrm{tot}}^z] = 0.

Diagonalize the zero-field two-site Hamiltonian and determine where the ground state changes character for J>0J>0.

Solution

The parallel states are already eigenstates with energy JΔ/4J\Delta/4. In the basis

{∣↑↓⟩,∣↓↑⟩},\left\{ \lvert\uparrow\downarrow\rangle, \lvert\downarrow\uparrow\rangle \right\},

the Hamiltonian is

HM=0=J(−Δ/41/21/2−Δ/4).H_{M=0} = J \begin{pmatrix} -\Delta/4 & 1/2 \\ 1/2 & -\Delta/4 \end{pmatrix}.

Its symmetric and antisymmetric eigenvalues are

Et0=J(2−Δ)4,Es=−J(2+Δ)4.E_{t_0} = \frac{J(2-\Delta)}4, \qquad E_s = -\frac{J(2+\Delta)}4.

Compare the singlet with a parallel state:

Es−E↑↑=−J2(1+Δ).E_s-E_{\uparrow\uparrow} = -\frac{J}{2}(1+\Delta).

For Δ>−1\Delta>-1, the singlet is lower. For Δ<−1\Delta<-1, the two parallel states are lower. They cross at Δ=−1\Delta=-1.

Using sjz=nj−1/2s_j^z=n_j-1/2, show that the longitudinal exchange becomes a density interaction and identify its one-body and constant pieces when expanded.

Solution

One bond gives

JΔsjzsj+1z=JΔ(nj−12)(nj+1−12).J\Delta s_j^z s_{j+1}^z = J\Delta \left(n_j-\frac12\right) \left(n_{j+1}-\frac12\right).

Expanding,

JΔsjzsj+1z=JΔnjnj+1−JΔ2(nj+nj+1)+JΔ4.\begin{aligned} J\Delta s_j^z s_{j+1}^z = {}& J\Delta n_jn_{j+1} \\ &- \frac{J\Delta}{2} (n_j+n_{j+1}) + \frac{J\Delta}{4}. \end{aligned}

The first term is the nearest-neighbor interaction. In a uniform periodic chain, the one-body pieces combine into a chemical-potential shift because each site belongs to two bonds. The final term is a constant. Keeping the centered form avoids losing these convention-dependent shifts.

At Δ=h=0\Delta=h=0, use the free-fermion dispersion ϵ(k)=−Jcos⁡k\epsilon(k)=-J\cos k and half filling to compute the bulk ground-state energy density.

Solution

At half filling, the occupied momenta satisfy

−π2<k<π2.-\frac{\pi}{2} < k < \frac{\pi}{2}.

Therefore

e0=∫−π/2π/2dk2π(−Jcos⁡k)=−J2π[sin⁡k]−π/2π/2=−Jπ.\begin{aligned} e_0 &= \int_{-\pi/2}^{\pi/2} \frac{dk}{2\pi} (-J\cos k) \\ &= -\frac{J}{2\pi} \left[ \sin k \right]_{-\pi/2}^{\pi/2} \\ &= -\frac{J}{\pi}. \end{aligned}

The slope at either Fermi point has magnitude JJ in lattice units, giving vF=Ja/ℏv_F=Ja/\hbar.

Derive the positive saturation field for J>0J>0 and Δ>−1\Delta>-1 from the one-magnon dispersion.

Solution

The one-magnon energy above the all-up state is

ε(k)=h−JΔ+Jcos⁡k.\varepsilon(k) = h - J\Delta + J\cos k.

For J>0J>0, its minimum occurs at k=πk=\pi:

εmin⁡=h−J(1+Δ).\varepsilon_{\min} = h - J(1+\Delta).

The polarized state first becomes stable when this minimum is nonnegative. Hence

hsat=J(1+Δ).h_{\mathrm{sat}} = J(1+\Delta).

This result uses dimensionless spin operators. A Pauli-matrix Hamiltonian with differently named couplings has correspondingly rescaled fields.

Use Δ=cos⁡γ\Delta=\cos\gamma to check KK and vv at the XX and isotropic points.

Solution

At Δ=0\Delta=0,

γ=π2.\gamma = \frac\pi2.

Then

K=π2(π−π/2)=1K = \frac{\pi}{2(\pi-\pi/2)} = 1

and

v=Jaℏπ2(π/2)=Jaℏ.v = \frac{Ja}{\hbar} \frac{\pi}{2(\pi/2)} = \frac{Ja}{\hbar}.

As Δ→1−\Delta\to1^-, γ→0\gamma\to0. Using sin⁡γ/γ→1\sin\gamma/\gamma\to1,

K⟶12,v⟶πJa2ℏ.K \longrightarrow \frac12, \qquad v \longrightarrow \frac{\pi Ja}{2\hbar}.

Both agree with the exact benchmark values.

Find the leading transverse and staggered longitudinal correlation exponents at Δ=0\Delta=0 and as Δ→1−\Delta\to1^-. Explain the isotropic check.

Solution

The transverse exponent is

η⊥=12K,\eta_\perp = \frac1{2K},

while the staggered longitudinal exponent is

ηz=2K.\eta_z = 2K.

At Δ=0\Delta=0, K=1K=1, so

η⊥=12,ηz=2.\eta_\perp = \frac12, \qquad \eta_z = 2.

As Δ→1−\Delta\to1^-, K→1/2K\to1/2, giving

η⊥⟶1,ηz⟶1.\eta_\perp \longrightarrow 1, \qquad \eta_z \longrightarrow 1.

The equal limiting powers are required by restored SU(2)SU(2) symmetry. Exactly at Δ=1\Delta=1, multiplicative logarithmic factors accompany the powers.

A numerical study of an even periodic chain finds a unique ground state, a vanishing one-point staggered magnetization, a low gap, and a large staggered structure-factor peak. Does this prove the chain is in the Luttinger-liquid phase?

Solution

No. A finite symmetric ground state can have zero one-point staggered magnetization in both the critical and thermodynamic Néel regimes. A low gap on one size can be a critical gap, a symmetry-partner splitting, or a crossover effect near the BKT boundary. A large structure-factor peak also occurs in systems with large but finite correlation length.

One should compare several sizes and test:

  • whether the relevant bulk gaps scale as 1/L1/L or approach a nonzero value;
  • whether staggered correlations decay algebraically or approach a constant;
  • whether entanglement follows a c=1c=1 logarithm or saturates;
  • whether near-degenerate symmetry partners separate from bulk excitations;
  • whether logarithmic and BKT crossover corrections have been controlled.

Only the combined scaling evidence supports a phase assignment.