[논문 리뷰] High-dimensional limit theorems for random vectors in $\ell_p^n$-balls

Zakhar Kabluchko, Joscha Prochno외 1명|arXiv (Cornell University)|2017. 09. 27.

Point processes and geometric inequalities참고 문헌 22인용 수 4

한 줄 요약

이 논문은 차원 $n \to \infty$ 일 때, $\ell_p^n$-볼 내에 균일하게 분포한 랜덤 벡터의 $\ell_q$-노름에 대해 다변량 중심극한정리와 그 확장된 결과를 제시한다. Schechtman와 Schmuckenschläger의 결과를 확장하며, 모든 $p, q \geq 1$ 에 대해 이러한 노름에 대한 대규모편차원리(LDP)를 도출하여 명시적인 비용함수를 제공하고, 특정 영역에서는 가우시안이 아닌 극한분포(예: 구불(Gumbel) 또는 지수분포)를 드러낸다.

ABSTRACT

In this paper, we prove a multivariate central limit theorem for $\ell_q$-norms of high-dimensional random vectors that are chosen uniformly at random in an $\ell_p^n$-ball. As a consequence, we provide several applications on the intersections of $\ell_p^n$-balls in the flavor of Schechtman and Schmuckenschläger and obtain a central limit theorem for the length of a projection of an $\ell_p^n$-ball onto a line spanned by a random direction $θ\in\mathbb S^{n-1}$. The latter generalizes results obtained for the cube by Paouris, Pivovarov and Zinn and by Kabluchko, Litvak and Zaporozhets. Moreover, we complement our central limit theorems by providing a complete description of the large deviation behavior, which covers fluctuations far beyond the Gaussian scale. In the regime $1\leq p < q$ this displays in speed and rate function deviations of the $q$-norm on an $\ell_p^n$-ball obtained by Schechtman and Zinn, but we obtain explicit constants.

연구 동기 및 목표

• 차원 $n \to \infty$ 일 때, $\ell_p^n$-볼 내에 균일하게 분포한 랜덤 벡터의 $\ell_q$-노름에 대해 다변량 중심극한정리를 수립한다.
• Schechtman와 Schmuckenschläger가 $\ell_p^n$-볼의 교차에 대해 제시한 기하학적 극한정리 결과를 고차원 설정으로 확장한다.
• $\ell_p^n$-볼 내의 랜덤 벡터에 대해 $\ell_q$-노름에 대한 대규모편차원리(LDP)를 도출하며, 가우시안 스케일을 초월한 변동성을 다룬다.
• 특정 영역, 즉 $p$와 $q$가 극단적인 경우, 예를 들어 극단적인 $q$-노름에서 Gumbel 또는 지수분포와 같은 비중앙극한행동을 식별한다.

제안 방법

• 균일분포를 가진 $\ell_p^n$-볼 내의 랜덤 벡터 $Z$에 대해 $\|Z\|_q$에 대한 다변량 중심극한정리를 증명하며, 확률적 표현과 점근적 분석을 사용한다.
• 독립 identical 분포를 가진 랜덤 변수들의 경험적 $q$-번째 모멘트에 수축원리(contraction principle)를 적용하여 $\|Z\|_q$에 대한 대규모편차원리(LDP)를 수립한다.
• Cramér의 정리와 레전드르-펜첼 변환을 사용하여 $p < q$ 및 $p = \infty$ 영역에서 LDP의 명시적인 비용함수를 유도한다.
• 랜덤 벡터의 반경성분 $U^{1/n}$을 분석하고, 그 것이 극한에서 점차적으로 무시할 수 있음을 보이며, 이는 수열 간의 지수적 동치성을 가능하게 한다.
• 경험적 $q$-번째 모멘트 위에서 $x \mapsto x^{1/q}$의 사상에 수축원리를 적용하여 $n^{1/q}\|Z\|_q$에 대한 LDP를 도출한다.
• Schechtman와 Zinn의 구면상 랜덤 벡터의 $\ell_1$-노름에 관한 결과를 활용하여 $\ell_q$-노름으로 일반화하고, $\ell_p^n$-볼로 확장한다.

실험 결과

연구 질문

• RQ1 차원 $n \to \infty$ 일 때, $\ell_p^n$-볼 내에 균일하게 분포한 랜덤 벡터의 $\ell_q$-노름의 극한분포는 무엇인가? ($1 \leq p < q < \infty$)
• RQ2 특정 스케일에서 벗어난 희귀사건에 대해 $\|Z\|_q$의 변동성은 어떻게 행동하는가? 특히 대규모편차 영역에서의 행동은 어떻게 되는가?
• RQ3 $\|Z\|_q$에 대한 대규모편차원리(LDP)는 모든 $p, q \geq 1$ 에 대해 명시적으로 기술될 수 있는가? 그리고 이에 대응하는 비용함수는 계산 가능한가?
• RQ4 $p$와 $q$가 어떤 조건을 만족할 때 $\|Z\|_q$의 극한분포가 가우시안에서 벗어나며, 이러한 경우의 극한분포는 무엇인가?
• RQ5 $\ell_p^n$-볼의 기하학, 특히 그들의 교차는 $\ell_q$-노름의 극한행동과 어떻게 관련이 있는가?

주요 결과

• 논문은 $\ell_p^n$-볼 내에서 $\|Z\|_q$에 대해 다변량 중심극한정리를 수립하며, $1 \leq p < q < \infty$ 일 때 가우시안 분포로 수렴함을 보여준다.
• $p = \infty$ 일 때, 수열 $n^{1/q}\|Z\|_q$는 속도 $n$과 $|Y_i|^q$의 모멘트 생성함수의 레전드르-펜첼 변환으로부터 유도된 양호한 비용함수를 가진 LDP를 만족한다.
• $\|Z\|_q$에 대한 LDP는 $p$와 $q$에 따라 달라지는 비용함수로 명시적으로 기술되었으며, 일반적으로 typical 값에서 벗어난 곳에서는 영이 아님을 보였다.
• $1 \leq p < q$ 영역에서, LDP 비용함수는 큰 편차에 대해 명시적으로 계산되며, $-\frac{1}{p}\left(\left(\frac{\delta}{\varepsilon}\right)^q - M_p(q)\right)^{p/q}$ 로 주어지며, $n^{p/q}$ 에 따라 지수적으로 감쇠된다.
• $p = \infty$ 일 때, $\ell_q$-노름은 비가우시안 극한분포를 보인다. $q = 1$ 이면 극한분포는 지수분포이며, 일반적인 $q$ 에 대해서는 적절한 정규화 하에 극한분포는 구불(Gumbel) 분포이다.
• 랜덤 벡터의 반경성분 $U^{1/n}$은 대규모 $n$ 에서 점차적으로 무시할 수 있으며, 이는 $n^{1/q}\|Z\|_q$와 정규화된 경험적 $q$-번째 모멘트 사이의 지수적 동치성을 가능하게 하며, LDP 증명에 핵심적이다.