[論文レビュー] Quantum error correction fails for Hamiltonian models

Robert Alicki|ArXiv.org|Nov 1, 2004

Quantum Computing Algorithms and Architecture参考文献 1被引用数 8

ひとこと要約

この論文は、離散時間モデルでは成功する標準的な量子誤り訂正（QEC）方式が、マーカイヴィアンノイズのもとでも連続時間ハミルトニアン系では失敗することを示している。主な結果は、有限のゲート速度のため、アルゴリズムの体積に応じてfidelityが指数関数的に低下することであり、ゲート時間 $ t_0 $ がゼロでない現実的な物理的制約のもとでは、フェイルセーフ量子計算が非現実的であることを示している。

ABSTRACT

It is argued that the existing schemes of fault-tolerant quantum computation designed for discrete-time models and based on quantum error correction fail for continuous-time Hamiltonian models even with Markovian noise.

研究の動機と目的

• 既存の量子誤り訂正（QEC）方式が、量子計算の連続時間ハミルトニアンモデルに適用可能かどうかを調査すること。
• マーカイヴィアンデコherenceの下で、有限のゲート速度（$ t_0 > 0 $）がQECの性能に与える影響を分析すること。
• コンカテネートドコードおよびフェイルセーフ手順が、物理的に現実的な連続時間ダイナミクスにおいても高いfidelityを維持できるかどうかを特定すること。
• ゲート操作が無限に速くはできない現実の量子系におけるQECの根本的限界を確立すること。

提案手法

• 単一クオンタムのデコherenceを、レート $ \lambda^2 $ で表す連続時間マーカイヴィアン密度行列方程式を定式化し、ノイズをセミグループ生成子としてモデル化する。
• 区間 $[0, \tau]$ および $[\tau - t_0^{\text{min}}, \tau]$ でユニタリ回復操作を実行する時間依存制御ハミルトニアン $ H(t) $ を導入する。
• 超作用素形式を用いて状態fidelityの時間発展を導出し、ノイズと回復マップの影響を方程式 $ \rho_T^{af} = R_T E_{T-1} R_{T-1} \cdots R_1 E_0 P_\psi \otimes P_{\phi_A} $ で追跡する。
• 最小ゲート期間 $ t_0^{\text{min}} $ と交換子ノルム $ \| [h^\alpha, \cdot] \| \leq C (t_0^{\text{min}})^{-1} $ から導かれる境界 $ |dx/dt| \leq 4C t_0^{-1} $ を用いて、状態重なり関数 $ x(t) $ の時間微分を推定する。
• 積分 $ F_1^{\text{cont}} \leq 1 - Mq $（$ Mq \ll 1 $）を用いて作業周期終了時のfidelityを評価し、$ q \simeq \lambda^2 t_0^{\text{min}} $ とし、$ Mq \gg 1 $ の場合に $ 1/2 $ に飽和することを示す。
• 最小ゲート期間 $ t_0^{\text{min}} $ がゼロでないため、フェイルセーフ量子計算の閾値定理に必要な誤り訂正条件 $ \mu = \epsilon / ((B+1)T) $ を満たせないことを示す。

実験結果

リサーチクエスチョン

• RQ1 離散時間モデルで有効な標準的な量子誤り訂正方式は、マーカイヴィアンノイズを伴う連続時間ハミルトニアン系へと拡張可能か？
• RQ2 有限のゲート速度 $ t_0^{\text{min}} > 0 $ は、連続時間ダイナミクスにおける量子誤り訂正の性能にどのような影響を与えるか？
• RQ3 物理的に現実的な連続時間モデルにおいて、論理的クオンタムビットのfidelityはアルゴリズム体積に従って指数関数的に劣化するのか？ もしそうなら、その理由は何か？
• RQ4 離散時間設定では成功しているが、連続時間モデルでは既存のフェイルセーフ方式が失敗する理由は何か？
• RQ5 fidelityが許容可能な水準を下回る前に、信頼性を持って実行可能な計算ステップの最大数 $ T_{\text{max}} $ は何か？

主な発見

• Fidelityは $ F \lesssim \exp(-\lambda^2 t_0 V) $ のように低下し、小さなノイズ率であってもアルゴリズム体積 $ V $ に応じて指数関数的に劣化することが示唆される。
• $ Mq \ll 1 $ の場合、fidelityは $ F_1^{\text{cont}} \leq 1 - Mq $ で有界であり、$ q \simeq \lambda^2 t_0^{\text{min}} $ であるため、有限のゲート速度に起因する線形劣化が生じる。
• $ Mq \gg 1 $ の場合、fidelityは $ F_1^{\text{cont}} \leq 1/2 $ に飽和し、現実的条件下での情報損失の根本的不可逆性を示している。
• 最小ゲート期間 $ t_0^{\text{min}} > 0 $ のため、フェイルセーフ量子計算の閾値定理に必要な誤り訂正条件 $ \mu = \epsilon / ((B+1)T) $ を満たせない。
• 信頼できるステップ数の最大値は $ T_{\text{max}} \simeq 1 / (\lambda^2 t_0^{\text{min}}) $ で有界であり、計算終了時の1クオンタムあたりの誤りが有限であるという要請から導かれる。
• 古典的デジタルコンピュータは $ t_0 = 0 $ を内蔵的に持つため、この問題を回避できるが、連続状態の記述を適用すれば、量子系と同様の制限が生じる。