Quantum dynamics on the sparse Erd\H{o}s-Rényi graph

技術要約：疎なエルデシュ・レニ・グラフにおける量子力学のダイナミクス

問題設定
本論文は、疎なエルデシュ・レニ・ランダムグラフ $G \equiv G(N, d/N)$ 上の自由量子粒子におけるシュレディンガー時間発展の長時間漸近性を調査するものである。量子ハミルトニアンはグラフの隣接行列 $A$（$d^{-1/2}$ でスケーリングされたもの）と同定される。この選択は、隣接行列が原子軌道間をホッピングする粒子の有効ハミルトニアンを表すという、固体物理学におけるタイトバインディング近似によって正当化されている。

本研究は、特定の頂点 $o$ に局在した状態 $v(0) = \mathbf{1}_o$ から始まる波動関数 $v(t)$ の時間発展の特性化に焦点を当てる。中心となる問いは、期待次数 $d$ が $\sqrt{\log N} \ll d \ll N^{o(1)}$ を満たす領域における、時刻 $t$ が大きいときの波動関数の振る舞いを特徴付けることである。この領域は、グラフが局在的および非局在的なスペクトル相の両方を示す「共存」現象が存在する領域を包含しており、これはスペクトル理論において既に確立されている現象であるが、動力学的な観点からは完全には理解されていない。

手法
著者らは、ダイナミクスを分析するために二部構成の戦略を採用している。

1. 根付き正則木との比較：
   第1の主要なステップは、ランダムグラフ $G$ 上の量子ダイナミクスを、根付き正則木 $T$ 上のダイナミクスと比較することである。木 $T$ は、その根の次数が $G$ における頂点 $o$ の正規化次数 $\alpha_o = \deg(o)/d$ に比例し、他のすべての頂点の次数が1（すなわち $d$ 個の子を持つ）となるように構成される。

• 枝刈りと切断（Pruning and Truncation）： 疎なグラフの局所的な幾何構造を扱うために、著者らは「枝刈りされたグラフ」 $G_o$ を導入する。これは、一定の半径内でのサイクルを排除するためにエッジを削除し、次数が過度に高い頂点を切断するという再帰的なアルゴリズムを通じて構築される。
• 摂動論： 著者らは、時間依存摂動論を用いて、隣接行列によって生成される時間発展と、中間ハミルトニアン $\hat{H}_o$ によって生成される時間発展との差を抑え込む。この中間ハミルトニアンは、枝刈りされたグラフにおける球状ベクトル（半径 $n$ の球面上で一様なベクトル）によって張られる部分空間への元のハミルトニアンの射影である。
• 誤差制御： 証明は、$G$ と木 $T$ の間の局所的な幾何構造の偏差、および元のグラフと枝刈りされたグラフの球面間の差異に関する注意深い推定に基づいている。枝刈りプロセスから生じる累積誤差の再帰的な制御が、重要な技術的要素である。

2. 木上の漸近解析：
   第2のステップは、正則木 $T$ 上の大きな $t$ における量子ダイナミクスの解析である。

• 積分表示： 木上のシュレディンガー発展のプロパゲーターは、木上のハミルトニアンとして作用する無限行列 $Z_\infty(\alpha)$ のグリーン関数を用いた複素積分によって表現される。
• 最急降下法： 漸近挙動は、古典的な最急降下法を用いて導出される。この解析では、パラメータに応じて互いに接近する可能性がある複素平面内の鞍点や極の慎重な取り扱いが必要となる。
• 特殊関数： 漸近形式には、エアリー関数、ベッセル関数、およびファデエヴァ関数（複素誤差関数）を含む特殊関数が含まれる。

主な貢献と結果

• 定理 1.1（ダイナミクスの比較）： 本論文は、高確率において、エルデシュ・レニ・グラフ上の波動関数 $v(t)$ が開始頂点 $o$ の周囲で放射状（radial）に近いことを確立する。具体的には、ベクトル $v(t)$ は、対応する根付き正則木上のシュレディンガー方程式の解 $u_n(t, \alpha_o)$ によって与えられる係数を持つ、球状ベクトル $s_n$ の線形結合によって良好に近似される。この近似は、$1 \ll t \ll T_N$ かつ正規化次数 $\alpha_o$ がゼロから離れている頂点に対して成立する。

• 定理 1.3（根付き正則木上のダイナミクス）： 著者らは、正規化半径 $\lambda = n/2t$ および正規化次数 $\alpha$ に依存する、木上の放射成分 $u_n(t, \alpha)$ の漸近形式を精密に特徴付けている。結果は、以下の3つの異なるダイナミクス・レジームを特定している。

  1. 分散波と局在モード： $\lambda$ が臨界値1から離れており、かつ $\alpha$ が2に近い場合、波動関数は分散波（ベッセル関数によって支配される）と、もし $\alpha > 2$ であれば、局在モード（振動する束縛状態）の重ね合わせとなる。これらの挙動の間のクロスオーバーは、ベッセル関数とファデエヴァ関数の線形結合によって捉えられる。
  2. エアリー・レジーム： 波面付近（$\lambda \approx 1$）では、ダイナミクスはエアリー関数によって支配され、$\lambda > 1$ においては引き伸ばされた指数関数的減衰を示す。
  3. ベッセルおよびファデエヴァ・レジーム： $\lambda + |\alpha - 2|$ が小さい領域では、解はベッセル関数の項とファデエヴァ関数の項によって明示的に記述される。

• スペクトルの共存に対する動力学的対応物： これらの結果は、既知の局在状態と非局在状態の共存に対する動力学的な解釈を提供する。次数が十分に高い頂点（$\alpha > 2$）は、指数関数的に局在する局在固有ベクトルを生じさせ、これは動的には「局在モード」（分散しない振動成分）として現れる。逆に、残りの非局在状態は、グラフ全体に広がる「分散波」を生じさせる。

意義と主張
本論文は、時間発展のレベルにおいてランダムグラフをその局所的な木近似と比較するという観点から、ランダムグラフ上の量子ダイナミクスを分析した最初の研究であることを主張している。結果の重要性は以下の通りである：

• 局在的および非局在的な現象が予想される全領域 $\sqrt{\log N} \ll d \ll N^{o(1)}$（臨界領域 $d \asymp \log N$ を含む）をカバーしている。
• 束縛状態の出現に関する精密な記述を提供し、局在挙動と非局在挙動の間の遷移を特徴付けている。
• 高次数の頂点に関連する「局在モード」が、スペクトルの大部分に関連する「分散波」と共存することを実証している。

著者らは、結果がポアンカレ回帰時間に匹敵する時間、あるいは波動関数の有効なサポートがグラフの直径に匹敵する場合には崩れる可能性があることを注記している。また、典型的な頂点については、球のサイズの集中を保証するために $d \gg \sqrt{\log N}$ が必要であるが、非典型的に大きな次数を持つ頂点については、より小さな $d$ でも結果が成立する可能性があることも強調している。本論文は実験的な応用を提案するものではなく、無秩序量子系における基礎的なモデルの厳密な数学的解析として位置づけている。