[논문 리뷰] A counterexample to a hypothesis of light tail of maximum distribution for continuous random processes with light finite-dimensional tails

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|2012. 08. 30.

Stochastic processes and statistical mechanics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 연속적이고 중심화된 랜덤 과정이 유한차원 분포에서 꼬리가 가벼운 경우, 그 최대값 분포의 꼬리 역시 가벼워야 한다는 가설에 대한 반례를 구성한다. 유한 측도를 가진 확률 공간 위에서 서로소이고 꼬리가 무거운 랜덤 변수들의 정교하게 설계된 수열을 사용하여, 저자들은 과정이 유한차원에서 가벼운 꼬리(예: $L_{p_0}$ 또는 오르리츠 공간에서)를 가질 수 있음에도 불구하고, 과정의 최대값이 무거운 꼬리—구체적으로는 $p_0$-거듭제곱 법칙 꼬리—를 가질 수 있음을 보여준다. 이는 특정 얀 함수에 대해 오르리츠 노름이 무한해지게 하여, 꼬리 전파에 대한 추측을 반증한다.

ABSTRACT

We construct an example of a continuous centered random process with light tails of finite-dimensional distribution but with heavy tail of maximum distribution.

연구 동기 및 목표

• 연속적이고 중심화된 랜덤 과정이 유한차원 꼬리가 가벼운 경우 반드시 최대값 분포의 꼬리도 가벼워야 한다는 가설을 반박하기 위해.
• 과정의 최대값 꼬리 행동이 그 유한차원 분포의 꼬리보다 훨씬 더 무거울 수 있음을 보여주기 위해.
• 유한차원 분포가 $L_{p_0}$ 및 오르리츠 공간에서 꼬리가 가벼운 반면, 최대값 분포는 꼬리가 두꺼운 연속적 랜덤 과정의 명시적 예를 구성하기 위해.

제안 방법

• 유한 측도를 가진 확률 공간 $(0,1)$ 위에서, 각각 수축하는 간격 $I_n = (a(n), a(n+1))$ 에서 지지되는, 비음수이고 상호소거인 랜덤 변수 $g_n(x)$ 의 수열을 정의한다.
• 각 $g_n$ 을 $c(n) = n^{eta}$ 로 스케일링하며, $\beta = \alpha/p_0$, $\alpha \in (0,1)$ 으로 하여 $L_p$-노름과 꼬리 행동을 제어한다.
• 서로소성 덕분에 $|\sum g_n|_p^p = \sum |g_n|_p^p 임을 이용하여, 최대값 $g = \sup_n |g_n|$ 의 $L_p$-노름을 정밀하게 제어할 수 있다.
• 최대값의 $|g|_p \sim C (p_0 - p)^{-1/p_0}$ 를 보여주며, $p \to p_0^-$ 일 때 성립함으로써 $||g||_{G_{1/p_0,p_0}} < \infty$ 임을 확인함으로써, 최대값이 그랜드 르베그 공간에 속함을 보여준다.
• Young 함수 $\Psi(u) = |u|^{p_0} (\log(e + |u|))^{-1/2}$ 를 구성하고, $\Phi(u) = |u|^{p_0}$ 에 대해 $\Psi << \Phi$ 임을 이용하여, $\int \Psi(|\eta(x)|) dx$ 의 발산을 통해 $||g||_{Or(\Psi)} = \infty$ 를 증명한다.
• Rademacher 대칭화를 적용하여, 최대값의 꼬리 행동이 동일한 중심화된 과정 $\theta(t)$ 를 얻으며, 반례의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 연속적이고 중심화된 랜덤 과정이 유한차원 꼬리가 가벼운 경우, 반드시 최대값 분포의 꼬리도 가벼운가?
• RQ2 유한차원 모수분포가 $L_{p_0}$ 또는 오르리츠 노름에서 꼬리가 가벼운 경우에도, 과정의 최대값이 그보다 훨씬 더 두꺼운 꼬리를 가질 수 있는가?
• RQ3 유한차원 분포가 $Or(\Phi)$ 에서 유계이지만, Young 함수 $\Psi << \Phi$ 에 대해 최대값의 오르리츠 노름이 발산하는 과정을 구성하는 것은 가능한가?
• RQ4 강한 모멘트 또는 꼬리 조건이 없을 경우, 엔트로피 또는 일반 체이닝 조건이 가벼운 최대값 꼬리를 보장하지 못하는가?
• RQ5 무한 측도 공간이 아닌, 유한 측도를 가진 확률 공간에서도 이러한 반례를 구성할 수 있는가?

주요 결과

• 구성된 과정 $\theta(t)$ 의 최대값은 $z^{-p_0}$ 의 속도로 꼬리가 감소하며, 즉 거듭제곱 법칙 꼬리이므로 지수적 또는 서브가우시안 꼬리보다 더 뚜렷하게 두껍다.
• 유한차원 분포가 $L_{p_0}$-노름과 오르리츠 공간 $Or(\Phi)$ 에서 유계이지만, $\Psi(u) = |u|^{p_0} (\log(e + |u|))^{-1/2}$ 에 대해 최대값의 오르리츠 노름 $||g||_{Or(\Psi)} = \infty$ 임을 보여, 가설을 반증한다.
• 최대값의 꼬리는 너무 두껍기 때문에 $||\sup_t |\theta(t)|||_{Or(\Psi)} = \infty$ 임에도 불구하고 $\Psi << \Phi$ 이므로, 가설이 잘못되었음을 입증한다.
• 최대값의 $L_p$-노름은 $p \to p_0^-$ 일 때 $|g|_p \sim C (p_0 - p)^{-1/p_0}$ 를 만족함으로써, 그랜드 르베그 공간 노름 추정의 정밀도를 확인한다.
• 오르리츠 노름 대신 일반화된 로렌츠 또는 $K(h)$-균형노름을 사용해도 반례는 그대로 유지되며, 이는 다양한 꼬리 측정 도구에 대해 현상이 강건함을 보여준다.
• 과정이 임의의 분리 가능한 바나흐 공간에 값을 가질 수 있음에도 불구하고 결과가 유지되므로, 꼬리 전파의 실패는 기능 공간에 특화된 것이 아니라 구조적 특성임을 시사한다.