Mirror codes: High-threshold quantum LDPC codes beyond the CSS regime

本論文は、従来の CSS 符号を超えた新しい高閾値量子 LDPC 符号「ミラー符号」を提案し、その故障耐性のあるシンドローム抽出回路を構築して、小規模量子デバイス向けのフォールトトレラントな量子メモリ実現の可能性を実証したものである。

要約

1. 背景：なぜ「エラー訂正」が必要なのか？

まず、量子コンピュータの最大の弱点は**「もろさ」**です。
量子ビット（情報の最小単位）は、少しのノイズ（熱や振動など）でもすぐに間違った情報を出力してしまいます。これを防ぐために、物理的な量子ビットを多数集めて「論理量子ビット」という丈夫な情報を作り、エラーを自動的に修正する仕組み（エラー訂正）が必要です。

これまでの主流は**「表面符号（Surface Code）」**という方法でした。

• 比喩： これは「タイルを敷き詰めて壁を作る」ようなイメージです。非常に丈夫で信頼性が高いですが、**「壁を建てるのに、必要なタイル（量子ビット）が大量に必要」**という欠点があります。小さな量子コンピュータでは、壁を作るだけで資源が尽きてしまいます。

2. この論文の提案：「鏡符号（Mirror Codes）」とは？

この論文では、**「鏡符号」**という新しい設計図を提案しています。

① 鏡のように映し出す仕組み

このコードは、数学的な「群（グループ）」という概念と、その中から選んだ 2 つの「集合（グループ内の特定のメンバーたち）」を使って作られます。

• 比喩： Imagine you have a large dance floor (the group) and two groups of dancers (Set A and Set B).
  • 鏡符号では、ダンスフロア上のすべての位置に対して、A 組と B 組の動きを「鏡のように」反映させて、エラーを検知するルール（安定化子）を作ります。
  • 面白いのは、A 組は右に動き、B 組は左に動くように設定されており、お互いが鏡像のように対称的（あるいは非対称的）に配置される点です。

② 「CSS 符号」ではないという革命

これまでの高性能なコードの多くは**「CSS 符号」**という、非常に規則正しい（古典的な計算と似ている）タイプでした。

• 比喩： CSS 符号は「整然とした行進」のようなもので、管理しやすいですが、自由度が低いです。
• 鏡符号のすごいところ： 鏡符号は**「CSS 符号ではない」ものを積極的に探しています。これは、整然とした行進ではなく、「ジャズのような即興演奏」**に近い複雑さを持っています。
  • 一見すると複雑で管理しにくいように見えますが、実は**「少ない量子ビットで、より多くの情報を安全に守れる（効率が良い）」**という驚くべき特性を持っています。
  • 小さな量子コンピュータ（数百個の量子ビット程度）でも、従来の方法では不可能だったレベルの保護が可能になります。

3. 具体的な成果：どんなコードが見つかった？

著者たちはコンピュータを使って、無数の組み合わせを試し、素晴らしいコードを見つけました。

• 発見されたコード： 例えば、$J60, 4, 10K$ や $J85, 8, 9K$ といったコードです。
  • これらはすべて「CSS 符号ではない」新しいタイプです。
  • 従来の「表面符号」や「双変数自転車符号（BB コード）」と比べて、同じ数の量子ビットを使っても、より多くの情報を保存でき、より高いエラー耐性を持っています。

4. エラーの検出方法：「シンドローム抽出回路」の工夫

エラーを検出するには、補助的な量子ビット（アキラ）を使って測定を行う必要があります。しかし、この測定自体もエラーを起こす可能性があります。

論文では、この測定を行うための**「新しい回路（シナリオ）」**を 3 つ提案しています。

1. ベーシック版（1 個のアキラ）： 最もシンプルですが、エラーに弱いです。
2. ループ版（2 個のアキラ）： 少しだけ旗（フラグ）を立てて、エラーを検知しやすくしました。
3. 完全耐性版（3〜6 個のアキラ）： 最も安全ですが、アキラを多く使うためコストがかかります。

• 比喩：
  • ベーシック版： 警備員が 1 人だけ。何かあればすぐに見つけるが、警備員自身が寝ていたら見逃してしまう。
  • 完全耐性版： 警備員が 3 人いて、お互いに監視し合っている。誰かが寝ても、他の人が見張っている。ただし、警備員を雇うコスト（量子ビット）は高い。

著者たちは、**「デバイスの大きさやノイズのレベルに合わせて、最適な回路を選べる」**ことを示しました。小さな機械なら少しリスクを取ってシンプルに、大きな機械なら安全にコストをかける、という柔軟な使い方が可能です。

5. 実験結果：どれくらいすごいのか？

彼らは、これらの新しいコードと回路を使って、シミュレーション上の「量子メモリ」実験を行いました。

• 結果： 物理的なエラー率が約 0.2%（1000 回に 2 回）のレベルで、論理エラーを劇的に減らすことができました。
• 比較： これは、現在最も有望視されている「双変数自転車符号（BB コード）」とほぼ同等の性能を、より小さな規模（少ない量子ビット数）で達成したことを意味します。

6. まとめ：なぜこれが重要なのか？

この論文の核心は以下の 3 点です。

1. 柔軟性： 「鏡符号」は、数学的なグループ理論を使って作られるため、非常に多様な形を作れます。
2. 効率性： 従来の「整然とした行進（CSS 符号）」にこだわらず、「ジャズ（非 CSS 符号）」を許容することで、少ないリソースで高い性能を実現しました。
3. 実用性： 近い将来、数百個の量子ビットしかない「中規模な量子コンピュータ」でも、実用的なエラー訂正が可能になる道を開きました。

結論：
この研究は、量子コンピュータが「実験室」から「実用機器」へと進むための、**「より小さく、より賢い、より丈夫な箱（メモリ）」**の設計図を提供したと言えます。従来の常識（CSS 符号）に縛られず、新しい視点（鏡符号）を取り入れることで、量子技術の未来が加速するでしょう。

技術概要

1. 問題設定 (Problem)

大規模な量子計算を実現するためには、物理的なエラー率を論理エラー率よりも遥かに低く抑えるためのフォールトトレラントな量子メモリが必要です。これには以下の要素の複雑な組み合わせが求められます。

• 符号の効率性: 高い符号率と距離。
• シンドローム抽出回路: フォールトトレランス性とオーバーヘッド（補助量子ビット数）。
• デコーダの品質: エラーの復元能力。
• デバイスの制約: 物理量子ビットの数と接続性。

現在の主流である表面符号（Surface Code）はフォールトトレラントですが、論理量子ビットあたりの物理量子ビット数が非常に多く（符号率が低い）、大規模な情報保存には不向きです。一方、最近提案された「二変数自転車（Bivariate Bicycle: BB）符号」などの量子 LDPC 符号は高い符号率を持ちますが、これらは主にCSS 符号（パリティチェック行列が X 型と Z 型に分離できる符号）の枠組み内で構築されています。

しかし、量子誤り訂正の歴史において、最もコンパクトな 1 エラー訂正符号（5 量子ビット符号）は CSS 符号ではありませんでした。このことから、CSS 領域を超えた（非 CSS の）安定子符号を研究することで、特に小規模なデバイス（$n \le 144$ 程度）において、より高性能な符号が得られる可能性が示唆されていました。

2. 手法と主要な貢献 (Methodology & Key Contributions)

著者らは、**「ミラーコード（Mirror Codes）」**と呼ばれる新しい量子 LDPC 安定子符号の構築法を提案しました。

A. ミラーコードの構築

ミラーコードは、有限群 $G$ とその部分集合 $A, B \subseteq G$ を用いて定義されます。

• 定義: 群の各要素 $g \in G$ に対して、物理量子ビットを割り当て、安定子演算子を以下のように定義します。
  $$S(g) := Z(Ag) X(Bg^{-1})$$
  （対称型の場合。非対称型も定義可能）。
• 特徴:
  • 非 CSS 性: 一般に、各安定子演算子は $Z$ と $X$ が混在するため、CSS 符号ではありません。
  • LDPC 性: チェック重み（安定子の重み）は $|A| + |B|$ 以下に抑えられ、LDPC 符号となります。
  • 一般性: 従来の二ブロック群代数（2BGA）符号や、BB 符号、一般化自転車（GB）符号を含みます（置換と局所クリフォード演算の範囲で）。
  • 非可換群への拡張: 可換群だけでなく、非可換群（例：対称群 $S_4$）を用いることも可能ですが、$A, B$ の選択には制約（安定子の可換性）が必要です。

B. フォールトトレラントなシンドローム抽出回路の構築

ミラーコードを実際に動作させるために、重み 6 の安定子測定に対応する新しいシンドローム抽出回路を 3 つ提案しました。これらは、オーバーヘッドとフォールトトレランス性のトレードオフを調整可能です。

1. Bare 回路: 安定子あたり 1 補助量子ビット。フォールトトレランス保証なし。
2. Loop 回路: 安定子あたり 2 補助量子ビット。部分的なフォールトトレランス。
3. FT6 回路（CSS 用）: 安定子あたり 3 補助量子ビット。重み 6 の CSS 符号に対して証明されたフォールトトレランス。
4. FT6 回路（一般用）: 安定子あたり 6 補助量子ビット（再使用で 4 に削減可能）。重み 6 の任意の安定子符号（非 CSS 含む）に対して証明されたフォールトトレランス。

C. 符号探索とベンチマーク

• 網羅的探索: 群 $G$ と部分集合 $A, B$ を用いて、$n \le 300$ の範囲でほぼ網羅的な探索を行い、新しいミラーコードを多数発見しました。
• シミュレーション: 発見した符号（特に重み 6 のもの）に対し、回路レベルのノイズモデル（SI1000）を用いて、提案したシンドローム抽出回路と一般的なデコーダを組み合わせたエンド・ツー・エンドの量子メモリ実験を行いました。

3. 結果 (Results)

発見された符号のパラメータ

重み 6 のチェックを持つ非 CSS のミラーコードとして、以下のような優れたパラメータを持つ符号を発見しました（$[n, k, d]$ 形式）：

• $[36, 6, 6]$
• $[48, 8, 6]$
• $[60, 4, 10]$
• $[85, 8, 9]$
  これらはすべて CSS 符号ではありません。また、$kd > n$ となる重み 7 の符号もいくつか発見されました。

誤りしきい値（Pseudothreshold）

• 提案されたミラーコードは、回路レベルノイズ下で**約 0.2% の疑似しきい値（pseudothreshold）**を達成しました。
• これは、同じモデル下での最先端の BB 符号（$[144, 12, 12]$）の性能とほぼ同等です。
• フォールトトレランスとオーバーヘッドのトレードオフ: よりフォールトトレラントな回路（多くの補助量子ビットを使用）を使用すると、物理エラー率が低い領域では論理エラー率が急激に低下しますが、オーバーヘッドの増加によりしきい値自体は若干低下する傾向が見られました。

非可換群 vs 可換群

網羅的探索の結果、非可換群を用いたミラーコードは、パラメータの点で可換群を用いたミラーコードに劣る傾向があることが示されました。著者らは「すべての非可換群ミラーコードは、より良いパラメータを持つ可換群ミラーコードで置き換え可能である」という仮説を提唱しています。

4. 意義と結論 (Significance & Conclusion)

この研究は、量子誤り訂正の実現に向けた重要なステップを提供しています。

1. CSS 領域の突破: 小規模な量子デバイス（数百量子ビット未満）において、CSS 符号に依存しない新しいアプローチが有効であることを示しました。特に、BB 符号よりも小さなサイズで同程度の性能が得られる可能性があります。
2. ハードウェアへの適合性: ミラーコードは幾何学的に局所的なチェックを持たないため、超伝導量子ビットよりも、中性子原子やトラップドイオンなど、より一般的な量子ビット接続性を持つアーキテクチャに適しています。
3. 柔軟なプロトコル設計: 提案されたシンドローム抽出回路は、デバイスの物理エラー率や量子ビット数の制約に応じて、オーバーヘッドとフォールトトレランス性を柔軟に調整できることを示しました。
4. 将来展望: 将来的な大規模化に伴い、より高いフォールトトレランス性を持つ回路へ移行する戦略が有効であることが示唆されました。

総じて、ミラーコードは、近未来の量子メモリ実装、特にリソース制約のあるデバイスにおいて、非常に有望な候補であると言えます。