[논문 리뷰] Parking on supercritical Galton-Watson trees

Riti Bahl, Philip Barnet외 1명|arXiv (Cornell University)|2019. 12. 30.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 5

한 줄 요약

이 논문은 초임계적 Galton-Watson 트리에서 차량이 각 정점에 i.i.d.로 도착하고 루트 쪽으로 이동하여 첫 번째 이용 가능한 자리에 주차하는 주차 과정을 연구한다. 임계 임계점에서 루트에 도달하는 차량의 기대 수가 유한함을 증명하고, 도착의 성장률을 규명하며, 도착 분포의 집중도가 낮아질수록 $X$가 증가함을 보이며, $d$-ary 트리에서 베르누이 주차의 임계 임계점에 대해 향상된 경계를 제공한다. 이는 $\alpha_c(d)$에서 $P(X=0)$의 불연속성을 포함한다.

ABSTRACT

At each site of a supercritical Galton-Watson tree place a parking spot which can accommodate one car. Initially, an independent and identically distributed number of cars arrive at each vertex. Cars proceed towards the root in discrete time and park in the first available spot they come to. Let $X$ be the total number of cars that arrive to the root. Goldschmidt and Przykucki proved that $X$ undergoes a phase transition from being finite to infinite almost surely as the mean number of cars arriving to each vertex increases. We show that $EX$ is finite at the critical threshold, describe its growth rate above criticality, and prove that it increases as the initial car arrival distribution becomes less concentrated. For the canonical case that either 0 or 2 cars arrive at each vertex of a $d$-ary tree, we give improved bounds on the critical threshold and show that $P(X = 0)$ is discontinuous.

연구 동기 및 목표

• 초임계적 Galton-Watson 트리에서 루트에 도달하는 차량의 기대 수가 임계 임계점에서 여전히 유한한가를 해결하는 것.
• 시간에 따른 루트에 도착하는 차량의 기대 수의 성장률을 규명하는 것.
• 초기 주차 도착 분포의 분포 농도가 주차된 총 차량 수에 미치는 영향을 조사하는 것.
• 베르누이 주차에 대해 $d$-ary 트리에서의 임계 임계점 $\alpha_c(d)$에 대한 경계를 향상시키는 것.
• 표준 베르누이 주차 모델에서 $\alpha_c(d)$에서 $P(X=0)$의 불연속성을 규명하는 것.

제안 방법

• Galton-Watson 트리에서의 주차 과정의 재귀적 구조를 이용하여 임계점에서 $\mathbb{E}[X]$에 대한 닫힌 형태의 표현식을 유도한다.
• 시간 인덱스를 가진 과정 $X_n$을 도입하여 시간 $n$까지 루트에 도달한 차량을 추적하고, $\lim_{n\to\infty} \mathbb{E}[X_n]/\lambda^n = \frac{\lambda}{\lambda-1}(\alpha - \mathbb{E}[\lambda^{-\tau}])$를 유도한다. 여기서 $\tau$는 루트에 첫 번째로 도착하는 시간이다.
• 임계 임계점은 $\alpha_c = \sup\{\alpha : \mathbb{E}[\lambda^{-\tau}] = \alpha\}$로 표현되며, 이는 제1도달 시간 분포와 연결된다.
• 증가하는 볼록 순서($\preceq_{\text{icx}}$)를 포함한 확률적 순서 기법을 적용하여, 다양한 도착 분포 하에서의 주차 결과를 비교한다.
• 퍼콜레이션 기반의 추론과 재귀적 경계를 활용하여, 2-ary 트리에서의 베르누이 주차에 대해 $\alpha_c(2)$에 대한 개선된 상한 및 하한 경계를 도출한다.
• 제닝스 부등식과 조건부 기대값을 활용하여, 다양한 도착 분포 하에서 볼록 함수의 기대값을 비교하고, 확률적 지배 관계를 증명한다.

실험 결과

연구 질문

• RQ1 초임계적 Galton-Watson 트리에서 임계 임계점 $\alpha_c$에서 $\mathbb{E}[X]$는 유한한가?
• RQ2 루트에 도착하는 차량의 기대 수는 시간이 지남에 따라 어떻게 성장하며, 그 점근적 성장률은 무엇인가?
• RQ3 초기 차량 도착 분포의 농도가 낮아질수록 $X$는 확률적으로 증가하는가?
• RQ4 베르누이 주차에서 $d$-ary 트리에서의 $\alpha_c(d)$에서 $P(X=0)$는 불연속적인가?
• RQ5 베르누이 주차에서 2-ary 트리의 $\alpha_c(2)$에 대해 더 타이트한 경계는 무엇인가?

주요 결과

• 임계 임계점에서 루트에 도달하는 차량의 기대 수 $\mathbb{E}[X]$는 유한하며, 모든 $\alpha \leq \alpha_c$에 대해 $\mathbb{E}[X] = \frac{\lambda - \alpha - \lambda P(X=0)}{\lambda - 1}$ 이다.
• 기대 수 $\mathbb{E}[X_n]$의 점근적 성장률은 $\lim_{n\to\infty} \frac{\mathbb{E}[X_n]}{\lambda^n} = \frac{\lambda}{\lambda-1}(\alpha - \mathbb{E}[\lambda^{-\tau}])$로 주어지며, 여기서 $\tau$는 루트에 첫 번째로 도착하는 시간이다.
• 임계 임계점은 $\alpha_c = \sup\{\alpha : \mathbb{E}[\lambda^{-\tau}] = \alpha\}$를 만족하며, 이는 제1도달 시간 분포와 연결된다.
• 2-ary 트리에서의 베르누이 주차에 대해 개선된 경계가 확립되었다: $0.03175 < \alpha_c(2) < 0.08698$, 그리고 $\alpha_c(2) \approx 0.0863$일 가능성이 있는 증거가 있다.
• $P(X=0)$는 $\mathbb{T}_d$에서의 베르누이 주차에서 $\alpha_c(d)$에서 불연속적이다. $\alpha \leq \alpha_c(d)$일 때 $P(X=0) > 0$ 이지만, $\alpha > \alpha_c(d)$일 때 $P(X=0) = 0$ 이다.
• 초기 차량 도착 분포의 농도가 낮아질수록 주차된 총 차량 수 $X$는 확률적으로 증가한다. 이는 증가하는 볼록 순서를 통해 형식화되며, $\eta \preceq_{\text{icx}} \eta'$ 이면 $X \preceq_{\text{icx}} X'$ 임을 보여준다.