Bicycle Race: small two-block codes on the Pareto frontier

技術要約：「Bicycle Race: パレート境界上の小さな2ブロック符号」

問題提起
2ブロック・グループ代数符号は、量子低密度パリティ検査（qLDPC）符号の単純なクラスの一つであり、その多くはねじれたトーラス上で並進不変性を持ち、中性原子アレイや移動可能な量子ビットを持つプラットフォームに適しています。その単純さとハードウェアとの協調設計における構造的な利点にもかかわらず、より単純な符号は、より複雑なリフト構成と比較して劣ったパラメータを持つという言説が蔓延しています。著者は、この差が本質的なものなのか、それとも単に探索不足の結果なのかを疑問視しています。特に、小規模なシステムサイズ（$n \le 320$）かつ高レート符号に近いチェック重み（5から9）において、その傾向があります。課題は、組み合わせ爆発による探索空間の増大です。固定された群とチェック重みに対して、可能なブロックのペアの数は階乗的に増加するため、積極的なフィルタリングなしでの網羅的な列挙は計算量的に不可能です。

手法
著者は、GPUクラスターを必要とせず、標準的なノートPCで網羅的または準網羅的なセンサスを実行できる系統的な探索パイプラインを開発しました。この手法は、代数的な制約、等価性の簡約、および統計的なターゲティングの組み合わせに基づいています。

1. 探索空間と簡約: 探索はSmallGroupsライブラリの群を反復します。空間を管理するために、パイプラインは等価性の簡約（二側並進、自己同型、アンチポード、およびブロックのスワップ）を適用し、ペア $(a, b)$ を等価類へと集約します。
2. 代数的スクリーン: 正確な距離を計算する前に、パイプラインは目標とするメトリック ($kd^2/n$) または距離の下限を満たせない符号を排除するための「健全な」スクリーンを使用します。これらには以下が含まれます：
   • 連結性チェック: 分離された符号（より小さな符号の直和）を排除します。
   • 単位元/重みスクリーン: ブロックが単位元である（$k=0$ を意味する）符号を排除します。具体的には、奇数重みのブロックを持つ2群が $k=0$ を導くという性質を利用します。
   • ハイパーグラフ積の検出: 既知のハイパーグラフ積に収束する符号を特定します。
3. 距離推定: パイプラインは「ウィットネス優先ラダー（witness-first ladder）」を使用します。まず、ランダム化推定器（QDistEvol）を用いて、目標閾値よりも軽い論理演算子（ウィットネス）を見つけようと試みます。そのようなウィットネスが見つからない場合、枝刈り境界と対称性ルーティング（pynauty経由）によって強化された連結クラスター探索を用いて、正確な距離計算に進みます。
4. 標的サンプリング: 初期の一様サンプリングにより、高品質な符号は特定の群の構造に集中していることが明らかになりました。著者は、ウェダーバーン理論に基づく標的サンプリング戦略を開発しました：
   • アーベル群: ブロックが特定の体成分上で消滅するようにすることで $k > 0$ を保証する「共有因子（shared-factor）」戦略に焦点を当てます。
   • 非アーベル群: ブロックが行列成分において特定の零度を持つようにする「ランク・ターゲティング」を用い、$k \neq 0$ となる可能性を高めます。
5. AI支援ワークフロー: 著者は文献レビュー、コード生成、およびパターンマッチングに大規模言語モデル（LLM）を活用しましたが、人間が定義した代数的制約（例：チェック行列の可換性）が検証されるまで、厳格な「健全性のゲート」を適用しました。

主な貢献と結果
本論文は、最大320量子ビット、チェック重み5から9までの、約$10^8$個の2ブロック符号のセンサスを提示しています。

• 網羅的センサス: 著者は以下の探索を網羅的に行いました：
  • 重み5、最大 $n=300$（全群）。
  • 重み6、最大 $n=300$（全群）。
  • 重み8、最大 $n \le 100$（全群）。
  • 重み7（最大 $n \le 100$）および重み9（最大 $n \le 94$）（全群）。
• 新記録の符号:
  • 重み9: アーベル群上の [[102, 20, 10]] や [[120, 24, 10]]、および非アーベル群上の [[294, 24, 21]] などの符号を発見しました。これらは、それぞれのサイズにおける既発表の最良の $kd^2/n$ を上回っています。
  • 重み8: $kd^2/n = 39.9$ を持つ [[292, 22, 23]] を特定しました。これは $n \le 320$ における最良の重み8 CSS符号であり、正確な距離を持ちます。
  • 重み6: Gross符号 [[144, 12, 12]] が、$n \le 200$ における唯一の最良アーベル重み6符号であることを確認しました。また、非アーベル群上の [[288, 16, 16]] を発見し、その範囲内の既発表の最良の重み6符号を打ち破りました。
  • 重み5: 非アーベル群上の [[288, 4, 20]] を発見し、距離 $>6$ のすべての既発表の重み5符号を凌駕しました。
• パレート境界: 新しい符号は、重み7–9のパレート境界を大きく押し上げています。小規模な $n$（$\sim 320$ まで）では、2ブロック符号が境界を支配していますが、高レート領域は依然として他の構成（例：mitten符号）によって捉えられています。
• 統計的洞察:
  • 群の集中: 良質な符号は一様に分布しているわけではありません。それらは少数の群に集中しています（例：選別された符号の90%は、通常3%〜18%の群に由来します）。
  • アーベル vs 非アーベル: 小規模な $n$ では一般にアーベル群がより良い符号をもたらしますが、大規模な $n$ では非アーベル群が優位になります。このクロスオーバーポイントは、チェック重みが増加するにつれて、より大きな $n$ へとシフトします。
  • 希少性: チェック重みが6から9に増加するにつれ、ランダムな試行における高品質な符号の出現率は100倍から1000倍になります。
• シミュレーション: 著者は、ノイズのある回路における [[102, 20, 10]] および [[120, 24, 10]] のシンドローム抽出をシミュレートしました。最小限の転送ノイズの仮定の下で、破綻点（break-even point）が $p \approx 0.6\%$ 付近であることを示し、移動可能な量子ビットプラットフォームへの適合性を検証しました。

意義と主張
本論文は、2ブロック符号に対する「劣っている」という認識は本質的なものではなく、サンプリング不足の結果であると主張しています。代数的制約と標的サンプリングを適用することで、著者は2ブロック符号が小規模なサイズ（$n \le 320$）において、より複雑な構成と競合できることを証明しています。

• 新しい理論の不在: 著者は、新しい理論的構成を導入したわけではないことを明示しています。本研究の貢献は、既存の代数理論（ウェダーバーン分解、群環）を活用してパラメータ空間をより効果的にナビゲートする「執拗な探索（stubborn search）」です。
• ハードウェアへの関連性: 本研究は、2ブロック符号の並進不変性と移動可能な量子ビットへの適合性が、接続の交差によるペナルティよりも移動効率の低下が問題となる中性原子プラットフォームにおいて、重要な候補であることを主張しています。
• データベース: 約12,400個の符号、文献記録、および検証用ウィットネスを含む公開データベースを提供し、コミュニティのベンチマークとして機能させます。
• 謙虚な姿勢: 著者は、自身の探索が $n \le 320$ かつチェック重み $\le 9$ に限定されていることを認めています。より大きな $n$ や高い重みにおいては、探索空間が指数関数的に増大すること、および良質な符号の希少性が高いことから、今後の進展には、より大規模な計算予算またはより鋭い理論的ターゲティングが必要になるであろうと述べています。また、良質な符号は見つかったものの、最適化された論理ガジェットや完全な誤り訂正回路の設計は、将来の課題となるエンジニアリング上の課題であることも指摘しています。