[论文解读] The subleading order of two dimensional cover times

David Belius, Nicola Kistler|arXiv (Cornell University)|May 5, 2014

Stochastic processes and statistical mechanics参考文献 5被引用 10

一句话总结

本文确定了二维环面上布朗运动覆盖时间的次主导阶校正，表明当 $ \varepsilon \downarrow 0 $ 时，$ \varepsilon $-覆盖时间以概率满足 $ C_\varepsilon = \frac{1}{\pi} \log \varepsilon^{-1} \left( \log \varepsilon^{-2} - (1+o(1)) \log \log \varepsilon^{-1} \right) $。分析采用第二矩法的多尺度改进，借鉴分支布朗运动的技术以捕捉命中时间中的长程相关性，这种相关性导致了在独立情形下不存在的 $ \log \log \varepsilon^{-1} $ 校正。

ABSTRACT

The epsilon-cover time of the two dimensional torus by Brownian motion is the time it takes for the process to come within distance epsilon>0 from any point. Its leading order in the small epsilon-regime has been established by Dembo, Peres, Rosen and Zeitouni [Ann. of Math., 160 (2004)]. In this work, the second order correction is identified. The approach relies on a multi-scale refinement of the second moment method, and draws on ideas from the study of the extremes of branching Brownian motion.

研究动机与目标

• 解决环面上二维 $ \varepsilon $-覆盖时间布朗运动的低阶校正这一开放问题。
• 理解覆盖时间中次主导校正背后的机制，特别是命中时间中长程相关性的角色。
• 在主导对数项之外，建立覆盖时间的精确渐近展开式。
• 在覆盖时间过程与分支布朗运动的极值行为之间建立严格的类比。

提出的方法

• 采用第二矩法的多尺度改进，以分析环面上 $ \varepsilon $-球上命中时间的最大值。
• 该方法利用了在不同尺度上同心环形区域形成的隐式树结构，以建模它们之间的穿越行为。
• 将命中时间场视为对数相关，类似于分支布朗运动，从而可应用该领域中的极值技术。
• 利用贝塞尔函数恒等式和伽马-正态混合，推导出各尺度上穿越时间的条件分布。
• 通过涉及修正贝塞尔函数的矩生成函数界，建立穿越时间的大偏差估计。
• 证明依赖于对局部时间轮廓的条件化，并分析在中间尺度上花费的时间与遗漏小球的可能性之间的相互作用。

实验结果

研究问题

• RQ1 二维 $ \varepsilon $-覆盖时间布朗运动的次主导校正确切形式是什么？
• RQ2 命中时间中的长程相关性如何在主导对数阶之外影响覆盖时间？
• RQ3 命中时间场的极值行为能否与分支布朗运动的极值行为严格关联？
• RQ4 中间尺度的时间轮廓在延迟覆盖小 $ \varepsilon $-球方面起什么作用？
• RQ5 为何在二维中覆盖时间表现出 $ \log \log \varepsilon^{-1} $ 校正，而在更高维度中则没有？

主要发现

• 对 $ \varepsilon $-覆盖时间的次主导阶校正为 $ - (1+o(1)) \log \log \varepsilon^{-1} $，证实了猜想中的对数对数校正。
• 该校正源于命中时间场中的长程相关性，这种相关性在独立情形下不存在，且是熵排斥效应的根源。
• 其机制涉及布朗运动通过在中间尺度上减少停留时间来避免小球，这种行为类似于分支布朗运动中的 $ 3/2 $-校正。
• 由于这种熵排斥效应，覆盖时间快于独立指数分布近似，因为遗漏小球变得更加困难。
• 该证明建立了覆盖时间过程与分支布朗运动之间具体的类比，使得可应用后者的极值理论。
• 该结果证实，在二维中布朗运动的局部常返性导致了与高维情形根本不同的覆盖机制：在高维中波动服从 Gumbel 分布，且无此类校正出现。