[논문 리뷰] An invariance principle under the total variation distance

Ivan Nourdin, Guillaume Poly|arXiv (Cornell University)|2013. 10. 16.

Financial Risk and Volatility Modeling참고 문헌 11인용 수 5

한 줄 요약

이 논문은 평균이 0이고 분산이 1인 i.i.d. 랜덤 변수의 동차 다항식 차오스에 대해 총 변동 거리에서의 불변성 원리를 수립한다. Prohorov의 고전적 결과를 합에 대해 확장하여, 다항식의 차수를 높인 경우에도 이러한 차오스가 표준 정규분포로 수렴하는 것은 어떤 차오스 항목이 절대 연속 성분을 가질 때에만 성립함을 증명한다. 마리아빈 미적분학과 스텐의 방법을 활용하여 분포 간의 거리를 제어함으로써 총 변동 거리 수렴을 분석한다.

ABSTRACT

Let $X_1,X_2,\ldots$ be a sequence of i.i.d. random variables, with mean zero and variance one. Let $W_n=(X_1+\ldots+X_n)/\sqrt{n}$. An old and celebrated result of Prohorov asserts that $W_n$ converges in total variation to the standard Gaussian distribution if and only if $W_{n_0}$ has an absolutely continuous component for some $n_0$. In the present paper, we give yet another proof and extend Prohorov's theorem to a situation where, instead of $W_n$, we consider more generally a sequence of homogoneous polynomials in the $X_i$. More precisely, we exhibit conditions for a recent invariance principle proved by Mossel, O'Donnel and Oleszkiewicz to hold under the total variation distance. There are many works about CLT under various metrics in the literature, but the present one seems to be the first attempt to deal with homogeneous polynomials in the $X_i$ with degree strictly greater than one.

연구 동기 및 목표

• i.i.d. 랜덤 변수의 정규화된 합에 대해 원래 Prohorov의 불변성 원리를 차수 1 초과의 동차 다항식 차오스로 확장하는 것.
• 이러한 다항식 차오스가 총 변동 거리에서 표준 정규분포로 수렴하는 조건을 설정하는 것.
• 특히 차수 >1인 경우에 대해 i.i.d. 랜덤 변수의 비선형 기능에 대한 총 변동 거리 수렴에 관한 이전 연구 결과의 부재를 보완하는 것.
• 마리아빈 미적분학과 스텐의 방법을 현대적 도구로 활용하여 Prohorov 정리의 새로운 증명과 일반화를 제공하는 것.

제안 방법

• 저자는 동차 다항식 차오스의 구조를 분석하기 위해 마리아빈 미적분학을 사용하여 $ d \geq 1 $ 차수에 대해 적절한 정규화와 개별 항의 渐近 무시 가능성(Asymptotic negligibility)을 확보한다.
• 저자들은 Mossel, O'Donnell, Oleszkiewicz의 불변성 원리를 적용하여, 계수와 모멘트에 대한 온건한 조건 하에서 코모고로프 거리 수렴을 보장한다.
• 핵심 기술적 구성 요소는 분포 수렴과 총 변동 거리 간의 다리를 놓기 위해 지표 함수의 매끄러운 근사화를 활용한 Fortet-Mourier 거리의 사용이다.
• 증명은 조건부 분산을 포함하는 성분들로 분포 거리의 분해에 의존하며, 밀도의 행동을 제어하기 위해 매끄러운 캔슬 함수 $ \phi \star p_\alpha $ 를 사용한다.
• Gamma 및 온스터라인-울렌벡 연산자에 관한 부등식의 연속적 시리즈를 통해 총 변동 거리의 경계를 유도한다. 이는 $ \Gamma(f,g) = \sum_i \partial_i f \partial_i g $ 와 온스터라인-울렌벡 과정의 생성자 $ \mathcal{L} $ 의 항등식을 활용한다.
• 최종 추정치는 근사 오차, 잘라내기 오차, 꼬리 확률의 오차를 조합하여 유도되며, 이는 매개변수 $ \alpha $, $ \delta $, $ M $ 을 조정하고 한계를 취하여 수렴을 달성한다.

실험 결과

연구 질문

• RQ1 차수 $ d \geq 2 $ 인 동차 다항식 차오스의 수열이 총 변동 거리에서 표준 정규분포로 수렴하는 조건은 무엇인가?
• RQ2 i.i.d. 랜덤 변수의 비선형, 고차수 기능으로 Prohorov의 불변성 원리가 합에 대해 확장 가능한가?
• RQ3 어떤 $ W_{n_0} $ 의 분포가 절대 연속성을 가지는 것이 다항식 차오스의 총 변동 거리 수렴을 보장하는 데 어떤 역할을 하는가?
• RQ4 마리아빈 미적분학과 스텐의 방법을 어떻게 조합하여 비선형 설정에서 총 변동 거리 수렴을 제어할 수 있는가?
• RQ5 다항식 차오스에 대해 총 변동 거리 수렴의 정량적 속도는 존재하는가? 그리고 이는 계수의 구조에 어떻게 의존하는가?

주요 결과

• 논문은 동차 다항식 차오스 $ Q_n({\bf X}) $ 의 수열이 표준 정규분포로 총 변동 거리에서 수렴하는 것은 어떤 $ Q_{n_0}({\bf X}) $ 가 절대 연속 성분을 가질 때에만 성립함을 수립한다.
• 랜덤 변수들이 $ L^{2+\epsilon} $ 에 속하고 계수가 정규화 및 渐近 무시 가능성 조건을 만족할 경우, Mossel, O'Donnell, Oleszkiewicz의 불변성 원리에서의 코모고로프 수렴 조건과 동일한 조건 하에서 총 변동 거리 수렴이 성립한다.
• 총 변동 거리의 경계를 유도하며, 이는 $ \alpha \to 0 $, $ \delta \to 0 $, $ M \to \infty $ 일 때 사라지는 항들을 포함한다. 이에 따라 거리가 0으로 수렴함을 결론 내린다.
• 핵심 기술적 경계는 $ \left| \mathbb{E}[\phi(Q_n(\mathbf{X}))] - \mathbb{E}[\phi(Q_n(\mathbf{Y})) \right| \leq \frac{4}{M} + 4\kappa \delta^{1/(2d+1)} + 2\sqrt{\frac{2}{\pi}} \frac{\alpha}{\delta} c(M) + \text{작은 항들} $ 로, 이는 한계에서 0으로 수렴한다.
• 이 결과는 비선형 기능(차수 >1인 다항식 차오스)에 대해 총 변동 거리 수렴을 처음으로 수립한 것으로, 이전까지 이 거리 척도에서 선형 합들만 연구된 데서 발생하는 문헌의 공백을 메운다.
• 마리아빈 미적분학과 매끄러운 근사화에 기반한 증명 기법은 비선형 및 비정규 설정에서 총 변동 거리 수렴을 연구하는 데 새로운 프레임워크를 제공한다.