[논문 리뷰] An Exposition of Götze's Estimation of the Rate of Convergence in the Multivariate Central Limit Theorem

Rabi Bhattacharya, Susan Holmes|arXiv (Cornell University)|2010. 03. 22.

Random Matrices and Applications참고 문헌 11인용 수 19

한 줄 요약

이 논문은 Götze가 스토퍼의 방법을 적용하여 볼레르 셋에 대한 다변량 중심극한정리에 대해 베르니-에세너 유형의 경계를 유도한 것을 상세히 서술한다. 수렴 속도는 $ O(k^{5/2} ⑶_3) $로 나타나며, 여기서 $ ⑶_3 $는 제3절대모멘트 노름이다. 이 논문은 Götze의 원래 증명을 완전한 유도 과정을 통해 재검토하며, 이전에 보고된 것보다 높은 차원 의존성을 밝혀내고, 이후 발라의 부등식을 사용하여 $ O(k^{3/2}) $로 개선한다. 그러나 벤트쿠스의 $ O(k^{1/4}) $는 다른 방법을 통해 여전히 최적이다.

ABSTRACT

We provide an explanation of the main ideas underlying Götze's main result in using Stein's method. We also provide detailed derivations of various intermediate estimates. Curiously, we are led to a different dimensional dependence of the constant than that given Götze's paper. We would like to dedicate this to Charles Stein on the occasion of his 90th birthday.

연구 동기 및 목표

• 스테인의 방법을 사용한 Götze의 다변량 중심극한정리 오차 경계 증명에 대한 명확하고 접근 가능한 설명을 제공하는 것.
• 기술적 프레임워크를 확실히 드러내기 위해 모든 중간 추정치를 상세히 유도하여 확률론자들과 연구자들에게 투명성을 제공하는 것.
• 오차 경계의 차원 의존성을 재표현하여, Götze의 원래 $ O(k) $ 추정치와의 괴리점을 밝혀내는 것.
• 발라의 부등식을 사용하여 경계를 개선하여 $ O(k^{5/2}) $에서 $ O(k^{3/2}) $로 줄이고, 알려진 최적 결과와 비교하는 것.

제안 방법

• 오르누슈타인-울렌벡 과정의 생성자인 스토퍼 연산자를 사용하여 분포 거리와 미분방정식의 해를 연결하는 스토퍼의 방법을 적용한다.
• 오르누슈타인-울렌벡 과정의 전이 밀도를 이용해 볼레르 집합의 지시함수를 매끄러운 함수로 변환하는 스무딩 연산자 $ T_t $ 를 적용한다.
• 스테인 방정식에 기반한 변형 논증을 사용하여 기대값의 차이를 $ E[Lg_0 - L_αg_α] $ 로 표현하며, 여기서 $ L $ 은 생성자이고 $ g $ 는 스토퍼 방정식의 해이다.
• 세차 도함수를 포함한 적분 잔여항을 가진 삼차 테일러 전개를 통해 오차의 표현을 도출한다. 이는 해 함수 $ \psi_t $ 의 세차 도함수를 포함한다.
• 일반적으로 동일하게 분포된 확률벡터의 합이 정규분포로 근사되는 분포를 이용해 잔여항의 조건부 기대값을 추정한다.
• 정규분포 적분을 $ Q_{(n-1),j} - \Phi $ 와 $ \Phi $ 로 분해하고, 첫 번째 항은 $ \delta_{n-1} $ 으로, 두 번째 항은 변수변환과 행렬 노름을 통해 유계로 제한한다.

실험 결과

연구 질문

• RQ1 스테인의 방법을 사용한 Götze의 다변량 중심극한정리 추정치에서 오차 경계의 올바른 차원 의존성은 무엇인가?
• RQ2 이 논문에서 유도된 경계가 왜 Götze의 원래 $ O(k) $ 추정치와 다를까? 진정한 주요 크기의 순서는 무엇인가?
• RQ3 기존의 알려진 부등식, 예를 들어 발라의 부등식을 사용하여 오차 경계를 개선할 수 있는가?
• RQ4 고차원에서 제3절대모멘트 $ \beta_3 $ 는 수렴 속도에 어떤 영향을 미치는가?
• RQ5 이 방법은 의존적인 확률벡터로 확장 가능한가? 그리고 그 제한은 무엇인가?

주요 결과

• 이 논문은 $ O(k^{5/2} \beta_3) $ 의 수렴 속도를 도출하며, 이는 Götze의 원래 주장인 $ O(k) $ 와 모순되며, 차원에 대한 고차원 의존성이 더 높다는 것을 시사한다.
• 발라의 부등식을 사용함으로써 경계는 $ O(k^{3/2} \beta_3) $ 로 개선될 수 있으며, 이는 차원 성장률을 크게 감소시킨다.
• $ \delta_n \leq c k \gamma_3 $ 라는 경계가 도출되었으며, 여기서 $ \gamma_3 = \sum_{j=1}^n E\left(\sum_{i=1}^k |X_j^{(i)}|\right)^3 $ 이다. 이는 $ \gamma_3 \ll k^{3/2} \beta_3 $ 일 때 $ O(k^{5/2} \beta_3) $ 보다 더 날카로운 추정을 제공한다.
• 분석을 통해 $ S_n - X_j $ 의 공분산의 역행렬인 $ N_j $ 를 통한 정규화가 잔여항을 유계로 제한하는 데 핵심적인 역할을 한다는 점이 드러났다.
• 이 방법은 정규분포 적분의 세밀한 분해와 행렬 $ A_j = e^{-s} \sqrt{1 - e^{-2s}} N_j $ 를 포함한 변수변환에 의존하며, 이는 조건부 기대치에서의 변형 효과를 캡처한다.
• 저자들은 자신의 경계가 최적이 아니지만, 벤트쿠스의 방법보다 더 투명하고 의존적인 설정으로의 확장에 더 적합하다고 결론을 내린다.