[論文レビュー] Two lilypond systems of finite line-segments

D. J. Daley, Sven Ebert+1 more|arXiv (Cornell University)|May 31, 2014

Point processes and geometric inequalities参考文献 8被引用数 4

ひとこと要約

本稿では、平面の点過程上でのリリーポンドプロトコルを用いて、重ならない有限線分を構築するための2つの確率的モデル—モデル1およびモデル2—を導入し、その分析を行う。モデル1では、線分の一方の端が他の線分に当たるまで成長が続く。モデル2では、片方の端が他の線分に当たるか、他の線分に当たられるかのいずれかの条件を満たすと成長が停止する。主な貢献は、やや弱い条件下でこのような系の存在と一意性を証明し、両モデルにおける平均クラスタサイズの正確な式を導出したことである。モデル1ではサイクルの個数に依存し、モデル2ではダブルット構造に依存する。

ABSTRACT

The paper discusses two models for non-overlapping finite line-segments constructed via the lilypond protocol, operating here on a given array of points in the plane with which are associated directions. At time 0, each line-segment starts growing at unit rate around its center in the given direction; each line-segment, under Model 1, ceases growth when one of its ends hits another line, while under Model 2, its growth ceases either when one of its ends hits another line, or when it is hit by the growing end of some other line. The paper shows that these procedures are well-defined and gives constructive algorithms to compute the lengths of the segments. Moreover it specifies assumptions under which stochastic versions, i.e. models based on point processes, exist. Afterwards it deals with the question as to whether there is percolation in Model 1. The paper concludes with a section containing several conjectures and final remarks.

研究の動機と目的

• 空間上の点過程を用いたリリーポンドメカニズムを用いて、重ならない有限線分を構築する2つの異なる成長プロトコルを形式化し、その分析を行う。
• リリーポンド構成が適切に定義され、一意的かつ有限長の線分を生成するための条件を確立する。
• 得られる系の構造的性質、特にクラスタリング、サイクル、ダブルットの性質を調査する。
• 特に確率的な空間配置下で、モデル1における確率的連結（ペルコレーション）が発生するかどうかを検討する。
• パンル理論および確率的幾何学を用いて、両モデルにおける有限クラスタの平均サイズの正確な式を導出する。

提案手法

• 2つのモデルを定義する：モデル1では、線分の端が他の線分に接触すると成長が停止する。モデル2では、線分が他の線分に接触するか、他の線分に接触されるかのいずれかの条件を満たすと成長が停止する。
• リリーポンドプロトコルを用い、各線分が与えられた方向に単位速度で中心点を基準として対称的に成長する。
• パンル微積分と定常性を用いて、近隣数および停止近隣数を含む強度方程式を導出する。
• 有限クラスタとサイクル（モデル1）またはダブルット（モデル2）との間の一対一対応を、有限クラスタの仮定の下で確立する。
• 指示関数の積分と近隣数の関係を示す重要な恒等式を用い、強度とクラスタサイズを関連付ける。
• サイクル確率 ϖ_r およびダブルット確率 ϖ を用いて、平均クラスタサイズ μ の明示的式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、有限線分のリリーポンド構成が適切に定義され、一意的となるか？
• RQ2 線分が他の線分に当たるまで成長を続けるモデル1では、ペルコーションが発生するか？
• RQ3 モデル1におけるサイクルおよびモデル2におけるダブルットといった構造的要素は、それぞれのモデルにおける有限クラスタとどのように関係しているか？
• RQ4 両モデルにおける典型的な有限クラスタの平均サイズの正確な式は何か？
• RQ5 パンル分布および近隣数のカウントを用いて、系の確率的幾何学的性質を特徴づけられるか？

主な発見

• モデル1およびモデル2は、やや弱い仮定のもとで両方とも適切に定義されており、すべての線分の半長 R_i を計算するための構成的アルゴリズムが存在する。
• モデル1では、典型的な有限クラスタの平均サイズ μ は、μ = P⁰_Φ(card C(O) < ∞) / (∑_{r=3}^∞ ϖ_r / r) で与えられる。ここで ϖ_r は r サイクルの確率である。
• モデル2では、平均クラスタサイズは μ = 2 / ϖ で与えられ、ここで ϖ は典型的な点がダブルットに属する確率である。
• 有限クラスタの強度（同値に、サイクルまたはダブルットの強度）は、停止近隣の強度に等しく、パンル理論を用いて導出される。
• モデル2では、無限クラスタの不在が確認され、すべてのクラスタが有限であり、ダブルット構造が系を完全に特徴づけることが示された。
• 結果から、両モデルにおけるクラスタ構造は木構造的な階層に従っており、無限クラスタにおいては臨界的分岐過程の挙動が裏付けられる証拠が得られた。