[论文解读] Large deviations for the largest eigenvalue of an Hermitian Brownian motion

Catherine Donati-Martin, Mylène Maïda|arXiv (Cornell University)|Feb 15, 2011

Random Matrices and Applications参考文献 16被引用 4

一句话总结

本文通过随机分析与Dyson布朗运动的变分方法，建立了厄米特布朗运动最大特征值过程的**大偏差原理**（LDP）。关键结果是一个良好的速率函数，刻画了最大特征值罕见波动下概率的指数衰减，且通过压缩映射可恢复已知的静态LDP结果。

ABSTRACT

We establish a large deviation principle for the process of the largest eigenvalue of an Hermitian Brownian motion. By a contraction principle, we recover the LDP for the largest eigenvalue of a rank one deformation of the GUE.

研究动机与目标

• 建立厄米特布朗运动最大特征值的**动态大偏差原理**（LDP），将静态结果推广至时变设定。
• 在尺度 $N$ 下，利用压缩原理与变分法，推导最大特征值过程的速率函数。
• 作为动态LDP的推论，恢复已知的秩一扰动GUE在固定时间的LDP结果。
• 刻画罕见事件下最大特征值的最优路径，区分自由路径与接触壁面（wall-touching）情形。

提出的方法

• 将Dyson布朗运动表述为带有排斥漂移的特征值SDE系统。
• 定义过程 $ (\lambda_1^{\theta,N}(t))_{t \in [0,1]} $ 为秩一扰动厄米特布朗运动的最大特征值。
• 应用压缩原理，从谱测度的LDP推导最大特征值过程的LDP。
• 利用变分法计算速率函数 $ I_\theta(\varphi) $，即在满足 $ \varphi(t) \geq 2\sqrt{t} $ 的绝对连续路径 $ \varphi $ 上最小化作用泛函。
• 通过欧拉-拉格朗日方程识别最优路径，并与半圆律边界 $ 2\sqrt{t} $ 比较，区分路径接触或避开壁面的情形。
• 证明速率函数仅在满足 $ \varphi(t) \geq 2\sqrt{t} $ 的路径上为有限值，否则代价为无穷大。

实验结果

研究问题

• RQ1 在 $ N $ 尺度下，厄米特布朗运动最大特征值过程的大偏差速率函数是什么？
• RQ2 在罕见波动下，最大特征值的最优路径行为如何，特别是与半圆律边界 $ 2\sqrt{t} $ 的关系如何？
• RQ3 已知的秩一扰动GUE最大特征值静态LDP能否作为动态LDP的压缩结果被恢复？
• RQ4 在何种条件下，最大特征值的最优路径保持远离壁面 $ 2\sqrt{t} $，在何种条件下会接触它？
• RQ5 最大特征值过程的速率函数显式形式为何？其如何依赖于初始扰动参数 $ \theta $？

主要发现

• 最大特征值过程 $ (\lambda_1^{\theta,N}(t))_{t \in [0,1]} $ 在尺度 $ N $ 下，于空间 $ C_\theta([0,1], \mathbb{R}) $ 上满足大偏差原理，具有良好的速率函数 $ I_\theta(\varphi) $。
• 对于绝对连续路径 $ \varphi $ 满足 $ \varphi(t) \geq 2\sqrt{t} $，速率函数为 $ I_\theta(\varphi) = \frac{1}{2} \int_0^1 \left( \dot{\varphi}(s) - \frac{1}{2s} \left( \varphi(s) - \sqrt{\varphi(s)^2 - 4s} \right) \right)^2 ds $，否则为 $ +\infty $。
• 当 $ \theta = 2\sqrt{\eta} $ 或 $ 2\sqrt{\eta} < \theta < 1 + \eta $ 且 $ x \leq \frac{\theta + \sqrt{\theta^2 - 4\eta}}{2} + \frac{2}{\theta + \sqrt{\theta^2 - 4\eta}} $ 时，速率函数达到 $ \int_2^x \sqrt{u^2 - 4} \, du $，表明最优路径接触壁面 $ 2\sqrt{t} $。
• 当 $ \theta \geq 1 $ 或 $ 0 < \theta < 1 $ 且 $ x \geq \theta + \frac{1}{\theta} $ 时，最优路径为线性：$ \varphi_*(t) = (x - \theta)t + \theta $，此时速率函数值为 $ -\ln\left( \frac{x + \sqrt{x^2 - 4}}{2\theta} \right) + \frac{1}{4}x\sqrt{x^2 - 4} + \frac{1}{4}x^2 - \theta x + \frac{\theta^2}{2} + \frac{1}{2} $。
• 动态LDP通过压缩映射恢复了[BADG01]与[Maï07]中的固定时间LDP结果，证实与先前静态结果的一致性。
• 最优路径结构依赖于初始扰动 $ \theta $，当 $ \theta $ 相对于 $ \eta $（路径起点时间）较大或较小时表现出不同行为。