[논문 리뷰] Regularity of solutions of the Stein equation and rates in the multivariate central limit theorem

Thomas Gallouët, Guillaume Mijoule외 1명|arXiv (Cornell University)|2018. 05. 04.

Geometry and complex manifolds참고 문헌 20인용 수 8

한 줄 요약

이 논문은 다변량 스텐 방정식의 해에 대한 개선된 헬더 연속성 경계를 확립하며, 시험 함수 h가 α-헬더 연속일 경우 해의 이阶 도함수들이 로그 인자까지 α-헬더 연속임을 보여준다. 주요 응용으로서, 3차 모멘트 조건 하에 1-워샤르슈타인 거리에서 근사적으로 최적의 베르너-에세너 경계 log n / √n 을 도출하고, 2+δ 모멘트 조건 하에 최적의 속도 O(n^{-δ/2}) 를 회복하며, 차원에 의존하는 명시적 상수를 제공한다.

ABSTRACT

Consider the multivariate Stein equation $Δf - x\cdot abla f = h(x) - E h(Z)$, where $Z$ is a standard $d$-dimensional Gaussian random vector, and let $f\_h$ be the solution given by Barbour's generator approach. We prove that, when $h$ is $α$-Hölder ($0

연구 동기 및 목표

• 시험 함수 h가 α-헬더 연속일 경우 다변량 스텐 방정식의 해에 대한 더 날카로운 정규성 성질을 확립하기 위해.
• 특히 로그 인자까지 고려할 때, 해의 이阶 도함수의 헬더 연속성 경계를 기존 결과보다 개선하기 위해.
• 정밀한 정규성 결과를 응용하여, 최소한의 모멘트 조건 하에 다변량 중심극한정리에서 근사적으로 최적의 수렴 속도를 도출하기 위해.
• 수렴 속도가 차원 d에 어떻게 의존하는지 정량화하고, 고차원 설정에서 명시적인 상수를 제공하기 위해.

제안 방법

• 바우버의 생성자 접근법을 활용하여 다변량 스텐 방정식 Δf − x·∇f = h(x) − E[h(Z)] 의 해 f_h 를 정의한다.
• 가우시안 위치 혼합에 대한 시간 평균 조건부 기대값을 통한 f_h 의 적분 표현을 활용한다.
• 이탈적 적분과 모멘트 추정을 적용하여, f_h 의 이阶 도함수의 차이를 h 의 헬더 반노름에 따라 제한한다.
• 적분 영역의 이진 분해를 통해 t=1 근처의 특이성을 제어하고, 정규 및 특이 영역을 분리한다.
• 카이제곱 및 가우시안 카오스 유형의 항에 대한 정밀한 모멘트 추정을 적용하여, 원점 및 무한대 근처에서 해의 행동을 제어한다.
• 원점에서 꺾임이 있는 특별한 시험 함수를 사용하여, α=1 인 경우 정규성 결과의 날카로움을 입증한다.

실험 결과

연구 질문

• RQ1 h가 α-헬더 연속일 경우, 다변량 스텐 방정식의 해에 대한 이阶 도함수의 최적의 헬더 연속성은 무엇인가?
• RQ2 특히 로그 인자까지 고려할 때, 표준적인 부드러움 전파 방식을 초월하여 f_h 의 정규성을 향상시킬 수 있는가?
• RQ3 유한한 3차 모멘트 조건 하에 1-워샤르슈타인 거리에서 다변량 중심극한정리의 최선의 수렴 속도는 무엇인가?
• RQ4 수렴 속도는 차원 d에 어떻게 의존하며, 명시적인 상수를 도출할 수 있는가?
• RQ5 α=1 인 경우 정규성 경계는 날카로운가? 이는 반례를 통해 입증될 수 있는가?

주요 결과

• h가 α-헬더 연속일 경우, 다변량 스텐 방정식의 해 f_h 의 이阶 도함수는 로그 인자까지 α-헬더 연속이며, 0 < α ≤ 1 이다.
• α = 1 인 경우, 정규성 경계는 날카로우며, Raič(2018)의 반례를 통해 날카로움이 확인된다.
• 유한한 3차 모멘트 조건 하에, 1-워샤르슈타인 거리에서의 베르너-에세너 경계는 순서 log n / √n 이며, 이는 근사적으로 최적이다.
• δ ∈ (0,1) 인 유한한 (2+δ)-차 모멘트 조건 하에, 최적의 속도 O(n^{-δ/2}) 가 회복되며, 기존 하한값과 일치한다.
• 모든 경계 상수들이 명시적이며, 그들의 차원 d 의 의존성이 정량화되어 있으며, 로그 인자에 대해 다항식 성장이 있음을 보여준다.
• 적분의 철저한 분해와 모멘트 추정을 포함하는 증명 기법은, 직접 미분에 기반한 이전 방법보다 더 엄밀한 제어를 가능하게 한다.