技術要約：コードブロックにおけるマジックのリソースコスト

問題提起
表面符号に基づくフォールトトレラント量子コンピューティングは、通常「マジック状態」（例：$|T\rangle$）によって供給される非クリフォードゲートに大きく依存している。これらの状態の生成は、リソース予算における主要なボトルネックである。マジック状態の蒸留（distillation）が標準的なアプローチであるが、「マジック状態の耕作（cultivation）」は、小さな表面符号パッチ上で $|T\rangle$ をその場で成長させることで、より安価な代替案を提供する。この耕作には、非パウリ論理可観測量である「マジック軸」 $H_{XY} = (X+Y)/\sqrt{2}$ の測定が必要となる。

本稿が扱う中心的な問題は、弱く分散された非スタビライザー・リソースを用いて、固定されたコードブロックに対してこのような測定を行う際の、リソースコストを定量化することである。具体的には、論文は次のように問いかけている：非スタビライザー操作（セル）が弱く、かつ分散している場合、単一のコードブロックに対して、適応的でポストセレクション（事後選択）されたプロトコルは、どれほどの「マジック」（スタビライザー集合からの逸脱）を受け入れ得るのか？著者らは、トポロジカルな議論（例：アニオンの編み込み）を超えて、リソース理論的な分析に基づき、受け入れられたマジックを、それを生成したリソースによって抑え込むことを目的としている。

手法
著者らは、1つの論理量子ビットをエンコードした単一の平面表面符号パッチを分析する。適応的プロトコルを、コードに適用される一連のインストゥルメント（セル）、それに続く古典的なフィードフォワード、および最終的な受理決定としてモデル化する。

1. リソース理論の枠組み: 分析はマジックのリソース理論に基づいている。「自由集合（free set）」は、平均化されたチャネルではなく、結果ごとの（outcome-by-outcome）定義される。フラグ付きのインストゥルメントが「自由」であるためには、すべての結果によるサブチャネルが完全にスタビライザー保存的でなければならない。この区別は極めて重要である。なぜなら、あるチャネルが全体としては自由であっても、そのうちの1つの結果がマジック軸を測定している可能性があるからである。
2. マジック・ウィットネス: 著者らは、受理された効果に対するウィットネス $\Delta_{stab}(\hat{E}_A)$ を、正規化された論理効果とスタビライザー効果八面体との間の $\ell_1$ 距離として定義する。受理された効果の正規化されていないマジックは、$magic_c(F_A) = p_{acc} \Delta_{stab}(\hat{E}_A)$ と定義される。
3. 挿入展開（Insertion Expansion）: プロトコルは純化（purified）され、非自由セルは「自由なスケルトン（free skeleton）」への摂動（挿入）として扱われる。著者らは、プロトコルのアイソメトリを、マークされたセルの部分集合にわたる和へと展開する。
4. 構造的条件: 抑制境界を導出するために、プロトコルは以下の5つの条件を満たさなければならない：
   • 条件1: 1つの保護された代数（単一のコードブロック）。
   • 条件2: 有界な広がりを持つ正確なリカバリ・スケルトン。
   • 条件3: 有界な挿入次数（マークされたセル間の限定的な因果的連結性）。
   • 条件4: 分岐の因数分解（閾値 $D_{ins}$ 未満では、すべての挿入履歴が単一の自由な論理レイに写像される）。
   • 条件5: 閾値 $D_{ins}$ はコード距離 $d$ に対して線形にスケールする。

主な貢献と結果

1. スタビライザー・プロトコルの到達範囲の厳密性（Proposition 1）: 著者らは、スタビライザー操作（ポストセレクションや古典的な混合を含む）のみで構成されるプロトコルにおいて、受理された効果がスタビライザー効果の八面体の中に正確に収まることを証明した。これにより、境界が確立される：すなわち、この八面体の外側にある効果は、非スタビライザー・リソースを必要とする。

2. 無条件のリソース計上（Theorem 1）: 最初の境界は無条件である。これは、受理されたマジックが、個々のセルと自由集合とのダイヤモンド距離の総和によって抑えられることを示している：
   $$magic_c(F_A) \leq \frac{\sqrt{3}}{2} \sum_{x} \varepsilon_x$$
   これは、無視できない受理確率とともに一定量のマジックを達成するためには、プロトコル全体に一定の総リソースを分散させる必要があることを意味する。

3. 連結挿入による抑制（Theorem 2）: 主要な結果は、プロトコルが構造的条件（2–5）を満たす場合に、より強い境界を与える。リソースセルが弱く分散されている場合、受理されたマジックは指数関数的に抑制されることを示している。具体的には、もし閾値 $D_{ins}$ がコード距離 $d$ に対して線形にスケールし、1セルあたりの振幅 $\eta_{max}$ が $O(1/d)$ としてスケールする場合、次が成り立つ：
   $$p_{acc} \Delta_{stab}(\hat{E}_A) \leq \exp[-\Omega(d \log d)]$$
   この境界は、接続されたセルのクラスターに関する「正確な成分展開（exact-component expansion）」に基づいている。マジックに寄与するのは、閾値 $D_{ins}$ に達するクラスターのみである。

4. 閾値の認証（Propositions 2 & 3）: 論文は、閾値 $D_{ins}$ を認証するための回路レベルの手法を提供している。標準的な表面符号メモリが、1回の正確なスタビライザー測定を実行した後、「スプリット・リードアウト（分割読み出し）」（受理されたブランチに対して $X$ を測定し、拒否されたブランチに対して $Z$ を測定する）を行う場合、閾値が $D_{ins} = d_Z$（$Z$ 距離）として認証されることを示している。これは、データ量子ビット上に配置された、弱 $Z$ 回転の単一レイヤーに対して成立する。

5. 境界の飽和（Theorem 3）: 著者らは、最小重みの論理 $Z$ ストリングに沿って弱回転のレイヤーを適用する特定のプロトコルである「弱ストリング・プロトコル（weak-string protocol）」を提示している。このプロトコルはすべての仮定を満たし、主要項において境界を達成する：
   $$-\log(magic_c(F_A)) = d \log d + O(d)$$
   これは、指数関数的な抑制がこのクラスのプロトコルに対してタイトであることを裏付けている。

意義と主張
本論文は、トポロジカルな議論（アニオンの編み込みなど）に頼ることなく、固定されたコードブロックにおけるマジックのリソースコストを解決したと主張している。代わりに、マジックの抑制を、コード距離（どの程度の数のセルが協力して自由集合を離れる必要があるかを決定する）と、1セルあたりのリソース強度との相互作用に帰着させている。

• スケールの分離: 結果は、リソースの幾何学的フットプリントと、その「リソース・スケール」（自由集合からの距離）を区別している。小さな幾何学的フットプリントは、リカバリ・スケルトンによって論理代数が集中させられる場合（例：自由なクリフォード回路を介する場合）、低いリソースコストを保証するものではない。
• ポストセレクションの役割: 分析は、ポストセレクションがマジックを増幅するための抜け穴ではないことを明らかにしている。ブランチの仮説は、受理されたトランスクリプトを合計する前に、トランスクリプトごとに逐次的に課されるため、確率が消失しているブランチをマジック効果へと増幅させることはできない。増幅は、既存の自由なレイに沿ってブランチを移動させるだけである。
• 既知の構成法の限界: 本論文は、既知の耕作およびゲート実装（例：フォールド・トランスバーサル、マルチブロック、累積回転）を、それらがどの条件を違反しているかによって分類している。一定のマジックを達成する構成は、少なくとも一つの条件（例：ブロックを変更する、複数のブロックを使用する、あるいは有界次数制約を破る）を必ず違反すると論じている。
• 謙虚な姿勢: 著者らは、本論文の定理が、仮定に違反している既知の耕作プロトコル（フォールドや複数ブロックを使用するものなど）を禁止するものではないことを明示している。むしろ、それらのメカニズムを拒絶し、固定されたブロック上の弱く分散されたリソースのみに依存するプロトコルにおける、マジックの「価格」を定量化している。その結果は、この特定の領域におけるマジックが指数関数的に抑制されることを示している。