Frustration and classical spin liquids
Use local vector constraints to diagnose frustrated energy minima and distinguish degeneracy from a guaranteed spin-liquid phase.
On this page
The question for today
What you’ll understand
- Compute the minimum energy of triangular and tetrahedral spin clusters.
- Separate Ising frustration from the compromise available to vector spins.
- Explain why local degeneracy does not alone establish a spin liquid.
Frustration occurs when local energetic preferences cannot all be satisfied simultaneously. An antiferromagnetic triangle is the simplest example: each bond would like antiparallel neighbors, but a third spin cannot be antiparallel to two spins that are already opposite. Vector spins can compromise through noncollinear angles, while Ising spins must leave some bonds unsatisfied. Extending these local choices to a lattice can produce a large family of competing states, but the geometry of shared clusters determines whether that family remains extensive or collapses into order.
A triangle exposes the incompatible preferences
For this classical lesson use unit vectors , rather than quantum operators with length squared S(S+1). The triangle Hamiltonian is J times the sum of its three pairwise dot products, with J positive. Completing the square rewrites its energy in terms of the total vector. The lowest possible energy occurs when that total vanishes. Three unit vectors achieve this by lying in a plane with 120-degree separations, giving minus one half on every bond.
For unit Ising variables constrained to plus or minus a common axis, three vectors cannot sum to zero. The smallest total magnitude is one, achieved by two signs of one kind and one of the other. Two bonds have energy minus J and the remaining bond plus J. The ground-state energy is therefore minus J, with six configurations for a labeled isolated triangle. Comparing this with the vector result is meaningful only after stating that both models use unit classical variables; inserting quantum spin-half factors would change the numbers.
Sharing clusters changes the counting problem
On the triangular lattice, requiring zero total on every elementary triangle fixes a three-sublattice 120-degree pattern up to global rotations and discrete choices. Local frustration therefore does not automatically create an extensive continuous ground-state degeneracy. The kagome lattice instead shares triangle corners in a way that permits many compatible rearrangements. Some subsets of spins can rotate while preserving the local zero-sum constraints, generating distinct global ground states without increasing the nearest-neighbor classical exchange energy.
A tetrahedron provides another useful local constraint. Six equal antiferromagnetic bonds between four unit vectors minimize their total energy when the four vectors sum to zero. Corner-sharing tetrahedra on a pyrochlore lattice can support a very large constrained manifold. Counting independent constraints and allowed rearrangements is a global problem because neighboring clusters share spins. Multiplying the isolated-cluster degeneracies without accounting for shared variables usually overcounts the lattice configurations.
A constrained regime is not a universal quantum phase
A classical spin-liquid or cooperative-paramagnet regime can exhibit strong local correlations and continuing fluctuations without conventional magnetic long-range order. It concerns statistical motion within or near a constrained configuration space, not necessarily quantum entanglement. Thermal fluctuations can favor states with more nearby low-energy fluctuations, an order-by-disorder effect. Quantum fluctuations, anisotropies, dipolar interactions, lattice distortions, or weak extra exchange may also select ordered or otherwise distinct states at lower energy.
It is therefore necessary to state the model, temperature range, and evidence behind a spin-liquid description. Extensive classical ground-state degeneracy is an important starting point, but it is neither sufficient proof of a stable quantum spin liquid nor a guarantee that every perturbation preserves disorder. Correlation functions, structure factors, thermodynamics, and dynamics can distinguish a constrained fluctuating regime from a frozen random pattern. A finite cluster with several equally low energies by itself cannot settle the thermodynamic phase of an extended material.
Work it through
Compare Ising and vector triangles
Take an isolated antiferromagnetic triangle with J=2.0 meV and classical unit spins. Calculate its minimum energy for unconstrained vector spins and for Ising spins, the energy difference, and the number of Ising ground-state configurations.
For vector spins choose three directions separated by 120 degrees. Each dot product is −1/2, so the energy is . Their total vector is zero.
For Ising spins, the best pattern has two antiparallel bonds and one parallel bond. Its energy is . The vector compromise gains another 1.0 meV.
Choose the site with the minority sign in three ways and choose that minority sign in two ways. This gives six labeled Ising minima. The vector minima instead have a continuous global rotational freedom, so their degeneracy is not a count of six configurations.
The vector and Ising minima are −3.0 and −2.0 meV, respectively; the Ising triangle has six ground-state configurations.
The living notebook
Explore the model
Interactive lab · vectors
Close three unit vectors into a frustrated minimum
For each separate setting, Reset and set BOTH Magnitude=1 and Angle. Record the projections for angles 0°, 120°, and −120°. Predict their vector sum is zero: x projections 1, −1/2, −1/2 and opposite nonzero y projections for the last two. The instrument displays one vector at a time, so add recorded components by hand. It does not contain three interacting spins, compute exchange energy, or sample a spin-liquid ensemble.
- x component
- 1.393
- y component
- 0.975
- Magnitude
- 1.7
Playback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forThree vectors can sum to zero without making every pair antiparallel; local compromise is geometric.
Pause & reason
Check your understanding
Your turn
Try it yourself
Four classical unit Ising vectors occupy an isolated tetrahedron with all six antiferromagnetic bonds J=1.5 meV. Compare the energy of a two-up/two-down configuration with a three-up/one-down configuration. Count the configurations of the lower-energy type.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Use the squared-total-vector expression so that each of the six bonds is counted once. The total vector is zero in the balanced case and has magnitude two in the imbalanced case.
Compare with the solution
For two up and two down, the total vanishes, so . For three up and one down, the squared total magnitude is four, giving . Equivalently the imbalanced case has three parallel and three antiparallel bonds whose energies cancel. The balanced case is lower by 3.0 meV. There are choices of the two up sites. This is an isolated cluster count; tetrahedra in an extended corner-sharing lattice share spins, so their sixfold counts cannot be multiplied as independent choices.
Keep the idea
Take it with you
- Frustration means incompatible local energy preferences, not merely a complicated lattice.
- Zero-total-vector constraints give useful classical minima for triangles and tetrahedra.
- Degeneracy, cooperative paramagnetism, and quantum spin-liquid order are distinct claims.
Read further
Original sources and deeper explanations to follow at your own pace.
- Mila: Frustrated Spin Systems, 2015 school manuscript, §§2.1–2.2, PDF pp. 3–7 — Ising triangles, kagome constraints, and pyrochlore degeneracy
- Boston University, Sandvik: Computational Studies of Quantum Spin Systems, §2.4.2, PDF pp. 15–17 — geometric frustration and ordered versus disordered possibilities
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.