[论文解读] Local structure of random quadrangulations

Maxim Krikun|arXiv (Cornell University)|Dec 14, 2005

Stochastic processes and statistical mechanics参考文献 14被引用 80

一句话总结

该论文建立了具有 N 个面的均匀随机四边形图的局部弱收敛性，表明从根出发距离为 R 的边界圈的长度随 R 的增长呈二次关系，并收敛于一个临界时间反转的分支过程。归一化后的圈长 2|γ_R|/R² 在分布上收敛于 Γ(3/2) 分布，其连续极限为一个反转的连续状态分支过程，从而提供了均匀无限四边形图的局部结构描述。

ABSTRACT

This paper is an adaptation of a method used in \cite{K} to the model of random quadrangulations. We prove local weak convergence of uniform measures on quadrangulations and show that the local growth of quadrangulation is governed by certain critical time-reversed branching process and the rescaled profile converges to the reversed continuous-state branching process. As an intermediate result we derieve a biparametric generating function for certain class of quadrangulations with boundary.

研究动机与目标

• 建立当 N → ∞ 时，有限四边形图上均匀测度的局部弱收敛性。
• 通过根与无穷远部分之间被圈分离的圈的增长，刻画均匀无限四边形图的局部几何结构。
• 证明从根出发距离为 R 的边界圈长度由一个临界时间反转分支过程控制。
• 推导圈长剖面的连续极限，将离散四边形图与一个反转的连续状态分支过程联系起来。

提出的方法

• 通过定义两四边形图之间的距离为使得它们在根处 R-球完全相同的最大 R 值。
• 证明 N 个面的四边形图上均匀测度弱收敛于一个在无限四边形图上支撑的极限测度。
• 利用四边形图与标号树之间的双射关系分析结构，重点关注从根出发距离为 R 的圈 γ_R。
• 使用奇点分析方法，推导出具有长度为 2m 的边界四边形图的双变量生成函数 U(x,y)，并提取渐近展开式。
• 证明 |γ_R| 是一个马尔可夫链，其转移概率由生成函数为 φ(t) = (1/(2t))·(√((t−9)(t−1)^3) − 3 + 6t − t²) 的临界分支过程导出。
• 建立分支过程平稳测度的生成函数 F(t) = (3/4)·(√((9−t)/(1−t)) − 3)。

实验结果

研究问题

• RQ1 当 N → ∞ 时，在具有 N 个面的均匀随机四边形图中，边界圈长度 |γ_R| 随 R 增大如何增长？
• RQ2 在均匀无限四边形图中，归一化圈长 2|γ_R|/R² 的极限分布是什么？
• RQ3 在极限下，离散圈长增长过程能否被一个连续随机过程近似？
• RQ4 当 R → ∞ 时，最小分离圈长度 ℓ(R) 是否关于 R 线性增长？若是，其上下界为何？

主要发现

• N 个面四边形图上均匀测度序列 μ_N 弱收敛于一个在无限四边形图上支撑的概率测度 μ，该测度定义了均匀无限四边形图。
• 从根出发距离为 R 的圈 γ_R 将根与无穷部分分离，且 |γ_R| 是一个马尔可夫链，其转移概率由临界分支过程导出。
• 当 R → ∞ 时，归一化圈长 2|γ_R|/R² 在分布上收敛于 Γ(3/2) 分布。
• 在连续极限下，剖面 |γ_{tR}|/R² 在分布上收敛于一个反转的连续状态分支过程。
• 具有长度为 2m 的简单边界的 N 个面四边形图的渐近数量为 C(N,m) = b(m)/Γ(3/2) · N^{-5/2} · x₀^{-N} (1 + O(N^{-1/2}))，其中 b(m) = [y^m]B(y)。
• 具有边界的四边形图的生成函数 U(x,y) 满足由与树及球面四边形图之间的双射导出的二次方程，其奇点位于 x₀ = 1/12。