[논문 리뷰] Why Jordan algebras are natural in statistics:quadratic regression implies Wishart distributions

Gérard Letac, Jacek Wesołowski|arXiv (Cornell University)|2010. 04. 19.

Bayesian Methods and Mixture Models참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유한차원 실벡터 공간 위에서 이차 회귀 구조가 특정 조건을 만족할 경우 오직 위샤르트 분포만을 유도함을 증명한다. 이 조건은 이차형식의 공간이 정규직교 부분공간으로 분해되고, 조건부 기대값 성질을 만족할 때 성립한다. 핵심 결과는 이러한 구조가 오직 유클리드 조르당 대수 구조를 가진 공간에서만 존재할 수 있으며, 이 경우 랜덤 변수는 관련 대칭 콘 위에서 위샤르트 분포를 가져야 하며, 분해의 성분 수 k=2만 가능한 유일한 경우임을 보여준다.

ABSTRACT

If the space $\\mathcal{Q}$ of quadratic forms in $\\mathbb{R}^n$ is splitted in a direct sum $\\mathcal{Q}_1\\oplus...\\oplus \\mathcal{Q}_k$ and if $X$ and $Y$ are independent random variables of $\\mathbb{R}^n$, assume that there exist a real number $a$ such that $E(X|X+Y)=a(X+Y)$ and real distinct numbers $b_1,...,b_k$ such that $E(q(X)|X+Y)=b_iq(X+Y)$ for any $q$ in $\\mathcal{Q}_i.$ We prove that this happens only when $k=2$, when $\\mathbb{R}^n$ can be structured in a Euclidean Jordan algebra and when $X$ and $Y$ have Wishart distributions corresponding to this structure.

연구 동기 및 목표

• 실벡터 공간 위에서의 이차 회귀가 언제 위샤르트 분포를 유도하는지 규명하는 것.
• X+Y에 대한 이차형식의 조건부 기대값이 X+Y의 이차형식에 비례하는 조건을 조사하는 것.
• 이러한 구조가 오직 기저 공간이 유클리드 조르당 대수이면서 이차형식의 분해가 정확히 두 개의 성분을 가져야만 존재할 수 있음을 증명하는 것.
• 대칭 콘과 위샤르트 법칙의 맥락에서 루카스-올킨-루빈 정리의 역을 설정하는 것.

제안 방법

• 저자들은 이차형식의 부분공간 Q_i에 속하는 q에 대해 E(q(X)|X+Y) = b_i q(X+Y) 형태의 조건부 기대값 구조를 분석한다.
• 이차형식의 공간 Q를 직합 Q_1 ⊕ ... ⊕ Q_k로 분해하고, 조건부 기대값에 선형 제약 조건을 도입한다.
• 지수 모멘트의 성질과 정규직교 변환에 대한 불변성에 기반해 X와 Y의 특성 함수에 대한 함수방정식을 유도한다.
• 특히 대칭 콘과 스펙트럼 분해의 구조에 관한 조르당 대수 이론의 결과를 적용하여, 이러한 분해를 허용하는 가능한 공간 V를 분류한다.
• k의 가능한 유일한 값이 2임을 증명하고, 조건을 만족하기 위해 V가 유클리드 조르당 대수 구조를 가져야 함을 보인다.
• 특수 선형변환의 추적 계산을 통해 대칭 선형변환 공간 위에서의 연산자 성질을 활용하며, 정규직교 기저와 관련 연산자의 스펙트럼 성질을 적용한다.

실험 결과

연구 질문

• RQ1 이차형식의 분해 조건이 무엇일 때, 모든 q ∈ Q_i에 대해 E(q(X)|X+Y) = b_i q(X+Y)이 성립하는가?
• RQ2 일반적인 실벡터 공간 Q 위에서 이러한 조건부 기대값 구조가 X와 Y가 위샤르트 분포를 가짐을 유도할 수 있는가?
• RQ3 이러한 구조가 존재할 수 있는 이차형식 공간 Q의 분해에서 성분 수 k=2가 유일한 가능한 수인가?
• RQ4 이러한 분해와 조건부 기대값 성질이 존재하기 위해 기저 공간 V에 필요한 대수적 구조는 무엇인가?
• RQ5 대칭 콘 위의 위샤르트 분포는 스펙트럼 분해와 조르당 대수 구조와 어떻게 관련이 있는가?

주요 결과

• 조건부 기대값 구조가 성립할 수 있는 유일한 k의 값은 k=2이다.
• 조건을 만족시키기 위해 기저 공간 V는 유클리드 조르당 대수 구조를 가져야 한다.
• 랜덤 변수 X와 Y는 반드시 관련 조르당 대수의 대칭 콘에 대해 위샤르트 분포를 가져야 한다.
• 조건부 기대값 E(X|X+Y) = a(X+Y)가 성립함과 동시에 X와 Y가 동일한 척도 매개변수를 가진 위샤르트 분포를 가져야 함이 필요충분조건이다.
• 이차형식 공간 Q의 분해 Q_1 ⊕ Q_2는 자연스럽고, 조르당 대수 틀에서 이차형식의 대칭 및 반대칭 부분에 해당한다.
• 연산자 Ψ의 추적 계산 결과, 유일하게 기여하는 성분은 (A1, B2, B4)이며, 이들의 기여도는 1로 확인되어 분해의 유일성을 확인한다.