Skip to content

The XXX chain is a quantum lattice model with the same exchange coupling in all three spin directions. The periodic spin-half chain provides a concrete entrance to quantum integrability: one reversed spin propagates as a plane wave, while two reversed spins require a scattering amplitude and interacting momentum quantization. This record defines the ferromagnetic normalization used in the XXX learning sequence, identifies its commuting-transfer-matrix structure, and separates those statements from spectral completeness and other boundary regimes.

Required background. Form tensor products and act with a matrix on a vector; construct a small spin-chain Hamiltonian develops those operations. Helpful background. The spin-chain conventions collect the sign, normalization, and scattering conversions used here.

Fix N≥3N\geq3 sites on a ring, a real coupling J>0J\gt0, and Hilbert space

H=(C2)⊗N.\mathcal H=(\mathbb C^2)^{\otimes N}.

Set ℏ=1\hbar=1 and the lattice spacing to one. Each site carries Snα=σnα/2S_n^\alpha=\sigma_n^\alpha/2, where σα\sigma^\alpha are the Pauli matrices, α=x,y,z\alpha=x,y,z, and operators on different sites commute. The site index is periodic, SN+1=S1\mathbf S_{N+1}=\mathbf S_1. Our zero-field Hamiltonian is

H=J∑n=1N(14−Sn⋅Sn+1).H=J\sum_{n=1}^N \left(\frac14-\mathbf S_n\cdot\mathbf S_{n+1}\right).

JJ sets the energy scale and J−1J^{-1} the time scale. The additive constant makes the all-up state

∣Ω⟩=∣↑⋯↑⟩,H∣Ω⟩=0.|\Omega\rangle=|\uparrow\cdots\uparrow\rangle, \qquad H|\Omega\rangle=0.

This is the Hamiltonian of Karbach and Müller 1997, arXiv v1 PDF, pp. 1–2, equations (1)–(5) shifted by JN/4JN/4: their vacuum energy is −JN/4-JN/4, and their E−E0E-E_0 is our EE. The restriction N≥3N\geq3 avoids the two-site convention in which the periodic sum counts the same unordered bond twice.

Let Pn,n+1P_{n,n+1} exchange the two local spin states. On the triplet subspace, Sn⋅Sn+1=1/4\mathbf S_n\cdot\mathbf S_{n+1}=1/4 and P=1P=1; on the singlet, these eigenvalues are −3/4-3/4 and −1-1. Therefore

Pn,n+1=2Sn⋅Sn+1+12,H=J2∑n(1−Pn,n+1).P_{n,n+1}=2\mathbf S_n\cdot\mathbf S_{n+1}+\frac12, \qquad H=\frac J2\sum_n(1-P_{n,n+1}).

In the ordered local basis ↑↑,↑↓,↓↑,↓↓\uparrow\uparrow,\uparrow\downarrow,\downarrow\uparrow,\downarrow\downarrow, one bond is

hn,n+1=J2(000001−100−1100000).h_{n,n+1}=\frac J2 \begin{pmatrix} 0&0&0&0\\ 0&1&-1&0\\ 0&-1&1&0\\ 0&0&0&0 \end{pmatrix}.

Its eigenvalues are 0,0,0,J0,0,0,J. Each bond is positive semidefinite, so H≥0H\geq0 and the all-up state is a ground state. It is not the unique ground state: the fully symmetric spin multiplet also has zero energy. In particular, the all-down state has zero energy.

The total spin is Stot=∑nSn\mathbf S_{\mathrm{tot}}=\sum_n\mathbf S_n. Isotropy gives [H,Stotα]=0[H,S_{\mathrm{tot}}^\alpha]=0. This does not make the three spin components mutually commuting: they still satisfy the spin commutation relations.

The number of down spins is the operator

M^=N2−Stotz.\widehat M=\frac N2-S_{\mathrm{tot}}^z.

Since [H,M^]=0[H,\widehat M]=0, the matrix splits into sectors with integer M=0,…,NM=0,\ldots,N and dimensions (NM)\binom NM. For M=2M=2, an orthonormal basis is

∣x,y⟩=Sx−Sy−∣Ω⟩,1≤x<y≤N,Sn−=Snx−iSny.|x,y\rangle=S_x^-S_y^-|\Omega\rangle, \qquad 1\leq x\lt y\leq N, \qquad S_n^-=S_n^x-iS_n^y.

No site can be lowered twice: (Sn−)2=0(S_n^-)^2=0. Coordinates x,yx,y label overturned spins on distinct lattice sites, not continuous particle positions. Translation symmetry is also present; periodicity quantizes total lattice wave number modulo 2π2\pi.

For ∣x⟩=Sx−∣Ω⟩|x\rangle=S_x^-|\Omega\rangle, the two incident bonds give

H∣x⟩=J∣x⟩−J2(∣x−1⟩+∣x+1⟩).H|x\rangle=J|x\rangle-\frac J2 \bigl(|x-1\rangle+|x+1\rangle\bigr).

The normalized plane wave and its energy are

∣k⟩=1N∑x=1Neikx∣x⟩,k=2πmN,E(k)=J(1−cos⁡k).|k\rangle=\frac1{\sqrt N}\sum_{x=1}^N e^{ikx}|x\rangle, \qquad k=\frac{2\pi m}{N}, \qquad E(k)=J(1-\cos k).

Here m=0,…,N−1m=0,\ldots,N-1. The k=0k=0 state is a symmetry partner of the vacuum, not a positive-energy excitation. If translation is defined by T∣x⟩=∣x+1⟩T|x\rangle=|x+1\rangle, then T∣k⟩=e−ik∣k⟩T|k\rangle=e^{-ik}|k\rangle; the sign belongs to the chosen coefficient convention.

For two magnons, use zj=eikjz_j=e^{ik_j} and

ψ(x,y)=A12z1xz2y+A21z2xz1y.\psi(x,y)=A_{12}z_1^xz_2^y+A_{21}z_2^xz_1^y.

For regular solutions, the contact equation and periodic boundary condition require

S12≡A21A12=−1+z1z2−2z21+z1z2−2z1,z1N=S12−1,z2N=S12.S_{12}\equiv\frac{A_{21}}{A_{12}} =-\frac{1+z_1z_2-2z_2}{1+z_1z_2-2z_1}, \qquad z_1^N=S_{12}^{-1},\quad z_2^N=S_{12}.

The corresponding energy is

E=J(2−cos⁡k1−cos⁡k2).E=J\bigl(2-\cos k_1-\cos k_2\bigr).

The sum resembles two one-magnon energies, but the allowed kjk_j are coupled. Their separate values generally are not integer multiples of 2π/N2\pi/N. The Library derivation supplies the contact calculation, the cyclic ordering argument, regularity conditions, and the check that the vector is nonzero.

For N=6N=6, choose k1=−k2=θ=2π/5k_1=-k_2=\theta=2\pi/5 and z=eiθz=e^{i\theta}. Then S12=z−1S_{12}=z^{-1} and z5=1z^5=1 establish both periodic equations. An explicitly normalized, real representative is

ψ(x,y)=215cos⁡ ⁣[θ(y−x−12)],E=5−52J.\psi(x,y)=\sqrt{\frac{2}{15}} \cos\!\left[\theta\left(y-x-\frac12\right)\right], \qquad E=\frac{5-\sqrt5}{2}J.

Its total wave number is zero, although neither individual wave number is on the free six-site grid. The finite-chain project reconstructs this state and tests the eigenvector equation against an independently assembled Hamiltonian. That check verifies this state; it does not count every state in the 1515-dimensional sector.

The periodic homogeneous XXX chain has a stronger structure than the two-magnon calculation alone. Introduce a two-dimensional auxiliary space aa, its swap PanP_{an} with site nn, and

Rab(u)=uI+iPab,Lan(u)=(u−i/2)I+iPan,τ(u)=tr⁡a[LaN(u)⋯La1(u)].\begin{aligned} R_{ab}(u)&=uI+iP_{ab},\\ L_{an}(u)&=(u-i/2)I+iP_{an},\\ \tau(u)&=\operatorname{tr}_a \bigl[L_{aN}(u)\cdots L_{a1}(u)\bigr]. \end{aligned}

The rational exchange relation gives [τ(u),τ(v)]=0[\tau(u),\tau(v)]=0. At u=i/2u=i/2, τ\tau is an invertible scalar multiple of the cyclic shift, and

H=JN2I−iJ2τ(u)−1τ′(u)∣u=i/2.H=\frac{JN}{2}I- \left.\frac{iJ}{2}\tau(u)^{-1}\tau'(u)\right|_{u=i/2}.

These are the conventions of Faddeev 1996, § 3, eqs. (31)–(65), PDF, with H=−JHFaddeevH=-JH_{\mathrm{Faddeev}}. The Library derivation proves the exchange relation, commuting traces and Hamiltonian extraction; the algebraic learning route develops the steps with exercises and a short-chain computation. The R-matrix convention reference explains the spectral shift, product order and scalar normalization. Neither commutativity alone nor successful finite examples establish completeness of a particular Bethe parametrization.

These variations must be distinguished before importing a formula.

VariationPrecise changeConsequence for this treatment
Antiferromagnetic conventionHAF=K∑nSn⋅Sn+1H_{\mathrm{AF}}=K\sum_n\mathbf S_n\cdot\mathbf S_{n+1}, K>0K\gt0HAF=−(K/J)H+KN/4H_{\mathrm{AF}}=-(K/J)H+KN/4. Eigenvectors agree, but energy ordering reverses; the all-up state is no longer a lowest-energy reference.
Uniform longitudinal fieldHh=H−hStotzH_h=H-hS_{\mathrm{tot}}^z, real hhIn a fixed-MM sector, the added term is a scalar. Energy relative to the all-up state becomes E+hME+hM.
Open chainSum only n=1,…,N−1n=1,\ldots,N-1The closing bond disappears. Endpoint equations and quantization change; the periodic equations above cannot be reused.
Infinite chain or thermodynamic limitSpecify an infinite state or a sequence of finite systems and observablesA finite-sector eigenvector calculation supplies neither an infinite-system state nor a thermodynamic limit.

The field statement follows directly from Stotz=N/2−MS_{\mathrm{tot}}^z=N/2-M. A spatially varying field is not a scalar in each magnetization sector and does not inherit this argument. Likewise, changing spin 1/21/2 to a higher local spin while retaining only bilinear exchange does not follow from the permutation construction used here.

The lessons lead from an explicit matrix to one-magnon eigenstates and regular two-magnon eigenstates. The Library article proves why the latter construction works and explains its exclusions. For a specific singular case, the four-site benchmark and five-site rejection show how a limiting Bethe vector needs an additional physicality check; the reproduction project carries out that calculation.

The observables sequence uses a regular five-site state to calculate spin matrix elements and an exact finite correlation with a complete one-magnon final sector. A separate four-site completeness proof combines regular and singular states with symmetry descendants to span the two-down-spin sector. General chain-length completeness, thermodynamics, and correlations in larger systems require further arguments. Keeping these questions separate makes finite-chain calculations useful preparation for the broader theory.

  • Faddeev, L. D. How Algebraic Bethe Ansatz works for integrable model. Les Houches lectures, arXiv:hep-th/9605187v1, 1996, 59 pp. Version record. Open PDF.
  • Karbach, Michael, and Gerhard Müller. “Introduction to the Bethe ansatz I.” Computers in Physics 11, 36–43 (1997). DOI. Author version arXiv:cond-mat/9809162v1, submitted 1998, 8 pp.; page locators above refer to this version. Version record. Open PDF.