技術要約：ユニバーサル誤り耐性回路における論理エラー率の、マジックを使用しない認証

1. 問題提起

量子ハードウェアがNISQ（Noisy Intermediate-Scale Quantum）時代から誤り耐性（fault-tolerant）の時代へと移行するにつれ、ユニバーサルな論理回路の性能を認証する能力が、極めて重要なボトルネックとなっています。小規模な符号化回路の実証は進んでいますが、スケーラブルな認証手法は不足しています。

現在の手法には、以下のような重大な制限があります：

• 古典シミュレーション： ユニバーサル回路は非クリフォードゲート（例：$T$ゲート）を必要としますが、これらは理想的な出力を古典的に計算することを不可能にします。その結果、状態トモグラフィーやフィデリティ推定のような参照ベースの手法は、システムサイズが増大するにつれて指数関数的に高コストになります。
• リソース消費： 誤り耐性アーキテクチャにおいて、非クリフォードゲートは「マジック状態」の注入によって実装されますが、これは計算において最も高価なリソースです。認証プロトコルがマジック状態を消費してしまうと、計算そのものと貴重なリソースを奪い合うことになります。
• コンポーネント vs システム： 既存の手法は、個々のコンポーネント（例：ランダム化ベンチマーキングによるゲートフィデリティ）を特性評価したり、ノイズモデルを学習したりするものです。これらは、特定の回路が定義されたエラー許容度を満たしているかどうかの直接的な判定ではなく、間接的な推論を提供することに留まります。
• スケーラability： 量子投影ノイズに対して小さなエラー率を解像することに依存する手法は、エラー率に反比例して必要なショット数が増加するため、高品質な誤り耐性デバイスに対しては非効率的になります。

本論文は、コードおよびデコーダに依存せず、マジック状態を消費せず、回路サイズに対して線形にスケールし、かつ理想的な出力を知ることなくユーザー定義のエラー許容度 $p^*_L$ に対して統計的な判定を下すことができる認証プロトコルの必要性に対処しています。

2. 手法：マジックフリー認証

著者らは、確率的なパウリノイズ下ではターゲット回路と区別がつかないものの、古典的にシミュレート可能な**トラップ回路（trap circuits）**に基づくプロトコルを提案しています。

A. トラップの構成

ターゲット回路は、クリフォードゲートと$T$ゲート（マジック状態注入により実装）にコンパイルされたユニバーサル誤り耐性回路です。

• 置換： ターゲット回路内のすべての注入されたマジック状態 $|T\rangle$ を、スタビライザーリソース状態に置き換えることで、トラップ回路を構築します。
• 決定論的な出力： トラップ回路はクリフォードユニタリ（$U_{C,c}$）となるよう修正されます。入力状態は、$U_{C,c}^\dagger O_q U_{C,c}$ の$+1$固有状態として準備されます。ここで $O_q$ は、論理量子ビット $q$ 上の論理パウリ演算子（$X, Y,$ または $Z$）です。
• 修正の処理： ターゲット回路では、測定結果に基づいて条件付きで修正が適用されます。トラップ回路では、一様にサンプリングされたビット列 $c$ に基づいて無条件に修正が適用されます。これにより、実行中の古典的なフィードフォワードを必要とせずに、トラップアンサンブルがターゲットの修正分布を再現することが可能になります。
• 測定： 回路の最後に、論理パウリ $O_q$ が測定されます。ノイズがない場合、結果は決定論的（0として記録）です。反転した結果（1として記録）は、論理エラーが発生したことを示します。

B. 理論的基礎

このプロトコルは、ノイズがすべての回路箇所（ゲート、アイドル、測定）において**確率的パウリ（stochastic Pauli）**であるという仮定に基づいています。このモデルの下では：

1. 故障統計の等価性： 確率的パウリチャネルはあらゆる入力状態に対して同一に作用するため、スタビライザー状態の準備ノイズがマジック状態のノイズと同等以上に悪くない限り、ターゲット（マジック状態あり）とトラップ（スタビライザー状態あり）の間で、故障構成（物理エラー）の分布は同一となります。
2. エラー伝搬： パウリエラーは、状態に依存することなく、共役（conjugation）を通じてクリフォードゲートを伝搬します。したがって、特定の故障構成は、ターゲットとトラップの両方において同じ残留論理パウリエラーを生じさせます。
3. 検出ロジック： $O_q$ を測定するトラップは、残留エラーが $O_q$ と反交換する場合にのみ、量子ビット $q$ 上の論理エラーを検出します。任意の非単位パウリエラーは $\{X, Y, Z\}$ のうち正確に2つと反交換するため、各論理量子ビットに対して3つのトラップ（各パウリ用）を実行することで、エラー確率の再構成が可能になります。

C. 上限値

ターゲット回路の論理エラー率 $p_L$ は、トラップ回路の平均失敗率によって抑えられます：
$$p_L \leq \bar{p}_L \equiv \frac{1}{2} \sum_{q=1}^{K} \sum_{O \in \{X,Y,Z\}} p(T^O_q)$$
ここで $K$ は全論理量子ビット数（データ＋アンシラ）であり、$p(T^O_q)$ は量子ビット $q$ で $O$ を測定するトラップの失敗率です。この上界は、合一境界（union bound）とトラップ構成の性質を用いて導出されます。

D. 運用プロトコル（閾値認証）

正確な $\bar{p}_L$ の値を推定する代わりに（これはエラー率が消失するにつれて指数関数的に多くのショットを必要とします）、プロトコルは仮説検定を行います。

• 仮説： デバイスは、論理エラー率が事前定義された許容度 $p^*_L$ を下回る状態で回路を実行している。
• 手順： ターゲット回路とトラップ回路を、同一のデバイス上でランダムな順序で実行します。予算 $M_C$ 回のショット数における総トラップ失敗数 $m$ をカウントします。
• 判定： もし $m \leq w$ （較正された失敗許容度）であれば、信頼度 $1-\delta$ でデバイスは認証されます。もし $m > w$ であれば、認証されません。
• サンプル複雑性： 必要なショット予算は $M_C \sim O(K/p^*_L)$ とスケールします。決定的なことは、このコストは実際のデバイスの論理エラー率とは切り離されている点です。それは回路サイズとユーザー定義の許容度のみに依存し、ハードウェアがいかに「優れているか」には依存しません。

3. 主な貢献

1. マジックフリー・プロトコル： 非クリフォードリソース（マジック状態）を一切消費しない認証手法であり、最も高価なリソースである計算との競合を回避します。
2. コードおよびデコーダに依存しない： 実験中にデコーダが固定されている限り、使用されている特定の量子誤り訂正符号やデコーディングアルゴリズムの知識を必要としません。
3. 線形スケーリング： サンプル複雑性は論理量子ビット数および非クリフォードゲート数に対して線形に増加し、論理エラー率自体からは独立しています。
4. 統計的保証： 偽陽性（$\delta$）および偽陰性（$\gamma$）の率に関する厳密な境界を提供し、運用目標とセキュリティ閾値の間の明確な「無関心領域（indifference zone）」を定義します。
5. 理論的境界： 論理エラー率の上界を証明し、そのタイトネス（緊密さ）を分析しています。また、回路依存の要因（読み出し構造およびエラー伝搬）によって、その緩さが制限されることを示しています。

4. 結果とシミュレーション

著者らは、Steane符号化回路の数値シミュレーションを用いてプロトコルを実証しています。

• マジック状態注入（MSI）ガジェット： $T$ ゲート注入ガジェットのシミュレーションにおいて、導出された上界 $\bar{p}_L$ が、量子状態トモグラフィーによって再構成された真の論理インフィデリティ（infidelity）を期待通り $O(p^2)$ の誤り耐性スケーリングで追跡していることが示されました。トラップ法は、低エラー率におけるショットのスケーリングのボトルネックを回避することに成功しました。
• ノイズバイアスへの堅牢性： プロクトは、純粋な $X$ ノイズから純粋な $Z$ ノイズまでのバイアスノイズモデルの下でも効果的でした。そこでは、個々のトラップがノイズ伝搬に対して異なる反応を示しましたが、集計された上界は依然として有効でした。
• 量子フーリエ変換（QFT）： 完全な論理アルゴリズム（2データ量子ビット、3注入のQFT）をシミュレートしました。プロトコルは、許容度 $p^*_L = 10^{-5}$ に対して回路を認証するためにショット予算を適切に較正できました。シミュレーションにより、認証確率曲線が予測通りに振る舞い、運用比 $r$ が 1 に近づくにつれて無関心領域が狭まることが確認されました。

5. 意義と主張

本論文は、マジックフリー認証が「スケーラビリティのパラドックス」を解決すると主張しています。すなわち、デバイスが向上し論理エラー率が低下するにつれて、従来の検証が過度に高価になるという問題です。エラー率を正確に「推定」することから、ユーザー定義の閾値を「検証」することへと目標をシフトさせることで、このプロトコルは将来の大規模量子コンピュータにおけるユニバーサル回路の厳密な認証を可能にします。

著者らは以下を強調しています：

• この手法は、確率的パウリノイズの「マジック盲目性（magic-blindness）」という性質に依拠しており、これは誤り耐性領域における実効的な論理ノイズチャネルにおいて保持される特性です。
• プロトコルは、論理的な非クリフォードゲートやアルゴリズムを既に実証している現在のプラットフォーム（捕捉イオン、超伝導回路、中性原子など）での実験的実装が可能です。
• これは、コンポーネントレベルのベンチマークが相関エラーやフルシステムのエラーモードを捉えきれない可能性があるのと対照的に、回路全体の性能に対する直接的な統計的判定を提供します。

本研究は、ノイズモデルを特性評価したりハードウェアを改善したりすることを目的としているのではなく、与えられたハードウェア実装が特定の誤り耐性アルゴリズムの要件を満たしていることを認証するためのツールを提供するものです。