Certified Fidelity Susceptibility from Classical Shadows

技術要約：古典的シャドウからの認証付き忠実度感受率

問題提起
忠実度感受率（$\chi_F$）は、秩序パラメータの事前知識なしに検出能力を提供する、量子相転移および量子メトロロジーのための重要なプローブとして機能する。しかし、量子デバイス上でのその直接的な評価は、主に2つの課題によって阻害されている：

1. スペクトル要件： 標準的な摂動展開は、全励起状態のスペクトルと遷移行列要素を必要とするが、これらは典型的な基底状態準備のシナリオではアクセス不可能である。
2. ノイズ増幅： 近接する基底状態間の忠実度から $\chi_F$ を推定する有限差分法は、統計的ノイズを増幅させる。
   古典的シャドウ・トモグラフィーは、少数の測定から多くの観測量を推定する経路を提供するが、単一コピーの参照基底状態の測定から $\chi_F$ を直接再構成することは依然として未解決の問題であった。変分アプローチや量子特異値変換（QSVT）などの既存の手法は、深い回路を必要とするか、あるいは実用的な設定における保証を欠いている。

手法
著者は、クリロフ部分空間法と、忠実度感受率のレゾルベントに基づく再定式化を統合したフレームワークを提案している。コアとなる戦略は、非局所的な演算子の問題を、古典的なモーメント再構成問題へと変換することである。

1. レゾルベントによる再定式化：
   全スペクトルにわたる展開を行う代わりに、著者は連結摂動演算子 $B = H_I - \langle \Psi_0 | H_I | \Psi_0 \rangle I$ と、状態 $|\phi\rangle = B|\Psi_0\rangle$ を定義する。忠実度感受率は以下のように書き換えられる：
   $$\chi_F = \langle \phi | (K^+)^2 | \phi \rangle$$
   ここで、$K = H - E_0 I$ であり、$K^+$ はムーア・ペンローズ擬似逆行列である。この定式化は、励起状態への明示的な依存を回避しつつ、非局所的な演算子 $(K^+)^2$ を保持している。

2. クリロフ部分空間近似：
   この非局所的な演算子を扱うために、本手法はベクトル $|y\rangle = K^+|\phi\rangle$ を、次数 $n$ のクリロフ部分空間 $\mathcal{V}_n = \text{span}\{K|\phi\rangle, \dots, K^n|\phi\rangle\}$ 内で近似する。厳密な感受率はノルムの二乗 $\|y\|^2$ である。近似 $\chi_F^{(n)}$ は、$|y\rangle$ の $\mathcal{V}_n$ への直交射影のノルムの二乗として定義される。

これにより、単調な下限の階層が得られる：
$$0 \le \chi_F^{(1)} \le \chi_F^{(2)} \le \dots \le \chi_F$$
$n$ 次の近似は、応答モーメント $M_k = \langle \phi | K^k | \phi \rangle$ によって完全に決定される。具体的には、$\chi_F^{(n)} = \mathbf{m}_n^\dagger \Gamma_n^{-1} \mathbf{m}_n$ である。ここで、$\mathbf{m}_n$ はモーメントベクトルであり、$\Gamma_n$ は $M_0$ から $M_{2n}$ までのモーメントから構成されるグラム（ハンケル）行列である。

3. 古典的シャドウ推定：
   各モーメント $M_k$ は基底状態密度行列 $\rho_0$ の線形汎関数であるため、これらは単一のランダム化された単一コピー測定（古典的シャドウ）から同時に推定可能である。プロトコルでは、スナップショットを生成するために、独立したランダムな単一量子ビット・パウリ測定を使用する。

著者は、推定されたモーメントが一様な誤差境界 $\eta$ を満たす場合、真の忠実度感受率が（確率 $1-\delta$ で）以下を満たすことを保証する、認証付き下限 $B^{(n)}$ を導出している：
$$\chi_F \ge \Omega^{-2} \left[ \tilde{\chi}_F^{(n)} - L_n \eta - R_n \eta^2 \right]$$
ここで、$\tilde{\chi}_F^{(n)}$ はノイズを含むモーメントからの再構成値であり、$L_n, R_n$ は推定されたグラム行列の条件数に依存するペナルティ項である。

主な結果と理論的保証

• 単調性と認証： 本手法は、厳密に真の値へと単調に増加する、一連の認証付き下限を提供する。認証は、シャドウデータの統計的性質に基づいて厳格に行われる。
• 幾何学的収束： 誤差 $\chi_F - \chi_F^{(n)}$ は、クリロフ次数 $n$ とともに幾何学的に収束する。収束率は、全ハミルトニアンのスペクトルではなく、応答スペクトルの条件数 $\kappa_\phi$ によって支配されるため、スペクトルが疎な応答を持つシステムにおいて急速な収束が可能になる可能性がある。
• サンプル複雑性： $2n+1$ 個のモーメントを同時に推定するために必要なショット数は、モーメントの数に対して対数的に（$O(\log n)$）スケールするため、中程度のクリロフ次数に対して効率的である。
• 堅牢性： 本フレームワークは不完全な基底状態準備にも拡張可能であり、修正された誤差予算を用いて認証が維持される。

応用
論文では、2つの即時的な応用を示している：

1. 量子メトロロジー： 純粋状態に対する量子フィッシャー情報量（QFI）は $F_\lambda = 4\chi_F$ であるため、$\chi_F$ の認証付き下限は、QFIに対する統計的に認証された下限を直接導く。
2. 線形静的感受率： 本構成は、静的な外部場への応答を定量化する線形静的感受率（$\chi_O$）にも一般化される。これには、シフトされたクリロフ部分空間とモーメントが必要であるが、同様の単調な下限階層をもたらす。

意義と主張
著者は、本研究が、基底状態のランダム化された単一コピー測定のみを使用して忠実度感受率を認証する初めての手法を提供すると主張しており、励起状態のスペクトルや深い回路を必要としない。

• 運用的価値： 単調に収束する下限の階層を提供することで、本手法は、近未来の量子デバイス上での量子相転移の検出やメトロロジー的有用性の評価のための実用的なツールを提供する。
• 効率性： このアプローチは、量子推定問題を古典的なモーメント再構成問題へと還元し、古典的シャドウ・トモグラフィーの効率性を活用している。
• 将来の方向性： 著者は、現在の研究が特定の関数（$1/x^2$ および $1/x$）に焦点を当てているものの、フレームワークは一般的な関数 $f(x)$ や混合状態へと拡張可能であることを述べている。また、サンプル複雑性と測定アンサンブル（パウリ vs クリフォード）の選択とのトレードオフについても、今後の分析課題として挙げている。

結論として、クリロフ手法をレゾルベント定式化および古典的シャドウと統合することは、量子ハードウェア上の量子系を特性評価するための、堅牢でスケーラブルかつ認証可能な経路を提供すると述べている。