技術要約：ベーコン・ショア・ボードゲーム

問題の定義

ベーコン・ショア（Bacon-Shor）符号は、正方格子上で近接する $XX$および$ZZ$ チェック演算子によって定義される、典型的な量子誤り訂正サブシステム符号である。この符号は、低ウェイトかつ幾何学的に局所的な測定という魅力的な実験的特徴を備えている一方で、歴史的にはフォールトトレラント（耐故障性）な閾値を持たないことが知られている。

根本的な問題は、標準的な測定スケジュール（すべての $X$ 型チェックを測定した後にすべての $Z$ 型チェックを測定するという周期2のサイクル）に起因する。このレジームでは、スタビライザー（行または列全体にわたるチェックの積）のウェイトが格子次元 $d$ に対して線形にスケールする（$O(d)$）。その結果、検出器（各ラウンドにおけるスタビライザー測定の積）も $O(d)$ でスケールする。格子サイズが増大するにつれ、誤った検出器測定が得られる確率が増大し、最終的に論理エラー率が物理エラー率を上回ってしまう。これにより、コードは閾値を示すことができず、スケーラブルなフォールトトレラント量子計算の前提条件を満たせなくなる。

これに対する以前の試みには、符号の連結（concatenation）や格子手術（例：[135]）が含まれていたが、これらの手法は複雑な接続性を必要とするか、あるいは検出器のウェイトと測定期間が依然として $d$ に依存してスケールするという課題があった。本研究が取り組む中心的な問いは、連結を用いずに、定数期間の測定スケジュールを維持しながら、検出器のウェイトを $O(1)$ に削減できる測定スケジュールが存在するかどうかである。

手法

著者らは、問題を正方格子上の「カラーリング・ゲーム（着彩ゲーム）」として定式化することで、測定スケジュールを決定するための新しいアプローチを提案している。

ボードゲームの定式化

格子は、各正方形のプラケットがゲージ量子ビットに対応する「ボード」として扱われる。ゲームは、各プラケットが赤（ゲージ量子ビットの $X$ 演算子を固定）または青（$Z$ 演算子を固定）のいずれかの色で塗られた一連の着彩（状態）で行われる。

• 許容される動き: 着彩 $C_{j+1}$ は、$C_j$ における赤（または青）のボックスが、同じ列内（または行内）において垂直（または水平）なストリップへと拡大できる場合に、$C_j$ の後続として成立する。この拡大は、ゲージ固定を伝播させるための中間チェック演算子（$XX$または$ZZ$）の測定に対応する。
• 目的: 以下の条件を満たす、周期 $R$ を持つ周期的な着彩のシーケンスを見つけること：
  1. すべての列および行が、サイクル内の少なくとも1つのステップにおいて、完全に一つの色（すべて赤またはすべて青）であること。これにより、完全なベーコン・ショア・スタビライザーが少なくとも1回のサイクルにつき一度は測定されることが保証される。
  2. すべての列および行が、あらゆるステップにおいて、少なくとも一つは反対の色を持つボックスを含むこと。これにより、各瞬時スタビライザー群（ISG）内に、より小さなウェイトのスタビライザーが存在することが保証される。
  3. 格子サイズ $d$ と周期 $R$ が最小化されていること。

理論的構成

著者らは、小さな $d \times d$ 格子におけるこのゲームの解が、積み重ね（stacking）を通じて任意の大きな格子へと一般化できることを示している（定理3）。

• 動的検出器: 標準的なスタビライザー符号における検出器が同一の演算子の単純な繰り返し測定であるのに対し、提案されたスケジュールは「動的検出器（dynamical detectors）」を作成する。これらは、現在のラウンドの測定と可換であり、エラーがない場合に $+1$ を返す、複数ラウンドにわたる異なる演算子の測定の積である。
• ウェイトの削減: ゲージ固定された演算子（および完全なスタビライザーに対するその補集合）がすべてのISG内に存在することを保証することで、著者らは格子サイズに依存して増大しないウェイトを持つ検出器を構築している。

主な貢献

1. 周期4の測定スケジュール: 著者らは、定数ウェイトの検出器で時空を完全にカバーする、ベーコン・ショア符号の特定の周期4の測定スケジュールを特定した。
2. 定数ウェイトの検出器: 提案されたスケジュールは、検出器のウェイトを $O(d)$ から定数（一般化された解において数値的に $\le 20$ と観察された）へと削減する。
3. 閾値の発見: 数値シミュレーションを通じて、この修正されたスケジュールが、ベーコン・ショア符号に、これまで存在しなかった性質であるフォールトトレラントな閾値を与えることを示した。
4. ゲーム理論的解法: 低ウェイトの検出器シーケンスを見つけるための構成的な手法として、新しい「ボードゲーム」フレームワークを導入した。

数値結果

修正された符号の性能は、一様な回路レベルノイズモデルを用いたモンテカルロ・シミュレーションによって評価された。

• 閾値推定: 最小重み完全マッチングデコーダ（PyMatching）を用いた結果、著者らは約 0.3% ($p_{th} \approx 3 \times 10^{-3}$) の閾値を観察した。
• エラー抑制: 論理エラー率は、格子サイズ $d$（$d=5$ から $d=35$ まで）の増加とともに指数関数的に減少しており、閾値の存在を裏付けている。
• 比較: 修正された符号は、[135] に記載されている自己連結アプローチよりも、論理エラー率において2桁低い値を実現している。
• デコーダの限界: 著者らは、PyMatching は良好に機能したが、検出器は単純なペアワイズのエッジではなく、デコーディンググラフにおけるハイパーエッジを形成していると指摘している。彼らは、カスタマイズされたハイパーグラフベースのデコーダが、さらに閾値を向上させる可能性があると推測している。

意義と主張

本論文は、これまで $O(d)$ ウェイトのスタビライザーにより閾値を持たないと考えられていたベーコン・ショア符号が、測定スケジュールのわずかな調整によってフォールトトレラントになり得ることを主張している。

• 閾値の競争力: 観察された ~0.3% という閾値は、表面符号（surface codes）に匹敵し、現在のハードウェアプラットフォームで達成可能なノイズレートの範囲内にある。
• サブシステム構造: 本研究は、測定スケジュールの動的な側面が、サブシステム符号における極めて重要であり、しばしば見落とされがちな自由度であることを強調している。これは、同じセットのチェック演算子が、測定の時間的順序に応じて全く異なる誤り訂正特性を生み出し得ることを示している。
• 連結の不要性: 従来の手法とは異なり、本手法は連結を用いることなく、代わりに固有のサブシステム構造と定数周期のスケジュールを利用して閾値を達成している。
• 今後の方向性: 著者らは、自分たちの解が必ずしも最適ではないことを控えめに示唆している。彼らは、特定の「ボードゲーム」の動き以外のゲージ固定戦略や、より洗練されたデコーダを用いることで、さらに高い閾値が得られる可能性があると述べている。また、時間的側面と代数的側面を統一するための、より広範な理論的枠組みの必要性を強調している。