[论文解读] Quantum computing and polynomial equations over the finite field Z_2

Christopher M. Dawson, Henry L. Haselgrove+4 more|ArXiv.org|Aug 20, 2004

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文证明了量子计算的输出在数学上等价于在有限域 ℤ₂ 上求解多项式方程组的解的个数。通过利用费曼的路径求和形式化方法，并选择一个特定的通用门集，作者表明量子振幅计算可归约为 #P-完全的计数问题，从而为 BQP ⊆ P^#P 和 BQP ⊆ PP 提供了简洁的证明，将量子计算与代数几何及计算复杂性理论联系起来。

ABSTRACT

What is the computational power of a quantum computer? We show that determining the output of a quantum computation is equivalent to counting the number of solutions to an easily computed set of polynomials defined over the finite field Z_2. This connection allows simple proofs to be given for two known relationships between quantum and classical complexity classes.

研究动机与目标

• 建立量子计算与在 ℤ₂ 上求解多项式方程组解的个数之间的精确数学等价性。
• 通过将量子振幅评估与代数几何中的一个经典问题联系起来，阐明量子计算机的计算能力。
• 利用多项式计数方法，为复杂性理论中的包含关系 BQP ⊆ P^#P 提供简化证明。
• 探讨这一等价性对理解量子与经典复杂性类之间关系的启示。
• 研究是否通过其他门集或形式化方法（例如，稳定子形式化）可产生更适合复杂性分析的结构化多项式系统。

提出的方法

• 利用费曼的路径求和形式化量子力学，作者将量子振幅表示为计算路径的总和。
• 他们通过在 ℤ₂ 上定义的多项式函数表示每条路径的贡献，其中相位信息编码在多项式的结构中。
• 通过选择一个通用门集（特别是 Hadamard 门和 ToFf olli 门），振幅计算被简化为在 ℤ₂ 上求解多项式方程组的解的个数问题。
• 证明了量子线路的矩阵元与这些方程的解的个数成正比，从而将量子计算归约为计数问题。
• 该方法可扩展至稳定子形式化，通过将路径演化建模为 Pauli 稳定子生成元集合之间的转换，再次归约为多项式解的计数问题。
• 作者证明了由此产生的计数问题为 #P-完全，从而将量子计算与基本复杂性类联系起来。

实验结果

研究问题

• RQ1 量子计算的输出能否被完全表征为在 ℤ₂ 上的多项式方程组解的个数问题？
• RQ2 通用量子门集的选择如何影响相关多项式方程的结构？
• RQ3 通过多项式解计数，量子计算与复杂性类 #P 之间的精确关系是什么？
• RQ4 路径求和形式化能否被适配到稳定子形式化中，以揭示量子线路复杂性的新见解？
• RQ5 这种代数重构是否能促成关于 BQP 与经典复杂性类之间关系的新证明或更紧的界？

主要发现

• 量子计算的输出在数学上等价于在有限域 ℤ₂ 上求解多项式方程组解的个数。
• 这一等价性为 BQP ⊆ P^#P 提供了简洁而直接的证明，这是量子复杂性理论中的核心结果。
• 同一框架也给出了 BQP ⊆ PP 的简洁证明，展示了多项式重构方法的强大能力。
• 该方法表明，量子振幅计算可归约为一个 #P-完全问题，确认了模拟量子系统所固有的计算难度。
• 不同的通用门集会产生不同的多项式结构——例如，Hadamard-Toffoli 门集产生三次多项式，而其他门集可产生二次或更简单的形式。
• 该方法可自然地推广到稳定子形式化，其中路径演化对应于稳定子生成元转换中多项式方程解的计数。