量子计算的数学理论框架