[논문 리뷰] Mean asymptotics for a Poisson-Voronoi cell on a Riemannian manifold

Pierre Calka, Aurélie Chapron외 1명|arXiv (Cornell University)|2018. 07. 24.

Point processes and geometric inequalities참고 문헌 17인용 수 9

한 줄 요약

이 논문은 리만 다양체 위의 포아송-보로노이 세포의 평균 부피와 평균 정점 수에 대해 두 번째 차수의 점근적 전개를 유도하며, 핵 점에서 다양체의 곡률에 따라 수정되는 항을 포함한다. 핵심 혁신은 유클리드 평균 특성에 곡률에 의존하는 수정을 가능하게 하는 새로운 리만형 블라슈케-페트카니치 유형의 변수변환 공식이다.

ABSTRACT

In this paper, we consider a Riemannian manifold $M$ and the Poisson-Voronoi tessellation generated by the union of a fixed point $x_0$ and a Poisson point process of intensity $λ$ on $M$. We obtain asymptotic expansions up to the second order for the means of several characteristics of the Voronoi cell associated with $x_0$, including its volume and number of vertices. In each case, the first term of the estimate is equal to the mean characteristic in the Euclidean setting while the second term may contain a particular curvature of $M$ at $x_0$: the scalar curvature in the case of the mean number of vertices, the Ricci curvature in the case of the density of vertices and the sectional curvatures in the cases of the volume and number of vertices of a section of the Voronoi cell. Several explicit formulas are also derived in the particular case of constant curvature. The key tool for proving these results is a new change of variables formula of Blaschke-Petkantschin type in the Riemannian setting. Finally, a probabilistic proof of the Gauss-Bonnet Theorem is deduced from the asymptotic estimate of the total number of vertices of the tessellation in dimension two.

연구 동기 및 목표

• 유클리드 공간에서의 포아송-보로노이 타일링 이론을 일반 리만 다양체로 확장하기.
• 포아송 과정에 의해 생성된 보로노이 세포의 평균 특성들을 이용해 리만 다양체의 국소 기하학적 불변량을 추정하기.
• 고밀도 근처에서 고정된 점 주변의 세포에 대한 평균 부피와 평균 정점 수에 대한 고밀도 점근적 전개 유도하기.
• 두 차원에서 정점 수의 점근적 행동을 통해 가우스-봄베 테오리엄에 대한 확률적 증명을 수립하기.

제안 방법

• 점들의 구성에 대한 통합을 위해, 점들의 구성에 대한 통합을 위한 새로운 리만형 블라슈케-페트카니치 변수변환 공식을 도입한다.
• 이 공식을 적용하여 보로노이 정점의 교차를 정의하는 점들의 구성에 대해 통합하여 평균 정점 수를 계산한다.
• 곡률의 경계, 비틀림 반경, 지오데식 볼의 유일성 등의 가정을 통해 정규성과 적분 가능성 보장하기.
• 슬리브야크 정리와 팔름 계산법을 활용하여 고밀도 근처에서 고정된 점 주변의 세포를 일반 세포와 연결한다.
• 곡률 항이 리만 계량에 의해 유도되는 강도 파arameter λ에 대해 두 번째 차수까지 명시적인 점근적 전개 유도하기.
• 일정 곡률 공간(구면, 쌍곡 공간)에 이 방법을 적용하여 닫힌 형태의 표현식 도출하기.

실험 결과

연구 질문

• RQ1 고밀도에서 리만 다양체 위의 포아송-보로노이 세포의 평균 부피와 평균 정점 수는 유클리드 경우와 어떻게 다를까?
• RQ2 두 번째 차수 수정 항에 나타나는 곡률 불변량(스칼라, 리치, 단면 곡률)은 무엇인가?
• RQ3 두 차원에서 정점 수의 점근적 행동을 이용해 가우스-봄베 정리의 증명을 유도할 수 있는가?
• RQ4 일정 곡률 공간에서 평균 특성에 대한 명시적 공식은 무엇인가?
• RQ5 다양체의 리만 기하학은 보로노이 세포 정점의 분포에 어떻게 영향을 주는가?

주요 결과

• 고정된 점 $x_0$ 주변의 보로노이 세포의 평균 부피는 두 번째 차수 점근적 전개를 갖는다: $\mathbb{E}[\operatorname{vol}(\mathcal{C}_{x_0,\lambda}^{(M)})] = \frac{1}{\lambda} + \frac{c_1}{\lambda^2} \cdot \operatorname{Scal}(x_0) + o(\lambda^{-2})$, 여기서 $\operatorname{Scal}(x_0)$는 $x_0$에서의 스칼라 곡률이다.
• 평균 정점 수는 $\mathbb{E}[N(\mathcal{C}_{x_0,\lambda}^{(M)})] = \frac{2^n n!}{\lambda^n} \left(1 + \frac{c_2}{\lambda} \cdot \operatorname{Ric}(x_0) + o(\lambda^{-1}) \right)$를 만족하며, $\operatorname{Ric}(x_0)$는 리치 곡률이다.
• 보로노이 세포의 절단에 대해, 점근적 평균 정점 수는 다양체의 단면 곡률에 의존한다.
• 일정 곡률 공간에서는 명시적 공식이 도출된다: $n$-차원 구면 $\mathbb{S}^n_k$에 대해 평균 부피는 $\frac{1}{\lambda} \left(1 + \frac{c}{\lambda} \cdot k^2 \right)$이며, 마찬가지로 쌍곡 공간에도 적용된다.
• 두 차원에서 정점 총수의 점근적 추정은 가우스-봄베 정리의 확률적 증명으로 이어진다.
• 이 방법은 보로노이 정점의 정의에 관여하는 점들의 구성에 대한 통합을 가능하게 하는 새로운 리만형 블라슈케-페트카니치 공식에 의존한다.