[论文解读] Small noise spectral gap asymptotics for a large system of nonlinear diffusions

Giacomo Di Gesù, Dorian Le Peutrec|arXiv (Cornell University)|Jun 14, 2015

Advanced Mathematical Modeling in Engineering被引用 13

一句话总结

该论文为具有双阱势的非线性扩散大系统建立了关于谱隙和对数 Sobolev 常数的关于 N 一致的上下界，证明了在小噪声（低温） regime 下，Eyring-Kramers 公式能对松弛速率提供精确的渐近估计。分析采用半经典谱理论和一种新颖的单位分解方法，以控制高维系统中的亚稳态动力学，表明当 N → ∞ 时不会发生动力学相变。

ABSTRACT

We study the $L^2$ spectral gap of a large system of strongly coupled diffusions on unbounded state space and subject to a double-well potential. This system can be seen as a spatially discrete approximation of the stochastic Allen-Cahn equation on the one-dimensional torus. We prove upper and lower bounds for the leading term of the spectral gap in the small temperature regime with uniform control in the system size. The upper bound is given by an Eyring-Kramers-type formula. The lower bound is proven to hold also for the logarithmic Sobolev constant. We establish a sufficient condition for the asymptotic optimality of the upper bound and show that this condition is fulfilled under suitable assumptions on the growth of the system size. Our results can be reformulated in terms of a semiclassical Witten Laplacian in large dimension.

研究动机与目标

• 量化在小噪声（h → 0）和大系统规模（N → ∞）regime 下，N 个相互作用扩散系统趋近平衡态的收敛速度减缓问题。
• 建立关于 Poincaré（谱隙）和对数 Sobolev 常数的关于 N 一致的上下界。
• 确定 Eyring-Kramers 公式能对谱隙提供渐近最优估计的条件。
• 表明在热力学极限下，对数 Sobolev 常数保持远离零，从而避免动力学相变的发生。

提出的方法

• 将平衡测度表示为能量函数 V(x) 的 Gibbs 测度，其中包含局部四次项和长程谐振相互作用。
• 应用半经典 Witten Laplacian 框架分析谱隙和对数 Sobolev 常数。
• 使用一种适配于亚稳态结构的二次单位分解 {ηk}，其中截断函数集中在极小值点 I± 和对角线上。
• 应用 IMS 局域化公式将 Dirichlet 型式分解，并在不同区域分析其贡献：靠近极小值点、靠近对角线以及远离对角线的区域。
• 在势梯度远离零的区域应用 Poincaré 不等式和集中不等式。
• 结合对 I± 附近、对角线区域以及体积极区域的局部分析估计，推导出谱隙和对数 Sobolev 常数的统一下界。

实验结果

研究问题

• RQ1 在小噪声极限下，Eyring-Kramers 公式是否对谱隙提供关于系统规模 N 一致的上界？
• RQ2 当 N → ∞ 时，即使 h → 0，是否仍能建立对数 Sobolev 常数的统一下界？
• RQ3 在 N → ∞ 极限下，Eyring-Kramers 上界对谱隙渐近最优的条件是什么？
• RQ4 尽管在有限 N 时存在亚稳态，随着系统规模增大，松弛速率是否仍会发生动力学相变？

主要发现

• 谱隙 λ(h,N) 满足上界 λ(h,N) ≤ p(N) e^{-1/(4h)} (1 + ǫ(h,N))，且在 N 上具有一致控制，其中当 N → ∞ 时 p(N) → sinh(π√(2μ−1))/(π sin(π√(μ−1)))。
• 在 N 和 h 上一致成立的下界为 λ(h,N) ≥ Cδ e^{-(3+2√2+δ)/(24h)} e^{-1/(4h)}，其中 Cδ > 0 仅依赖于 δ。
• 对数 Sobolev 常数 ρ(h,N) 存在与 N 无关的统一下界 ρ(h,N) ≥ Cδ e^{-(3+2√2+δ)/(24h)} e^{-1/(4h)}。
• 当系统规模增长足够缓慢时，即当 N ≤ C h^{-α} 对某个 α < 3/4 时，Eyring-Kramers 公式对谱隙的上界是渐近最优的。
• 在热力学极限 N → ∞ 下，谱隙和对数 Sobolev 常数均未退化，表明未发生动力学相变。
• 结果以半经典 Witten Laplacian 的形式重新表述，建立了大维度下的统一谱隙估计。