[论文解读] Simulation of Quantum Algorithms with a Symbolic Programming Language

Peter Nyman|ArXiv.org|May 23, 2007

Quantum Computing Algorithms and Architecture参考文献 4被引用 9

一句话总结

本文提出了一种在 Mathematica 中的符号编程框架，可将量子力学中的狄拉克 bra-ket 符号直接映射为可执行代码，从而实现对秀尔因数分解算法等量子算法的经典仿真。其主要贡献是一种计算语言，保留了量子力学的数学结构，能够准确模拟量子操作、叠加、纠缠以及量子傅里叶变换，并且验证结果与理论预测一致。

ABSTRACT

This study examines the simulation of quantum algorithms on a classical computer. The program code implemented on a classical computer will be a straight connection between the mathematical formulation of quantum mechanics and computational methods. The computational language will include formulations such as quantum state, superposition and quantum operator.

研究动机与目标

• 开发一种计算语言，直接反映量子力学的数学形式体系，以实现经典仿真。
• 利用符号编程在经典计算机上实现对量子算法的精确仿真。
• 在理论量子力学与实际实现之间建立桥梁，促进对量子算法的验证。
• 展示使用高级符号语言仿真复杂量子算法（如秀尔因数分解算法）的可行性。
• 为未来扩展至密度算符和混合态的计算框架奠定基础。

提出的方法

• 该框架使用符号记号表示量子态为基向量的线性组合，例如 e[ϕ] = α·e[0] + β·e[1]，直接反映狄拉克符号的表达方式。
• 量子算符作为作用于态向量的函数实现，明确支持酉操作，如 Hadamard、受控-非（controlled-NOT）和 Toffoli 门。
• 张量积通过模式匹配规则实现，以保持线性，例如 e[a___, α·e[x___], b___] := α·e[a,x,b]。
• 量子傅里叶变换（QFT）通过按既定顺序依次应用 Hadamard 门、旋转门和交换门构建而成。
• 测量通过基于振幅平方的概率选择基态来模拟，利用连分数方法实现对正确周期的收敛。
• 秀尔算法的实现包括制备叠加态、计算 x^c mod N、应用 QFT、测量，并通过连分数展开提取周期。

实验结果

研究问题

• RQ1 如何设计一种符号编程语言，以在经典代码中保留量子力学的数学结构？
• RQ2 是否可以使用高级符号语言在经典计算机上对秀尔因数分解算法进行精确仿真？
• RQ3 仿真如叠加、纠缠和量子傅里叶变换等量子操作需要哪些计算技术？
• RQ4 在经典仿真中，如何建模测量与周期查找，以在秀尔算法中恢复周期 r？
• RQ5 连分数在经典仿真中扮演何种角色，以从量子傅里叶变换的测量输出中提取周期？

主要发现

• 仿真框架成功将狄拉克符号映射为可执行的 Mathematica 代码，保留了量子态与算符的数学结构。
• 在 Mathematica 中实现了秀尔算法，正确仿真了叠加、模幂运算和量子傅里叶变换。
• 通过仿真成功找到周期 r 的概率至少为 9/160 log log N，与理论边界一致。
• 通过检查 x^(r/2) ≠ -1 mod N，仿真正确识别出有效周期 r，从而实现对 N 的因数分解。
• 对测量结果使用连分数方法可稳定恢复周期 r，从而实现对 N 的正确因数分解。
• 该框架表明，经典仿真可验证量子算法的输出，为未来量子实验提供稳定的基准。