[论文解读] A phase transition for non-intersecting Brownian motions, and the Painleve II equation

Steven Delvaux, Arno B. J. Kuijlaars|ArXiv.org|Sep 5, 2008

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

一句话总结

本文通过黎曼-希尔伯特分析研究了具有两个固定起点和终点的n个不相交布朗运动在大n极限下的渐近行为，识别出端点间临界间距下的相变。结果表明，系统从单一整体分布转变为两个解耦的群体，且Painlevé II方程控制临界标度区域，同时与多重埃尔米特多项式的递推系数相关。

ABSTRACT

We consider n non-intersecting Brownian motions with two fixed starting positions and two fixed ending positions in the large n limit. We show that in case of 'large separation' between the endpoints, the particles are asymptotically distributed in two separate groups, with no interaction between them, as one would intuitively expect. We give a rigorous proof using the Riemann-Hilbert formalism. In the case of 'critical separation' between the endpoints we are led to a model Riemann-Hilbert problem associated to the Hastings-McLeod solution of the Painleve II equation. We show that the Painleve II equation also appears in the large n asymptotics of the recurrence coefficients of the multiple Hermite polynomials that are associated with the Riemann-Hilbert problem.

研究动机与目标

• 严格分析具有两个固定起点和终点的n个不相交布朗运动在大n极限下的渐近分布。
• 基于起点与终点之间间距的变化，识别系统行为中的相变。
• 建立临界标度区域与Painlevé II方程Hastings-McLeod解之间的联系。
• 推导与黎曼-希尔伯特问题相关的多重埃尔米特多项式递推系数的渐近行为。
• 使用Deift-Zhou最速下降法对黎曼-希尔伯特问题进行完整渐近描述。

提出的方法

• 将问题表述为与多重埃尔米特多项式相关的矩阵值函数的黎曼-希尔伯特问题。
• 应用Deift-Zhou最速下降法分析黎曼-希尔伯特问题的大n渐近行为。
• 在临界标度区域识别出与Painlevé II方程Hastings-McLeod解相关的模型黎曼-希尔伯特问题。
• 利用相容性条件和递推关系，推导出对角与非对角递推系数的显式表达式。
• 运用标量积恒等式与行列式恒等式，关联不同矩阵块之间的非对角系数。
• 通过递推系数的渐近分析，确立Painlevé II方程在转变区域的出现。

实验结果

研究问题

• RQ1 当起点与终点之间的间距变化时，非相交布朗运动的渐近分布如何变化？
• RQ2 端点间临界间距处发生的相变的本质是什么？
• RQ3 Painlevé II方程如何在系统临界标度区域中出现？
• RQ4 在此背景下，多重埃尔米特多项式的递推系数的渐近行为是什么？
• RQ5 是否能通过黎曼-希尔伯特分析严格描述大间距与临界区域之间的转变？

主要发现

• 在大间距区域，粒子渐近地分裂为两组解耦的群体，每组遵循由线性插值确定端点的半圆律及半圆密度。
• 在临界间距下，系统由与Painlevé II方程Hastings-McLeod解相关的模型黎曼-希尔伯特问题描述。
• Painlevé II方程控制与黎曼-希尔伯特问题相关的多重埃尔米特多项式递推系数的渐近行为。
• 通过相容性条件推导出对角递推系数的显式表达式，显示其对时间参数t及位置a_k, b_l的依赖性。
• 建立了关联非对角递推系数c_{1,2}c_{2,1}与c_{3,4}c_{4,3}的行列式恒等式，当n_1 = m_1且n_2 = m_2时，该恒等式简化为简单关系。
• 渐近分析证实，区域之间的转变是平滑的，由Painlevé II超越函数控制，临界标度由黎曼-希尔伯特方法精确捕捉。