[论文解读] Notes on Hallgren's efficient quantum algorithm for solving Pell's equation

Richard Jozsa|ArXiv.org|Feb 18, 2003

Polynomial and algebraic computation参考文献 7被引用 8

一句话总结

本文提供了 Hallgren 量子算法的自包含阐述，该算法利用实数上的无理周期广义量子傅里叶变换，在多项式时间内求解佩尔方程。它表明，调节子 R = ln(A)，其中 A 为基本解，可在量子计算机上高效计算，相较于经典次指数算法实现超多项式加速，适用于计算类群及求解二次数域中的主理想问题。

ABSTRACT

Pell's equation is x^2-d*y^2=1 where d is a square-free integer and we seek positive integer solutions x,y>0. Let (x',y') be the smallest solution (i.e. having smallest A=x'+y'sqrt(d)). Lagrange showed that every solution can easily be constructed from A so given d it suffices to compute A. It is known that A can be exponentially large in d so just to write down A we need exponential time in the input size log d. Hence we introduce the regulator R=ln A and ask for the value of R to n decimal places. The best known classical algorithm has sub-exponential running time O(exp(sqrt(log d)), poly(n)). Hallgren's quantum algorithm gives the result in polynomial time O(poly(log d),poly(n)) with probability 1/poly(log d). The idea of the algorithm falls into two parts: using the formalism of algebraic number theory we convert the problem of solving Pell's equation into the problem of determining R as the period of a function on the real numbers. Then we generalise the quantum Fourier transform period finding algorithm to work in this situation of an irrational period on the (not finitely generated) abelian group of real numbers. These notes are intended to be accessible to a reader having no prior acquaintance with algebraic number theory; we give a self contained account of all the necessary concepts and we give elementary proofs of all the results needed. Then we go on to describe Hallgren's generalisation of the quantum period finding algorithm, which provides the efficient computational solution of Pell's equation in the above sense.

研究动机与目标

• 为不熟悉代数数论的读者提供 Hallgren 量子算法求解佩尔方程的自包含且易于理解的导引。
• 通过形式化佩尔方程与实二次域调节子之间的联系，弥合经典数论与量子算法之间的鸿沟。
• 展示如何将量子傅里叶变换推广至实直线上处理无理周期，从而实现对连续阿贝尔群的高效周期寻找。
• 表明调节子计算可高效解决代数数论中的相关问题，如主理想问题与类群计算。

提出的方法

• 通过二次域 Q(√d) 中的代数整数重新表述问题，其中佩尔方程的解对应于范数为 1 的单位元。
• 将调节子 R = ln(A) 识别为基本单位 A 的对数，目标转化为将 R 估算至 n 位小数。
• 利用约化理想结构和约化算子 ρ，将单位群建模为实直线上的一种循环结构。
• 在 R 上构造一个具有无理周期 R 的周期函数 f(x) = e^{2πi x R}，这是周期寻找的关键。
• 该量子算法通过将量子傅里叶变换适配于实数上的无理周期，推广标准周期寻找过程，使用实数上的叠加态。
• 该算法以高概率在 poly(log d, poly(n)) 时间内输出 R 的估计值，利用理想类群结构与连分数逼近。

实验结果

研究问题

• RQ1 佩尔方程能否通过量子计算高效求解？若能，此类算法的计算复杂度如何？
• RQ2 标准量子周期寻找算法如何扩展以处理实直线上无理周期的情况？
• RQ3 代数数论（尤其是理想与单位）在实现该问题量子加速中起什么作用？
• RQ4 调节子计算能否用于解决代数数论中的其他基本问题，如主理想问题或类群计算？

主要发现

• Hallgren 的量子算法在多项式时间内计算实二次域 Q(√d) 的调节子 R，具体为 O(poly(log d, poly(n))) 个量子门。
• 该算法相较于目前已知的最佳经典算法（运行时间为 O(exp(√log d), poly(n)))）实现超多项式加速。
• 关键创新在于将量子傅里叶变换推广至实直线上处理无理周期，从而实现对具有连续非离散周期性的函数的周期寻找。
• 调节子计算可高效求解主理想问题：给定一个理想 I，判断其是否为主理想并找出其生成元。
• 该算法还可调整用于计算 Q(√d) 的类群与类数，这些在代数数论中具有基础重要性。
• 该方法依赖于理想与二次型之间的对应关系，并利用约化算子 ρ 高效导航理想类群结构。