[논문 리뷰] A multivariate central limit theorem for Lipschitz and smooth test functions

Martin Raič|arXiv (Cornell University)|2018. 12. 19.

Functional Equations Stability Results참고 문헌 20인용 수 10

한 줄 요약

이 논문은 스틸의 방법을 사용하여 리프시츠 및 매끄러운 시험 함수에 대해 최적의 수렴 속도 $n^{-1/2}$ 를 갖는 다변량 중심극한정리(central limit theorem)를 수립한다. 이는 이전에 고차원 설정에서 존재했던 로그 인자를 제거한 것이다. 주요 혁신은 비유계인 세 번째 도함수를 피하기 위해 두 번째 및 네 번째 도함수를 활용함으로써, 유한한 세 번째 모멘트가 필요 없이 린데버그 유사 조건 하에서 워샤르슈타인-1 거리에서 날카운 오차 한계를 달성하는 데 있다.

ABSTRACT

We provide an abstract multivariate central limit theorem with the Lindeberg-type error bounded in terms of Lipschitz functions (Wasserstein 1-distance) or functions with bounded second or third derivatives. The result is proved by means of Stein's method. For sums of i.i.d. random vectors with finite third absolute moment, the optimal rate of convergence is established (that is, we eliminate the logarithmic factor in the case of Lipschitz test functions). We indicate how the result could be applied to certain other dependence structures, but do not derive bounds explicitly.

연구 동기 및 목표

• 이전 결과가 하위최적의 $n^{-1/2}\log n$ 속도를 앓고 있던 고차원에서 리프시츠 시험 함수에 대해 최적의 수렴 속도 $n^{-1/2}$ 를 갖는 다변량 중심극한정리를 수립하는 것.
• 스틸의 방법의 적용 범위를 유한한 두 번째 또는 세 번째 도함수를 갖는 매끄러운 시험 함수를 포함한 다변량 정규근사에 확장하는 것.
• 이전의 고차원 결과에서 지속되었던 리프시츠 시험 함수에 대한 수렴 속도에서 로그 인자를 제거하는 것.
• 크기 및 제로 바이어스 기법을 일반화하는 스틸의 방법 기반의 추상적 프레임워크를 개발하여, i.i.d. 합의 초월한 의존 구조에의 적용을 가능하게 하는 것.
• 유한한 세 번째 절대 모멘트가 필요 없이, 스틸 방정정식의 해의 두 번째 및 네 번째 도함수에 대한 모멘트 조건에 기반한 린데버그 유사 오차 한계를 제공하는 것.

제안 방법

• 이 방법은 스틸의 방법을 활용하여 정규근사 오차를 스틸 방정정식의 해를 합성항에 적용한 기댓값으로 환원한다.
• 핵심 기술적 혁신: 주어진 가정 하에서 잘 행동하는 두 번째 및 네 번째 도함수를 사용하여, 비유계인 세 번째 도함수를 피하는 것.
• 오차 한계는 고차 도함수의 영향을 삽입형 및 사영형 텐서 노름을 통해 통제하는 새로운 추정(식 53)을 통해 유도된다.
• 다변량 의존성과 조건부 기댓값을 체계적으로 다루기 위해 벡터 측도와 텐서곱 적분을 사용한다.
• 추상적 결과(정리 2.9 및 2.16)는 조건부 분포와 이중화 구조를 기반으로 서술되며, 크기 및 제로 바이어스 기법을 일반화한다.
• 이 접근법은 i.i.d. 랜덤 벡터의 합에 적용되어 최소한의 모멘트 가정 하에 최적의 $n^{-1/2}$ 수렴을 달성한다.

실험 결과

연구 질문

• RQ1 고차원 다변량 중심극한정리에서 리프시츠 시험 함수에 대한 수렴 속도에서 로그 인자를 제거할 수 있는가?
• RQ2 유한한 세 번째 절대 모멘트가 없는 조건 하에서도 리프시츠 함수에 대해 $\n^{-1/2}]$ 속도를 달성할 수 있는가?
• RQ3 스틸 방정정식의 해의 세 번째 도함수가 비유계일 경우, 스틸의 방법을 어떻게 수정하여 이를 제어할 수 있는가?
• RQ4 조건부 분포와 이중화 구조를 기반으로 한 추상적 프레임워크를 i.i.d. 합을 초월한 의존적인 랜덤 벡터에 일반화할 수 있는가?
• RQ5 두 번째 및 네 번째 도함수는 다변량 정규근사에서 워샤르슈타인-1 거리의 오차를 어떻게 제어하는가?

주요 결과

• 논문은 고차원 $\mathbb{R}^d$] 에서 리프시츠 시험 함수에 대해 이전에 피할 수 없었던 $\log n$] 인자를 제거한 최적의 수렴 속도 $n^{-1/2}$ 를 수립한다.
• 유한한 세 번째 절대 모멘트를 갖는 i.i.d. 랜덤 벡터의 경우, 기존의 단변량 결과와 일치하는 최적의 $n^{-1/2}$ 수렴 속도를 달성한다.
• 유한한 세 번째 모멘트가 필요 없이, 두 번째 및 네 번째 도함수의 모멘트 조건에 기반한 린데버그 유사 조건 하에서 오차 한계가 유도된다.
• 핵심 기술적 단계(식 53)는 삽입형 및 사영형 텐서 노름을 통해 제어되는 두 번째 및 네 번째 도함수를 사용하여 비유계인 세 번째 도함수의 문제를 성공적으로 회피한다.
• 추상적 프레임워크는 크기 및 제로 바이어스를 일반화하여, 펄스 과정이나 조건부 합성항과 같은 의존적 구조에의 적용 가능성을 열어 놓지만, 이러한 경우에 대한 명시적 오차 한계는 도출되지 않았다.
• i.i.d. 랜덤 벡터의 정규화된 합과 표준 정규분포 사이의 워샤르슈타인-1 거리는, 차원과 합성항의 두 번째 및 네 번째 모멘트에 따라 결정되는 상수배의 $n^{-1/2}$ 로 제한된다.