[论文解读] Scaling limits for the critical Fortuin-Kastelyn model on a random planar map II: local estimates and empty reduced word exponent

Ewain Gwynne, Xin Sun|arXiv (Cornell University)|May 13, 2015

Stochastic processes and statistical mechanics参考文献 31被引用 13

一句话总结

本文在随机平面图上的临界Fortuin-Kasteleyn模型中建立了库存累积过程的局部极限定理，推导出约化字中符号计数的精确渐近公式。证明了条件停留在第一象限的二维随机游走的标度极限，并计算了长度为 $2n$ 的字约化为空字的概率的指数，从而得出临界FK平面图模型的划分函数的渐近公式。

ABSTRACT

We continue our study of the inventory accumulation introduced by Sheffield (2011), which encodes a random planar map decorated by a collection of loops sampled from the critical Fortuin-Kasteleyn (FK) model. We prove various \emph{local estimates} for the inventory accumulation model, i.e., estimates for the precise number of symbols of a given type in a reduced word sampled from the model. Using our estimates, we obtain the scaling limit of the associated two-dimensional random walk conditioned on the event that it stays in the first quadrant for one unit of time and ends up at a particular position in the interior of the first quadrant. We also obtain the exponent for the probability that a word of length $2n$ sampled from the inventory accumulation model corresponds to an empty reduced word, which is equivalent to an asymptotic formula for the partition function of the critical FK planar map model. The estimates of this paper will be used in a subsequent paper to obtain the scaling limit of the lattice walk associated with a finite-volume FK planar map.

研究动机与目标

• 推导临界FK平面图模型中库存累积模型的局部极限定理。
• 获得从该模型中采样得到的约化字中每类符号数量的精确渐近公式。
• 计算长度为 $2n$ 的随机字约化为空字的概率的指数。
• 建立与库存累积过程相关的二维格点游走的标度极限，该游走条件为停留在第一象限并终止于指定内点。
• 为后续工作中有限体积FK平面图模型的标度极限提供基础估计。

提出的方法

• 为库存累积过程开发局部极限定理，重点关注特定时刻添加的汉堡包和芝士汉堡包的数量。
• 利用正则性和大偏差估计控制字生成过程中罕见构型的概率。
• 应用连续性估计和布朗运动近似分析条件停留在第一象限的游走行为。
• 引入关键的随机变量如 $K_{n,m}^H$、$J_{n,r}^H$ 和 $L_{n,r}^H$ 以追踪符号插入的时间与结构。
• 利用汉堡包-芝士汉堡包双射将FK环构型编码为字，并将其与格点游走关联。
• 利用游走的标度极限推导空约化字概率的指数。

实验结果

研究问题

• RQ1 从库存累积模型中采样得到的长度为 $2n$ 的字约化为空字的精确渐近概率是什么？
• RQ2 由该模型生成的约化字中符号计数（汉堡包和芝士汉堡包）的局部统计行为如何？
• RQ3 与库存累积过程相关的二维格点游走的标度极限是什么，该游走条件为停留在第一象限并终止于固定内点？
• RQ4 在各种条件事件下，给定时间窗口内添加汉堡包的次数的局部估计是什么？
• RQ5 对罕见事件（如时间区间内订单稀少）的估计如何贡献于整体的标度极限？

主要发现

• 长度为 $2n$ 的字约化为空字的概率以 $n^{-\theta}$ 的形式衰减，其中特定指数 $\theta$ 被显式计算得出。
• 条件停留在第一象限并终止于固定内点的二维格点游走的标度极限为具有正相关性的布朗运动。
• 建立了约化字中汉堡包和芝士汉堡包数量的局部估计，精确到常数倍。
• 临界FK平面图模型的划分函数的指数作为空字概率估计的结果被推导出来。
• 通过正则性和连续性估计，实现了对游走局部行为的统一控制，从而支持了标度极限的推导。
• 这些估计为后续工作中证明有限体积FK平面图模型的标度极限提供了基础。