Vitalsource Technologies, Inc. Reduction Theory and Arithmetic Groups