[論文レビュー] 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$ を効率的に解くための古典的および量子的アルゴリズムを開発すること。
• 文字和の境界と数論的道具を用いて、この方程式の可解性および解の構造を分析すること。
• この問題における量子的高速化を確立し、古典的手法に対する優位性を定量すること。
• この問題を、$p = \Theta(\sqrt{N})$ である半直積群 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 上の隠れ部分群問題に関連付けること。
• このクラスの問題に対して、超指数的または多項式時間の量子アルゴリズムが設計可能かどうかを検討すること。

提案手法

• 有限体上の乗法的特徴和を用いて、$x$ および $y$ の制限された範囲における $af^x + bg^y = c$ の解の個数を評価する。
• 文字和理論からの境界（例：[12, 定理3]）を適用し、解の個数の推定値を得て、探索空間の縮小を可能にする。
• 量子振幅増幅およびグローバー型探索技術を用いて、サイズ $q^{3/8}$ の解空間の探索を高速化する。
• 古典的前処理を用いたハイブリッドアプローチを導入し、量子探索を実行する前に探索空間を縮小することで、効率性を向上させる。
• それぞれの位数 $s$ および $t$ を持つ $f$ および $g$ が生成する乗法的部分群の構造を活用し、解の存在条件を評価する。
• 対数的要因を抽象化する $O^*$ 表記を用いて複雑さの境界を導出し、$q$ の支配的べき乗に注目する。

実験結果

リサーチクエスチョン

• RQ1 任意の大きな位数の $f,g$ に対して、有限体 $\mathbb{F}_q$ 上で $af^x + bg^y = c$ を解く古典的計算量は何か？
• RQ2 この指数合同式問題に対して、量子アルゴリズムが古典的手法よりも証明可能な高速化を達成できるか？
• RQ3 $f$ や $g$ の位数 $s$ および $t$ がどのような条件下で、$x$ や $y$ が小さい解を持つのか？
• RQ4 この問題は、非アーベル群 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 上の隠れ部分群問題とどのように関連しているか？
• RQ5 この問題に対して、多項式時間 $(\log q)^{O(1)}$ で実行される量子アルゴリズムを設計することは可能か？

主な発見

• 有限体 $\mathbb{F}_q$ 上で $af^x + bg^y = c$ を解くために、既存で最も良い古典的アルゴリズムの時間計算量は $O^*(q^{9/8})$ であり、この文脈で初めての境界である。
• 時間計算量 $O^*(q^{3/8})$ の量子アルゴリズムが提示され、古典的手法よりも立方速度向上を達成する。
• すべての $c$ のうち $o(q)$ の値を除き、量子アルゴリズムは時間 $q^{1/3}(\log q)^{O(1)}$ で解を発見するか、解の非存在を決定できる。
• 積 $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$ に対して超多項式的であると示している。