Spectral Graph Theory With Applications To Quantum Adiabatic Optimization