6
$\begingroup$

The Lieb-Schultz-Mattis theorem [1] and its higher-dimensional generalizations [2] says that a translation-invariant lattice model of spin-1/2's cannot allow a non-degenerate ground state preserving both spin rotational and translation symmetries.

Another way to state Lieb-Schultz-Mattis theorem is that an insulator with half-odd-integer spin per unit cell cannot have a trivial gapped ground state: In 1+1 spacetime dimension, the ground state must either break the translational symmetry (say along the $X$-direction as the lattice translational symmetry group of integer $\mathbb{Z}$) or be gapless (many low energy states in the large/infinite size volume limit of the system), while in higher dimensions the system may also spontaneously break the SO(3) spin rotational symmetry or support Topological quantum field theory (TQFT) at low energy.

There are many later developments in physics.

Question: I wonder whether there are also some developments in mathematics for rigorous proofs or other extensions of Lieb-Schultz-Mattis theorem [1]? (In particular, since Elliott H. Lieb is a mathematical physicist and professor of mathematics.)


[1] Two soluble models of an antiferromagnetic chain, Elliott Lieb, Theodore Schultz, Daniel Mattis, Annals of Physics Volume 16, Issue 3, December 1961, Pages 407-466

[2] Lieb-Schultz-Mattis in higher dimensions, M. B. Hastings, Phys. Rev. B 69, 104431 – Published 29 March 2004

$\endgroup$
  • 2
    $\begingroup$ I would say the original proof in [1] is pretty rigorous. $\endgroup$ – lcv Oct 21 '18 at 1:39
3
$\begingroup$

A "rigorous proof" of [2] in the OP has been published by Nachtergaele and Sims, Commun. Math. Phys. 276 (2007) 437-472.

For a large class of finite-range quantum spin models with half-integer spins, we prove that uniqueness of the ground state implies the existence of a low-lying excited state. For systems of linear size $L$, of arbitrary finite dimension, we obtain an upper bound on the excitation energy (i.e., the gap above the ground state) of the form $(C\log L)/L$. This result can be regarded as a multi-dimensional Lieb-Schultz-Mattis theorem and provides a rigorous proof of a recent result by Hastings.

$\endgroup$
  • $\begingroup$ thanks very much +1, I did not know this Ref $\endgroup$ – wonderich Oct 21 '18 at 14:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.