[论文解读] Geodesic rays in the uniform infinite half-planar quadrangulation return to the boundary

Erich Baur, Grégory Miermont+1 more|arXiv (Cornell University)|May 15, 2016

Computational Geometry and Mesh Generation参考文献 18被引用 4

一句话总结

本文通过基于双边简单随机游走和均匀标记的临界Galton-Watson树的Schaeffer型编码，证明了在均匀无限半平面四边形剖分（UIHPQ）中，所有测地线射线均无限次与边界相交。关键结果为：测地线射线是正规的，且其相邻交点时间间隔的尾部分布呈对数形式，该行为同样适用于均匀无限半平面三角剖分（UIHPT）。

ABSTRACT

We show that all geodesic rays in the uniform infinite half-planar quadrangulation (UIHPQ) intersect the boundary infinitely many times, answering thereby a recent question of Curien. However, the possible intersection points are sparsely distributed along the boundary. As an intermediate step, we show that geodesic rays in the UIHPQ are proper, a fact that was recently established by Caraceni and Curien (2015) by a reasoning different from ours. Finally, we argue that geodesic rays in the uniform infinite half-planar triangulation behave in a very similar manner, even in a strong quantitative sense.

研究动机与目标

• 解决Curien近期提出的问题：UIHPQ中的测地线射线是否无限次与边界相交。
• 通过不同方法证明UIHPQ中的测地线射线是正规的，扩展Caraceni与Curien的结果。
• 展示UIHPQ与UIHPT中测地线射线与边界相交的行为在数量上具有相似性。
• 利用Schaeffer型编码的变体，将四边形模型的结果推广至三角剖分模型。
• 证明所有测地线射线访问的边界顶点集合为无限集且粗略均匀分布，且相邻访问时间间隔的尾部分布具有显式形式。

提出的方法

• 基于双边简单随机游走和在下坡步上附加的均匀标记临界Galton-Watson树，对UIHPQ进行Schaeffer型编码。
• 分析随机游走中高于-1的首次通过区间内树所达到的最小标签，以推导边界交点的分布。
• 从根部构造两条特殊测地线（最大与最小）以定义所有测地线射线访问的边界顶点的通用集合。
• 将相同的编码框架应用于均匀无限半平面三角剖分（UIHPT），采用移动桥构造的变体。
• 对边界顶点的首次 hitting 时间进行精确的分布计算，特别是计算相邻交点时间间隔的尾部分布。
• 利用对称性与包含关系，比较不同测地线射线访问的边界顶点集合，并推导访问频率的界。

实验结果

研究问题

• RQ1 UIHPQ中的所有测地线射线是否无限次与边界相交？
• RQ2 UIHPQ中测地线射线连续两次与边界相交的时间间隔的分布为何？
• RQ3 UIHPQ中测地线射线与边界相交的行为与UIHPT中的行为有何异同？
• RQ4 能否将用于UIHPQ的方法扩展至UIHPT，以建立类似的相交性质？
• RQ5 所有测地线射线在UIHPQ与UIHPT中访问的边界顶点集合的精确分布为何？

主要发现

• 几乎必然地，UIHPQ中的每条测地线射线均无限次与边界相交。
• 所有测地线射线访问的边界顶点集合包含一个无限多个不同点的序列，且所有射线均经过其中除有限多个外的所有点。
• 对于最大测地线，连续两次边界交点间距离的尾部概率满足 $\mathbb{P}(\delta > m) \sim 1/\ln m$，当 $m \to \infty$ 时。
• 对于最小测地线，尾部分布为 $\mathbb{P}(\delta' > m) \sim 1/(2\ln m)$，表明访问略为稀疏。
• 该相交行为在UIHPT中同样成立：所有测地线射线无限次与边界相交，且具有可比的尾部分布。
• 集合 $\tilde{\mathcal{R}}_+ \cup \tilde{\mathcal{R}}_-^{\textup{min}}$ 与 $\tilde{\mathcal{R}}_+^{\textup{min}} \cup \tilde{\mathcal{R}}_-$ 为UIHPT中边界访问时间集合的紧致界。