[論文レビュー] Uniform random spanning trees

Robin Pemantle|ArXiv.org|Apr 5, 2004

Graph theory and applications参考文献 15被引用数 13

ひとこと要約

本稿は有限および無限グラフにおける一様ランダムスパニングツリー（UST）を調査し、USTとランダムウォーク、抵抗ネットワーク、ドミノタイル化との深い関係を確立する。USTが辺同士に負の相関を示すことを証明し、次に2〜4次元において整数格子上のUSTは無限に至る一意のパスを持つが、5次元以上では無限個の成分をもつ本質的スパニングフォレストに収束することを示す。

ABSTRACT

There are several good reasons you might want to read about uniform spanning trees, one being that spanning trees are useful combinatorial objects. Not only are they fundamental in algebraic graph theory and combinatorial geometry, but they predate both of these subjects, having been used by Kirchoff in the study of resistor networks. This article addresses the question about spanning trees most natural to anyone in probability theory, namely what does a typical spanning tree look like?

研究の動機と目的

• 有限および無限グラフにおける一様ランダムスパニングツリー（UST）の構造的および確率的性質を理解すること。
• すべてのスパニングツリーを列挙せずに局所的エッジ確率を計算するという課題を解決すること。
• 特に格子における大規模グラフにおけるUSTの極限的挙動を調査し、無限ランダムツリーまたはフォレストへの収束を明らかにすること。
• USTとドミノタイル化や本質的スパニングフォレストなどの他の組合せ的対象との関係を確立すること。
• 特に異なる次元における無限グラフにおけるUSTの幾何学的および位相的性質、特に無限に至るパスの数を調査すること。

提案手法

• ラプラシアンの小行列式の行列式を用いて、スパニングツリーの数を計算するための行列ツリー定理を用いる。
• トーラス上のグラフにおける巡回型ラプラシアン行列の固有値を計算するために群表現論を適用する。
• モーメント法および包含除算法を用いてエッジの包含確率および相関を分析する。
• 2n-トーラスにおけるドミノタイル化とn-トーラスにおける有向本質的スパニングフォレストとの間の一対一対応を確立する。
• 有限トーラス上のUSTの分布的極限を用いて、無限整数格子上の一様スパニングツリーを定義する。
• 対数行列式の漸近的評価を通じてエントロピーを分析し、エントロピー率の積分表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられたエッジが一様ランダムスパニングツリーに属する確率は何か？ また、このような確率はエッジ間でどのように相関するか？
• RQ2 すべてのスパニングツリーを列挙せずに、USTの局所的特性（例：エッジの包含）はどのように振る舞うか？
• RQ3 n-トーラスのような大規模な有限グラフにおけるUSTの極限的構造は何か？ サイズが無限に近づく際の挙動は？
• RQ4 USTの幾何学的性質、特に無限に至るパスの数は、元となる格子の次元にどのように依存するか？
• RQ5 平面における一様ランダムドミノタイル化は、整数格子上の一様ランダムスパニングツリーを用いて構成可能か？

主な発見

• 一様スパニングツリーは負の相関を示す：任意の異なる2つのエッジ e と f に対して、P(e,f ∈ T) ≤ P(e ∈ T)P(f ∈ T) が成り立ち、一般には厳密な不等号が成立する。
• 2n-トーラスにおいて、スパニングツリーの数は exp(hn²) のように増加する。ここで h = ∫₀¹∫₀¹ ln(4 − 2cos(2πx) − 2cos(2πy)) dx dy であり、これはUSTプロセスのエントロピーを表す。
• 2次元、3次元、4次元において、無限整数格子上の一様スパニングツリーは無限に至るパスがちょうど1本であり、任意の2つの無限パスは最終的に合流する。
• 5次元以上では、有限トーラス上のUSTの極限はスパニングツリーではなく、無限個の成分をもつ本質的スパニングフォレストである。
• n-トーラス上の一様ランダムスパニングツリーと2n-トーラスにおけるドミノタイル化との間には一対一対応が存在し、2次元では平面における一意に定義された一様ランダムドミノタイル化が得られる。
• 次元 d ≥ 5 において、本質的スパニングフォレストの各成分が無限に至るパスをちょうど1本もつという予想が提示され、高次元でもパスの合流が成立する形式を示唆する。