技術要約：スタビライザー統計力学

問題提起

「マジック」（非スタビライザー性）を定量化および分類することは、フォールトトレラント量子計算における中心的な課題である。なぜなら、マジックは、古典的にシミュレート可能なスタビライザー力学を超えて普遍性を達成するために必要なリソースだからである。既存の尺度には、永続的なトレードオフが存在する：

1. 計算量的に手に負えない尺度： ロバストネス・オブ・マジック（robustness of magic）、スタビライザー・エクステント（stabilizer extent）、相対エントロピーなどの忠実な尺度は、量子ビット数に対して超指数関数的に増大するスタビライザー分解の最適化を必要とするため、大規模なシステムには適用できない。
2. 構造的に限定された尺度： $\alpha$-スタビライザー・レニーエントロピー（SRE）のような計算可能な尺度は、ベル・サンプリングを通じて効率的に推定できるが、パウリ・スペクトルの単一のモーメントしか探索できない。これらは、低次のモーメントが同一であっても、マジックの分布が構造的に異なる状態（例：集中型か拡散型か）を区別できない。
3. 粗い尺度： スタビライザー・ヌリティ（stabilizer nullity）は加法的であり、かつ忠実ではあるが、ほとんどの状態でスタビライザー群が自明となるため、大多数の状態を区別することができない。

さらに、マジック状態の分類は、「擬似マジック（pseudomagic）」アンサンブルによって複雑化している。これは、マジック含有量が低い状態が、高いマジックを持つ状態と計算量的に区別がつかなくなる現象である。有用なフレームワークは、マジックを定量化するだけでなく、明確に特徴付けられた限界を備えた分類能力を提供しなければならない。

手法

著者らは、**「スタビライザー統計力学」と呼ばれるフレームワークを提案する。これは、量子状態のパウリ・スペクトラムを、「パウリ・ガス（Pauli gas）」**と呼ばれる仮想的な多体系のエネルギー準位へと写像するものである。

コアとなる構成

1. パウリ・ガス： $n$ 量子ビットの状態 $|\psi\rangle$ に対して、$4^n$ 個のパウリ・ストリングの期待値 $\text{Tr}(\psi P)$ を、$4^n$ 個の二準位粒子からなる系のエネルギー・スペクトラムとして解釈する。
   • 視点1： スペクトラムは、POVM集合から構築されるハミルトニアン $\hat{H}(\psi)$ のエネルギー準位に対応する。
   • 視点2： スケーリングされた状態は、パウリ演算子が粒子に割り当てるエネルギー $E_{P,\pm} = 1 \pm \text{Tr}(\psi P)$ を持つハミルトニアンとして機能する。
2. スタビライザー分配関数 (SPF)： このパウリ・ガスの正準分配関数として定義される：
   $$Z_\beta(\psi) := e^{-\beta} \sum_{x \in \text{Spec}(\psi)} \cosh(\beta x)$$
   ここで、$\beta$ は逆温度のようなパラメータとして機能する。SPFは、パウリ・スペクトラムの全統計構造を包含する解析的なモーメント母関数である。
3. スタビライザー・ワーク ($W_\beta$)： 状態のアンサンブルと唯一のスタビライザー参照状態との自由エネルギー差から導かれるマジック・モノトーンである：
   $$W_\beta(\psi) := -\log Z^c_\beta(\psi) + \log Z^c_\beta(\text{STAB}_n)$$
   ここで、$Z^c_\beta$ は「コア」SPF（主要な項を除去したもの）である。

計算へのアクセス

SPFおよび $W_\beta$ は、スペクトラムの重みに従ってパウリ・ストリングをサンプリングするプリミティブである**ベル・サンプリング（Bell sampling）**を通じて、効率的に推定可能である。本フレームワークは集中性の保証を提供し、典型的な状態（例：ハール乱数状態）がアンサンブル平均に近いSPF値を持つことを保証する。

主な貢献と結果

1. ヒルベルト空間全体にわたる解析的特性化

著者らは、いくつかの代表的な状態族に対して、厳密なアンサンブル平均SPF式と集中性の保証を導出した：

• スタビライザー状態： SPFは一意であり、システムサイズのみによって決定される閉形式をとる。
• ハール乱数状態： SPFは、システム次元によって決定される値の周囲に鋭く集中し、その偏差は量子ビット数に対して二重指数関数的に抑制される。
• $\nu$-圧縮可能状態： スタビライザー・ヌリティ $\nu$ を持つ状態（$t$-ドープ状態を含む）は、$\nu$ に依存するSPF値を示し、$\nu$-ヌリティの認証を可能にする。
• 擬似マジック状態： 本フレームワークは、部分位相状態（SPS）の正確なSPF公式を提供する。これは、SPSが多くの指標においてハール乱数状態を模倣する一方で、そのSPF曲線は異なることを示している。ただし、ギャップが指数関数的に狭まるにつれ、両者の区別は困難になる。

2. 統一的モノトーンとしてのスタビライザー・ワーク

$W_\beta$ は、すべての $\beta$ に対して、忠実、劣加法的、かつクリフォード不変なマジック・モノトーンであることが証明されている。

• 補間： $\beta$ が変化するにつれ、$W_\beta$ は確立された尺度を連続的に補間する：
  • 高温 ($\beta \to 0$)： $W_\beta$ はスタビライザー 2-レニーエントロピー（第2モーメントに関連）を回収する。
  • 低温 ($\beta \to \infty$)： $W_\beta$ はスタビライザー・ヌリティ（サポート・サイズに関連）に収束する。
• 情報量： 固定インデックスのSREとは異なり、$W_\beta$ の完全な温度プロファイルは、単一のモーメントでは見落とされる、マジック分布の構造的な差異を捉えるための、より厳密に多くの情報を持つ。

3. 操作的応用

本フレームワークは以下の領域に適用される：

• 低ランク・スタビライザー・シミュレーション： $W_\beta$ はスタビライザー・フィデリティの上界を提供し、これがスタビライザー・ランク（シミュレーション・コスト）の下限を与える。これにより、ある状態がどのようなスタビライザー状態にも近くないことを認証する方法を提供する。
• リソース相互変換： ファミリー $\{W_\beta\}$ は、ワンショット相互変換境界のための独立したウィットネス（証拠）のセットを提供する。もし曲線 $W_\beta(\psi)$ と $W_\beta(\phi)$ が交差する場合、それらの状態はフリー操作の下で比較不能であり、これは単一のモノトーンでは検出できない条件である。
• 量子化学 (H$_2$ 解離)： 水素分子の解離への適用において、$W_\beta$ は基底状態の非スタビライザー性を追跡する。パラメータ $\beta$ によって解像度を調整でき、固定インデックスのSREでは平均化されてしまうマジックのランドスケープの特徴（例：強相関領域におけるピーク）を明らかにできる。
• 多体系物理学 (量子イジングモデル)： 本フレームワークは、イジング模型の基底状態の非スタビライザー性を相図全体にわたってマッピングする。相互作用項と磁場項の競争によって生成される、臨界点付近の非スタビライザー性の「リッジ（隆起）」を特定し、それは可積分な端点では消失する。

意義と主張

論文は、スタビライザー統計力学が単なる比喩ではなく、マジックの定量化という問題を、状態の微視的な特性からアンサンブルのマクロな特性へと変換する実用的なツールキットであることを主張している。

• 統合： 以前は断絶していたモノトーン（SREとヌリティ）を、単一の熱力学的対象の極限として統合する。
• 解像度： 計算可能性と構造的感度の間のトレードオフを解決する。パウリ・スペクトラムをアンサンブルとして扱うことで、指数関数的に巨大なスペクトラムから、指数関数的な最適化を必要とせずに、マクロで操作的に意味のある量を抽出する。
• 分類能力： 本フレームワークはマジック状態の分類器として機能し、異なる普遍性クラス（例：ハール乱数 vs 擬似マジック）を区別し、異なる状態アンサンブルにおけるマジックの「隠蔽モード」を特定することができる。
• 拡張性： 著者らは、このフレームワークが混合状態（凸被覆を介して）や量子チャネル（Choi行列を介して）へ自然に拡張できることを述べており、マジックの生成と消費に関する、より広範な熱力学的会計を示唆している。

本研究は、スタビライザー分配関数を、単一のスカラー尺度では解決できないマジックの特性にアクセスするための、統計力学的なルートを提供する基本的な診断ツールとして位置づけている。