[論文レビュー] A combinatorial criterion for macroscopic circles in planar triangulations

Ori Gurel-Gurevich, Daniel C. Jerison+1 more|arXiv (Cornell University)|Jun 4, 2019

Stochastic processes and statistical mechanics参考文献 18被引用数 4

ひとこと要約

本稿は、平面的三角形分割における円詰めの円の大きさと頂点極端長の間の組合せ的条件を確立する。特に、半径が0から離れた「巨視的」な円が存在するための必要十分条件は、特定の頂点極端長の最小値が有界であることであると証明する。この条件を離散的「木の対象化」確率的マップモデルに適用することで、最大の円の半径が高確率で0に近づくことを示す。

ABSTRACT

Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield, the size of the largest circle goes to zero with high probability.

研究の動機と目的

• 平面的三角形分割における円詰めの巨視的円の存在を特徴づける精密な組合せ的条件を確立すること。
• 円詰めの幾何的性質（特に最大の円の大きさ）を、頂点極端長という解析的不変量と結びつけること。
• この条件を離散的「木の対象化」マップモデルに適用し、その円詰めにおける最大の円が大規模極限で消えることを証明すること。
• 境界付きの根付き三角形分割の系列において、巨視的円が存在しないための必要十分条件（頂点極端長の観点から）を提示すること。

提案手法

• 頂点極端長（VEL）を、頂点に重み関数を割り当てて経路長と面積を計算することで、グラフ内の経路の混雑度を測る指標として定義する。
• 2つの主要な経路族を導入する：Γρ,v（ρのまわりを1周する経路）とΓv∂（vから外部面へ至る経路）；これらに対するVELの上界を円の半径で表現する。
• 逆不等式を確立する：すべての円の半径がε未満であれば、すべてのvおよび経路族についてのVELの最小値が、ある普遍定数c > 0に対してc log(1/ε)以上であることを示す。
• VELと円の半径の双対性を用いて、巨視的円が存在しないための必要十分条件を導出する。
• 離散的「木の対象化」モデルにこの基準を適用する際、先行研究（例：[12]）の推定値を活用し、n → ∞のときVEL量が発散することを示す。
• 幾何的被覆論法と環状分解を用いて、グラフ埋め込みにおける細胞の直径と面積を制御し、VELの下界を得る。

実験結果

リサーチクエスチョン

• RQ1 平面的三角形分割の円詰めにおいて、どのような組合せ的条件下で巨視的円が存在するか？
• RQ2 頂点極端長は、平面的マップの円詰めにおける円の大きさをどのように特徴づけられるか？
• RQ3 離散的「木の対象化」確率的マップモデルにおいて、頂点数が増加するにつれて、その円詰めに巨視的円が現れるか？
• RQ4 すべての円が小さい（つまり、巨視的円が存在しない）かどうかを特定する、正確な組合せ的基準は存在するか？
• RQ5 頂点極端長は、特に確率的平面マップモデルにおいて、幾何的スケーリングの代理として機能できるか？

主な発見

• 本稿は、任意の境界付きの根付き三角形分割について、根のまわりを1周する経路の頂点極端長が VEL(Γρ,v) ≤ 4 / radρ(v) を満たすことを証明し、円の半径によるVELの上界を与える。
• これとは補完的な下界を確立する：すべての円の半径がε未満であれば、min_v [VEL(Γρ,v) ∨ VEL(Γv∂)] ≥ c log(1/ε) が、ある普遍定数c > 0に対して成り立つ。
• 巨視的円が存在しないための必要十分条件を導出する：根付き三角形分割の系列が巨視的円を持たないための必要十分条件は、n → ∞ のとき min_v [VEL(Γρ,v) ∨ VEL(Γv∂)] → ∞ となることである。
• この基準を離散的「木の対象化」モデルに適用することで、頂点数が増加するにつれて、円詰めにおける最大の円の半径が高確率で0に近づくことを示す。
• この結果は、マッティング・オブ・ツリー・マップの円詰めにおける離散的解析関数が、極限領域における古典的解析関数に収束することを示唆しており、[10]の結果と組み合わせて確認されている。
• 証明は幾何的被覆論法と円環領域への分解に依拠しており、細胞の直径が小さく、詰めが密であるときVELがΩ(log(1/ε))であることを示している。