LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

技術要約：IBMハードウェア上でのLUCI

問題提起
スケーラブルでフォールトトレラントな量子計算には、長時間の実行中もその状態を維持できる論理量子ビットが必要である。表面符号（surface code）は、その高い閾値により、局所的な制約を持つプロセッサにとって最も実用的な量子誤り訂正（QEC）プロトコルであるが、従来の構成は静的なシンドローム抽出回路に依存している。これらの硬直した回路は、厳格な接続制約を課し、ハードウェアの欠陥（例：機能しない量子ビットやカプラー）に対して脆弱である。近年の理論的枠組みであるLUCI（Logical Unitary Circuit Implementation）は、測定スケジュールを変更することで欠陥のあるコンポーネントを回避できる動的なサブプログラムを提案している。しかし、この柔軟性は時間的な距離（temporal distance）の減少という代償を伴い、完全なシンドロームを抽出するために複数回のラウンドを必要とする。極めて重要な点として、これらの動的なアプローチは物理的なハードウェア上で実験的に実証されておらず、また、物理的な欠陥が存在しない状況下における標準的な静的符号との性能比較、特に「シンドローム密度」（1サイクルあたりの全可能ビットに対する測定されたシンドロームビットの比率）のトレードオフに関する検証も行われていなかった。

手法
著者らは、IBMの超伝導量子プロセッサであるibm_miamiを用いて、LUCIフレームワークを標準的な回転表面符号（rotated surface code）と比較する実験的ベンチマークを行った。本研究では、「リセットフリー」のシナリオを採用しており、アイドルタイムやリークの問題を避けるために物理的な量子ビットのリセット操作を省略し、代わりに古典的なポストプロセッシングによってディテクタを定義した。

主な手法ステップは以下の通りである：

• 動的スケジューリング: LUCIフレームワークは、ミドルサイクル状態（mid-cycle states）を用いて実装された。これは、完全なシンドロームを抽出するために、回路が2つの異なるラウンド（ベースラインとバリアント）を交互に繰り返すものである。これは、単一のラウンドで完全なシンドロームを抽出する標準的な表面符号とは対照的である。
• 非対称スケーリング: 特定の論理エラーを標的とするため、研究者らはQECパッチを非対称にスケーリングした。距離3（$d=3$）のパッチをテストし、さらに論理Xエラーを抑制するために$(d_x=5, d_z=3)$の矩形パッチへ、または論理Zエラーを抑制するために$(d_x=3, d_z=5)$の矩形パッチへと拡張した。
• シンドローム密度解析: 本研究では「シンドローム密度」($\rho$)を定量化した。標準的な表面符号は密度1を維持するが、2ラウンドを必要とするLUCIフレームワークは、$d=3$のパッチで約0.6、拡張されたパッチで0.588の密度となった。
• ハードウェアの制約: 実験はプロセッサの欠陥のない領域で行われた。しかし、標準的な表面符号のX基底におけるマッピングは、硬直した接続要件により、非常にノイズの多いカプラー（エラー率 $\sim15\%$）を使用せざるを得なかった。これに対し、柔軟なLUCIのスケジューリングは、この特定のノイズの多いコンポーネントを回避することを可能にした。
• デコーディング: 論理エラー率は、ゲートおよび測定のキャリブレーションデータで重み付けされた、相関最小重み完全マッチング（MWPM）デコーダ（PyMatching）を用いてデコードされた。

主要な結果
著者らは、標準的な表面符号とLUCIフレームワークの間で、エラー抑制比（$\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$）を比較した：

• 論理Xエラー: LUCIフレームワークは、標準的な表面符号の**1.58(13)**に対し、**1.75(10)**という優れたエラー抑制比を示した。この改善は、標準的な符号が使用を強制された高ノイズのカプラーを、LUCIが回避できたことに起因する。
• 論理Zエラー: 標準的な表面符号は、LUCIの**1.93(12)**に対し、Zエラーにおいてより高い抑制効果（2.44(7)）を示した。
• 全体的な性能: LUCIフレームワークは、時間あたりのシンドローム密度がほぼ半分（完全なシンドローム抽出に2ラウンドを要する）であるにもかかわらず、標準的な回転表面符号と同等の競争力を維持した。
• ノイズの不均一性: 結果は、ハードウェアのノイズが不均一である場合、標準的なシンドローム抽出回路が必ずしも最適ではないことを浮き彫りにした。LUCIの動的スケジューリングは、特定のノイズの多いコンポーネントを正常にバイパスし、論理境界を維持しつつ、標的となるエラーに対してより良い全体的な論理エラー率を実現した。

意義と主張
本論文は、理論的な動的符号と実用的なハードウェア実装の間の溝を埋めるものであると主張している。その主な貢献は以下の通りである：

1. 実験的検証: 動的なコードが物理的なハードウェア上で実現可能であることを検証し、LUCIフレームワークの初の実験的実証を提供した。
2. 減少した時間的距離下での性能: 動的なコードが、シンドローム密度が半減している状況下でも標準的な手法を凌駕し得ることを示すことで、静的なフォールトトレラント・アーキテクチャへの従来の依存性に疑問を投げかけた。
3. ハードウェア適合性: 動的なコードが、不均一なハードウェア環境において高ノイズのコンポーネントを能動的に回避できることを示し、現在の世代のプロセッサにおける性能を最大化するための実行可能な代替案を提示した。
4. リセットフリーの実装: リセットフリーのディテクタ定義をLUCIフレームワーク内で実装することに成功し、物理的なリセット操作に頼らずとも高性能なQECが可能であることを証明した。

著者らは、これらの知見がハイブリッドでハードウェア適合性の高いコード設計への道を開くものであり、動的なシンドローム抽出が、ハードウェアのノイズ不均一性が存在する環境における論理量子ビット保護のための実用的なアプローチであることを示唆していると結論付けている。