Quantum computation General and foundational topics mathematics