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.Comment: final versio