[논문 리뷰] Typical Geometry, Second-Order Properties and Central Limit Theory for Iteration Stable Tessellations

Tomasz Schreiber, Christoph Thaele|arXiv (Cornell University)|2010. 01. 06.

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

한 줄 요약

이 논문은 $ \mathbb{R}^d$에서 반복 안정(STIT) 테셀레이션의 길이/표면 증분 과정에 대해 마팅게일 기법과 적분 기하학을 활용하여 명시적인 점근적 분산 공식을 도출함으로써 기능적 중심극한정리(central limit theorem)를 수립한다. 평면의 경우 총 엣지 길이가 정규분포로 수렴하는 반면, 고차원에서는 극한 분포가 비정규임을 보이며, 이는 STIT 및 반복 무한가소적 테셀레이션에 대한 완전한 2차 및 점근 기하이론을 제공한다.

ABSTRACT

Since the seminal work of Mecke, Nagel and Weiss, the iteration stable (STIT) tessellations have attracted considerable interest in stochastic geometry as a natural and flexible yet analytically tractable model for hierarchical spatial cell-splitting and crack-formation processes. The purpose of this paper is to describe large scale asymptotic geometry of STIT tessellations in $\mathbb{R}^d$ and more generally that of non-stationary iteration infinitely divisible tessellations. We study several aspects of the typical first-order geometry of such tessellations resorting to martingale techniques as providing a direct link between the typical characteristics of STIT tessellations and those of suitable mixtures of Poisson hyperplane tessellations. Further, we also consider second-order properties of STIT and iteration infinitely divisible tessellations, such as the variance of the total surface area of cell boundaries inside a convex observation window. Our techniques, relying on martingale theory and tools from integral geometry, allow us to give explicit and asymptotic formulae. Based on these results, we establish a functional central limit theorem for the length/surface increment processes induced by STIT tessellations. We conclude a central limit theorem for total edge length/facet surface, with normal limit distribution in the planar case and non-normal ones in all higher dimensions.

연구 동기 및 목표

• 반복 안정(STIT) 테셀레이션에 대한 대규모 점근 기하이론을 개발하기 위해.
• 특히 볼록 관측 창 내에서 총 표면적의 분산과 같은 2차 성질을 분석하기 위해.
• STIT 테셀레이션에 의해 유도된 증분 과정에 대한 기능적 중심극한정리를 수립하기 위해.
• 마팅게일 및 적분 기하학적 도구를 활용하여 비정상적인 반복 무한가소적 테셀레이션으로 결과를 확장하기 위해.
• 평면적 설정과 고차원 설정에서 정규분포와 비정규분포 극한 분포 간의 차이를 명확히 하기 위해.

제안 방법

• STIT 테셀레이션의 일반적 특성과 포아송 초평면 테셀레이션의 혼합물 간의 연결을 위해 마팅게일 기법을 활용하기 위해.
• 볼록 창 내에서 표면적의 점근적 공식을 도출하기 위해 적분 기하학 도구를 사용하기 위해.
• 증분 과정에 대한 고전적 Cramér-Wold 장치와 기능적 중심극한정리 기법을 적용하기 위해.
• 계층적 세포 분열을 모델링하고 분석을 지원하기 위해 $ \mathbb{R}^+$ 위의 테셀레이션 값의 마코프 과정을 활용하기 위해.
• 일반적인 기하학적 성질과 표면 측도 분석을 위해 확률적 안정성 기반 균형 방정식을 유도하기 위해.
• 기하함수기능을 Cord power 적분 $I_k(W)$와 연결하기 위해 애파인 Blaschke-Petkantschin 공식을 활용하기 위해.

실험 결과

연구 질문

• RQ1 STIT 테셀레이션의 볼록 관측 창에서 세포 경계의 총 표면적의 점근적 분산은 무엇인가? ($\mathbb{R}^d$에서)
• RQ2 STIT 테셀레이션의 2차 성질은 포아송 초평면 테셀레이션과 포아송-베르누이 테셀레이션과 비교해 어떻게 다를까?
• RQ3 STIT 테셀레이션에서 총 엣지 길이/면적 증분 과정의 극한 분포는 무엇인가?
• RQ4 STIT 테셀레이션에 대한 중심극한정리는 모든 차원에서 정규분포 극한을 제공하는가, 아니면 극한이 차원에 따라 달라지는가?
• RQ5 STIT 테셀레이션의 K-함수와 쌍상관함수는 포아송 선 테셀레이션과 어떻게 비교되는가?

주요 결과

• 평면의 경우($d=2$), STIT 테셀레이션의 총 엣지 길이는 중심극한정리에 따라 정규분포로 수렴한다.
• $d \geq 3$의 경우, 총 표면적 증분의 극한 분포는 비정규이며, 이는 점근적 행동에서 근본적인 차원 의존성이 있음을 시사한다.
• 볼록 창 $W_R \subset \mathbb{R}^d$에서 총 표면적의 점근적 분산은 $d \geq 3$일 때 $c_d I_{d-1}(W) R^{2d-2}$로 주어지며, 여기서 $I_{d-1}(W)$는 $W$의 $(d-1)$-번째 현의 거듭제곱 적분이다.
• $d=2$의 경우, 점근적 분산은 $c_2 I_1(W) R^2 \log R$로 스케일되며, 장거리 의존성으로 인한 로그 보정이 반영되어 있다.
• 포아송 초평면 테셀레이션의 분산은 $c_d t I_d(W) R^{2d-1}$로 스케일되며, 이는 강도 $t$와 창 기하학에 대한 다른 의존성을 보여준다.
• 평면 STIT 테셀레이션의 K-함수와 쌍상관함수는 포아송 선 테셀레이션과 매우 유사하여, 분산 비교가 2차모멘트 함수 분석보다 더 유의미할 수 있음을 시사한다.