이동 기하 그래프의 탐지 커버리지 퍼콜레이션

초록

본 논문은 초기에는 강도 λ의 포아송 점 과정으로 배치된 노드들이 독립적인 브라운 운동을 따라 이동하는 동적 Boolean 모델을 연구한다. 시간 t마다 두 노드 사이 거리가 반경 r 이하이면 간선을 연결한다. 저자는 세 가지 핵심 현상—탐지 시간(목표점이 어느 노드와도 거리 r 이내에 들어오는 최초 시간), 커버리지 시간(유한 박스 안의 모든 점이 탐지되는 시간), 그리고 퍼콜레이션 시간(특정 노드가 무한 연결 성분에 포함되는 시간)—에 대해 정확한 점근적 결과를 제시한다. 이를 위해 확률기하학, 커플링, 다중 스케일 분석 기법을 결합한다.

상세 분석

논문은 먼저 동적 Boolean 그래프의 정의를 명확히 한다. 초기 배치는 ℝ^d에서 강도 λ의 포아송 점 과정이며, 각 점은 독립적인 d차원 브라운 운동 B_i(t) 를 따른다. 시간 t에서 두 점 i, j 사이 거리가 ‖X_i+ B_i(t)−X_j− B_j(t)‖ ≤ r 이면 간선 (i,j) 가 존재한다. 이 모델은 정적 Boolean 모델에 시간 흐름을 도입한 것으로, 기존의 정적 연속 퍼콜레이션 이론을 동적 상황에 확장한다는 점에서 의미가 크다.

탐지 문제는 목표점 Y(t) (고정 혹은 움직이는) 가 어느 시점에든 그래프의 어느 노드와도 거리 r 이내에 들어오는 최소 시간을 T_det이라 정의한다. 저자는 d≥2 차원에서 T_det 의 꼬리 분포가 로그-정규 형태를 보이며, 특히 d=2 일 때는 T_det ∼ (πλr^2)^{-1} log t 가 주요 스케일이 된다는 정리를 증명한다. 이는 브라운 운동이 만든 “위너 사우어스”(Wiener sausage)의 부피 성장률과 직접 연결된다.

커버리지 시간 T_cov 은 고정된 유한 박스 B_L =