[論文レビュー] 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

ひとこと要約

本稿では、2方向の単純なランダムウォークと臨界ガルトン＝ワトソン過程にラベルが付与された木を用いたシューファー型符号化により、一様無限半平面四角形分割（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.

研究の動機と目的

• カリエンが提起した最近の疑問、すなわちUIHPQにおける地図的線分が境界と無限回交差するかどうかを解明すること。
• カラチェニとカリエンによる結果を別法により拡張し、UIHPQにおける地図的線分が正しく定義されることを確立すること。
• UIHPQとUIHPTにおける地図的線分の境界交差挙動が、定量的に類似していることを示すこと。
• シューファー型符号化の変種を用いて、四角形モデルの結果を三角形モデルへ拡張すること。
• すべての地図的線分が訪問する境界頂点の集合が無限であり、粗い意味で一様に分布していること、および再訪問間隔の尾部挙動を明示的に特定すること。

提案手法

• 2方向の単純ランダムウォークと、下りステップに接続された一様ラベル付き臨界ガルトン＝ワトソン木に基づくUIHPQのシューファー型符号化を用いる。
• ランダムウォークの-1より上のエク cursio に接続された木で達成される最小ラベルを分析し、境界交差点の分布を導出する。
• すべての地図的線分が通る境界頂点の普遍的集合を定義するために、根から出る2つの特徴的な地図的線分（最大および最小）を構成する。
• UIHPTに対しても同様の符号化フレームワークを適用し、モバイルブリッジ構成の変種を用いる。
• 境界頂点への到達時間の正確な分布計算を用い、特に再訪問間隔の尾部挙動を計算する。
• 対称性と包含関係を用いて、異なる地図的線分が訪問する境界頂点集合を比較し、訪問頻度の上限を導出する。

実験結果

リサーチクエスチョン

• 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における境界訪問時刻の集合に対してタイトな境界をなす。