[论文解读] 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

一句话总结

本文提出了並分析了兩種隨機模型——模型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.

研究动机与目标

• 正式化並分析兩種不同的生長協議，利用空間點過程上的蓮花池機制構建非重疊的有限線段。
• 建立蓮花池構造在何種條件下是明確定義且產生唯一、有限長度線段的條件。
• 研究所得系統的結構特性，包括聚集、環與雙重結構。
• 探討在模型1中是否會發生滲透現象，特別是在隨機空間配置下。
• 利用 Palm 理論與隨機幾何，推導兩種模型下有限簇的平均大小的精確表達式。

提出的方法

• 定義兩種模型：模型1在線段端點觸及另一條線段時停止生長；模型2在線段端點被觸及或觸及另一條線段時停止生長。
• 使用蓮花池協議，其中每條線段以單位速率沿給定方向對稱地從其點向外生長，並保持該點為其中心。
• 應用 Palm 微積分與平穩性，推導涉及鄰居數與停止鄰居數的強度方程。
• 在假設有限簇成立的前提下，建立有限簇與環（模型1）或雙重結構（模型2）之間的一一對應關係。
• 利用包含指示函數積分與鄰居計數的關鍵恆等式，將強度與簇大小關聯起來。
• 推導平均簇大小 μ 的顯式公式，以環機率 ϖ_r 和雙重重機率 ϖ 表示。

实验结果

研究问题

• RQ1 在何種條件下，有限線段的蓮花池構造是明確定義且唯一的？
• RQ2 在模型1中是否會發生滲透現象，即線段生長直至觸及另一條線段？
• RQ3 模型1中的環與模型2中的雙重結構與各模型中有限簇之間有何關係？
• RQ4 兩種模型下典型有限簇的平均大小的精確表達式為何？
• RQ5 能否透過 Palm 分布與鄰居計數來表徵系統的隨機幾何？

主要发现

• 在較為寬鬆的假設下，模型1與模型2均為明確定義，且存在可構造的演算法以計算所有線段的半長度 R_i。
• 在模型1中，典型有限簇的平均大小 μ 由 μ = P⁰_Φ(card C(O) < ∞) / (∑_{r=3}^∞ ϖ_r / r) 給出，其中 ϖ_r 為 r-環的機率。
• 在模型2中，平均簇大小為 μ = 2 / ϖ，其中 ϖ 為典型點屬於雙重結構的機率。
• 有限簇的強度（等價於環或雙重結構的強度）等於停止鄰居的強度，此強度透過 Palm 理論推導得出。
• 對於模型2，無無限簇的現象已確認，表示所有簇均為有限，且雙重結構完全描述了系統。
• 結果顯示兩種模型中的簇結構受樹狀層次結構支配，且有證據支持無限簇中存在臨界分支過程行為。