[論文レビュー] Comments on "Fault-Tolerant Quantum Computation for Local Non-Markovian Noise"

Robert Alicki|ArXiv.org|Feb 19, 2004

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

この論文は、局所的非マルコフ的ノイズ下での耐故障量子計算のしきい値結果を批判し、仮定された条件が非常に現実的でない低い1ゲートあたりの誤差確率（10⁻⁸～10⁻¹²）を意味することを示している。分析により、しきい値条件はゲート持続時間と系-バスタブ結合に対して極めて厳しい制約を強いることが明らかとなり、提示されたしきい値の実用的妥当性が損なわれている。

ABSTRACT

In the recent paper Terhal and Burkard derived a threshold result for fault-tolerant quantum computation under the assumption of the non-Markovian noise and claimed to rebut the objections rised by Alicki and Horodecki's. The purpose of this note is to show that the main condition used by Terhal and Burkard, although looking quite innocently, implies the assumption of the extremally low probability error per single quantum gate - p < 10^{-8} - 10^{-12} - i.e. the square of the expected threshold value for the case of Markovian noise.

研究の動機と目的

• テルハルとバーグァードの非マルコフ的ノイズ下での耐故障量子計算に関する研究で提唱されたしきい値条件の妥当性に疑問を呈すること。
• λ₀t₀ < 10⁻⁴–10⁻⁶という条件が、1ゲートあたりの誤差確率 p ≤ 10⁻⁸–10⁻¹² を意味することを示すこと。これは通常のマルコフ的ノイズのしきい値の二乗に相当する。
• 仮定されたノイズモデルの物理的意味、特に系-バスタブ結合における時間スケールとエネルギースケールの関係を明確にすること。
• 導出されたしきい値条件が極めて制限的であり、大多数の量子系において物理的に現実的でないことを示すこと。

提案手法

• バストの自己相関関数 <A(t)A> = λ²exp(−t/τ_B) から導かれるスペクトル密度 R(ω) を用い、フーリエ変換によりローレンツ型の R(ω) を得る。
• 周波数依存のデコherence時間 τ_D(ω) を R(ω) の逆数として推定し、τ_D(ω) ≳ 1/(λ²τ_B) が得られる。
• λ ≤ λ₀ と仮定し、τ_B ≲ t₀（最小時間スケール）とすることで、τ_D の下限が τ_D ≳ 1/(λ₀²t₀²) × t₀ と導かれる。
• 1ゲートあたりの誤差確率は p ≈ t₀/τ_D と推定され、しきい値条件のもとで p < 10⁻⁸–10⁻¹² が得られる。
• 導出は t₀、τ_B、λ₀ の時間スケールとエネルギースケールにのみ依存しており、自己相関関数の詳細な形とは独立である。
• τ_B が t₀ と同等または短いという仮定に基づく。これは現実のバストモデルにおいて一般的である。

実験結果

リサーチクエスチョン

• RQ1 テルハルとバーグァードの研究におけるしきい値条件 λ₀t₀ < 10⁻⁴–10⁻⁶ は、非マルコフ的ノイズ下での物理的に現実的な1ゲートあたりの誤差率を意味するか？
• RQ2 τ_B ≲ t₀ の仮定のもとで、条件 λ₀t₀ < 10⁻⁴–10⁻⁶ を現実の系-バスタブ結合モデルに適用した場合、1ゲートあたりの誤差確率はどの程度になるか？
• RQ3 時間スケール t₀ と τ_B、およびエネルギースケール λ₀ が、非マルコフ的環境における実現可能なデコherence時間 τ_D をどのように制限するか？
• RQ4 非マルコフ的ノイズ下での耐故障量子計算のしきい値は、系-バスタブ相互作用に関する既知の物理的制約と整合的か？
• RQ5 通常のマルコフ的しきい値よりもはるかに低い誤差率を要求しない限り、しきい値条件を正当化できるか？

主な発見

• 元の研究で用いられた条件 λ₀t₀ < 10⁻⁴–10⁻⁶ は、1ゲートあたりの誤差確率 p < 10⁻⁸–10⁻¹² を意味し、これは通常のマルコフ的しきい値の二乗に相当する。
• この誤差率は現在または近い将来の量子ハードウェアでは現実的ではなく、しきい値条件が極めて制限的であることを示唆している。
• τ_D は τ_B ≤ t₀ という仮定に基づき、1/(λ₀²t₀²) × t₀ という下限で制限される。
• 最終的な誤差確率推定値 p ≈ t₀/τ_D は、t₀、τ_B、λ₀ の時間スケールとエネルギースケールにのみ依存し、バスト相関関数の具体的な形とは無関係である。
• 分析により、しきい値条件はノイズの極端な抑制を仮定していることが明らかとなり、これは一般的な非マルコフ的バストに一般化できない。
• この結果は、非マルコフ的ノイズ下での耐故障量子計算のしきい値が、系-バスタブダイナミクスに関する標準的仮定のもとでは物理的に実現可能でないことを示している。