$\mathsf{GL}_N(\mathbb{C})$ Brownian motion and stochastic PDE on entire functions

技術的概要：GL(N, C) のブラウン運動と整関数上の SPDE

問題提起
本論文は、一般線形群 $GL_N(\mathbb{C})$ 上の乗法的ブラウン運動の特異値の完全なエッジスケーリング極限の構成と特徴付けに取り組む。特定の初期条件（例えば単位行列）における極限経路は、ランダム行列の積や最後通過通し（last passage percolation）の文脈で研究されてきたが、この研究は一般的な初期条件から出発する極限の確立を目指す。さらに、著者らは、関連する再スケーリングされた逆特性多項式の進化を、単なる粒子ダイナミクスの集合としてではなく、整関数の空間に作用する確率偏微分方程式（SPDE）として記述することを試みる。本論文はまた、これらの結果を 2 つの他のモデル、すなわち Rider-Valkó モデルと動的コーシーモデル（華 - ピックレル拡散）に拡張する。これら 2 つのモデルの定常測度は、それぞれベッセル点過程および華 - ピックレル点過程に関連する確率的ゼータ関数によって与えられる。

手法
核心的な手法は、Borodin と Olshanski によって導入された「インターチュイナー法」に依存しており、これは整合的な有限次元プロセスの塔から、射影系の境界上の抽象的なフェラー・マルコフ過程を構築する形式である。

1. 整合性関係: 著者らはまず、特異値（および関連モデル）の有限次元ダイナミクスが、「コーナー」射影（$(N+1) \times (N+1)$ 行列を $N \times N$ 行列に写す）の下で特定の整合性関係を満たすことを確立する。これにより、Borodin-Olshanski の枠組みを適用して、整関数の空間（具体的には Laguerre-Pólya 級）上の無限次元極限過程を構築することが可能となる。
2. ギブス再サンプリング: 重要なステップとして、極限経路が指数ブラウン橋に関してギブス再サンプリング性質を満たすことを証明する。この性質は、経路の非交差性（ライアプノフ関数を通じて確立される）と組み合わさることで、無限次元系の適切性（well-posedness）を保証する。
3. 粒子から SPDE へ: 著者らは、有限次元の逆特性多項式に伊藤の公式を適用し、$N \to \infty$ の極限を取ることで、極限特性多項式に対する SPDE を導出する。彼らは、留数計算と Stieltjes 変換（多項式の対数微分）を用いて、整関数に対する SPDE と、零点（特異値）に対する相互作用する無限 SDE システムの間の橋渡しを行う。
4. 平衡への収束: 長期的な振る舞いは、極限過程のドリフト項を研究することで分析され、それぞれに対応する点過程に関連する確率的ゼータ関数への収束が示される。

主要な貢献と結果

• $GL_N(\mathbb{C})$ に対する極限過程の構築:
  本論文は、$\Upsilon_+$（整関数に関連する数列とパラメータの空間）上の一意なフェラー拡散過程 $(X_t^{GL})_{t \ge 0}$ を構築する。$GL_N(\mathbb{C})$ ブラウン運動の再スケーリングされた特異値が、分布の意味でこの過程に収束することを証明する。

  • 無限 SDE システム: この過程の特異値への射影は、特異な対数相互作用を持つ無限 SDE システムを満たす：
    $$dx_i(t) = x_i(t)dw_i(t) + \frac{\theta}{2}x_i(t)dt + \sum_{j \neq i} \frac{x_i(t)x_j(t)}{x_i(t) - x_j(t)}dt$$
  • ギブス性質: 極限ライン・アンサンブルは、指数ブラウン橋に関してギブス再サンプリング性質を有する。
  • 特性多項式に対する SPDE: 再スケーリングされた逆特性多項式 $g_t(z)$ は、以下の SPDE を解くマルコフ過程に収束する：
    $$dg_t(z) = dM_t(z; g) + \left[ \frac{\theta}{2} z \partial_z g_t(z) - \frac{z^2}{2} \partial^2_z g_t(z) \right] dt$$
    ここで、マルチンゲール項 $M_t$ は、$g_t$ とその微分に応じた特定の非線形共変構造を持つ。

• 確率的ゼータ関数への拡張:
  著者らは、2 つの他のモデルに対して同様の結果を証明する。

  1. Rider-Valkó モデル: 極限再スケーリングされた逆特性多項式は、ベッセル確率的ゼータ関数 $B_\nu$ へとシステムを駆動する SPDE を解く過程に収束する。
  2. 動的コーシーモデル（華 - ピックレル）: 極限過程は、線形ドリフトと乗法的ノイズを持つ SPDE の解に収束し、システムを華 - ピックレル確率的ゼータ関数 $HP_s$ へと駆動する。$s=0$ の場合、これはサイン点過程の確率的ゼータ関数に対する最初の自然な動的モデルを提供する。

• 零点の方程式:
  極限整関数の対数微分を分析することで、著者らは零点の逆数に対する方程式を導出する。華 - ピックレルモデルについては、零点の順序と非爆発に関する特定の仮定の下で、零点に対する SDE システムを導出する。彼らは、これらの零点が主値和を含む特定の無限 SDE システムを満たすという仮説（仮説 1.9）を提案しており、これは華 - ピックレル確率的ゼータ関数のダイナミクスを特徴付けることになる。

意義と主張
本論文は、ランダム行列モデルのスケーリング極限として現れる整関数の Laguerre-Pólya 級に関連する確率的進化の、文献における最初の明示的な例を提供すると主張する。

• SPDE の新規性: 導出された SPDE は、非線形乗法的ノイズ項と線形ドリフトを特徴とし、そのような対象に対する確率偏微分方程式の文献において以前に見られなかった構造である。ノイズの共変構造は、ランダム行列理論からの相関カーネルを想起させるものとして指摘されている。
• 普遍性: この研究は、ランダム行列の積において現れる普遍的な臨界確率過程と、$GL_N(\mathbb{C})$ ブラウン運動（一般的な初期条件から）のエッジスケーリング極限を結びつける。
• 可積分性: 結果は、Borodin-Olshanski 形式の適用を可能にする整合性関係を通じて、これらのモデルにおける「隠れた可積分性」を浮き彫りにする。
• 未解決問題: 著者らは控えめに、極限過程の存在とその SPDE 記述を確立したが、無限 SDE システムの解の一意性（特に「剛性経路」性質に関して）は未解決問題のまま残っていると指摘する。また、平衡への収束は証明されたものの、華 - パックレルモデルにおける複素パラメータに対する極限整関数の記述は、実パラメータの場合ほど明示的ではないとも述べている。

要約すると、本論文は、有限次元ランダム行列ダイナミクスと整関数空間上の無限次元確率進化の間に厳密なリンクを確立し、これらの極限に対する新しい SPDE 記述を提供し、それらを確率的ゼータ関数と結びつけている。