[논문 리뷰] Berry-Esseen bounds and multivariate limit theorems for functionals of Rademacher sequences

Kai Krokowski, Anselm Reichenbachs외 1명|arXiv (Cornell University)|2014. 04. 03.

Random Matrices and Applications참고 문헌 26인용 수 3

한 줄 요약

이 논문은 이산 멀리아빈 미분법과 수축 연산자를 활용하여 무한 라데마처 수열의 비선형 기능에 대한 베르리-에센 한계를 도출하고, 이산 멀리아빈 미분법과 수축 연산자를 통해 명시적인 콜모고로프 거리 추정치를 얻는다. 이는 작은 구간 확률과 연결되며, 최적의 수렴 속도를 갖는 다변량 중심극한정리(예: 베르누이 랜덤 행렬의 추적에 대해 $ O(n^{-1/4}) $)를 증명한다.

ABSTRACT

Berry-Esseen bounds for non-linear functionals of infinite Rademacher sequences are derived by means of the Malliavin-Stein method. Moreover, multivariate extensions for vectors of Rademacher functionals are shown. The results establish a connection to small-ball probabilities and shed new light onto the relation between central limit theorems on the Rademacher chaos and norms of contraction operators. Applications concern infinite weighted 2-runs, a combinatorial central limit theorem and traces of Bernoulli random matrices.

연구 동기 및 목표

• 무한 라데마처 수열의 비선형 기능에 대해 멀리아빈-스타인 방법을 확장하여 정량적 정규근사 한계를 제공한다.
• 라데마처 기능과 정규분포 사이의 콜모고로프 거리에 대한 명시적인 베르리-에센 유형의 한계를 도출한다.
• 멀리아빈-스타인 한계와 작은 구간 확률 사이의 관계를 설정하며, 이는 이전의 매끄러운 시험 함수 접근 방식에서는 드러나지 않았던 것이다.
• 라데마처 기능 벡터에 대한 다변량 극한정리, 특히 베르누이 랜덤 행렬의 추적에 대해 개발한다.
• 핵심 함수의 수축 노름과 연관시켜 고차원 설정에서 최적의 수렴 속도를 달성한다.

제안 방법

• 이산 멀리아빈 연산자와 새로운 부분적 적분 공식을 사용하여, 라데마처 수열에 대해 멀리아빈-스타인 방법을 적용한다.
• 콜모고로프 거리의 상한을 구하기 위해 수축 연산자 $ f_n ensor{r}{r} f_n $ 를 활용하며, 이를 4차 누적량과 작은 구간 확률과 연결한다.
• 삼각 부등식을 사용하여 기능 $ extbf{F}_n $ 과 정규 벡터 $ extbf{N} $ 사이의 거리를 $ d_4( extbf{F}_n, extbf{J}_n) + d_4( extbf{J}_n, extbf{N}) $ 로 분해하며, 여기서 $ extbf{J}_n $ 은 $ extbf{F}_n $ 의 절단된 형태이다.
• 이소메트리 및 노름 추정치를 사용하여 이산 다중 스토하스틱 적분의 공분산 구조와 수축 노름을 제어한다.
• 점근적 추정치에 의존한다: $ ig floor f^{(q)}_n ensor{r}{r} f^{(q)}_n ig floor_{ ext{HS}} = O(n^{-1/2}) $ 와 $ ig| ext{Var}(J_q) - q ig| = O(n^{-1}) $ 로, 이는 최종 수렴 속도를 유도한다.
• 시험 함수에 대해 $ M_1(g) eq 1 $ 이며, 코시-슈바르츠 부등식을 적용하여 $ ig| ext{E}[g( extbf{F}_n)] - ext{E}[g( extbf{J}_n)] ig| = O(n^{-1/2}) $ 를 유계로 제한한다.

실험 결과

연구 질문

• RQ1 멀리아빈-스타인 방법은 라데마처 수열의 비선형 기능에 대해 베르리-에센 한계를 제공하도록 확장될 수 있는가?
• RQ2 라데마처 혼합에서 콜모고로프 거리의 맥락에서 작은 구간 확률은 어떻게 관련되는가?
• RQ3 라데마처 수열 기능을 포함하는 다변량 중심극한정리의 최적 수렴 속도는 무엇인가?
• RQ4 핵심 함수의 수축 노름은 라데마처 기능과 정규분포 사이의 거리를 정량화하는 데 사용될 수 있는가?
• RQ5 동일한 설정에서, 베르누이 랜덤 행렬의 추적에 대한 수렴 속도는 가우시안 행렬의 수렴 속도와 어떻게 비교되는가?

주요 결과

• 논문은 라데마처 기능 $ F_n $ 과 표준 정규변수 사이의 콜모고로프 거리에 대한 베르리-에센 한계를 확립하며, 이는 수축 노름과 작은 구간 확률에 의존한다.
• 라데마처 기능 벡터에 대한 다변량 중심극한정리는 $ O(n^{-1/4}) $ 의 수렴 속도를 달성하며, 이는 가우시안 행렬의 경우 알려진 결과와 일치한다.
• 한계 $ d_K(F_n, N) riangleq ext{ess sup}_x ig| P(F_n riangleq x) - P(N riangleq x) ig| $ 는 명시적인 $ ig floor f_n ensor{r}{r} f_n ig floor $ 의 의존성과 함께 멀리아빈-스타인 방법으로 제어된다.
• 작은 구간 확률은 콜모고로프 거리 추정치에서 자연스럽게 나타나며, 이는 이산 멀리아빈 미분법 프레임워크에서 이전에 숨겨졌던 연결 고리를 드러낸다.
• 베르누이 랜덤 행렬의 추적에 대해, 수렴 속도는 $ O(n^{-1/4}) $ 이며, $ d_4( extbf{J}_n, extbf{N}) = O(n^{-1/4}) $ 와 $ d_4( extbf{F}_n, extbf{J}_n) = O(n^{-1/2}) $ 에 기반한다. 여기서 후자가 오차를 지배한다.
• 결과는 라데마처 혼합에 대해 4차 모멘트 정리의 일반화이며, 수렴 속도가 핵심 함수의 수축 연산자 $ f_n ensor{r}{r} f_n $ 의 $ L^2 $-노름에 의해 결정됨을 보여준다.