[論文レビュー] Uniform spanning trees on Sierpinski graphs

Masato Shinoda, Elmar Teufl+1 more|arXiv (Cornell University)|May 22, 2013

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

ひとこと要約

この論文は、有限のシエルピンスキー図形上の均一な全域木のための結合確率空間を射影極限を用いて構築し、それが多型のガルトン＝ワトソン木に収束することを示している。次数分布のほとんど確実な収束を確立し、これらの図形におけるループ消去ランダムウォークがハウスドルフ次元約1.194の連続的極限過程に収束することを示しており、対称性を持つ他の自己相似図形へも拡張可能である。

ABSTRACT

We study spanning trees on Sierpinski graphs (i.e., finite approximations to the Sierpinski gasket) that are chosen uniformly at random. We construct a joint probability space for uniform spanning trees on every finite Sierpinski graph and show that this construction gives rise to a multi-type Galton-Watson tree. We derive a number of structural results, for instance on the degree distribution. The connection between uniform spanning trees and loop-erased random walk is then exploited to prove convergence of the latter to a continuous stochastic process. Some geometric properties of this limit process, such as the Hausdorff dimension, are investigated as well. The method is also applicable to other self-similar graphs with a sufficient degree of symmetry.

研究の動機と目的

• 有限のシエルピンスキー図形における均一な全域木のための一貫性のある結合確率空間を、射影極限の構成を用いて定義すること。
• 特に次数分布と成分サイズを含む、シエルピンスキー図形上の均一な全域木の構造的性質を分析すること。
• シエルピンスキー図形におけるループ消去ランダムウォークの連続的極限過程への収束を確立し、その幾何的性質を特徴づけること。
• 他の自己相似図形（例：変形されたコッホ曲線、高階の部分分割によるシエルピンスキー図形）に対しても、この手法を拡張可能であることを示すこと。
• ランダム全域木が誘導する計量構造と、木の枝同士が接する境界の幾何的性質を調査し、特にそのハウスドルフ次元を特定すること。

提案手法

• 有限のシエルピンスキー図形における均一な全域木の射影極限を構成し、無限のシエルピンスキー・ガスケットにおける極限確率的木を定義する。
• シエルピンスキー図形の再帰的かつ対称的な性質を活用し、多型のガルトン＝ワトソン過程を用いて極限木の構造をモデル化する。
• ウィルソンのアルゴリズムによる均一な全域木とループ消去ランダムウォークの関係を応用し、ウォークのスケーリング極限を分析する。
• 均一な全域木における次数分布のほとんど確実な収束を証明し、次数iの頂点の割合が定数w(i)に収束することを示す。
• 再正規化とスケーリングの議論を用いて、ループ消去ランダムウォークの長さの極限分布を導出し、そのハウスドルフ次元を計算する。
• ランダム全域木が誘導する計量を分析し、ほとんど確実にR木に収束することを証明し、境界集合のハウスドルフ次元を推定する。

実験結果

リサーチクエスチョン

• RQ1 有限のn番目のシエルピンスキー図形における均一な全域木の典型頂点の次数の極限分布は何か？（n → ∞ のとき）
• RQ2 シエルピンスキー図形におけるループ消去ランダムウォークは漸近的にどのように振る舞い、そのスケーリング極限の性質は何か？
• RQ3 シエルピンスキー・ガスケットにおけるループ消去ランダムウォークの極限曲線のハウスドルフ次元は何か？
• RQ4 全域木の異なる枝が接触する境界（インターフェース）は、極限においてどのように幾何学的に振る舞うか？
• RQ5 シエルピンスキー図形に用いられた手法は、対称性を持つ他の自己相似図形へどの程度一般化可能か？

主な発見

• n番目のシエルピンスキー図形における均一な全域木の次数i（i ∈ {1, 2, 3, 4}）の頂点の割合は、n → ∞ のときほとんど確実に定数w(i)に収束する。
• シエルピンスキー・ガスケットにおけるループ消去ランダムウォークの極限過程は、ほとんど確実に自己交差を避けるものであり、ハウスドルフ次元は log₂(4/3 + √205/15) ≈ 1.193995 に等しい。
• n番目のシエルピンスキー図形において、1つの頂点から別の頂点へのループ消去ランダムウォークの長さは、漸近的に (4/3 + √205/15)^n のように増加し、スケーリングされた長さは分布収束する。
• 全域木のインターフェース（異なる枝が接触する集合）のハウスドルフ次元は、高々 log(α̌)/log(2) ≈ 0.457029 である。ここでα̌は抵抗スケーリングに関連するスペクトル半径である。
• 本手法は、2つまたは3つの境界頂点を持つ他の自己相似図形（例：変形されたコッホ曲線）へも一般化可能であり、極限過程のハウスドルフ次元は log(10/3)/log(3) ≈ 1.0959 に等しい。
• 4つ以上の境界頂点を持つ図形では、漸近的には本手法が適用可能であるが、より複雑な森の型と正確でない数え上げ式が生じ、ループ消去ウォークによる部分グラフの複数回通過といった、より豊かな幾何的現象が生じる。