[論文レビュー] Limit theorems for maximum flows on a lattice

Yu Zhang|arXiv (Cornell University)|Oct 24, 2007

Mathematical Dynamics and Fractals参考文献 16被引用数 9

ひとこと要約

本稿は、d次元整数格子 Z^d における最初の通過時間確率的透過（first-passage percolation）において、流れ定数の存在を確立する。大きな立方体内でのソースからシンクへの最大流れは、ソースサイズに比例して線形に増加し、その比はほとんど確実かつ L1 空間で、辺容量分布 F に依存する決定的定数に収束することが証明される。この結果は、最小カットセットの分析と、濃度不等式および通過時間に関する再帰的推定に依拠している。

ABSTRACT

We independently assign a non-negative value, as a capacity for the quantity of flows per unit time, with a distribution F to each edge on the Z^d lattice. We consider the maximum flows through the edges of two disjoint sets, that is from a source to a sink, in a large cube. In this paper, we show that the ratio of the maximum flow and the size of source is asymptotic to a constant. This constant is denoted by the flow constant.

研究の動機と目的

• Z^d における最初の通過時間透過の文脈で、最大流れとソースサイズの比の漸近的比を特徴づける決定的流れ定数の存在を確立すること。
• 指数的尾部を持つ i.i.d. 辺容量を仮定した大規模な格子立方体における最大流れおよび最小カットセットの挙動を分析すること。
• 正規化された最大流れのほとんど確実かつ L1 収束を定数に示し、確率的ネットワーク理論における長年の予想を裏付けること。
• 流れ定数を透過モデルにおけるランダム表面およびクラスタ境界の幾何的性質と関連付けること。

提案手法

• 各辺 e に i.i.d. 非負の辺容量 τ(e) を割り当て、分布 F を仮定し、モーメント生成関数の条件（ある η > 0 に対して E[exp(ητ(e))] < ∞）を満たすものとする。
• ソース S からシンク T への最大流れを、キルホフの法則と辺容量制約を満たす適切な流れの上界として定義する。
• 最大流最小カット定理を用いて、カットセット X 上での通過時間 τ(X) = ∑_{e∈X} τ(e) を用いて最大流れをカットセットにより評価する。
• 高次元のボックスにおける再帰的カットセット分解を構築し、次元を分割して帰納的推定を用いて通過時間の期待値を制御する。
• ほとんど確実および L1 収束を示すために、濃度不等式および Borel-Cantelli 論法を適用し、τ_min(k,m)/||k||_v が流れ定数 ν に収束することを証明する。
• 格子立方体を部分ボックスに幾何学的に分解し、指数的減衰および体積推定を用いて誤差項を抑え込む。

実験結果

リサーチクエスチョン

• RQ1 格子立方体が大きくなる際、最大流れとソースサイズの比がほとんど確実かつ L1 で決定的定数に収束するか？
• RQ2 大規模なボックスにおけるカットセット上の最小通過時間はボックスサイズにどのように依存し、その極限的挙動はいかなるものか？
• RQ3 流れ定数は特定のソースおよびシンクの幾何的形状に依存せず、辺容量分布 F のみに依存して特徴付けられるか？
• RQ4 クラスタ境界および自己回避的カットセットは、最大流れの漸近的挙動においてどのような役割を果たすか？
• RQ5 特に、モーメント生成関数の存在が、正規化された流れの収束性および濃度にどのように影響するか？

主な発見

• k_i, m → ∞ のとき、正規化された最大流れ τ_min(k,m)/||k||_v はほとんど確実かつ L1 で決定的定数 ν に収束する。
• 流れ定数 ν は特定のソースおよびシンクの形状に依存せず、辺容量分布 F のみに依存する。
• 再帰的カットセット分解と指数的減衰および体積制御による誤差項の抑え込みにより、収束が確立される。
• 通過時間のフラクチュエーションを制御するため、Borel-Cantelli 論法と濃度不等式を組み合わせた証明に依拠している。
• 極限 ν が、すべての大きなボックス上で正規化された最小通過時間の下限に等しいことが示され、流れ定数の存在が裏付けられる。
• 辺容量分布 F が原点近傍で有限のモーメント生成関数を持つという仮定のもとで、結果は成り立つ。