[论文解读] Classical and Quantum Algorithms for Exponential Congruences

Wim van Dam, Igor E. Shparlinski|ArXiv.org|Apr 7, 2008

Quantum Computing Algorithms and Architecture参考文献 7被引用 12

一句话总结

本文提出了在有限域 $\mathbb{F}_q$ 上求解形如 $af^x + bg^y = c$ 的指数同余方程的经典与量子算法。该研究提出了一种时间复杂度为 $q^{3/8} (\log q)^{O(1)}$ 的量子算法，相较于目前已知的最佳经典算法 $q^{9/8} (\log q)^{O(1)}$ 实现了三次方加速，展示了该数论问题中显著的量子优势。

ABSTRACT

We discuss classical and quantum algorithms for solvability testing and finding integer solutions x,y of equations of the form af^x + bg^y = c over finite fields GF(q). A quantum algorithm with time complexity q^(3/8) (log q)^O(1) is presented. While still superpolynomial in log q, this quantum algorithm is significantly faster than the best known classical algorithm, which has time complexity q^(9/8) (log q)^O(1). Thus it gives an example of a natural problem where quantum algorithms provide about a cubic speed-up over classical ones.

研究动机与目标

• 为在有限域 $\mathbb{F}_q$ 上求解方程 $af^x + bg^y = c$ 开发高效的经典与量子算法。
• 利用特征和界限与数论工具分析该方程的可解性与解的结构。
• 为该问题建立量子加速，量化其相对于经典方法的优势。
• 将该问题与半直积群 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 上的隐子群问题联系起来，其中 $p = \Theta(\sqrt{N})$。
• 探索针对此类问题设计亚指数或多项式时间量子算法的可行性。

提出的方法

• 使用有限域上的乘法特征和来界定 $af^x + bg^y = c$ 在 $x$ 和 $y$ 的受限范围内的解的数量。
• 应用特征和理论中的界限（例如 [12, 定理 3]）推导解数的估计值，从而实现搜索空间的缩减。
• 采用量子振幅放大与类似 Grover 的搜索技术，加速对大小为 $q^{3/8}$ 的解空间的搜索。
• 提出一种混合方法，通过经典预处理减少搜索空间后再应用量子搜索，提升效率。
• 利用 $f$ 和 $g$ 生成的乘法子群的结构，其阶分别为 $s$ 和 $t$，以界定解存在的条件。
• 使用 $O^*$ 记号推导复杂度界限，抽象出对数因子，聚焦于 $q$ 的主导幂次。

实验结果

研究问题

• RQ1 对于任意阶较大的 $f,g$，求解 $af^x + bg^y = c$ 在 $\mathbb{F}_q$ 上的经典复杂度是多少？
• RQ2 量子算法能否在该指数同余问题上实现对经典方法的可证明加速？
• RQ3 当 $f$ 和 $g$ 的阶 $s$ 和 $t$ 满足何种条件时，方程 $af^x + bg^y = c$ 存在 $x$ 或 $y$ 较小的解？
• RQ4 该问题与非交换群 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 上的隐子群问题有何关联？
• RQ5 能否设计出在 $\log q$ 的多项式时间内运行的量子算法来解决该问题？

主要发现

• 目前已知求解 $af^x + bg^y = c$ 在 $\mathbb{F}_q$ 上的最佳经典算法的时间复杂度为 $O^*(q^{9/8})$，这是该背景下首个此类界限。
• 本文提出一种时间复杂度为 $O^*(q^{3/8})$ 的量子算法，相较于经典方法实现了三次方加速。
• 对于除 $o(q)$ 个 $c$ 值外的所有 $c$，该量子算法可在时间 $q^{1/3}(\log q)^{O(1)}$ 内找到解或确定无解。
• 当 $f$ 和 $g$ 的阶的乘积 $st > q^{4/3}(\log q)^{2/3}$ 时，量子算法的复杂度为 $q^{1/2}(st)^{-1/4}(\log q)^{O(1)}$，且随着 $s$ 和 $t$ 增大而进一步改善。
• 结果基于特征和界限推导，适用于最坏情况与典型情况，对随机 $c$ 值可获得更优的界限。
• 本文证明，尽管该问题比离散对数问题更难，但当 $f$ 或 $g$ 的阶较大时问题会变得更简单，但仍保持 $\log q$ 的超多项式时间复杂度。