Mathematical Foundations of Quantum Advantage