[論文レビュー] Probability Analysis of a Quantum Computer

G. Einarsson|ArXiv.org|Mar 12, 2003

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

ひとこと要約

この論文は、量子コンピュータ上でショアの素因数分解アルゴリズムの成功確率を分析し、ランダムに選ばれた基数 $ x $ が 2/3 の確率で正常な因数分解をもたらすことを示している。量子フーリエ変換を用いて出力状態の確率分布を導出し、連分数による後処理が信頼性高く順序 $ r $ を回復できることを確認した。失敗の原因は $ r $ が奇数であること、または $ x^{r/2} \equiv -1 \pmod{n} $ となることであり、その合併確率は 1/3 である。

ABSTRACT

The quantum computer algorithm by Peter Shor for factorization of integers is studied. The quantum nature of a QC makes its outcome random. The output probability distribution is investigated and the chances of a successful operation is determined

研究の動機と目的

• ショアのアルゴリズムを量子コンピュータ上で使用した場合の因数分解成功確率を分析すること。
• ランダムに選択された基数 $ x $ が因数分解に成功する可能性を特定すること。
• 量子フーリエ変換および後処理が順序 $ r $ の回復に果たす役割を定量化すること。
• アルゴリズムが失敗する条件を特定し、それらの合併確率を評価すること。

提案手法

• 量子フーリエ変換を $ x^a \mod n $ の重ね合わせ状態に適用した後の量子状態をモデル化する。
• 指数関数項の幾何級数の和を用いて、測定結果 $ c $ の確率分布 $ P(c) $ を導出する。
• 出力分布におけるピーク構造を記述するためのエンVELOープ関数 $ \frac{\sin^2[\pi(M+1)rc/N]}{\sin^2[\pi rc/N]} $ を用いる。
• 連分数を用いて $ c/N $ から $ \nu/r $ を推定し、$ |c/N - \nu/r| < \Delta_{\text{min}} $ を満たす場合に正しい回復が保証されることを適用する。
• $ d = 0 $ または $ d = 1 $ である確率を分析し、$ N \geq n^2 $ の場合に正しい順序回復確率が 90.2% に達することを示す。
• 失敗条件を評価する：$ r $ が奇数（確率 1/4）および $ x^{r/2} \equiv -1 \pmod{n} $（確率 1/12）であり、合計失敗確率は 1/3 である。

実験結果

リサーチクエスチョン

• RQ1 ランダムに選ばれた $ x $ がショアのアルゴリズムを用いて正常な因数分解を達成する確率は何か？
• RQ2 量子フーリエ変換は出力状態の分布および測定結果にどのように影響を与えるか？
• RQ3 連分数による後処理が正しい順序 $ r $ を回復できない条件は何か？
• RQ4 $ r $ が奇数または $ x^{r/2} \equiv -1 \pmod{n} $ であるためにアルゴリズムが失敗するランダムな $ x $ の割合はどれくらいか？
• RQ5 量子レジスタのサイズ $ N = 2^{q_A} $ は順序回復の信頼性にどのように影響するか？

主な発見

• ランダムに選択された $ x $ が正常な因数分解をもたらす確率は、$ n $ のサイズに依存せず正確に 2/3 である。
• 順序 $ r $ が奇数であるために失敗する確率は 1/4 であり、$ x^{r/2} \equiv -1 \pmod{n} $ となるために失敗する確率は 1/12 であり、合計失敗確率は 1/3 である。
• $ N \geq n^2 $ の場合、$ d = 0 $ または $ d = 1 $ の条件下で連分数アルゴリズムが $ r $ を正しく回復する確率は 90.2% である。
• $ d = 0 $ または $ d = 1 $ である確率は、$ \frac{\sin^2(\pi\delta_\nu)}{\pi^2(d - \delta_\nu)^2} $ でよく近似でき、$ r/N $ が小さい場合には高い精度を示す。
• アルゴリズムは $ \nu = 0 $ のときに失敗するが、その確率は $ 1/r $ であり、$ r $ が大きい場合には通常は無視できる。
• $ x^{r/2} \equiv -1 \pmod{n} $ となる条件は、$ r_1 $ および $ r_2 $ が偶数であり、同じ 2 のべき乗を持つ場合にのみ発生する。この現象はランダムな $ x $ に対して確率 1/12 で発生する。