[论文解读] Convergence of uniform noncrossing partitions toward the Brownian triangulation

Jérémie Bettinelli|arXiv (Cornell University)|Nov 13, 2017

Advanced Combinatorial Mathematics参考文献 9被引用 5

一句话总结

本文通过利用 Marchal 关于 Dyck 路径强收敛于布朗桥的定理，为正 n 边形的均匀非交叉划分在 Hausdorff 拓扑下弱收敛于 Aldous 的布朗三角剖分提供了简洁的证明。此外，本文基于 Dyck 路径编码构造了一个几乎必然收敛的非交叉划分递归序列，将结果推广至偶数边多边形的非交叉对划分。

ABSTRACT

We give a short proof that a uniform noncrossing partition of the regular $n$-gon weakly converges toward Aldous's Brownian triangulation of the disk, in the sense of the Hausdorff topology. This result was first obtained by Curien & Kortchemski, using a more complicated encoding. Thanks to a result of Marchal on strong convergence of Dyck paths toward the Brownian excursion, we furthermore give an algorithm that allows to recursively construct a sequence of uniform noncrossing partitions for which the previous convergence holds almost surely. In addition, we also treat the case of uniform noncrossing pair partitions of even-sided polygons.

研究动机与目标

• 为正 n 边形的均匀非交叉划分在 Hausdorff 拓扑下弱收敛于布朗三角剖分，提供一种更简单、更直接的证明。
• 通过基于 Dyck 路径编码的递归构造方法，建立几乎必然收敛性。
• 将收敛结果推广至偶数边多边形的均匀非交叉对划分。
• 通过最大层化结构的性质，证明极限层化结构几乎必然为布朗三角剖分。

提出的方法

• 本文将非交叉划分编码为 Dyck 路径，利用非交叉划分与长度为 2n 的 Dyck 路径之间的双射关系。
• 应用 Marchal 关于缩放后 Dyck 路径强收敛于布朗桥的结果，确保路径编码的几乎必然收敛。
• Dyck 路径编码的收敛性意味着其对应的层化结构在 Hausdorff 拓扑下收敛。
• 对于非交叉对划分，方法使用 Kreweras 对偶和长度为 2n 的无约束 Dyck 路径，该路径在缩放下同样收敛于布朗桥。
• 该构造包含一个递归算法，用于插入顶点或切割弦，对应于 Dyck 路径上的特定操作。
• 证明利用了布朗三角剖分在包含关系下几乎必然为最大这一事实，因此任何等于它的极限层化结构必为布朗三角剖分。

实验结果

研究问题

• RQ1 正 n 边形的均匀非交叉划分是否在 Hausdorff 拓扑下弱收敛于布朗三角剖分？
• RQ2 能否通过构造性递归算法将该收敛性强化为几乎必然收敛？
• RQ3 该收敛结果是否同样适用于偶数边多边形的均匀非交叉对划分？
• RQ4 非交叉划分的 Dyck 路径编码与其层化结构收敛于布朗三角剖分之间有何关系？

主要发现

• 正 n 边形的均匀非交叉划分在 Hausdorff 拓扑下弱收敛于布朗三角剖分。
• 通过基于 Dyck 路径操作的递归构造，结合 Marchal 的强收敛结果，实现了几乎必然收敛。
• 极限层化结构几乎必然为布朗三角剖分，因其为最大且极限本身为层化结构。
• 对于 P_{2n} 的非交叉对划分，收敛至布朗三角剖分成立，其编码 Dyck 路径在缩放后收敛于布朗桥。
• 非交叉划分的层化结构与其对应 P_{2n} 的非交叉对划分之间的 Hausdorff 距离至多为 π/(2n)。