[論文レビュー] Theoretical Analyses of Quantum Counting against Decoherence Errors

Jun Hasegawa, Fumitaka Yura|ArXiv.org|Mar 25, 2005

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

ひとこと要約

この論文は、量子フーリエ変換を用いて問題の解の数を推定するための主要な量子アルゴリズムである量子カウンティングにおけるデ coherent 効果の影響を分析している。デポラライジングチャネル下での制御付きグローバー操作の上行順および下行順回路を比較することで、上行順回路がデ coherent に対して優れた耐性を示すことが明らかになった。誤ったピークが少なく、正しい出力との忠実度が高いため、位相推定やショアの因数分解への応用も可能である。

ABSTRACT

In this paper, we analyze the quantum counting under the decoherence, which can find the number of solutions satisfying a given oracle. We investigate probability distributions related to the first order term of the error rate on the quantum counting with the depolarizing channel. We also implement two circuits for the quantum counting -- the ascending-order circuit and the descending-order circuit -- by reversing ordering of application of controlled-Grover operations. By theoretical and numerical calculations for probability distributions, we reveal the difference of probability distributions on two circuits in the presence of decoherence and show that the ascending-order circuit is more robust against the decoherence than the descending-order circuit. This property of the robustness is applicable to the phase estimation such as the factoring.

研究の動機と目的

• データベース内の解の数を推定する基本的量子アルゴリズムである量子カウンティングにおけるデ coherent 効果を調査すること。
• 量子カウンティングにおける制御付きグローバー操作の2種類の回路実装（上行順および下行順）のデ coherent 条件下での耐性を比較すること。
• 量子フーリエ変換構造を共有する位相推定アルゴリズム、特にショアの因数分解に類似した構造への耐性の結果を拡張すること。
• 誤差分布および回路順序が、特に第1および第2の量子レジスタにおいてデ coherent 条件下での確率分布に与える影響を特定すること。
• 位相推定の効率的実装であるセミクラシカル実装がデ coherent に対してどれほど脆弱であるかを評価すること。

提案手法

• デ coherent を誤差源としてデポラライジングチャネルでモデル化し、量子カウンティング回路の第1および第2の量子レジスタにそれぞれ独立に適用する。
• 複素指数関数および三角関数を含む和を用いて、上行順および下行順回路の最終状態の確率振幅の解析的表現を導出する。
• デ coherent 速度の1次誤差項に注目し、振幅関数のピークを特定することで、確率分布の理論的および数値的分析を実施する。
• 2つの回路順序間の確率分布を比較し、特に下行順の場合に m′=0 および m′=2^p/2 に現れる偽のピークのような誤差誘発ピークを同定する。
• 量子フーリエ変換および制御付きグローバー操作をコアコンponentsとして用い、制御操作の順序の違いが回路構造に与える影響を分析する。
• 量子カウンティング構造を位相推定フレームワークに結びつけることで位相推定への応用を実施し、耐性の結論を関連アルゴリズムへ拡張する。

実験結果

リサーチクエスチョン

• RQ1 デポラライジングチャネルとしてモデル化されたデ coherent は、量子カウンティングアルゴリズムの確率分布にどのように影響するか？
• RQ2 量子カウンティングにおける制御付きグローバー操作の上行順および下行順実装の間で、デ coherent レジリエンスにどのような差が生じるか？
• RQ3 なぜデ coherent 条件下で2つの回路順序の確率分布が、特に第2レジスタにおいて乖離するのか？
• RQ4 特定の誤差誘発ピークが1つの回路構成でのみ現れるのか？ そしてそれらは出力の正確性にどのように影響するか？
• RQ5 上行順回路の耐性優位性は、ショアの因数分解のような他の位相推定アルゴリズムへも拡張可能か？

主な発見

• 第1レジスタにデ coherent が作用する場合、上行順および下行順回路の両方とも、正しいピークからの距離が2の累乗である複数のピークを生成するが、類似した確率分布を示す。
• 第2レジスタにデ coherent が作用する場合、上行順回路は m′=f および m′=2^p−f にのみ強いピークを生成し、弱いサイドピークを伴う。
• それに対して、第2レジスタにおける下行順回路は、オракルや誤差タイプに依存せず、m′=0 および m′=2^p/2 に追加の強い偽のピークを生成し、出力分布を支配する。
• 同じデ coherent 条件下でも、上行順回路の方が正しい出力が得られる確率が高くなる。
• 下行順回路の確率分布には、グローバー演算子の −1 固有値に対応する m′=2^p/2 に強いピークが現れるが、上行順回路にはそのピークは存在しない。
• 上行順回路は、m′=0 や m′=2^p/2 のような固定された高確率誤り出力が生じる下行順構造に起因する欠陥を回避するため、全体としてより耐性がある。