Tomography-free quantum diagnostics of dissipative quantum chaos

技術要約：散逸的量子カオスにおけるトモグラフィーフリーな量子診断

問題提起
開いた（散逸的な）量子系におけるカオス的ダイナミクスと可積分なダイナミクスの区別は、量子多体系物理学における中心的な課題である。孤立系では、レベル反発やスペクトル形式因子（SFF）といったスペクトル特性によって診断されるが、開いた系は非エルミート生成子（例：リウヴィリアン）によって支配される。既存の散逸的カオスの診断法は、複素間隔比（CSR）やChalker–Mehlig（CM）オーバーラップに依存しており、これらは固有ベクトルの非直交性を定量化するものである。しかし、これらのシグネチャを実験的にアクセスする場合、通常はフルプロセス・トモグラフィー（指数関数的に増大する $O(16^n)$ のパラメータを必要とする）や、再構成されたマップの古典的な対角化が必要となる。さらに、近年の知見によれば、非エルミート生成子の特異値統計（例：Sachdev–Ye–Kitaevモデルにおけるもの）は、カオス的ダイナミクスと可積分なダイナミクスを区別できないことが示されており、全状態再構成を必要とせずにスペクトルと固有ベクトルの相互作用を捉える新しい観測量の必要性が生じている。

手法
著者らは、**プロパゲーター・ノルム形式因子（propagator-norm form factor）**に基づく「トモグラフィーフリー」な診断法を導入している。これは以下のように定義される：
$$\Phi(t; \theta) = \frac{1}{D} \| e^{t e^{i\theta} L} \|_F^2$$
ここで、$L$ は非エルミート生成子であり、$D$ はリウヴィリアンスペースの次元、$\theta$ は複素平面を回転させる。核となる観測量は、過剰量（excess） $X(t; \theta) = \Phi(t; \theta) - \Phi_0(t; \theta)$ である。ここで $\Phi_0$ は $L$ の固有値のみによって決定されるベースラインである。

本論文では、この量を解釈するための3つの解析的枠組みを確立している：

1. 短時間挙動： トレース展開により、過剰量の初期の二次成長をヘンリッチの正規性からの逸脱（演算子とその固有値のフロベニウスノルムの差の二乗）に関連付ける。
2. ランダム行列理論（RMT）の極限： 著者らは、複素Ginibreアンサンブルおよび楕円Ginibreアンサンブルに対する厳密な曲線を導出している。大次元極限において、ベースラインに対する過剰量は漸近的に線形なランプ（ramp）を示す。
3. 有限サイズ近似： 平面次数の近似を用いて、これらのRMTの結果を有限サイズの非エルミートSYKモデルに接続し、数値データに対して理論的な曲線の妥当性を検証している。

測定プロトコル
論文では、フルトモグラフィーを回避して $\Phi$ を測定する2つのルートを特定している：

• ブロックエンコーディング： プロパゲーター $M = e^{t e^{i\theta} L}$ をユニタリ・ブロックエンコードする場合、最大混合入力に対する受理確率は $\Phi$ に比例する。
• Choi純粋度： 物理的なチャネル（$\theta=0$）の場合、$\Phi$ はChoi状態の正規化された純粋度に相当し、2コピーのSWAPテストを介してアクセス可能である。
  著者らは、$\Phi$ は測定可能であるが、ベースライン $\Phi_0$ の減算には正確なスペクトル情報が必要であり、それが別途の計算上の課題として残ることを強調している。

主要な結果

• 解析的曲線： 論文は「Ginibre曲線」 $X/\Phi_0 = t I_0(2t)/I_1(2t) - 1$ を導出し、Ginibreクラスにおけるカオス的ダイナミクスが漸近的に線形なランプに従うことを示している。楕円アンサンブルの解は、Ginibreのランプと、過剰量がゼロとなる正規極限との間の連続的な補間を提供する。
• 分類性能： 3つの特徴量（大きさ $\chi$、後期の対数対数スロープ $s^*$、および角度異方性 $A$）に基づく決定則を用いて、9つのアンサンブルにおける45の新規インスタンスをテストした。
  • このルールは、38のインスタンスを正しく分類し、7つのインスタンス（カオス的閾値と可積分な閾値の間の「グレーゾーン」に位置するもの）については棄権した。
  • 決定的なことに、テストされた範囲内において誤ったクラス割り当てはゼロであった。
  • プロファイルの形状（特にスロープ $s^*$）は、大きさ $\chi$ よりも識別能が高かった。$\chi$ は、可積分な非正規系（例：$q=2$ SYK）をカオス的なものから分離することに失敗した。
• 限界： この手法は「解像度の障壁」に直面している。$O(1)$ スケールで固有ベクトルへのシグネチャにアクセスできる一方で、$D^{-1/2}$ でスケールする微細なスペクトル統計（CSRなど）を解像することはできない。また、構造化された局所的散逸連鎖（例：Hatano–Nelsonやデフェージング連鎖）においては、スペクトル間隔のシグネチャは分離する可能性があるが、プロファイルの傾きは分離しない場合があり、本手法がすべての構造化されたシステムに対する普遍的な分類器ではないことを示唆している。

意義と主張
本論文は、非正規ダイナミクス、ランダム行列理論、および量子測定を接続するフレームワークを提供することを主張している。その主な貢献は、プロパゲーター・ノルム形式因子のプロファイル形状が、大きさ（magnitude）以上に、カオス的アンサンブルと可積分なアンサンブルを区別する上で補完的な役割を果たすことを示した点にある。

著者らは、自らの解析的結果および古典的なサンプリングテストの範囲について、以下の通り明示している：

• 解析的な結果と古典的なサンプリングテストを、未実装のゲートレベル合成および未解決の大規模システムにおけるベースライン再構成から区別している。
• 普遍的なカオス分類器を構築したと主張しているのではなく、特定のアンサンブル（ランダムなリウヴィリアン、SYKモデル）に対して有効な診断ツールを提供しており、構造化された準1次元系における既知の限界についても言及している。
• $\Phi$ はトモグラフィーなしでアクセス可能であるが、エンドツーエンドの効率的な分類器を実現するには、正確なベースライン再構成（$\Phi_0$）という別の問題を解決する必要があり、これが大規模なシステムにおいては依然として未解決の課題であることを確立している。

要約すると、本論文は、非正規ダイナミクス、ランダム行列理論、および量子測定を接続する、トモグラフィーフリーで測定可能な観測量を提案している。これは解析的理論と数値的ベンチマークによって検証されており、その適用範囲の境界と、実験的実装に向けた残されたハードルを慎重に記述しながら、固有ベクトルのシグネチャを捉える手法を提示している。