조건부 확률 관계와 그뢰버 기저의 일반화

본 논문은 “조건부 확률 사이의 대수적 관계를 어떻게 체계화할 수 있는가?”라는 질문에 대한 포괄적인 답을 제시한다. 1장에서는 Julian Besag이 제기한 조건부 확률의 일관성 문제를 소개하고, 이를 이상(ideal)으로 정리하는 필요성을 강조한다. 저자는 Ω={1,…,m}을 기본 사건 집합으로 두고, 조건 집합 E (각 원소는 최소 두 개의 사건을 포함) 위에 정의된 조건부 확률 p_{i|I} 를 다루며, 이러한 변수들이 만족해야 하는 기본 관계를 식 (2)와 Definition 2.1에 명시한다. 특히, 확률이 0인 경우를 포함해 ‘조건부 확률의 버전’이라는 개념을 도입하고, 이를 알제브라적 블로업(blow‑up) 개념과 연결한다. 2장에서는 확률을 프로젝트ive 공간에 매핑하는 관점을 제시한다. 확률 단순체 Δ_{m-1} 을 복소 프로젝트 공간 ℙ^{m-1} 의 실양의 부분으로 보거나, 토릭 다양성 Y_A 의 모멘트 맵 µ 을 통해 복소 좌표 (y_1:…:y_m) 에 대한 확률을 정의한다. 이를 바탕으로 ‘동차 조건부 확률’(Definition 2.2)을 정의하고, 변수들의 다중동차 구조를 갖는 다항환 C