Direct Cultivation of Entangled $|CS\rangle$ Magic States

技術要約：もつれ状態 $|CS\rangle$ マジック状態の直接培養

問題提起
現在のフォールトトレラント量子コンピューティング・アーキテクチャ、特に表面符号（サーフェスコード）に基づくものは、普遍性を実現するために必要な非クリフォード資源を生成するためのマジック状態蒸留に大きく依存している。歴史的に、この取り組みは単一量子ビット状態（例：$|T\rangle$）に焦点を当ててきた。多量子ビットの非クリフォード資源である制御S（$|CS\rangle$）状態も不可欠であるが、標準的なアプローチでは、3つの独立した $|T\rangle$ 状態を蒸留し、クリフォード回路を適用することで間接的に合成する。本論文では、もつれた $|CS\rangle$ 資源を、フォールトトレラントな記録、構成可能なコード成長インターフェース、および実用的なデコーダを用いて「直接」培養できるか否かについて検討する。これは、間接的な3-$T$ ルートよりもリソース効率の高い経路となる可能性がある。

手法
著者らは、2つの可換なエルミート・クリフォード・インボリューション $C_1$ および $C_2$ を用いて、ターゲット状態 $|CS\rangle = CS|++\rangle$ への射影を行う「直接培養」アーキテクチャを提案している。このプロトコルは2つの Steane $[[7,1,3]]$ ブロック上で動作し、以下の主要コンポーネントを統合している。

1. 論理射影と分岐: 2つの可換なチェックは4つの可能な測定結果をもたらす。標準的な蒸留では一部のブランチが破棄されるが、本手法では4つのブランチすべてがパウリ・フレーム更新を通じて利用可能である。
2. ブランチ保護のための符号化された記録: 読み出しエラーによって有効なブランチが別のブランチに誤認されるのを防ぐため、最小限の6ビット $[6, 2, 4]$ クラスカル・レコードを採用している。このコードは、$C_1$、$C_2$、およびその積 $C_{12}$（中間チェックの前後にそれぞれ測定される）の結果をエンコードする。距離4の特性により、ベースラインとなる距離3のコードと比較して、「有効から有効への」レコードのエイリアシングが大幅に抑制される。
3. フォールトトレラント・モジュール:
   • 読み出し: 論理チェックの読み出しには、検証済みの7量子ビット・キャット状態アンシラが使用され、許容される残留故障の境界（例：1つの故障 $\implies$ 受容される $X$ サポート $\le 1$）が明示されている。
   • 中間検出: 2組の論理チェックの間に Steane エラー検出を挿入することで、残留エラーのウェイトを制限する。
   • 直接拡張: 決定的な要素として、受理された Steane レベルの状態は直ちに距離5の表面符号パッチへと転送され、距離13へと直接拡張される。この「脱出」プロセスにより、Steane レベルの測定記録を回避してしまうような遅延故障モードを防ぐ。
4. デコーダ・アーキテクチャ: デコーダは263個の運用検出ビット（事後の検証のみに使用される168個の将来検証用ビットを除く）を処理する。デコーダは以下の3段階で動作する：
   • 低次までの厳密な解像（故障次数2まで）。
   • 事前計算された高次カタログとのルックアップ。
   • 未解決のレコードに対する、4つの余集合を用いた信念伝搬法 + 順序統計量復号（BP+OSD）。
5. 故障次数による認証: 本システムは、全故障次数2において、受理された閉境界論理故障がないことが保証されている。故障メカニズムは次数3に存在し、これにより主要なエラー挙動が $O(p^3)$ であることが確立されている。

主な貢献

• 直接培養プロトコル: 3つの $|T\rangle$ 状態の間接的な合成を回避する、もつれた $|CS\rangle$ 状態のための完全なファクトリー設計。
• 保護されたブランチ・レコード: パウリ・フレームのブランチ情報を保護するための $[6, 2, 4]$ レコードコードの導入。これにより、距離3のベースラインと比較して、有効から有効へのレコードのエイリアシングを約96倍減少させる。
• 即時コード拡張: ステーンから表面符号への直接的な拡張（$d=5 \to 13$）を、検証された状態の受動的な埋め込みとしてではなく、認証されたファクトリーの固有部分として統合。
• デコーダと認証: 厳密な列挙法と BP+OSD を組み合わせた実用的なデコーダを提供し、確率的パウリノイズモデル下で、受理されたチャネルが故障次数3のエラー率を持つという厳格な証明を与える。
• リソース比較: 同一のバイナリ論理エラー率（LER）における、直接 $|CS\rangle$ ルートと間接的な3-$T$ 合成ルートの比較。

結果

• 性能: 一様なアクティブ・ロケーション・ストカスティック・パウリモデルの下で、ファクトリーは $p=10^{-4}$ で約0.90、$p=10^{-3}$ で約0.28と減少する確率で出力を受理する。
• フォールトトレランス: 厳密な列挙により、全故障次数2において閉境界論理故障が存在しないことが確認された。次数3の故障メカニズムは明示的に特定され、定量化されている。
• 最適化: 直接的な $d=5 \to 13$ 拡張を最適化することで、非最適化されたスケジュールと比較して、受理された出力の操作カウントを約35〜37%削減できる。
• リソース効率: 同一のバイナリ LER において、直接 $|CS\rangle$ ルートと楽観的な「レディ・パッチ」3-$T$ 比較器（既存の出力パッチを想定）を比較した場合：
  • $p = 5 \times 10^{-4}$ において、直接ルートは約11.4%安価である。
  • $p = 8 \times 10^{-4}$ において、直接ルートは約2.8%安価である。
  • $8 \times 10^{-4}$ と $9 \times 10^{-4}$ の間でコストの順序が逆転し、$p=10^{-3}$ の高いノイズレートでは直接ルートの方が高価になる。

意義と主張
本論文は、もつれた非クリフォード状態が、保護されたブランチ・レコードと、明示的に認証された故障次数3の出力チャネルを用いて直接培養できることを示している。著者らは、この直接的なアプローチが、標準的な間接合成に代わる実行可能かつ、多くの場合より効率的な代替案であることを主張している。

その意義は、もつれた資源を中心に培養を構成するという概念実証として位置づけられている。著者らは、自身の「故障次数3」の結果は、デコーダと事後選択ルールによって定義された「受理された閉境界チャネル」に特有のものであり、届けられる状態に対する一般的な無条件の距離定理を主張するものではないと述べ、控えめな主張を行っている。また、3-$T$ ルートとの比較は、ルーティング、ストレージ、またはアイドルメモリのノイズを考慮せず、操作カウント（アクティブ・ロケーション）に基づいて厳密に同一のバイナリ LER 目標に対して行われたものであることを強調している。