[논문 리뷰] Limit theorems for radial random walks on pxq-matrices as p tends to infinity

Margit Rösler, Michael Voit|ArXiv.org|2007. 03. 18.

Random Matrices and Applications참고 문헌 19인용 수 7

한 줄 요약

이 논문은 $p \to \infty$일 때 $p \times q$-행렬 위의 반경 방향 랜덤 워크에 대해 약법 및 강법의 대수의 법칙과 함께, 큰 편차 원리를 확립한다. 이는 인덱스 $\mu \to \infty$인 행렬 인자에 대한 수정된 Bessel 함수의 渐近 분석을 통해 이루어지며, 핵심 결과로는 정규화된 유클리드 노름 $\|S_{n_k}^{p_k}\| / \sqrt{n_k}$이 $p_k$와 $n_k$의 강한 성장 조건 하에서 거의 확실히 $\sqrt{\sigma^2(\nu)}$로 수렴함을 보여준다. 이는 고차원 행렬 공간으로의 고전적 극한 정리의 일반화이다.

ABSTRACT

The radial probability measures on $R^p$ are in a one-to-one correspondence with probability measures on $[0,\infty[$ by taking images of measures w.r.t. the Euclidean norm mapping. For fixed $ν\in M^1([0,\infty[)$ and each dimension p, we consider i.i.d. $R^p$-valued random variables $X_1^p,X_2^p,...$ with radial laws corresponding to $ν$ as above. We derive weak and strong laws of large numbers as well as a large deviation principle for the Euclidean length processes $S_k^p:=\|X_1^p+...+X_k^p\|$ as k,p o\infty in suitable ways. In fact, we derive these results in a higher rank setting, where $R^p$ is replaced by the space of $p imes q$ matrices and $[0,\infty[$ by the cone $Π_q$ of positive semidefinite matrices. Proofs are based on the fact that the $(S_k^p)_{k\ge 0}$ form Markov chains on the cone whose transition probabilities are given in terms Bessel functions $J_μ$ of matrix argument with an index $μ$ depending on p. The limit theorems follow from new asymptotic results for the $J_μ$ as $μ o \infty$. Similar results are also proven for certain Dunkl-type Bessel functions.

연구 동기 및 목표

• 반경 랜덤 워크에 대해 $p \to \infty$일 때 약법 및 강법의 대수의 법칙과 큰 편차 원리를 유도하는 것.
• 고전적 극한 정리들을 $\mathbb{R}^p$에서 고차원 행렬 공간인 $M_{p,q}(\mathbb{F})$($\mathbb{F} = \mathbb{R}, \mathbb{C}, \mathbb{H}$)로 확장하는 것.
• 전이 핵심이 되는 마코프 체인 $S_k^p$의 전이 핵심을 지배하는 행렬 인자에 대한 Bessel 함수 $J_\mu$의 점점 커지는 인덱스 $\mu \to \infty$에 따른 渐近적 행동을 분석하는 것.
• 정규화된 보행 길이 $\|S_{n_k}^{p_k}\| / \sqrt{n_k}$가 거의 확실히 $\sqrt{\sigma^2(\nu)}$로 수렴하는 조건을 $p_k$와 $n_k$의 수열에 대해 확립하는 것.
• 지수적 성장 조건을 만족하는 $p_k$에 대해 $\|S_{n_k}^{p_k}\|^2$에 대한 큰 편차 원리를 증명하고, 이는 한계 측도 $\nu$의 자유 에너지로부터 유도된 비용 함수를 포함하는 것.

제안 방법

• 유니터리 군 $U_p$ 작용에 대해 불변인 분포를 가진 i.i.d. 증분을 사용하여 $p \times q$-행렬 위의 반경 랜덤 워크를 모델링하고, 문제를 양의 준정의 행렬의 콘 $\Pi_q$로 축소한다.
• 전이 확률을 인덱스 $\mu$가 $p$에 따라 변하는 행렬 인자에 대한 Bessel 함수 $J_\mu$를 통해 표현한다.
• 인덱스 $\mu \to \infty$일 때의 $J\_\mu$의 渐近 전개를 이용하여 모멘트 생성 함수의 수렴을 도출하고, 이를 통해 극한 정리들을 유도한다.
• 자유 에너지 함수 $c(t) = \ln \int e^{ts^2} d\nu(s)$를 통해 큰 편차 이론을 적용하며, 이는 $\frac{1}{n_k} \ln \mathbb{E}[e^{t(S_{n_k}^{\mu_k})^2}]$의 극한에서 유도된다.
• Dunkl 유형 Bessel 함수의 구조를 활용하여 $J_\mu$에 대한 유계 및 균일 추정을 통해 모멘트 생성 함수의 수렴을 확립한다.
• Borel-Cantelli 보조정리와 $J_\mu$의 渐近 행동에서 유도된 지수적 모멘트 추정을 기반으로 한 강법의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 성장 조건 하에서 $k \to \infty$일 때 $\|S_{n_k}^{p_k}\| / \sqrt{n_k}$가 거의 확실히 $\sqrt{\sigma^2(\nu)}$로 수렴하는가?
• RQ2 인덱스 $\mu \to \infty$일 때의 행렬 Bessel 함수 $J_\mu$의 渐近이 $p \times q$-행렬 위의 반경 랜덤 워크의 극한 행동을 어떻게 지배하는가?
• RQ3 $p_k$가 지수적 성장보다 더 빠르게 증가할 경우, $\|S_k^p\|^2$에 대한 큰 편차 원리가 성립하는가?
• RQ4 스케일링된 노름 과정에 대해 제한 자유 에너지 함수 $c(t)$는 무엇이며, 이는 고전적 Cramér LDP와 어떻게 관련되어 있는가?
• RQ5 $q=1$인 랭크-일차의 경우에서 $q \geq 2$인 고차원 행렬 공간으로의 결과 확장은 어떻게 이루어지며, 이에 따른 渐近 분석의 구조적 차이는 무엇인가?

주요 결과

• 모든 수열 $p_k \to \infty$에 대해, 정규화된 보행 길이 $\|S_k^{p_k}\| / \sqrt{k}$는 확률적으로 $\sqrt{\sigma^2(\nu)}$로 수렴하며, 이는 고전적 약법의 대수의 법칙을 행렬 설정으로 일반화한다.
• 강한 성장 조건—모든 $a \in \mathbb{N}$에 대해 $p_k / k^a \to \infty$, $p_k / (n_k^2 (\ln k)^2) \to \infty$, $n_k / (\ln k)^2 \to \infty$—하에, 정규화된 보행 길이 $\|S_{n_k}^{p_k}\| / \sqrt{n_k}$는 거의 확실히 $\sqrt{\sigma^2(\nu)}$로 수렴한다.
• $p_k$가 지수적 성장보다 더 빠르게 증가할 경우, $\|S_{n_k}^{p_k}\|^2$에 대한 큰 편차 원리가 성립하며, 이는 $I(s) = \sup_{t \in \mathbb{R}} (st - c(t))$의 형태를 가지며, 여기서 $c(t) = \ln \int e^{ts^2} d\nu(s)$이다.
• $\|S_{n_k}^{p_k}\|^2$의 모멘트 생성 함수는 $k \to \infty$일 때 $\exp(n_k c(t))$로 수렴하며, 이때 $c(t)$는 한계 측도 $\nu$의 자유 에너지와 일치한다. 이는 고전적 Cramér 이론과의 일致를 확인한다.
• $\mu \to \infty$일 때 $J_\mu$의 渐近 분석은 증명의 핵심이며, 컴팩트 세트에서의 균일 추정 및 지수 감쇠 제어를 통해 생성 함수의 수렴이 가능해진다.
• 모든 $q \geq 1$에 대해 강법의 대수의 법칙은 $e^{a n_k} / \mu_k \to 0$ ($\forall a > 0$) 조건을 만족하는 $\mu_k$에 대해 성립하며, 이는 $\mu_k$의 매우 빠른 성장 조건 하에서도 수렴이 안정적임을 시사한다.