Lieb-Robinson bounds and the exponential clustering theorem

We give a Lieb-Robinson bound for the group velocity of a large class of discrete quantum systems which can be used to prove that a non-vanishing spectral gap implies exponential clustering in the ground state of such systems.