[論文レビュー] Local structure of random quadrangulations

Maxim Krikun|arXiv (Cornell University)|Dec 14, 2005

Stochastic processes and statistical mechanics参考文献 14被引用数 80

ひとこと要約

本稿では、N個の面を持つ一様なランダムな四角形分割の局所的弱収束を確立し、根からの距離Rにおける境界サイクルの長さがRの2乗に比例して増大し、臨界的時間反転ブランチング過程に収束することを示している。スケーリングされたサイクル長2|γ_R|/R²は分布収束してΓ(3/2)分布に収束し、連続的極限として逆向きの連続状態ブランチング過程が得られ、一様無限四角形分割の局所的構造が記述される。

ABSTRACT

This paper is an adaptation of a method used in \cite{K} to the model of random quadrangulations. We prove local weak convergence of uniform measures on quadrangulations and show that the local growth of quadrangulation is governed by certain critical time-reversed branching process and the rescaled profile converges to the reversed continuous-state branching process. As an intermediate result we derieve a biparametric generating function for certain class of quadrangulations with boundary.

研究の動機と目的

• N → ∞ のとき、N個の面を持つ有限四角形分割上の一様測度の局所的弱収束を確立すること。
• 根から無限遠に至る部分を分離するサイクルの成長を用いて、一様無限四角形分割の局所的幾何構造を特徴づけること。
• 根からの距離Rにおける境界サイクルの長さが、臨界的時間反転ブランチング過程に従うことの証明。
• サイクル長のスケーリングされたプロファイルの連続的極限を導出し、離散的四角形分割と逆向きの連続状態ブランチング過程を結びつけること。

提案手法

• 根回りのR-ボールが同一である最大のRを用いて四角形分割間の距離を定義する。
• N個の面を持つ四角形分割上の一様測度が、無限四角形分割に台を持つ極限測度に弱収束することを証明する。
• 四角形分割とラベル付き木の間の双対性を用いて構造を分析し、根からの距離Rにおけるサイクルγ_Rに注目する。
• 境界長2mの四角形分割に対する二変数母関数U(x,y)を導出し、特異点解析を用いて漸近挙動を抽出する。
• |γ_R|が、生成関数φ(t) = (1/(2t))·(√((t−9)(t−1)^3) − 3 + 6t − t²) を持つ臨界的ブランチング過程から導かれる遷移確率を持つマルコフ連鎖であることを示す。
• ブランチング過程の定常測度の母関数F(t)がF(t) = (3/4)·(√((9−t)/(1−t)) − 3) に等しいことを確立する。

実験結果

リサーチクエスチョン

• RQ1 N → ∞ のとき、一様ランダムなN面四角形分割において、境界サイクル長|γ_R|はRが増加するにつれてどのように増大するか？
• RQ2 一様無限四角形分割において、スケーリングされたサイクル長2|γ_R|/R²の極限分布は何か？
• RQ3 離散的サイクル成長過程は、極限において連続確率過程で近似可能か？
• RQ4 R → ∞ のとき、最小の分離サイクル長ℓ(R)はRに比例するか？もしそうならば、その境界は何か？

主な発見

• N個の面を持つ四角形分割上の一様測度の列μ_Nは、無限四角形分割に台を持つ確率測度μに弱収束する。このμが一様無限四角形分割を定義する。
• 根からの距離Rにおけるサイクルγ_Rは根と無限遠部分を分離し、|γ_R|は臨界的ブランチング過程から導かれる遷移確率を持つマルコフ連鎖である。
• スケーリングされたサイクル長2|γ_R|/R²は、R → ∞ のとき分布収束してΓ(3/2)分布に収束する。
• 連続的極限において、プロファイル|γ_{tR}|/R²は逆向きの連続状態ブランチング過程に分布収束する。
• 境界が単純で長さ2mであるN面四角形分割の漸近的数は、C(N,m) = b(m)/Γ(3/2) · N^{-5/2} · x₀^{-N} (1 + O(N^{-1/2})) に等しく、ここでb(m) = [y^m]B(y) である。
• 境界を持つ四角形分割の母関数U(x,y)は、木との双対性と球面四角形分割から導かれる二次方程式を満たし、特異点はx₀ = 1/12に存在する。