[논문 리뷰] Relations among conditional probabilities

Jason Morton|ArXiv.org|2008. 08. 08.

Bayesian Modeling and Causal Inference참고 문헌 14인용 수 5

한 줄 요약

이 논문은 이산 확률 공간에서 조건부 확률 간의 관계에 대한 보편적 그로버 기저를 제공하며, 베이즈의 정리와 일致 조건을 일반화한다. 조건부 확률 분포의 공간이 일반화된 페르뮤투헤드론으로 위상동형으로 매핑됨을 증명하여, 마투쉬의 페르뮤투헤드론 결과를 임의의 조건부 집합으로 확장한다.

ABSTRACT

We describe a Groebner basis of relations among conditional probabilities in a discrete probability space, with any set of conditioned-upon events. They may be specialized to the partially-observed random variable case, the purely conditional case, and other special cases. We also investigate the connection to generalized permutohedra and describe a conditional probability simplex.

연구 동기 및 목표

• 이산 확률 공간에서 조건부 확률 간의 일치 조건에 관한 줄리안 베사그의 1974년 질문을 해결하기 위해.
• 베이즈의 정리 및 베사그의 곱공식과 같은 기존의 관계를 조건부로 주어진 사건의 임의의 집합으로 일반화하기 위해.
• 토닉 기하학을 활용하여 조건부 확률 분포와 일반화된 페르뮤투헤드론 사이의 기하적 대응을 수립하기 위해.
• 보편적 그로버 기저를 통한 계산 프레임워크를 제공하여, 부분 관측된 랜덤 변수나 순수 조건부 모델과 같은 경우로 특수화할 수 있도록 하기 위해.

제안 방법

• 조건부 확률을 다항식환의 원소로 형식화하며, 여기서 $ p_{i|I} $ 는 $ I \notin \binscr{E} $, $ |I| \geq 2 $, $ i \in I $ 를 만족한다.
• 조건부 확률의 정규화 및 일치 조건의 선형 제약 조건을 코딩한 행렬 $ \mathcal{A} $ 에서 토닉 아이디얼 $ I_{\mathcal{A}} $ 를 정의한다.
• 그로버 기저 이론을 적용하여 조건부 확률 간의 관계에 대한 보편적 그로버 기저를 유도하며, 일관성의 알고리즘적 검증을 가능하게 한다.
• 토닉 기하학의 모멘트 맵을 사용하여 토닉 다양체의 비음수 부분의 상이 일반화된 페르뮤투헤드론으로 위상동형임을 보여준다.
• n개의 부분 관측된 랜덤 변수의 경우로 이론을 특수화하여, 베사그의 곱공식 (1)과 같은 기존 결과를 회복한다.
• 지수 가족 이론과 모노이드환 이론을 적용하여 대수적 구조를 통계 모델과 애매한 및 사영 토닉 다양체를 통해 연결한다.

실험 결과

연구 질문

• RQ1 주어진 공동 확률 분포와 호환되기 위해 조건부 확률의 집합이 만족해야 할 대수적 관계는 무엇인가?
• RQ2 임의의 조건부 집합에 대해 조건부 확률 간의 일관성 조건을系통적으로 유도하고 정리할 수 있는 방법은 무엇인가?
• RQ3 주어진 조건부 사건 집합에 대해 유효한 모든 조건부 확률 분포의 공간의 기하적 구조는 무엇인가?
• RQ4 일반화된 페르뮤투헤드론은 조건부 확률 공간에서 자연스러운 기하적 대상으로 어떻게 나타나는가?
• RQ5 토닉 기하학의 모멘트 맵은 토닉 다양체의 비음수 부분과 일반화된 페르뮤투헤드론 사이에 위상동형을 어떻게 유도하는가?

주요 결과

• 임의의 조건부 집합을 가진 모든 이산 확률 공간에서 조건부 확률 간의 관계에 대한 보편적 그로버 기저가 구성된다.
• 모든 $ I \in \mathscr{E} $, $ |I| \geq 2 $ 에 대해 조건부 확률 분포의 공간이 페르뮤투헤드론 $ \mathbf{P}_{m-1} $ 로 위상동형으로 매핑되며, 이는 마투쉬의 결과를 일반화한다.
• 임의의 $ \mathscr{E} $ 에 대해 조건부 확률 공간의 상은 일반화된 페르뮤투헤드론이 되며, 이는 조건부 독립 구조의 표준 기하 모델을 제공한다.
• 토닉 기하학의 모멘트 맵 $ \mu $ 는 토닉 다양체의 비음수 부분에서 $ \mathcal{A} $ 의 열 벡터들의 볼록결합으로 이루어진 다각형, 즉 일반화된 페르뮤투헤드론으로 위상동형을 유도한다.
• 조건부 집합 $ \mathscr{E} $ 가 랜덤 변수의 부분 관측에 대응할 경우, 이 이론은 베사그의 곱공식 (1)을 특수한 경우로 포함한다.
• 이 프레임워크는 $ \mathscr{E} $ 를 변경하기만 하면 부분 관측된 변수를 가진 모델 등 다양한 통계 모델로 특수화할 수 있으며, 그로버 기저는 모든 적용 사례에서 유효하다.