[논문 리뷰] Quantitative two-scale stabilization on the Poisson space

Raphaël Lachièze-Rey, Giovanni Peccati외 1명|arXiv (Cornell University)|2020. 10. 26.

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

한 줄 요약

이 논문은 포아송 난수 측도의 기능에 대한 새로운 정량적 이중 척도 안정성 부등식을 도입하여, 두 개의 다른 척도에서 평가된 단일 추가 비용 연산자들을 통해 날카운 정규 근사 경계를 가능하게 한다. 이 방법은 스토하스틱 기하학에서 다차원 중심극한정리에 대해 치수에 영향을 받지 않는 계산 가능한 경계를 제공하며, 온라인 근접 이웃 그래프, 최소 스패닝 트리, 무거운 尾 괴로운 노이즈 필드의 조사 집합에 응용된다.

ABSTRACT

We establish inequalities for assessing the distance between the distribution of a (possibly multidimensional) functional of a Poisson random measure and that of a Gaussian element. Our bounds only involve add-one cost operators at the order one - that we evaluate and compare at two different scales - and are specifically tailored for studying the Gaussian fluctuations of sequences of geometric functionals displaying a form of weak stabilization - see Penrose and Yukich (2001) and Penrose (2005). Our main bounds extend the estimates recently exploited by Chatterjee and Sen (2017) in the proof of a quantitative version of the central limit theorem (CLT) for the length of the Poisson-based Euclidean minimal spanning tree (MST). We develop in full detail three applications of our bounds, namely: (i) to a quantitative multidimensional spatial CLT for functionals of the on-line nearest neighbor graph, (ii) to a quantitative multidimensional CLT involving functionals of the empirical measure associated with the edge-length of the Euclidean MST, and (iii) to a collection of multidimensional CLTs for geometric functionals of the excursion set of heavy-tailed shot noise random fields. Application (i) is based on a collection of general probabilistic approximations for strongly stabilizing functionals, that is of independent interest.

연구 동기 및 목표

• 포아송 난수 측도의 기하 기능에 대해 이중 척도 안정성 특성을 보이는 정량적 중심극한정리(CLTs)를 개발하는 것.
• 기존의 방법—특히 찬타리지와 센(2017)의 방법—을 이산화나 반복 연산자를 사용하지 않고 다차원 환경으로 확장하는 것.
• 두 개의 다른 척도에서 평가된 단일 계층 추가 비용 연산자만을 사용하여 계산 가능한 경계를 제공함으로써, 복잡한 기하학적 환경에서의 적용 가능성을 향상시키는 것.
• 온라인 근접 이웃 그래프, 최소 스패닝 트리, 그리고 무거운 꼬리 괴로운 노이즈 필드의 조사 집합에 대한 기능에 대해 새로운 정규 근사 경계를 수립하는 것.
• 이중 척도 프레임워크를 도입하여 안정성 기반 중심극한정리를 통합하고 일반화함으로써, 이전 연구에서 사용된 반복 연산자의 복잡성을 피하는 간결한 이중 척도 구조를 제공하는 것.

제안 방법

• 핵심 방법은 포아송 카오스 공간에서 말레비에인 미분법과 스텐의 방법을 사용하여 가우시안 분포와의 콜모고로프 거리 및 워샤우르 거리에 대한 경계를 유도하는 것이다.
• 작은 척도 Δ와 큰 척도 R(여기서 R ≫ Δ)에서 추가 비용 연산자 $ D_x F $ 를 비교함으로써 이중 척도 안정성 구조를 도입한다.
• 경계는 안정성 반경의 꼬리 확률과 첫 번째 순서 말레비에인 도함수의 상한에만 의존하여 표현된다.
• 핵심 추정치는 척도 Δ에서의 영역 $ ext{A}_x $ 에서의 $ D_x F - D_x F( ext{A}_x) $ 비교를 포함한다.
• 매개변수 $ t $ 를 사용하여 재귀 부등식을 유도하고 이를 해결함으로써 스케일에 따라 달라지는 양들과 스펙트럼 노름에 따라 $ d_{ ext{c}}( ext{F}, N_Σ) $ 에 대한 최종 경계를 도출한다.
• 반복 연산자가 다루기 어려운 환경에서도 적용 가능한 간결한 이중 척도 구조를 사용함으로써 두 번째 순서 파인카레 부등식을 피하는 것이 가능하다.

실험 결과

연구 질문

• RQ1 두 개의 다른 척도에서 평가된 단일 계층 추가 비용 연산자만을 사용하여 포아송 프로세스의 기하 기능에 대해 정량적 다차원 중심극한정리를 도출할 수 있는가?
• RQ2 반복 연산자가 다루기 어려운 경우에도 이중 척도 안정성은 스토하스틱 기하학에서 강력하게 안정화된 기능의 분석을 어떻게 향상시킬 수 있는가?
• RQ3 안정성 반경과 도함수 모멘트에 따라 포아송 프로세스의 기능과 가우시안 벡터 사이의 콜모고로프 거리 및 워샤우르 거리에 대한 정확한 경계는 무엇인가?
• RQ4 제안된 방법은 고차원에서 최소 스패닝 트리의 모서리 길이와 온라인 근접 이웃 그래프에 대한 알려진 중심극한정리를 복원하고 확장할 수 있는가?
• RQ5 이중 척도 구조는 어떤 정도로, 장거리 의존성이 있는 비가우시안 환경에서 중앙극한정리의 정규 근사 가능성을 향상시키는가?

주요 결과

• 논문은 포아송 프로세스의 기능 $ ext{F} $ 와 가우시안 벡터 $ N_Σ $ 사이의 콜모고로프 거리에 대한 새로운 정량적 이중 척도 안정성 부등식을 수립하였으며, 이 경계는 안정성 반경의 꼬리 확률과 첫 번째 순서 말레비에인 도함수의 $ L^p $-노름에만 의존한다.
• 온라인 근접 이웃 그래프의 경우, 안정성 반경과 공분산 행렬 $ Σ $ 의 역행렬 고유값의 역수에 따라 명시적인 오차 경계를 포함한 다차원 중심극한정리를 도출한다.
• 최소 스패닝 트리의 경우, 찬타리지와 센(2017)의 정량적 중심극한정리를 복원하고 확장하며, 분산의 역수의 1/2승과 $ ext{trace}(Σ^{-1}) $ 의 1/2승에 따라 척도가 변하는 다차원 중심극한정리를 제공한다.
• 무거운 꼬리 괴로운 노이즈 필드의 조사 기능에 대해서는, 이중 척도 안정성에서 유도된 분산 상한 및 하한을 포함하는 새로운 중심극한정리를 제공하며, 비가우시안이고 장거리 의존성이 있는 환경에서의 정규 근사를 가능하게 한다.
• 거리 $ d_{ ext{c}}( ext{F}, N_Σ) $ 의 경계는 $ Oig( ext{스케일에 따라 달라지는 항들} imes ig( ext{분산}_i ext{의 역수 합}ig)^{1/2}ig) $ 이며, $ ext{trace}(Σ^{-1}) $, $ ext{trace}(Σ^{-1/2}) $, 및 $ ext{분산}^{-1/2} $ 를 포함하는 명시적인 상수를 가진다.
• 부등식의 재귀적 해법을 통해 최종 경계 $ d_{ ext{c}}( ext{F}, N_Σ) riangleq ext{콜모고로프 거리} riangleq ext{O}( ext{스케일에 따라 달라지는 항들} imes ext{분산}_i ext{의 역수 합}) $ 를 도출하였으며, $ Σ^{-1} $ 의 스펙트럼 노름과 안정성 반경의 꼬리에 명시적인 의존성이 있다.