[논문 리뷰] Existence and non-existence of the non-central Wishart distributions

Gérard Letac, Hélène Massam|arXiv (Cornell University)|2011. 08. 14.

Point processes and geometric inequalities인용 수 6

한 줄 요약

이 논문은 양의 준정부정 행렬의 원뿔 위에서 비중앙 월리쉬 분포의 존재 조건을 분석함으로써 해결한다. 라플라스 변환 형태 $(\det s)^{-p} \exp(\mathrm{tr}(s^{-1}w))$를 고려하며, 여기서 $w$는 질량 $k$의 대각행렬이다. 이는 $\mathcal{NCW}(2p,w,\Sigma)$가 존재함을 보여주며, $p \in \Lambda_d$ 이고 $k \leq 2p$ 일 때, $p \in \{1/2, 1, \dots, (d-2)/2\}$ 이면 존재함을 증명한다. 반면 $p \geq (d-1)/2$ 이면 모든 $w$에 대해 존재하며, $m(d-1,d,d)$ 는 명시적으로 계산되고, $m(d-2,d,d)$ 와 $m(d-2,d-1,d)$ 는 존재하지 않음을 보여준다. 이러한 결과는 메이어호퍼가 제기한 오랜 동안의 추측을 해결하고, 이 분야의 이전 문헌에서 존재하는 격차를 시정한다.

ABSTRACT

The problem considered in this paper is to find when the non-central Wishart distribution, defined on the cone $\bar{\mathcal{P}_d}$ of semi positive definite matrices of order $d$ and with a real valued shape parameter, exists. We reduce this problem to the problem of existence of the measures $m(n,k,d)$ defined on $\bar{\mathcal{P}_d}$ and with Laplace transform $(\det s)^{-n/2}\exp r(s^{-1}w)$ where $n$ is an integer and where $w=\mathrm{diag}(0,...,0,1,...,1)$ has order $d$ and rank $k.$ We compute $m(d-1,d,d)$ and we show that neither $m(d-2,d,d)$ nor $m(d-2,d-1,d)$ exist. This proves a conjecture of E. Mayerhofer.

연구 동기 및 목표

• 비중앙 월리쉬 분포 $\mathcal{NCW}(2p,w,\Sigma)$ 가 양의 준정부정 행렬의 원뿔 위에서 존재하는 정확한 조건을 규명하는 것.
• 이전 연구에서 잘못된 주장이 있었던 바, $p \in \{1/2, 1, \dots, (d-2)/2\}$ 일 때 $\mathcal{NCW}(2p,w,\Sigma)$ 가 존재하는 것은 $k \leq 2p$ 일 때에만 가능함을 증명함으로써 오랜 동안의 문헌적 격차를 해결하는 것.
• 측도 $m(d-1,d,d)$ 를 명시적으로 계산하고, $m(d-2,d,d)$ 와 $m(d-2,d-1,d)$ 가 존재하지 않음을 입증함으로써 이러한 분포의 분류를 완성하는 것.
• 특히 임계 경우 $p = (d-1)/2$ 에서도 비중앙 월리쉬 분포의 존재를 보장하는 엄밀한 기초를 제공하는 것, 이를 위해 조화다항식 기법과 선형대수학을 활용한다.

제안 방법

• 논문은 $s \in \mathcal{P}_d$ 에 대해 라플라스 변환 $\mathbb{E}[e^{-\mathrm{tr}(sX)}] = (\det s)^{-p} \exp(\mathrm{tr}(s^{-1}w))$ 를 분석하며, 여기서 $w = \mathrm{diag}(0,\dots,0,1,\dots,1)$ 는 질량 $k$ 를 가진다.
• 이 변환 형태를 갖는 측도 $m(n,k,d)$ 를 $\overline{\mathcal{P}_d}$ 에 정의하고, 존재 문제를 이러한 측도의 연구로 환원한다.
• 저자들은 특히 저차원의 경우에서의 구조를 분석하기 위해 조화다항식 전개와 유클리드 조르당 대수의 성질을 활용한다.
• 임계 경우에서의 존재성을 입증하기 위해, $p \downarrow (d-1)/2$ 일 때 $\mathcal{NCW}(2p,w,\Sigma)$ 가 $\mathcal{NCW}(d-1,w,\Sigma)$ 의 극한임을 보이는 극한 논증을 적용한다.
• 핵심 기술 도구로는 $\mathbb{R}^{d-1}$ 의 벡터를 대칭 행렬로 매핑하는 변환 $G(c_2,\dots,c_d)$ 를 사용하며, 이를 통해 질량 제약 조건을 도출하고 모순을 통한 비존재성 증명을 수행한다.
• $m(d-2,d,d)$ 와 $m(d-2,d-1,d)$ 의 비존재성 증명은, 측도가 $G$ 에 의해 이미지화될 때 전체 질량 $d-1$ 을 갖출 수 없음을 보여, 절대연속 부분이 요구하는 조건을 위반함을 근거로 한다.

실험 결과

연구 질문

• RQ1 주어진 $p > 0$ 과 질량 $k$ 를 가진 $w \in \overline{\mathcal{P}_d}$ 에 대해 비중앙 월리쉬 분포 $\mathcal{NCW}(2p,w,\Sigma)$ 가 존재하는 조건은 무엇인가?
• RQ2 $p \in \{1/2, 1, \dots, (d-2)/2\}$ 일 때, $\mathcal{NCW}(2p,w,\Sigma)$ 의 존재를 위해 필수적인 질량 제약 조건 $k \leq 2p$ 가 존재하는가?
• RQ3 $p \geq (d-1)/2$ 일 때, 모든 $w$ 에 대해 분포 $\mathcal{NCW}(2p,w,\Sigma)$ 가 존재하는가? 특히 임계 경우 $p = (d-1)/2$ 도 포함되는가?
• RQ4 $m(d-1,d,d)$ 의 명시적 형태는 무엇이며, 왜 $m(d-2,d,d)$ 와 $m(d-2,d-1,d)$ 는 존재하지 않는가?
• RQ5 메이어호퍼의 추측, 즉 존재를 위해 $\mathrm{rank}(w) \leq 2p$ 가 필수적이라는 것을 엄밀하게 증명할 수 있는가?

주요 결과

• $m(d-1,d,d)$ 는 존재하며 명시적으로 계산되었으며, 이는 $p = (d-1)/2$ 이고 $w$ 가 전질량일 때 비중앙 월리쉬 분포를 완전히 기술한다.
• $m(d-2,d,d)$ 와 $m(d-2,d-1,d)$ 는 존재하지 않으며, 이는 $p \in \{1/2, 1, \dots, (d-2)/2\}$ 일 때 질량 제약 조건 $k \leq 2p$ 가 필수적임을 증명한다.
• $p \in \{1/2, 1, \dots, (d-2)/2\}$ 일 때, 비중앙 월리쉬 분포 $\mathcal{NCW}(2p,w,\Sigma)$ 는 $\mathrm{rank}(w) \leq 2p$ 일 때에만 존재한다.
• $p \geq (d-1)/2$ 일 때, 분포 $\mathcal{NCW}(2p,w,\Sigma)$ 는 $\overline{\mathcal{P}_d}$ 의 모든 $w$ 에 대해 존재하며, $p = (d-1)/2$ 의 경우도 극한으로 존재함을 보여준다.
• 메이어호퍼의 추측, 즉 $\mathrm{rank}(w) \leq 2p$ 가 존재를 위한 필수 조건임을 확인함으로써 오랜 동안의 열린 문제를 해결한다.
• 이 논문의 증명 기법은 선형대수학과 측도의 변환에 기반하며, 이전에 사용된 확률과정 기법과는 다릅니다. 이는 새로운 독립적인 접근법을 제공한다.