Pauli spectrum and nonstabilizerness of random fermionic Gaussian states

技術要約：ランダムなフェルミオン・ガウス状態のパウリ・スペクトルと非スタビライザー性

問題提起
本論文は、二次的なサッチデフ・イェ・キタエフ（SYK2）ハミルトニアンの固有状態や、ディープ・マッチゲート回路の出力を含むクラスである、ランダムなフェルミオン・ガウス状態における「マジック」（非スタビライザー性）の特性評価に取り組んでいる。これらの状態は古典的にシミュレーション可能であるが、近年の研究では、クリフォード群の観点から見て、これらは通常、最大級のマジックに近いことが示唆されている。しかし、そのマジックの詳細な構造、具体的には完全なパウリ・スペクトル、異なるレニー指数 $q$ におけるスタビライザー・レニー・エントロピー（SRE）の挙動、粒子数対称性の役割、およびサンプリングに基づく推定の信頼性は、依然として解明されていない。著者らは、スタビライザー純度の厳密な有限サイズ表現を導出し、正確なパウリ・スペクトルを再構成し、標準的なサンプリング手法が失敗する可能性のある領域におけるマジック密度の熱力学的挙動を分析することを目的としている。

手法
著者らは、3つの異なるランダムな純粋フェルミオン・ガウス状態のアンサンブルを分析している：

1. マヨラナ・ハール・アンサンブル（Majorana Haar Ensemble）： 共分散行列 $\Gamma = OJO^T$ を持つ、ペアリングが許容された状態。ここで $O$ は $SO(2N)$ 上のハール分布に従う。
2. 複素スレーター・アンサンブル（Complex Slater Ensemble）： 固定された充填率 $\nu = r/N$ を持つ数保存状態。これは複素グラスマン多様体 $Gr_{\mathbb{C}}(r, N)$ 上のハール分布に従うユニタリ回転に対応する。
3. 実スレーター・アンサンブル（Real Slater Ensemble）： 実ホッピングを持つ数保存状態。これは $Gr_{\mathbb{R}}(r, N)$ 上のハール分布に従う直交回転に対応する。

分析は以下の理論的ツールに基づいている：

• ウィックの定理とパラフィアン（Pfaffians）： パウリ期待値の二乗 $x_P^2$ を、共分散部分行列の行列式 ($\det \Gamma_A$) として表現する。
• ヤコビ積分とセルバーグ積分： アンサンブルの回転不変性を利用して、パウリ・スペクトルのモーメントをヤコビ・アンサンブル上のセルバーグ積分へと写像する。
• レプリカ理論とスキュー・ハウ・双対性（Skew Howe Duality）： 数保存アンサンブルにおいて、整数次モーメントを $SU(2q)$ 上の係数積分として表現し、問題をシステムサイズ $N$ に依存しない群積分へと還元する。
• 大偏差理論： マヨラナ・重みセクターの組合せ論的なエントロピーと、パウリ期待値のエネルギー的コストの競合を分析し、SREへの支配的な寄与を決定する。
• サンプリング分析： アニールド平均（対数を取る前に純度を平均化すること）と、直接的な特性サンプリングによる推定値を比較し、有限サンプル領域におけるバイアスを特定する。

主要な貢献と結果

1. 厳密なモーメントとパウリ・スペクトル（マヨラナ・アンサンブル）：

   • 著者らは、アンサンブル平均されたスタビライザー純度 $\mathbb{E}[\zeta_q]$ の閉じた有限-$N$表現を、セルバーグ積の有限和として導出している。
   • アンサンブル平均されたパウリ・スペクトルを、独立なベータ分布に従うランダム変数の積の混合として再構成し、これをマヨラナ・重みによって分解している。
   • スペクトルは階層構造を持つ：高重みの文字列からなる指数関数的に巨大な「バルク」は漸近的に対数正規分布に従い、稀な低重みのテイルでは、期待値は多項式的にしか抑制されない。

2. $q_c = 2$ における凍結転移（Freezing Transition）：

   • レニー指数 $q_c = 2$ において相転移が発生する。
   • $q \le 2$ の場合、マジック密度は中心部（高重み）のセクターによって支配される。
   • $q > 2$ の場合、マジック密度は境界セクター（低重みの文字列、具体的には重み2のマヨラナ文字列とその補集合）によって支配される。
   • その結果、アニールド・マジック密度 $D_q = \lim_{N\to\infty} M_q/N$ は、$q > 2$ において $1/(q-1)$ へと「凍結」する。これは、恒等演算子やパリティ演算子を除去した後でも持続し、フィルタリングによって密度が1に回復する典型的なハール乱状態とは異なる性質である。

3. $q > 2$ における直接サンプリングの失敗：

   • 本論文は、直接的な特性サンプリング（$x_P^2$ に比例する確率でパウリ文字列を抽出すること）が、多項式リソースを用いて $q > 2$ の場合のフィルタリングされたSREを推定することに失敗することを実証している。
   • 重み2のセクターが平均純度を支配しているものの、サンプリング分布下でのそれらの合計確率は指数関数的に小さい（$\sim 2N/2^N$）。
   • 直接サンプリングはこれらの稀な文字列を見逃すため、正しい $1/(q-1)$ ではなく、典型的な状態の値である1という見かけのマジック密度を示す。これが、以前の数値報告（例：$q=3$ の場合）における不一致の原因である。

4. 数保存アンサンブルとSYK2との関連：

   • 固定された充填率において、整数 $q$ における平均スタビライザー純度は $SU(2q)$ 上の積分として表現される。
   • $q=2$ において、複素スレーター・アンサンブルが厳密に評価され、既知の結果が回収される。
   • 著者らは、これらのアンサンブルと二次的SYK2モデルの基底状態（複素の場合はGUE、実数の場合はGOE）との間の辞書を確立している。
   • 拡張的なマジック密度はすべてのアンサンブル間で同一であるが、劣次的な補正（$N$ に関する代数項）が、マヨラナ、複素スレーター、および実スレーターの各アンサンブルを区別する。

5. 部分トレース下のマジック：

   • モードの割合 $\kappa$ が破棄された場合の、マジックの堅牢性を調査している。
   • 減少した状態が、高い確率でマジカルである（スタビライザー多面体の外にある）と認定される閾値 $\kappa_G^\star \approx 0.7613$ を導出している。
   • この閾値は、ハール乱状態における $\kappa = 2/3$ の転移よりも厳密に高い。したがって、古典的にシミュレーション可能であるにもかかわらず、ランダムなガウス状態は、一般的なハール乱状態よりも広い範囲の情報損失に対して、マジックを保持している。

6. アニールド平均とクエンチ平均：

   • マヨラナおよび半充填の複素スレーター・アンサンブルについて、アニールドおよびクエンチされたSREが、同じ拡張係数（$N/(q-1)$）を共有することを証明している（$q \ge 2$ の場合）。その差は劣拡張的（$O(\log N)$）であり、アニールドの結果が典型的な状態を記述していることを裏付けている。

意義と主張
本論文は、ランダムなフェルミオン・ガウス状態のパウリ・スペクトルとスタビライザー・エントロピーに関する初の厳密な特性評価を提供し、これらのシステムにおけるマジックの構造を解明したと主張している。主な主張は以下の通りである：

• 厳密性： 以前の数値的研究で一般的であった近似を避け、モーメントと完全なスペクトルのための厳密な有限-$N$公式を導出した。
• 凍結のメカニズム： $q > 2$ におけるSREの凍結が、稀な低重みのマヨラナ文字列によって駆動されていることを特定した。これは、フル・ヒルベルト空間のハール状態における恒等文字列の支配とは異なるメカニズムである。
• サンプリングの限界： 標準的なサンプリング手法は、支配的な稀な文字列の確率が指数関数的に小さいため、高次のSREを推定するには不十分であることを厳密に示した。
• マジックの堅牢性： ランダムなガウス状態は、ジェネリックなハール乱状態よりも広い範囲の情報損失（部分トレース）に対して、より強固な形式のマジックを保持していることを確立した。これは、古典的にシミュレーション可能な状態は複雑さや堅牢性が低いという直感に疑問を投げかけるものである。
• SYK2辞書： マジックの性質における劣次的な補正を通じて、異なる二次的SYK2モデルの基底状態を区別するための分析的枠組みを提供した。

著者らは、これらすべてのアンサンブルにおいて拡張的なマジック密度は普遍的であるが、詳細なスペクトル構造と有限サイズ補正が、自由フェルミオン系における非スタビライザー性の洗練された分類を提供すると結論付けている。