Fault-Tolerant Quantum Error Correction for Constant-Excitation Stabilizer Codes under Coherent Noise

技術要約：コヒーレント・ノイズ下における定数励起スタビライザー符号のためのフォールト・トレラント量子誤り訂正

問題提起
相関のあるユニタリ回転（例：レーザー振幅の較正誤差や共有制御ライン）に起因する集団的コヒーレント（CC）ノイズは、フォールト・トレラント量子誤り訂正（FTEC）において重大な課題となります。CCエラーは非クリフォードであり、標準的なスタビライザー形式では効率的にシミュレーションできないため、確率的ノイズとは性質が異なります。定数励起（CE）スタビライザー符号は、そのコード空間が固定されたハミング重みを持つ状態で構成されているため、CCエラー（具体的には $e^{-i\theta \sum Z_j}$）に対して本質的に耐性を持っています。しかし、既存のFTECフレームワークは、回路レベルのノイズ下におけるこれらの符号に対しては確立されていません。従来のFTECプロトコルは、シンドローム抽出のために横断的なCNOTゲートに依存していますが、これらのゲートはCE状態を励起保存部分空間の外へと写してしまい、CE符号の根本的な制約を破ってしまいます。さらに、シンドロム抽出サイクルを通じて蓄積されるCCエラーのシミュレーションは、一般的な量子状態に対しては計算量的に困難です。

手法
著者らは、デュアルレール連結に基づく、CE CSS符号のための包括的なFTECフレームワークを開発しています。この手法は、主に以下の3つの技術的柱で構成されています。

1. 符号構成： 著者らは、単一の量子ビットを1つの励起を持つ2量子ビット状態（$|01\rangle$ または $|10\rangle$）にマッピングするデュアルレール符号を利用し、これを既存のスタビライザー符号と連結させています。この構成がCE制約を維持し、$[[n, k, d]]$ スタビライザー符号を $[[2n, k, d' \geq d]]$ のCEスタビライザー符号へと変換することを証明しています。彼らは、最小の距離3のCE CSS符号として、$[[12, 1, 3]]$ および $[[14, 3, 3]]$ 符号を特定しました。具体的には、標準的な $[[7, 1, 3]]$ Steane符号をデュアルレール連結すると、$[[14, 1, 3]]$ CE CSS符号が得られます。
2. フォールト・トレラント・プロトコル： シンドローム抽出中にCE制約を維持するために、著者らは標準的な横断的CNOTゲートを、標準的なNOTゲートとゼロ制御NOTゲート（$C_0X$）の組み合わせに置き換えています。彼らは、$w$-CE cat状態（$\frac{1}{\sqrt{2}}(|01\rangle^{\otimes w} + |10\rangle^{\otimes w})$）をアンシラとして利用する、修正されたShor型およびSteane型のシンドローム抽出回路を提案しています。これらの回路は、論理的CNOT操作およびシンドローム測定が励起数を保存することを保証します。距離3の符号のために設計された特定の制御フロー（アルゴリズム3）は、エラーの伝播を防ぎつつオーバーヘッドを最小限に抑えながら、XおよびZシンドロームを条件付きで処理します。
3. シミュレーション・アルゴリズム： 非クリフォードCCエラーのシミュレーションの困難に対処するため、著者らは「拡張スタビライザー・シミュレーション」アルゴリズムを開発しました。この手法は、標準的なパウリ・フレームと、一連のコヒーレント回転の両方を追跡します。コヒーレント回転がクリフォードゲートを通じてどのように伝播するか（例：ターゲット量子ビットへの$Z$回転がCNOTを通じてどのように$ZZ$回転へと伝播するか）を記述する恒等式を利用することで、アルゴリズムはエラー状態を更新します。決定的な点として、シンドローム測定中のコヒーレントエラーが、確率 $\sin^2\theta$ で確率的なパウリZエラーへと投影される様子をモデル化しています。

主な貢献

• 理論的フレームワーク： 回路レベルのノイズ下におけるCE CSS符号のための初のFTECフレームワークを確立し、距離3のCE符号が、CCノイズに対する耐性を維持しながら任意の単一量子ビットエラーを訂正できることを実証しました。
• ゲートおよび回路設計： ゼロ制御ゲートとCE適合アンシラ状態を用いた、CE保存論理CNOTゲートおよび修正シンドローム抽出回路の導入。
• シミュレーション・ツール： 確率的エラーとコヒーレントエラーの両方を追跡する効率的なシミュレーション・アルゴリズムの開発。これにより、全状態ベクトル・シミュレーションを行うことなく、現実的なCCノイズモデル下でのFTEC性能の評価が可能になりました。
• 符号の特定： デュアルレール連結によって構築された、クラス内で最小の距離3の符号としての $[[12, 1, 3]]$ および $[[14, 3, 3]]$ CE CSS符号の存在証明。

結果
著者らは、提案された $[[14, 1, 3]]$ CE CSS符号（標準的な $[[7, 1, 3]]$ Steane符号のデュアルレール連結）の性能をシミュレートし、CCエラーが混入した回路レベル・ノイズモデル下において、従来の符号（具体的には $[[9, 1, 3]]$ 回転表面符号および $[[7, 1, 3]]$ Steane符号）と比較しました。

• 従来の符号： 従来のCSS符号の論理エラー率は、コヒーレント回転角 $\theta$ が増加するにつれて著しく悪化します。これは、CCエラーがシンドローム抽出サイクルを通じて蓄積され、実質的に確率的なZエラー率をコードの閾値以上に上昇させるためです。
• CE符号： 対照的に、$[[14, 1, 3]]$ CE CSS符号は、$\theta$ の増加に関わらず安定した論理エラー率を維持します。デュアルレール連結と励起保存ゲートがCCエラーの影響を効果的に抑制し、それらが論理的失敗へと蓄積されるのを防いでいます。

意義
本論文は、トラップイオンや超伝導量子ビットのプラットフォームで一般的な問題である、集団的コヒーレント・ノイズに対して堅牢な量子誤り訂正への経路として、CEスタビライラー符号が有効であることを示しています。コヒーレントエラーを（エラー率を増大させる可能性がある）確率的ノイズに変換する必要のないフォールト・トレラントなフレームワークを提供することで、本研究は、従来の符号が性能を損なう場面においても、CE符号が性能の安定性を維持できることを実証しています。著者らは、現在の研究が距離3の符号に焦点を当てているものの、本フレームワークは、より大きな距離のCE符号や、より一般的なコヒーレント・ノイズ・モデルの探索に向けた基礎を提供するものであると述べています。今後の課題として、CE制約に特化した、CE cat状態のフォールト・トレラントな準備およびフラグ付きシンドローム抽出プロトコルの開発が挙げられています。