[논문 리뷰] Two lilypond systems of finite line-segments

D. J. Daley, Sven Ebert외 1명|arXiv (Cornell University)|2014. 05. 31.

Point processes and geometric inequalities참고 문헌 8인용 수 4

한 줄 요약

이 논문은 평면점과정 위에서 리리우드 프로토콜을 사용하여 겹치지 않는 유한선분을 구성하기 위한 두 가지 스토케스틱 모델—모델 1과 모델 2—을 제안하고 분석한다. 모델 1에서는 선분의 한쪽 끝이 다른 선분에 닿을 때까지 성장한다. 모델 2에서는 한쪽 끝이 다른 선분에 닿거나 다른 선분에 의해 닿을 경우 성장이 멈춘다. 주요 기여는 온건한 조건 하에서 이러한 시스템의 존재성과 유일성을 증명하고, 각 모델의 평균 군집 크기에 대한 정확한 표현식을 도출한 것이다. 모델 1은 순환 수에 의존하고, 모델 2는 듀엣(doubt) 구조에 의존한다.

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에서의 퍼콜레이션(percolation) 발생 여부를 조사한다.
• 팜 이론과 스토케스틱 기하학을 활용하여 두 모델의 유한군집 평균 크기에 대한 정확한 수식을 유도한다.

제안 방법

• 두 모델 정의: 모델 1은 선분의 끝이 다른 선분에 닿을 경우 성장을 멈춘다. 모델 2는 끝이 다른 선분에 닿거나 다른 선분에 의해 닿을 경우 성장을 멈춘다.
• 리리우드 프로토콜 적용: 각 선분은 주어진 방향으로 단위 속도로 중심점을 기준으로 대칭적으로 성장한다.
• 팜 계산법과 정적성(stationarity)을 활용하여 이웃 수와 정지 이웃 수를 포함하는 강도 방정식 유도.
• 유한 군집을 가정할 때, 유한 군집과 순환(모델 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에서는 무한군집의 부재가 확인되어 모든 군집이 유한하며, 듀엣 구조가 시스템을 완전히 특성화함을 의미한다.
• 결과들은 두 모델의 군집 구조가 나무 구조적 계층에 의해 지배되며, 무한군집에서 임계 분열 과정( critical branching process )의 특성이 뒷받침됨을 시사한다.