[論文レビュー] Planarity and non-separating cycles in uniform high genus quadrangulations

Baptiste Louf|arXiv (Cornell University)|Dec 11, 2020

Stochastic processes and statistical mechanics参考文献 33被引用数 5

ひとこと要約

本稿は、面の数に対して線形に増加する genus を持つ大規模なランダム四角形分割を調査する。組合せ的および確率的技法を用いて、根の近傍における局所的構造は対数的半径まで平面的である一方で、大規模な構造には正の確率で短い非分離サイクルが存在することを示している。これは、局所的には平面的であるが、大規模スケールでは双曲的幾何が顕在することを示している。

ABSTRACT

We study large uniform random quadrangulations whose genus grow linearly with the number of faces, whose local convergence was recently established by Budzinski and the author arXiv:1902.00492,arXiv:2012.05813. Here we study several properties of these objects which are not captured by the local topology. Namely we show that balls around the root are planar whp up to logarithmic radius, and we prove that there exists short non-contractible cycles with positive probability.

研究の動機と目的

• 面の数に対して線形に増加する genus を持つ大規模なランダム四角形分割のグローバルな幾何的特徴を理解すること。
• 高 genus の地図における局所的平面性とグローバルな非平面的トポロジーの相互作用を分析すること。
• このような地図において、短い非収縮的（特に非分離）サイクルが正の確率で存在するかどうかを特定すること。
• 既知の局所的極限挙動を、局所トポロジーを越えた大規模な幾何的性質へと拡張すること。
• 一様な高 genus 四角形分割における平面的半径と短い非分離サイクルの存在に関する定量的バウンドを確立すること。

提案手法

• 面の数が $ n $、genus が $ g $ である二部四角形分割の数に対する漸近的推定を導出するため、Carrell–Chapuy の公式を用いる。
• 先行研究における有界比補題を適用し、genus のレベル間での四角形分割数の増加率を制御する。
• 隣接する genus 間の数の関係を示すために、組合せ的単射作用素を導入し、不等式 $ 2gQ(n,g) \leq (2n)^3 Q(n,g-1) $ を証明する。
• 2次モーメント法を用いて、長さ 2 の非分離サイクルの存在確率を推定する。
• 頂点や辺を共有するサイクル構成（分離／非分離ループを含む）を、場合分けによる分解を用いて分析する。
• 母関数技法と双対的分解を用いて、特定のサイクル構造を持つ地図の数をバウンドする。

実験結果

リサーチクエスチョン

• RQ1 一様な高 genus 四角形分割 $ q^{(n)} $ の平面的半径はどの程度か。すなわち、根の周囲でどの程度の半径まで、球が平面的で非収縮的サイクルを含まないか。
• RQ2 一様な高 genus 四角形分割が、サイズが大きくなるに従い、短い非収縮的サイクルを正の確率で含むか。
• RQ3 極限で観察される局所的平面性と、短い非分離サイクルのようなグローバルな非平面的特徴が共存しうるか。
• RQ4 非分離サイクル長 2 を持つ四角形分割の数の漸近的挙動は、全四角形分割数に対してどのように振る舞うか。
• RQ5 異なる genus 間で特定のサイクル構成を持つ四角形分割の数はどのように関係するか。これは、大規模なランダム地図の幾何にどのような含意を持つか。

主な発見

• 一様な高 genus 四角形分割 $ q^{(n)} $ の平面的半径は、高確率で $ a_\theta \log n $ 以上である。ここで $ a_\theta $ は genus と面数の比 $ \theta $ に依存する正の定数である。
• 正の定数 $ k_\theta > 0 $ が存在し、$ n \to \infty $ のとき、$ q^{(n)} $ に少なくとも1本の長さ2の非分離サイクルが存在する確率は $ k_\theta + o(1) $ 以上で下から抑えられる。
• 短い非分離サイクルの存在は頑健である。根の近傍は対数的半径まで平面的であるが、グローバルには正の確率でこのようなサイクルが出現する。
• $ q^{(n)} $ における長さ2の非分離サイクルの期待値は、下から $ \theta/2 + o(1) $ で抑えられ、これによりその密度が消えないことが示唆される。
• 四角形分割数の漸近的増加は $ 2gQ(n,g) \leq (2n)^3 Q(n,g-1) $ を満たす。これは、サイクル構造を変更する組合せ的単射により証明される。
• 2次モーメント法により、非分離サイクルの存在確率が有効にバウンドされ、 genus パrameter $ \theta $ に依存する定量的下界 $ k_\theta $ が得られた。