A multi-dimensional Lieb-Schultz-Mattis theorem

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, with 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 [14] and provides a rigorous proof of the main result in [8].