[论文解读] 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

一句话总结

本论文为具有对数势的相互作用布朗运动无限系统建立了有限粒子近似，通过两个关于紧致性和唯一性的普遍定理，证明了其收敛于无限维随机微分方程（ISDE）。关键贡献在于构建了一个从有限粒子系统推导ISDE的严格框架，并在具有长程对数相互作用的Airy β和Ginibre过程中得到验证。

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解的紧致性与收敛性的普遍充分条件，适用于可逆与不可逆系统。
• 在具体模型上验证一般定理：二维空间中Airy β相互作用布朗运动（β=1,2,4）及Ginibre相互作用布朗运动。
• 将该框架扩展至具有Ruelle类势的正则系综吉布斯测度，包括Lennard-Jones 6-12势和Riesz势。

提出的方法

• 提出第一个关于有限粒子SDE解的紧致性的一般定理，证明在充分条件下极限点满足相应的ISDE，若解唯一则实现完全收敛。
• 通过从第一一定理推导，提出第二个简化定理，适用于可逆系统，降低紧致性条件的复杂度。
• 通过验证相关函数和对数导数所需条件，将第二个定理应用于Airy β和Ginibre过程。
• 利用DLR框架和正则条件概率定义吉布斯测度，确保有限粒子近似的自洽性。
• 运用伊藤公式和分部积分法推导有限与无限系统中的SDE，特别针对对数势和Riesz型势。
• 通过建立相关函数的统一有界性（例如 ρ_gin^{N,1} ≤ 1/π）来验证紧致性条件（J2）–（J5）及对数导数条件（J4）–（J5）。

实验结果

研究问题

• RQ1 具有对数势的相互作用布朗运动有限粒子系统是否能在热力学极限下收敛于无限维SDE（ISDE）？
• RQ2 在相互作用为长程且无界的情况下，确保有限粒子SDE解的紧致性及收敛于ISDE的一般充分条件是什么？
• RQ3 该框架如何适应不可逆系统？在可逆情况下会带来哪些简化？
• RQ4 该结果在多大程度上可推广至其他Ruelle类势，如Lennard-Jones 6-12势和Riesz势？
• RQ5 能否针对Ginibre和Airy β等特定点过程验证对数导数条件与相关函数有界性？

主要发现

• 第一个一般定理建立了有限粒子SDE解紧致性的充分条件，确保极限点满足相应ISDE，若解唯一则实现完全收敛。
• 第二个定理简化了可逆系统的紧致性条件，使该方法可直接应用于Airy β和Ginibre过程。
• 对于二维空间中Ginibre相互作用布朗运动，其极限ISDE被推导出，对应对数相互作用势Ψ(x) = -log|x|，并通过统一有界性ρ_gin^{N,1} ≤ 1/π验证了对数导数条件。
• Airy β过程（β=1,2,4）作为高斯系综的软边极限出现，其ISDE通过第二个定理被严格推导。
• 该框架适用于具有Ruelle类势的正则系综吉布斯测度，包括Lennard-Jones 6-12势和Riesz势，前提是相关函数一致有界。
• 对于Riesz势Ψ_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，且在统一相关函数有界条件下建立了收敛性。