Krylov Break Times from an Inhomogeneous Lieb--Robinson Light Cone

技術要約：不均一なリープ・ロビンソン・ライトコーンからのクライロフ・ブレイクタイム

問題提起
クライロフ近似およびランチョス近似は、量子ダイナミクス、部分空間法、およびハミルトニアン学習において標準的なツールである。これらは、大きなハミルトニアン $H$ が、プローブ状態 $|v_0\rangle$ によって生成される、より小さな三対角なヤコビ行列 $J$ へと投影されるプロセスである。実用上の重要な問いは、「与えられた次元 $m$ のクライロフ切断に対して、得られるダイナミクスはいつまで信頼できるのか？」という点である。既存の誤差境界は、計算されたランチョス係数（ホッピング振幅 $b_j$）によって生成される特定の因果的伝播構造を無視しているため、過度に悲観的であることが多い。本論文は、計算されたランチョス係数のみに基づき、「ブレイクタイム（破綻時間）」$t^*(m; \epsilon)$ ——すなわち、$m$ 次元の近似誤差が許容誤差 $\epsilon$ を超える時刻——を予測する停止基準を提示することを目的とする。

手法
著者らは、生存振幅 $A(t) = \langle v_0|e^{-iHt}|v_0\rangle$ を、サイト $|n\rangle$ と最近接ホッピング振幅 $b_j$ を持つ一次元ヤコビ鎖上の回帰振幅へと写像する。ここで、著者らは不均一輸送メトリック $\rho(m, n)$ を導入する。これは、サイト $m$ と $n$ の間の経路に沿った局所的な通過時間の和として定義される：
$$\rho(m, n) = \sum_{j=\min(m,n)}^{\max(m,n)-1} \frac{1}{b_j}$$
このメトリックは、ホッピング振幅が大きいほど伝播が速くなることを考慮し、標準的な格子距離に代わるものである。

核心となる理論的メカニズムは以下の通りである：

1. リープ・ロビンソン境界（Lieb–Robinson Bound）: この非一様なメトリックに対するリープ・ロビンソン境界の適応。指数関数的重み $W_\lambda = e^{\lambda \rho}$ を用いてヤコビ演算子を共役させることで、著者らは $\rho$ メトリックにおける速度 $v_{LR} = 2$ を持つ伝播境界を導出する。
2. 往復誤差解析（Round-Trip Error Analysis）: デュアメルの公式を用い、回帰振幅における誤差を「往復」効果として解析する。情報は初期サイトから切断境界まで伝播し、再び戻ってくる必要がある。全距離はおよそ $2\tau_m$ である。ここで $\tau_m = \rho(0, m)$ は、境界までの輸送時間である。
3. スペクトル領域: 解析では、以下の2つの領域を区別する：
   • 輸送制限領域（Transport-limited）: 関連するスペクトル成分が実際に境界まで伝播する。
   • スペクトル捕捉領域（Spectral capture）: クライロフ部分空間が、プローブから見えるすべてのスペクトル重みをすでに解明しており、信号が境界に到達しない。

主要な貢献と結果

1. ブレイクタイムの下限:
   本論文は、次元 $m$ の切断における信頼できる時間窓が、輸送時間 $\tau_m$ によって下から抑えられることを証明している：
   $$t^*(m; \epsilon) \geq \tau_m [1 - o(1)]$$
   ここで $\tau_m = \sum_{j=0}^{m-1} \frac{1}{b_j}$ である。
   往復距離（$2\tau_m$）における係数 2 が、リープ・ロビンソン速度（$v_{LR}=2$）と相殺されるため、片道の輸送時間 $\tau_m$ が回帰振幅の誤差のスケールを決定することになる。

2. 飽和と鋭利性:
   「弾道的（ballistic）」なヤコビ鎖（例：自由な均一鎖、トレース級摂動、および広帯域絶対連続鎖）において、この下限は漸近的に鋭利である。これらの輸送制限領域において、ブレイクタイムは $t^*(m) \simeq \tau_m$ とスケールする。著者らは、自由鎖における $\tau_m^{1/3}$（エアリー・エッジ・スケーリング）の次低次補正を示す、より精緻な推定値を提供している。

3. スペクトル捕捉領域:
   著者らは、ブレイクタイムが事実上無限となる領域を特定した。もし初期状態のスペクトル重みが次元 $m$ 以内で完全に解明されている場合（すなわち、残留スペクトル重み $\eta_m$ が許容誤差を下回っている場合）、近似はすべての時間において正確であり続ける。これは、狭いスペクトル支持を持つ状態や、有限次元のブライト・セクターにおいて発生する。これらの領域間の遷移は、スペクトル測度を解明するために必要な状態依存の次元 $m^*$ によって決定される。

4. 数値検証:
   様々な初期状態や無秩序を含むスピン鎖（XXZ、イジングモデル）、およびランダムなヤコビ行列（GOE）を用いた広範な数値テストにより、$t^*(m) \simeq \tau_m$ というスケーリングが確認された。データは、片道の到着時間（$\tau_m/2$ に比例）と往復のブレイクタイム（$\tau_m$ に比例）の区別を支持しており、単一の速度 $v_{LR}=2$ を検証している。

意義と主張
本論文は、有限クライロフ・ブレイクタイムに対する係数に基づいた予測を提供すると主張しており、これはフルスペクトルを知ることなく、ランチョス再帰の実行を停止するための実用的な規則となる。

• 停止基準: 目標とする時間 $T$ までのダイナミクスを再現するには、$\tau_m \geq T$ となるまで再帰を実行すべきである。これは、計算されたホッピング係数 $b_j$ からオンザフライで決定できる。
• ハミルトニアン学習: これらの結果は、「制限されたアクセスによる学習（restricted-access learning）」、すなわち単一のプローブがヤコビモデルを学習する手法の基礎となる。ブレイクタイムは、学習されたモデルの予測ホライズンを定義する。すなわち、スペクトル捕捉がより早く起こらない限り、モデルは $\tau_m$ まで信頼できる。
• 普遍性: このメカニズムは、輸送メトリックにおける最近接ヤコビ鎖の特性として特定されており、ランダム行列テストによって示されているように、特定の微視的なハミルトニアンには依存しない。

著者らは、この境界は一方的な保証（信頼性の保証）であり、$\tau_m$ への飽和（$t^* \simeq \tau_m$）には関連するスペクトル成分の真の輸送が必要であることを強調している。スペクトル捕捉が発生する場合、近似は破綻せず、ブレイクタイムは事実上無限となる。