[論文レビュー] Fault-tolerant quantum computation in the graph-state model

Panos Aliferis, Debbie Leung|arXiv (Cornell University)|Mar 15, 2005

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

この論文は、量子回路理論の閾値定理と合成的シミュレーションを活用することで、グラフ状態モデルにおける耐故障性を確立する。グラフ状態計算における精度閾値の存在を証明し、同一のノイズ過程下で、回路モデルからの既知の結果に基づいてその閾値の下界を導出する。

ABSTRACT

We consider the problem of fault tolerance in the graph-state model of quantum computation. Using the notion of composable simulations, we provide a simple proof for the existence of an accuracy threshold for graph-state computation by invoking the threshold theorem derived for quantum circuit computation. Lower bounds for the threshold in the graph-state model are then obtained from known bounds in the circuit model under the same noise process.

研究の動機と目的

• グラフ状態量子計算モデルにおける耐故障性閾値の存在を示すこと。
• 合成的シミュレーションを用いて、耐故障性量子回路計算とグラフ状態モデルの間のギャップを埋めること。
• 同一のノイズ過程下で、回路モデルからの既知の境界に基づいて、グラフ状態モデルにおける精度閾値の下界を導出すること。
• 回路モデルと同一のノイズ過程下で耐故障性を保証することにより、直接的な比較を可能にすること。

提案手法

• 合成的シミュレーションの概念を用いて、グラフ状態計算と量子回路計算を関連付ける。
• 回路ベースのモデルから確立された量子閾値定理を、グラフ状態フレームワークに適用する。
• 回路モデルからのノイズ閾値を、グラフ状態モデルにおける下界に翻訳する。
• 両モデルにおける同一のノイズ過程下での耐故障性計算の等価性に依存する。
• 回路モデルに閾値が存在するならば、同じノイズ下でグラフ状態モデルにも閾値が存在することを確立する。
• 数学的還元を用いて、回路モデルにおける耐故障性がグラフ状態モデルにおける耐故障性を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 グラフ状態量子計算モデルにおける耐故障性閾値は存在するか？
• RQ2 合成的シミュレーションを介して、量子回路計算の閾値定理をグラフ状態モデルに適用できるか？
• RQ3 同一のノイズ過程下で、グラフ状態モデルにおける精度閾値の下界は何か？
• RQ4 同一のノイズ条件下で、グラフ状態モデルの耐故障性能力は回路モデルと比べてどうなるか？

主な発見

• 合成的シミュレーションと回路ベースの量子計算における閾値定理を用いて、グラフ状態モデルにおける耐故障性閾値の存在が証明された。
• 同一のノイズ過程下で、回路モデルからの既知の境界に基づいて、グラフ状態モデルにおける精度閾値の下界が導出された。
• 同じノイズモデル下で、グラフ状態モデルの閾値は、対応する回路モデルの閾値以上である。
• 回路モデルから導出された閾値未満のノイズ率であれば、グラフ状態モデルにおける耐故障性が保証される。
• 耐故障性保証をモデル間で移転するために、合成的シミュレーションの普遍性に依存する。
• 結果として、測定ベース（グラフ状態）モデルにおける耐故障性量子計算の形式的基盤が確立された。