[论文解读] A PDE for the joint distributions of the Airy Process

Mark Adler, Pierre van Moerbeke|ArXiv.org|Feb 26, 2003

Random Matrices and Applications参考文献 6被引用 10

一句话总结

本文推导出一个非线性偏微分方程（PDE），用于描述随机矩阵理论和生长模型中普遍存在的极限过程——Airy过程的联合分布。通过耦合高斯随机矩阵的渐近分析，该文建立了控制过程在两个时间点处联合对数概率的PDE，从而实现了对大时间相关结构的精确渐近展开，包括协方差衰减为 $ t^{-2} + O(t^{-4}) $。该结果回答了Kurt Johansson提出的问题，并为Airy过程的联合分布提供了基本的PDE。

ABSTRACT

In this paper, we answer a question posed by Kurt Johansson, to find a PDE for the joint distribution of the Airy Process. The latter is a continuous stationary process, describing the motion of the outermost particle of the Dyson Brownian motion, when the number of particles get large, with space and time appropriately rescaled. The question reduces to an asymptotic analysis on the equation governing the joint probability of the eigenvalues of coupled Gaussian Hermitian matrices. The differential equations lead to the asymptotic behavior of the joint distribution and the correlation for the Airy process at different times t_1 and t_2, when t_2-t_1 tends to infinity.

研究动机与目标

• 解决Kurt Johansson提出的问题：是否存在一个PDE描述Airy过程在两个时间点处的联合分布？
• 推导Airy过程在时间间隔 $ t_2 - t_1 \to ∞ $ 时的联合分布与相关性的渐近行为。
• 建立一个关于 $ x, y, t = t_2 - t_1 $ 的非线性PDE，控制对数概率 $ h(t; u, v) = \log P(A(t_1) \leq u, A(t_2) \leq v) $。
• 为大 $ t $ 时的联合概率 $ P(A(0) \leq u, A(t) \leq v) $ 提供渐近展开，包含至 $ O(t^{-6}) $ 的显式项。
• 验证当 $ z \to \infty $ 时条件概率衰减的猜想，该猜想是渐近分析的基础。

提出的方法

• 推导Airy过程在两个时间点处的联合对数概率 $ h(t; u, v) $ 的PDE，涉及 $ x, y, t $ 的三阶导数和Wronskian项。
• 以Dyson布朗运动和耦合高斯厄米特矩阵的联合特征值分布为渐近分析的起点。
• 应用Airy标度极限 $ A(t) = \lim_{n \to \infty} \sqrt{2}n^{1/6}(\lambda_n(n^{-1/3}t) - \sqrt{2n}) $，将有限-$ n $ 矩阵动力学与Airy过程联系起来。
• 利用Tracy-Widom分布和Painlevé II方程刻画Airy过程的边缘分布律。
• 通过扩展Airy核的Fredholm行列式表示表达联合概率，并验证其与 $ m=2 $ 时的PDE的一致性。
• 利用PDE对联合对数概率进行渐近展开，导出关于 $ t $ 的负幂次的显式级数。

实验结果

研究问题

• RQ1 能否为Airy过程在两个不同时间点处的联合分布推导出一个PDE？
• RQ2 当 $ t_2 - t_1 \to \infty $ 时，联合分布 $ P(A(t_1) \leq u, A(t_2) \leq v) $ 的渐近行为是什么？
• RQ3 协方差 $ \mathrm{Cov}(A(0), A(t)) $ 如何随大 $ t $ 衰减，其高阶修正项是什么？
• RQ4 猜想 $ \lim_{z \to \infty} P(A(t) \geq x+z \mid A(0) \leq -z) = 0 $ 是否成立，且是否支持渐近展开？
• RQ5 联合分布能否用扩展Airy核表示，且是否满足所推导的PDE？

主要发现

• 联合对数概率 $ h(t; u, v) $ 满足一个非线性PDE，包含三阶导数和一个Wronskian项，如定理1.1所述。
• 大 $ t $ 时联合概率的渐近展开为 $ P(A(0) \leq u, A(t) \leq v) = F_2(u)F_2(v) + \frac{F_2'(u)F_2'(v)}{t^2} + \frac{\Phi(u,v) + \Phi(v,u)}{t^4} + O(t^{-6}) $，其中 $ \Phi $ 显式定义。
• 协方差衰减为 $ \mathrm{Cov}(A(0), A(t)) = \frac{1}{t^2} + \frac{c}{t^4} + O(t^{-6}) $，其中 $ c = 2 \int \!\!\! \int \! \Phi(u,v) \, du \, dv $。
• PDE的初始条件为 $ \lim_{t \searrow 0} h(t; u, v) = \log F_2(\min(u,v)) $，与边缘Tracy-Widom分布律一致。
• 矩阵模型中的路径不等式支持了条件概率衰减的猜想，表明其在 $ n \to \infty $ 极限下成立。
• 扩展Airy核表示证实，Fredholm行列式解满足所推导的PDE（当 $ m=2 $ 时），验证了其一致性。