[論文レビュー] Finite-particle approximations for interacting Brownian particles with logarithmic potentials

Yosuke Kawamoto, Hirofumi Osada|arXiv (Cornell University)|Jul 23, 2016

Random Matrices and Applications参考文献 15被引用数 3

ひとこと要約

本稿は、対数ポテンシャルを有する相互作用するブラウン運動の無限系に対する有限粒子近似を確立し、タイトネスおよび一意性の2つの一般定理を用いて、無限次元SDE（ISDE）への収束を証明する。主な貢献は、有限粒子系からISDEを導出する厳密な枠組みを提供することであり、長距離対数相互作用を有するエアリーβおよびジニブル過程に対して検証されている。

ABSTRACT

We prove the convergence of $ N $-particle systems of Brownian particles with logarithmic interaction potentials onto a system described by the infinite-dimensional stochastic differential equation (ISDE). % For this proof we present two general theorems on the finite-particle approximations of interacting Brownian motions. % In the first general theorem, we present a sufficient condition for a kind of tightness of solutions of stochastic differential equations (SDE) describing finite-particle systems, and prove that the limit points solve the corresponding ISDE. This implies, if in addition the limit ISDE enjoy a uniqueness of solutions, then the full sequence converges. We treat non-reversible case in the first main theorem. % In the second general theorem, we restrict to the case of reversible particle systems and simplify the sufficient condition. We deduce the second theorem from the first. % We apply the second general theorem to Airy$ _{β}$ interacting Brownian motion with $ β= 1,2,4$, and the Ginibre interacting Brownian motion. The former appears in the soft-edge limit of Gaussian (orthogonal/unitary/symplectic) ensembles in one spatial dimension, and the latter in the bulk limit of Ginibre ensemble in two spatial dimensions, corresponding to a quantum statistical system for which the eigen-value spectra belong to non-Hermitian Gaussian random matrices. The passage from the finite-particle stochastic differential equation (SDE) to the limit ISDE is a sensitive problem because the logarithmic potentials are long range and unbounded at infinity. Indeed, the limit ISDEs are not easily detectable from those of finite dimensions. Our general theorems can be applied straightforwardly to the grand canonical Gibbs measures with Ruelle-class potentials such as Lennard-Jones 6-12 potentials and and Riesz potentials.

研究の動機と目的

• 対数ポテンシャルを有する相互作用するブラウン運動の有限粒子系から、無限次元確率微分方程式（ISDE）を厳密に導出すること。
• 長距離かつ非有界な対数相互作用のため、有限次元SDEから極限ISDEを容易に特定できないという課題に対処すること。
• 有限粒子系の解のタイトネスおよびISDEの解への収束に対する一般的十分条件を確立し、可逆および非可逆系の両方に適用可能であるようにすること。
• 具体的なモデルに一般定理を適用する。具体的には、エアリーβ相互作用ブラウン運動（β=1,2,4）および2次元におけるジニブル相互作用ブラウン運動。
• ルエルクラスのポテンシャルを有するグランドカノニカルギブス測度へ枠組みを拡張し、レナードジョーンズ6-12およびリーツポテンシャルを含むこと。

提案手法

• 有限粒子SDEの解のタイトネスに関する最初の一般定理を提案し、十分条件を満たせば極限点が対応するISDEを満たすことを証明。解の一意性が成り立つと収束が成立する。
• 可逆系に対して簡略化された第二の定理を導入し、第一の定理から導出されたタイトネス条件を簡素化。
• 第二の定理をエアリーβおよびジニブル過程に適用するため、相関関数および対数微分に関する必要な条件を検証する。
• DLR枠組みと正則条件付き確率を用いてギブス測度を定義し、有限粒子近似の一貫性を保証する。
• 伊藤の公式および部分積分を用いて、有限および無限系のSDEを導出する。特に、対数およびリーツ型ポテンシャルに対して有効である。
• タイトネス条件（J2）–（J5）および対数微分条件（J4）–（J5）の検証のため、相関関数に一様な上限（例：ρ_gin^{N,1} ≤ 1/π）を確立する。

実験結果

リサーチクエスチョン

• RQ1 対数ポテンシャルを有する相互作用ブラウン運動の有限粒子系は、熱力学的極限において無限次元SDE（ISDE）に収束するか？
• RQ2 長距離かつ非有界な相互作用がある場合、有限粒子SDE解のタイトネスおよびISDEへの収束を保証する一般的十分条件は何か？
• RQ3 この枠組みは非可逆系にどのように適応可能か？可逆系ではどのような簡素化が生じるか？
• RQ4 結果は、レナードジョーンズ6-12およびリーツポテンシャルなどの他のルエルクラスのポテンシャルへどの程度拡張可能か？
• RQ5 ジニブルおよびエアリーβのような特定の点過程に対して、対数微分条件および相関関数の上限はどのように検証可能か？

主な発見

• 最初の一般定理により、有限粒子SDE解のタイトネスの十分条件が確立され、極限点が対応するISDEを満たすことが保証される。解の一意性が成り立つと完全な収束が成立する。
• 第二の定理により、可逆系におけるタイトネス条件が簡略化され、エアリーβおよびジニブル過程への直接的適用が可能になる。
• 2次元におけるジニブル相互作用ブラウン運動に対して、極限ISDEは対数相互作用ポテンシャルΨ(x) = -log|x|を有し、一様な上限ρ_gin^{N,1} ≤ 1/πを用いて対数微分条件が検証された。
• エアリーβ過程（β=1,2,4）はガウスアンサンブルのソフトエッジ極限として現れ、第二の定理を用いてISDEが厳密に導出された。
• 相関関数が一様に有界である限り、ルエルクラスのポテンシャルを有するグランドカノニカルギブス測度へ枠組みを拡張可能である。
• リーツポテンシャルΨ_a(x) = β/a |x|^{-a}（d < a ∈ ℕ）に対して、ISDEはdX_t^i = dB_t^i + (β/2) ∑_{j≠i} (X_t^i - X_t^j)/|X_t^i - X_t^j|^{2+a} dtとして与えられ、一様相関関数の上限のもとで収束が確立された。