[論文レビュー] Quantum Computing and Shor`s Factoring Algorithm

И. В. Волович|ArXiv.org|Sep 2, 2001

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

ひとこと要約

この論文は、量子フーリエ変換とモジュラー指数関数を用いて多項式時間で整数を因数分解する、量子アルゴリズムとしてのショアの因数分解アルゴリズムについて、詳細な解説を提供する。古典的には困難とされる因数分解が、量子コンピュータ上で効率的に解けることが示され、アルゴリズムは量子ゲート数が O((log N)² log log N log log log N) であり、N の数論的性質に基づく高い成功確率を有する。

ABSTRACT

Lectures on quantum computing. Contents: Algorithms. Quantum circuits. Quantum Fourier transform. Elements of number theory. Modular exponentiation. Shor`s algorithm for finding the order. Computational complexity of Schor`s algorithm. Factoring integers. NP-complete problems.

研究の動機と目的

• 研究者を対象に、量子コンピューティングと数論の包括的な紹介を提供すること。
• 古典的に困難な問題として知られる整数因数分解を、ショアのアルゴリズムが効率的に解けることを説明すること。
• 量子フーリエ変換とモジュラー指数関数を用いて、量子因数分解の多項式時間効率を確立すること。
• ショアのアルゴリズムの計算複雑性と成功確率を分析すること。
• 整数因数分解を、N を法とする乗法群における位数の決定問題に還元すること。

提案手法

• アルゴリズムは、乱数で選ばれた基数 m に関する N を法とする累乗の量子状態の重ね合わせを準備することで開始する。
• モジュラー指数関数を用いて、重ね合わせ状態の各 x に対して |m^x mod N⟩ を計算し、指数と結果をもつれ合わせる。
• 指数レジスタに量子フーリエ変換を適用することで、m を N を法とする位数 r に関連する周期的構造を明らかにする。
• 測定により、1/r の整数倍に近い値に状態が崩壊し、連分数展開による古典的後処理で r を抽出できる。
• 得られた位数 r を用いて、gcd(m^{r/2} - 1, N) を計算することで、N の非自明な因数が得られる。これは r が偶数であり、かつ m^{r/2} ≢ ±1 mod N である場合に高い確率で成立する。
• アルゴリズムは中国剰余定理を活用して失敗確率を抑え、N が k 個の素因数を持つ場合、成功確率が 1 - 1/2^{k-1} 以上となることを保証する。

実験結果

リサーチクエスチョン

• RQ1 整数因数分解は量子コンピュータ上で効率的に解けるか。その場合、必要な量子リソースコストは何か？
• RQ2 量子フーリエ変換はショアのアルゴリズムにおける周期検出をどのように可能にするか？
• RQ3 ショアのアルゴリズムの成功確率は何か。N の素因数の数にどのように依存するか？
• RQ4 因数分解を位数の決定問題に還元することが、効率的量子因数分解においてなぜ必要かつ十分か？
• RQ5 ショアのアルゴリズムの計算複雑性は、量子ゲート数と古典的後処理の観点からどのように評価できるか？

主な発見

• ショアのアルゴリズムは、整数 N を O((log N)² log log N log log log N) の量子ゲート数で因数分解し、多項式時間の効率性を達成する。
• N が k 個の異なる素因数を持つ場合、アルゴリズムの成功確率は 1 - 1/2^{k-1} 以上であり、合成数 N に対して高い成功率を保証する。
• 量子フーリエ変換は O((log N)²) の量子ゲート数で実装可能であり、周期検出を可能にする主要な要素である。
• モジュラー指数関数は多項式ゲート数で効率的に量子回路で実装可能であり、スケーリングに不可欠である。
• 位数の決定サブルーチンはアルゴリズムの核であり、N を法とする乗法群の数論的構造のおかげで高い確率で成功することが示された。
• 最終的な因数分解ステップとして、gcd(m^{r/2} - 1, N) を計算することで、r が偶数であり、かつ m^{r/2} ≢ ±1 mod N である場合に非自明な因数が得られる。これは有意な確率で成立する。