Quantum Chaos Diagnostics for non-Hermitian Systems from Bi-Lanczos Krylov Dynamics

本論文は、複素固有値や直交性の欠如といった非エルミート系特有の課題を克服し、双 Lanczos アルゴリズムを用いて計算された Krylov 複雑性が、非エルミート Sachdev-Ye-Kitaev モデルやランダム行列アンサンブルにおいて、複素スペクトル統計と一致する量子カオスと可積分性の区別を可能にする信頼性の高い診断手法であることを示しています。

要約

1. 背景：なぜこの研究が必要なのか？

【従来の考え方：完璧な箱】
これまでの物理学では、量子システムを「外と遮断された完璧な箱」だと考えてきました。この箱の中では、エネルギーの保存則が成り立ち、数学的に扱いやすい（エルミート演算子と呼ばれる性質）状態でした。
この箱の中で「カオス（予測不能な動き）」を見つけるには、**「クリロフ複雑性（Krylov Complexity）」**という道具が非常に優秀でした。これは、ある状態が時間とともに「どれくらい複雑に広がり、迷路の奥深くまで進んだか」を測る指標です。カオスな系では、この指標が急激に上がってピークを作るのが特徴でした。

【現実の問題：漏れのある箱】
しかし、現実の量子システム（量子コンピュータや生物など）は、必ず周囲の環境とエネルギーや情報をやり取りしています。これを**「非エルミート系（Non-Hermitian）」と呼びます。
この「漏れのある箱」では、従来の「クリロフ複雑性」の計算方法が壊れてしまいます。まるで、「迷路の壁が透けていて、左右の足がバラバラに動いてしまう」**ような状態で、従来の道具では「カオスか、ただの単純な動きか」を見分けることができませんでした。

2. 解決策：双子の探検隊（バイ・ランチョス法）

著者たちは、この問題を解決するために**「バイ・ランチョス法（Bi-Lanczos algorithm）」**という新しいアプローチを使いました。

【アナロジー：双子の探検隊】

• 従来の方法（エルミート系）： 一人の探検家が、左右対称な迷路を歩きます。左足と右足がシンクロしているので、道順が簡単です。
• 新しい方法（非エルミート系）： 迷路が歪んでいて、左足と右足がバラバラに動きます。そこで、**「双子の探検隊」**を派遣します。
  • 一人は**「右足（右固有ベクトル）」**で迷路を歩きます。
  • もう一人は**「左足（左固有ベクトル）」**で迷路を歩きます。
  • 二人は常に**「お互いの位置を確認し合い（双直交性）」**、バランスを取りながら進みます。

この「双子の探検隊」が迷路（量子状態）を歩き回る様子を記録することで、初めて「漏れのある箱」の中でも正確に「複雑さ」を測れるようになりました。

3. 発見：カオスの「山」が見えた！

この新しい方法で実験（シミュレーション）を行ったところ、驚くべき結果が出ました。

• カオスな系（混沌）： 双子の探検隊が迷路を歩き始めると、ある時点で**「複雑さの指標」が急激に上昇し、大きな「山（ピーク）」を作ってから落ち着く**という、従来のカオス系と同じ特徴的なパターンが見られました。
• 積分可能系（秩序だった系）： 規則正しい迷路では、そのような「山」は作られず、ただ徐々に広がっていくだけでした。

つまり、「漏れのある箱」であっても、双子の探検隊を使えば、カオスな動きを見分けることができることが証明されたのです。

4. 普遍的な法則：迷路の「黄金比」

さらに面白い発見がありました。カオスな系でも、秩序だった系でも、この「双子の探検隊」が迷路を進む際の**「ステップの長さ」には、ある決まった比率（黄金比のようなもの）が共通して存在する**ことがわかりました。

• アナロジー： 迷路の「自分の足元の重さ（オンサイト項）」と「次のステップへの跳躍力（ホッピング項）」のバランスが、どんな系でも**「1対√2」**という不思議な関係で保たれているのです。
• これは、非エルミートという複雑な世界でも、**「カオス」や「秩序」を超えた、より深い物理的な法則（普遍性）**が働いていることを示唆しています。

5. まとめ：この研究の意義

この論文は、以下のような画期的な成果を上げています。

1. 新しい「カオス検知器」の開発： 環境とやり取りする現実の量子システムでも、カオスを見分ける強力な道具（バイ・ランチョス法によるクリロフ複雑性）が見つかった。
2. ** universality（普遍性）の確認：** サチャデフ・イ・キタエフ（SYK）モデルという複雑なモデルや、ランダム行列など、さまざまなシステムで同じ結果が得られ、これが「物理の法則」として通用する可能性が高いことがわかった。
3. 未来への応用： 量子コンピュータの誤り訂正や、生体システムのような複雑な開いた系を理解する上で、この「双子の探検隊」の考え方が重要な鍵になるでしょう。

一言で言うと：
「外とつながっている複雑な世界でも、『二人一組』でバランスを取りながら探検すれば、カオスな動きを見分けることができることがわかったよ！」という、物理学の新しい地図を描いた研究です。

技術概要

以下は、提示された論文「Quantum Chaos Diagnostics for non-Hermitian Systems from Bi-Lanczos Krylov Dynamics」の技術的な要約です。

論文概要

タイトル: Quantum Chaos Diagnostics for non-Hermitian Systems from Bi-Lanczos Krylov Dynamics
著者: Matteo Baggioli, Kyoung-Bum Huh, Hyun-Sik Jeong, Xuhao Jiang, Keun-Young Kim, Juan F. Pedraza
投稿日: 2026 年 2 月 10 日（arXiv:2508.13956v2）

---

1. 研究の背景と課題 (Problem)

量子カオスの普遍的な診断法（ユニバーサルなプローブ）の探索は、多体量子系の研究における中心的な課題です。

• エルミート系における成功: 閉じた系（エルミート系）では、クリロフ複雑性（Krylov Complexity: KC）が、スペクトル統計やアウト・オブ・タイム・オーダー・相関関数（OTOC）と一致する強力なカオス診断ツールとして確立されています。特に、熱場二重状態（TFD）から計算された KC は、カオス系において特徴的な「初期の急成長と明確なピーク」を示し、可積分系との区別が可能です。
• 非エルミート系における課題: 現実の開放量子系は非エルミート有効ハミルトニアンで記述されます。これまでに非エルミート系におけるスペクトル統計（複素固有値の分布）や複素間隔比（CSR）は、可積分系（2 次元ポアソン分布）とカオス系（Ginibre 分布）を区別できることが知られています。
• 未解決の問題: しかし、非エルミート系における KC の役割は未解明でした。従来のエルミート系向けの手法（特異値分解など）を単純に拡張すると、固有状態の双直交性（bi-orthogonality）や複素固有値の性質により、カオスと可積分性を正しく区別できないという重大な限界がありました。

2. 手法 (Methodology)

本研究では、非エルミート系の固有構造を自然に捉える**双 Lanczos アルゴリズム（Bi-Lanczos algorithm）**を用いて、非エルミート系におけるクリロフ複雑性を計算・解析しました。

• 双 Lanczos アルゴリズムの適用:
  • 標準的な Lanczos 法は直交基底を生成しますが、非エルミート系では左固有ベクトルと右固有ベクトルが異なるため、双直交基底 $\{|p_n\rangle\}$ と $\{|q_n\rangle\}$ を同時に生成する双 Lanczos 法を採用しました。
  • これにより、ハミルトニアン $H$ を三重対角行列 $T$ として表現し、ランチョス係数 $\{a_n, b_n, c_n\}$ を導出します。
• 初期状態の選択:
  • エルミート系での成功に倣い、初期状態としてハミルトニアン $H$ を用いて構成された正規化された熱場二重状態（TFD）$|p_0\rangle = |q_0\rangle = |\text{TFD}\rangle$ を採用しました。
  • 数値的安定性を確保するため、グラム・シュミット法による完全な双直交化を反復して行い、誤差の蓄積を防ぎました。
• クリロフ複雑性の定義:
  • 時間発展した状態を双直交基底で展開し、動的に正規化された係数を用いて KC を定義しました。
  • $C(t) \equiv \sum_n n |\tilde{\Phi}^*_p(t) \tilde{\Phi}_q(t)|$
• 検証モデル:
  • 非エルミート SYK モデル (nHSYK): 乱数結合を持つ Majorana フェルミオン系。$q=4$（カオス）と $q=2$（可積分）のケースを比較。
  • 非エルミートランダム行列: 対称性クラス A（GinUE）と、無相関な対角行列（ポアソン統計）を比較。
  • 対称性クラスの網羅: 付録では、クラス A, AI$^\dagger$, AII$^\dagger$ における普遍性を確認しました。

3. 主要な結果 (Key Results)

A. クリロフ複雑性（KC）によるカオス診断の確立

• カオス系（$q=4$ nHSYK, GinUE ランダム行列）:
  • KC が時間とともに成長し、明確なピークを示した後、飽和する典型的なパターンを観測。
  • このピークは、複素スペクトル統計が Ginibre 分布（GinUE）に従うこと、および複素間隔比（CSR）が非等方的であることを完全に裏付けています。
• 可積分系（$q=2$ nHSYK, 無相関行列）:
  • KC にピークは観測されず、単調な増加または異なる振る舞いを示します。
  • スペクトル統計は 2 次元ポアソン分布に従い、CSR は等方的です。
• 結論: 非エルミート系においても、双 Lanczos 法を用いた KC の「初期ピーク」は、カオスと可積分性を区別する信頼性の高い普遍的な指標となります。

B. ランチョス係数の普遍的な関係式

非エルミート系において、ランチョス係数の絶対値間に以下のユニバーサルな関係式が成立することを発見しました（エルミート系には見られない特徴）：
$$\frac{1}{\sqrt{2}} |a_n| \approx |b_n| = c_n$$

• この比例関係は、カオス系・可積分系を問わず、非エルミート SYK モデルおよびランダム行列の対称性クラス（A, AI$^\dagger$, AII$^\dagger$）全体で観測されました。
• これは、非エルミート系におけるクリロフ連鎖が、サイト項（$a_n$）とホッピング項（$b_n, c_n$）のバランスが固定された「バランス型タイトバインディング・チェーン」に還元されることを示唆しています。

C. 基底選択に対する頑健性

• 初期 TFD 状態を $H$、$H^\dagger$、あるいはその混合で構成した場合でも、KC の時間発展の定性的な特徴（ピークの有無）は変化しないことが確認されました。

4. 意義と貢献 (Significance)

1. 非エルミート量子カオス診断の確立:
   従来のエルミート系に限定されていた KC の診断能力が、開放量子系（非エルミート系）にも拡張可能であることを初めて実証しました。これにより、スペクトル統計や CSR と並ぶ、第 3 の強力なカオスプローブが確立されました。
2. 数値的手法の進展:
   非エルミート系の数値解析における課題（双直交性の維持、数値的不安定性）を克服する双 Lanczos 法の具体的な実装と、その有効性を示しました。
3. 普遍的な構造の発見:
   非エルミートランチョス係数間に成立する $(1/\sqrt{2})|a_n| \approx |b_n| = c_n$ という関係式は、非エルミート多体系の動的な複雑さに共通する幾何学的・統計的なメカニズムが存在することを示唆しており、今後の理論的解析の重要な手がかりとなります。
4. 応用可能性:
   散逸系や開いた量子系における情報拡散、熱化、および量子カオスの理解を深めるための枠組みを提供します。将来的には、実験的に実装可能な非エルミートハミルトニアンのダイナミクスを特徴づけるためのツールとしても期待されます。

まとめ

本論文は、双 Lanczos アルゴリズムに基づくクリロフ複雑性が、非エルミート量子系におけるカオスと可積分性を区別する普遍的かつ頑健な指標であることを実証しました。非エルミート SYK モデルおよびランダム行列モデルにおける広範な数値計算により、KC のピーク構造とランチョス係数のユニバーサルな関係性が確認され、開放量子系における量子カオスの理解に新たな視点をもたらしました。