[论文解读] Quantum Computing and Zeroes of Zeta Functions

Wim van Dam|ArXiv.org|May 17, 2004

Quantum Computing Algorithms and Architecture参考文献 21被引用 11

一句话总结

本文提出了一种量子算法框架，将有限域上费马超曲面的Zeta函数的非平凡零点建模为高效量子线路的本征值。通过在由高斯和导出的酉算符上应用量子相位估计算法，该方法实现了在某些参数范围内经典方法无法达到精度的多项式方程解的近似计数，展示了对角（费马）方程的可行性。

ABSTRACT

A possible connection between quantum computing and Zeta functions of finite field equations is described. Inspired by the 'spectral approach' to the Riemann conjecture, the assumption is that the zeroes of such Zeta functions correspond to the eigenvalues of finite dimensional unitary operators of natural quantum mechanical systems. The notion of universal, efficient quantum computation is used to model the desired quantum systems. Using eigenvalue estimation, such quantum circuits would be able to approximately count the number of solutions of finite field equations with an accuracy that does not appear to be feasible with a classical computer. For certain equations (Fermat hypersurfaces) it is show that one can indeed model their Zeta functions with efficient quantum algorithms, which gives some evidence in favor of the proposal of this article.

研究动机与目标

• 探索有限域上代数簇的Zeta函数零点作为量子力学系统本征值的谱解释。
• 建立量子计算与有限域上代数簇有理点计数之间的联系。
• 开发高效量子算法，以近似计算有限域上多项式方程的解的数量。
• 提供证据表明，当多项式次数相对于域大小较小时，量子算法在近似点计数中可优于经典方法。
• 将受希尔伯特-波利亚方法启发的谱方法（用于黎曼Zeta函数）扩展至有限域上代数簇的Zeta函数。

提出的方法

• 本文将超曲面Zeta函数的非平凡零点建模为可通过高效量子线路实现的酉变换的本征值。
• 利用高斯和及其量子估计构造酉算符，其本征值对应于费马超曲面Zeta函数的根。
• 该方法应用量子相位估计算法来估计酉算符的迹，该迹与解的数量偏离射影平面解数的偏差直接相关。
• 点计数的近似误差由 $ \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $ 限定，其中 $ \varepsilon $ 为相位估计算法的精度。
• 该算法的时间与空间复杂度在 $ \mathrm{poly}(1/\varepsilon, \log q, n\log(\deg(f))) $ 范围内增长，表明在所考虑的参数范围内具有高效性。
• 该构造依赖于射影簇的代数几何性质以及Zeta函数的函数方程，推导出将本征值与点计数关联的迹公式。

实验结果

研究问题

• RQ1 有限域上代数簇的Zeta函数的非平凡零点能否被解释为可通过高效量子线路实现的酉算符的本征值？
• RQ2 哪些类别的多项式方程可显式构造出此类量子线路？
• RQ3 量子算法能否以比经典方法更高的精度或更低的复杂度来近似计算代数簇上的有理点数量？
• RQ4 量子线路的本征值与解的数量偏离参考计数（如射影平面）之间的偏差有何关系？
• RQ5 在何种条件下，量子方法在近似点计数中优于经典算法？

主要发现

• 对于由对角多项式定义的费马超曲面，可构造出一个高效量子线路，其本征值对应于Zeta函数的非平凡零点。
• 该量子算法可对 $ \mathbb{F}_q $ 上的有理点实现近似计数，误差界为 $ \sim \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $，其中 $ \varepsilon $ 为相位估计算法的精度。
• 该算法的复杂度在 $ \log q $、$ n $ 和 $ \log(\deg(f)) $ 上为多项式，表明在给定参数范围内具有高效性。
• 当 $ \deg(f)^n $ 相对于 $ q $ 呈指数级增长时，该方法优于经典采样估计方法，尤其在 $ \deg(f) < \sqrt{q} $ 时表现更优。
• 酉算符 $ U_H $ 的迹与解数 $ N_s $ 偏离射影平面预期计数的偏差直接相关，从而实现精确估计。
• 该构造为Zeta函数的谱方法在量子计算中的实现提供了具体实例，为代数几何计算中实现量子优势提供了潜在路径。