Ketbook · Benchmarks wiki/triangular-heisenberg.md Draft · not yet reviewed by a curator

Edit this page ↗History ↗

Heisenberg antiferromagnet on the triangular lattice

In brief. The nearest-neighbour Heisenberg antiferromagnet on the triangular lattice is the original frustrated magnet. Its ground state has three-sublattice 120∘120^\circ order with an ordered moment well below the classical value, but the lattice is not bipartite: there is no Marshall sign rule, quantum Monte Carlo has a sign problem, and exact diagonalization stops at 36 sites. The Ketboard series of L×LL\times L tori from 6×66\times6 to 42×4242\times42 tests whether an ansatz keeps its accuracy as the system grows. The thermodynamic-limit energy per site is now known to about 10−4J10^{-4}J, e∞≈−0.5517e_\infty\approx-0.5517, from neural quantum states and infinite PEPS.

Notation follows the conventions page. This page fixes the conventions of the Ketboard instances heisenberg-triangular-LxL-pbc-sz0 with L=6,12,18,24,30,42L=6,12,18,24,30,42, explains why the model is hard, and summarizes what is known about its energy and its order parameter. Reviewed entries live in Ketboard, not here.

Hamiltonian and instances

H=J∑⟨i,j⟩Si⋅Sj,Si=12σi,J=1. H=J\sum_{\langle i,j\rangle}\mathbf{S}_i\cdot\mathbf{S}_j,\qquad \mathbf{S}_i=\tfrac12\boldsymbol{\sigma}_i,\qquad J=1 .
  • Lattice: L×LL\times L triangular Bravais lattice spanned by a1=(1,0)\mathbf a_1=(1,0) and a2=(12,32)\mathbf a_2=(\tfrac12,\tfrac{\sqrt3}{2}), sites r=n1a1+n2a2\mathbf r=n_1\mathbf a_1+n_2\mathbf a_2 with 0≤n1,n2<L0\le n_1,n_2<L, periodic along both primitive vectors. The sum runs over the 3N3N nearest-neighbour bonds along a1\mathbf a_1, a2\mathbf a_2 and a1−a2\mathbf a_1-\mathbf a_2, each undirected bond counted once. Each site has six neighbours and belongs to six triangles.
  • Commensurability: LL must be a multiple of 3 for the three-sublattice 120∘120^\circ pattern to fit the torus (Viteritti, Rende, Sachdev, Carleo, arXiv:2602.02665, Sec. III). The Ketboard instances have LL a multiple of 6, so that N=L2N=L^2 is even and the Sz=0S^z=0 sector exists.
  • Operators: spin-12\tfrac12 operators S=σ/2\mathbf S=\boldsymbol\sigma/2. Pauli-matrix energies are four times larger. The varbench instance triangular_36_P lists the exact diagonalization total energy −80.6937689612426-80.6937689612426 in the Pauli convention; divided by 4×364\times36 it is the e0=−0.5603734e_0=-0.5603734 per site of the 6×66\times6 instance (Wu et al., arXiv:2302.04919).
  • Sector: total Sz=0S^z=0. The ground state is a singlet. On the torus the 120∘120^\circ order shows up as the Anderson tower of states: low-lying levels at momenta 0\mathbf 0 and ±K\pm\mathbf K whose energies collapse onto the ground state as S(S+1)/NS(S+1)/N (Bernu, Lhuillier, Pierre, Phys. Rev. Lett. 69, 2590 (1992)).
  • Energy: reported per site, e=E/Ne=E/N, in units of JJ. The variational energy is a strict upper bound to e0(L)e_0(L).

Other cluster shapes appear in the literature: the 36-site cluster of exact diagonalization is this 6×66\times6 rhombus, but 108-site clusters, cylinders for DMRG, and clusters with open boundaries are different instances and are not compared with the tori.

Why the triangular lattice

Frustration without a sign rule. Three antiparallel spins cannot sit on one triangle, so the classical ground state is the coplanar 120∘120^\circ state, with energy e=−32JS2e=-\tfrac32JS^2 per site. On a bipartite lattice the Marshall rule gives the sign of every ground-state amplitude in the SzS^z basis; on the triangular lattice no such rule exists. The usual remedy is the three-sublattice rotation UtriU_{\mathrm{tri}}, a rotation of the spins on two sublattices by ±2π/3\pm2\pi/3 about the zz axis, which turns the classical 120∘120^\circ state into a ferromagnet and makes the dominant off-diagonal matrix elements negative. It is a unitary transformation, so the energy is unchanged and an ansatz may be defined in either basis. The remaining off-diagonal elements keep both signs, and the ground-state sign structure in the rotated basis is not reproduced by any local rule: the analysis of the optimized transformer wavefunction in arXiv:2602.02665 (Sec. V C) indicates a genuinely non-local sign structure. Anderson's resonating-valence-bond proposal (1973) was made for exactly this model, and the question whether quantum fluctuations destroy the order was open until the Green's function Monte Carlo study of Capriotti, Trumper and Sorella (1999).

No unbiased method at large size. World-line quantum Monte Carlo has a sign problem on any non-bipartite lattice. Green's function Monte Carlo needs a guiding function and a fixed-node or stochastic-reconfiguration constraint. DMRG on cylinders handles widths up to about 9 and must extrapolate in width and in truncation error (White and Chernyshev, arXiv:0705.2746; Huang, Qian, Qin, J. Phys.: Condens. Matter 36, 185602 (2024)). Infinite PEPS works directly in the thermodynamic limit but must extrapolate in the bond dimension (Hasik and Corboz, Phys. Rev. Lett. 133, 176502 (2024); Naumann, Eisert, Schmoll, arXiv:2510.04907). The exact finite-torus energy is known only for L=6L=6.

The size series. For an ordered antiferromagnet the finite-size energy on a torus behaves as e(L)=e∞−c/L3+…e(L)=e_\infty-c/L^3+\dots, with the correction set by the spin-wave velocity, and the order parameter as M(L)=M0+a/L+…M(L)=M_0+a/L+\dots (Bernu et al., Phys. Rev. B 50, 10048 (1994); Capriotti et al., 1999). A controlled extrapolation needs several clusters with L≳18L\gtrsim18, which is why Ketboard lists the whole series rather than one size. The difficulty is size-consistent accuracy: most ansätze lose accuracy as LL grows, and an error that grows with LL biases both e∞e_\infty and M0M_0 (arXiv:2602.02665, Fig. 2b).

Ground-state properties

Every controlled method finds 120∘120^\circ long-range order; the debate is about how much of the classical moment survives. Estimates of the sublattice magnetization M0M_0 in the thermodynamic limit, normalized so that the classical value is 12\tfrac12:

Method M0M_0 Source
Linear spin-wave theory 0.24970.2497 Miyake (1992), as tabulated in Moss et al., arXiv:2505.20406, Table VI
Green's function Monte Carlo + SR 0.205(10)0.205(10) Capriotti, Trumper, Sorella (1999)
Series expansion 0.19(2)0.19(2) Zheng et al., Phys. Rev. B 74, 224420 (2006)
DMRG on cylinders 0.205(15)0.205(15) White and Chernyshev, arXiv:0705.2746
DMRG on cylinders 0.208(8)0.208(8) Huang, Qian, Qin (2024)
iPEPS 0.178(2)0.178(2), 0.159(6)0.159(6) Hasik and Corboz (2024), two extrapolations, as tabulated in arXiv:2505.20406, Table VI
RNN wavefunction, tori up to 30×3030\times30 0.192(2)0.192(2), 0.198(2)0.198(2) Moss et al., arXiv:2505.20406, two estimators
Transformer wavefunction, tori up to 42×4242\times42 0.148(1)0.148(1) Viteritti et al., arXiv:2602.02665

The spread is larger than the error bars because the estimators differ: M2M^2 from the structure factor at K\mathbf K, correlation functions at maximal distance, or a pinned moment in iPEPS, extrapolated with different finite-size forms. The transformer study argues that less accurate variational states systematically overestimate the order, which would explain why the lowest value comes from the lowest energies (arXiv:2602.02665). A variational energy bounds e0e_0; a variational magnetization bounds nothing, and this is the second reason the energy series matters.

Adding a next-nearest-neighbour coupling J2J_2 suppresses the order and opens a nonmagnetic region around J2/J1≈1/8J_2/J_1\approx1/8 whose nature is debated (Kaneko, Morita, Imada, arXiv:1407.0318; Iqbal et al., Phys. Rev. B 93, 144411 (2016)). The 6×66\times6 cluster at J2=J1/8J_2=J_1/8 is a common secondary test (Roth, Szabó, MacDonald, arXiv:2211.07749, Table III); it is not a Ketboard instance.

Known energies

Energies per site in units of JJ, with the source of each number. Ketboard entries carry the arXiv version and the exact printed token.

6×66\times6, 36 sites. The exact value is e0=−0.5603734e_0=-0.5603734 (Bernu, Lecheminant, Lhuillier, Pierre, 1994; as tabulated in Roth and MacDonald, arXiv:2104.05085, Table I, and in varbench).

Method ee Source
DMRG −0.560375-0.560375 Iqbal et al. (2016), as tabulated in arXiv:2104.05085, Table I
Gutzwiller-projected fermionic state −0.548025-0.548025 Iqbal et al. (2016), as tabulated in arXiv:2104.05085, Table I
Entangled-plaquette state −0.55420(5)-0.55420(5) Mezzacapo and Cirac (2010), as tabulated in arXiv:2505.20406, Table V
Projected mean-field state −0.55519(4)-0.55519(4) Kaneko, Morita, Imada, arXiv:1407.0318, as tabulated in arXiv:2505.20406, Table V
Neural Gutzwiller-projected state −0.553-0.553 Ferrari, Becca, Carrasquilla, arXiv:1906.00463, as tabulated in arXiv:2104.05085, Table I
Group-convolutional network, local filters −0.55922-0.55922 Roth and MacDonald, arXiv:2104.05085, Table I
Recurrent neural network with annealing −0.5562(2)-0.5562(2) Moss et al., arXiv:2505.20406, Table V
Lattice convolutional network −0.5601(4)-0.5601(4) Fu et al., arXiv:2206.07370, Table on p. 8
Group-convolutional network, 4 layers of 6 feature maps −0.560313(3)-0.560313(3) Roth, Szabó, MacDonald, arXiv:2211.07749, Table III

Larger tori. All values as tabulated in Viteritti et al., arXiv:2602.02665, Table I, except where noted.

LL Method ee Source
18 Projected BCS state −0.53570(1)-0.53570(1) Yunoki and Sorella (2006)
18 Jastrow–Gutzwiller state −0.54542(1)-0.54542(1) Ghorbani, Tocchio, Becca (2016)
18 Entangled-plaquette state −0.5459(1)-0.5459(1) Mezzacapo and Cirac (2010)
18 Resonating-valence-bond state −0.54716(3)-0.54716(3) Heidarian, Sorella, Becca (2009)
18 RNN wavefunction −0.54861(1)-0.54861(1) Moss et al., arXiv:2505.20406
18 Vision transformer, translations and C6vC_{6v} −0.551703(1)-0.551703(1) arXiv:2602.02665
24 RNN wavefunction −0.54810(1)-0.54810(1) Moss et al., arXiv:2505.20406
24 Vision transformer, translations and C6vC_{6v} −0.551602(1)-0.551602(1) arXiv:2602.02665
30 Jastrow–Gutzwiller state −0.545348-0.545348 Ghorbani, Tocchio, Becca (2016)
30 RNN wavefunction −0.54793(1)-0.54793(1) Moss et al., arXiv:2505.20406
30 Vision transformer, translations and C6vC_{6v} −0.551528(1)-0.551528(1) arXiv:2602.02665
42 Vision transformer, translations and C6vC_{6v} −0.551429(1)-0.551429(1) arXiv:2602.02665

Thermodynamic limit. These are extrapolations, not variational energies, and are excluded from Ketboard; they are the yardstick for the series above.

Method e∞e_\infty Source
Green's function Monte Carlo + SR −0.5458(1)-0.5458(1) Capriotti, Trumper, Sorella (1999)
Series expansion −0.5502(4)-0.5502(4) Zheng et al. (2006)
DMRG on cylinders −0.5503(8)-0.5503(8) Huang, Qian, Qin (2024)
iPEPS, extrapolated in bond dimension −0.55161(6)-0.55161(6) Hasik and Corboz (2024)
RNN, zero-variance extrapolation of tori up to 30×3030\times30 −0.5517569(9)-0.5517569(9) Moss et al., arXiv:2505.20406
Transformer, zero-variance extrapolation of tori up to 42×4242\times42 −0.55168(2)-0.55168(2) Viteritti et al., arXiv:2602.02665

On the 6×66\times6 torus the best network energy is within 1.1×10−41.1\times10^{-4} relative of the exact value, so that instance mainly tests the symmetry construction.

The large tori separate the ansätze. At L=18L=18 the transformer lies 3.1×10−33.1\times10^{-3} below the RNN and at L=30L=30 the gap is 3.6×10−33.6\times10^{-3}, so the two states diverge with size.

Finite-size energies lie below the thermodynamic value, as the −c/L3-c/L^3 correction requires, so on a large torus a variational energy above e∞e_\infty measures a variational error at least as large as the distance. The 42×4242\times42 transformer energy is 2.5×10−42.5\times10^{-4} above the extrapolated e∞e_\infty, consistent with the relative error of about 5×10−45\times10^{-4} from its own variance extrapolation.

Reporting a result for this instance

  1. State the cluster: L×LL\times L rhombus with periodic boundaries along both primitive vectors, bond counting, and the operator convention (S\mathbf S, not σ\boldsymbol\sigma). A 3636-site cluster of a different shape is a different instance.
  2. State the basis. An ansatz defined after the three-sublattice rotation UtriU_{\mathrm{tri}} targets the same energy; say so, and say which sublattices were rotated.
  3. State the symmetry sector and whether translations or C6vC_{6v} were restored by projection after optimization. A projected energy is the energy of the projected state; quote it as such and give both numbers if both were measured.
  4. Evaluate the final state with a dedicated run and the binning analysis; report ee, one standard error, the number of samples and Var⁡(H)/N\operatorname{Var}(H)/N.
  5. Report the energy of the state you represent. Zero-variance extrapolations and thermodynamic-limit estimates are context, not entries.
  6. Give the printed digits exactly as in the paper, with the arXiv version, table and row, through the Ketboard form.

References

  • P. W. Anderson, Resonating valence bonds: a new kind of insulator?, Mater. Res. Bull. 8, 153 (1973). The RVB proposal, made for this model.
  • B. Bernu, C. Lhuillier, L. Pierre, Signature of Néel order in exact spectra of quantum antiferromagnets on finite lattices, Phys. Rev. Lett. 69, 2590 (1992); B. Bernu, P. Lecheminant, C. Lhuillier, L. Pierre, Exact spectra, spin susceptibilities, and order parameter of the quantum Heisenberg antiferromagnet on the triangular lattice, Phys. Rev. B 50, 10048 (1994). Tower of states; the exact 36-site energy.
  • L. Capriotti, A. E. Trumper, S. Sorella, Long-range Néel order in the triangular Heisenberg model, Phys. Rev. Lett. 82, 3899 (1999). Green's function Monte Carlo; the first controlled evidence for order.
  • W. Zheng, J. O. Fjærestad, R. R. P. Singh, R. H. McKenzie, R. Coldea, Excitation spectra of the spin-1/2 triangular-lattice Heisenberg antiferromagnet, Phys. Rev. B 74, 224420 (2006). Series expansion.
  • S. R. White, A. L. Chernyshev, Néel order in square and triangular lattice Heisenberg models, arXiv:0705.2746 (2007). DMRG on cylinders with pinning fields.
  • J. Huang, X. Qian, M. Qin, On the magnetization of the 120° order of the spin-1/2 triangular lattice Heisenberg model: a DMRG revisited, J. Phys.: Condens. Matter 36, 185602 (2024).
  • J. Hasik, P. Corboz, Spiral iPEPS study of the spin-1/2 Heisenberg model on the triangular lattice, Phys. Rev. Lett. 133, 176502 (2024).
  • J. Naumann, J. Eisert, P. Schmoll, Variational optimization of projected entangled-pair states on the triangular lattice, arXiv:2510.04907 (2025).
  • R. Kaneko, S. Morita, M. Imada, Gapless spin-liquid phase in an extended spin-1/2 triangular Heisenberg model, arXiv:1407.0318 (2014).
  • Y. Iqbal, W.-J. Hu, R. Thomale, D. Poilblanc, F. Becca, Spin liquid nature in the Heisenberg J₁–J₂ triangular antiferromagnet, Phys. Rev. B 93, 144411 (2016). Projected fermionic states and DMRG on the 36-site cluster.
  • F. Mezzacapo, J. I. Cirac, Ground-state properties of the spin-1/2 antiferromagnetic Heisenberg model on the triangular lattice: a variational study based on entangled-plaquette states, New J. Phys. 12, 103039 (2010).
  • F. Ferrari, F. Becca, J. Carrasquilla, Neural Gutzwiller-projected variational wave functions, arXiv:1906.00463 (2019).
  • C. Roth, A. H. MacDonald, Group convolutional neural networks improve quantum state accuracy, arXiv:2104.05085 (2021).
  • C. Roth, A. Szabó, A. H. MacDonald, High-accuracy variational Monte Carlo for frustrated magnets with deep neural networks, arXiv:2211.07749 (2022).
  • C. Fu, X. Zhang, H. Zhang, H. Ling, S. Xu, S. Ji, Lattice convolutional networks for learning ground states of quantum many-body systems, arXiv:2206.07370 (2022).
  • M. Hibat-Allah, R. G. Melko, J. Carrasquilla, Supplementing recurrent neural network wave functions with symmetry and annealing to improve accuracy, arXiv:2207.14314 (2022). RNNs on the triangular lattice.
  • M. S. Moss, R. Wiersema, M. Hibat-Allah, J. Carrasquilla, R. G. Melko, Leveraging recurrence in neural network wavefunctions for large-scale simulations of Heisenberg antiferromagnets on the triangular lattice, arXiv:2505.20406 (2025). RNN energies on tori up to 30×3030\times30 and the literature table reproduced above.
  • L. L. Viteritti, R. Rende, S. Sachdev, G. Carleo, Approaching the thermodynamic limit with neural-network quantum states, arXiv:2602.02665 (2026). Spatial-attention transformer on tori up to 42×4242\times42; finite-size scaling of energy and magnetization.
  • D. Wu et al., Variational benchmarks for quantum many-body problems, arXiv:2302.04919 (2023). The varbench instance and exact energy for 6×66\times6.

Edit this page

Corrections, sharper derivations and missing references are welcome. Edit the Markdown on GitHub and open a pull request; LaTeX is rendered at build time.

Edit on GitHub ↗