Lower Bounds for Local Search by Quantum Arguments Scott Aaronson (UC Berkeley) aaronson August 14, 2003.