베이즈 네트워크 교차법칙의 일반화: 인수분해 공간에서의 교차 성질

초록

본 논문은 Pearl의 교차법칙을 인수분해 공간(팩터그래프, 계층모델) 전반에 적용 가능한 일반적인 교차 성질로 확장한다. 새로운 증명을 통해 Hammersley‑Clifford 정리를 그래프 이론에 귀속시켜 비유한 그래프에도 적용 가능하게 하며, 부분 커버링의 순서 구조와 인수분해 공간 사이의 완전 격자 동형을 제시한다.

상세 분석

논문은 먼저 조건부 독립을 삼항 연산 ⟂⟂ 로 정의하고, Pearl이 제시한 교차법칙( X⊥⊥Y│Z,W ∧ X⊥⊥W│Z,Y ⇒ X⊥⊥(Y,W)│Z )을 기존 그래프 이론의 ‘그라포이드’ 공리 체계 안에서 재배치한다. 여기서 핵심은 조건부 독립이 확률밀도 함수의 인수분해 형태와 동치임을 이용해, 인수분해 공간 F_A 를 “모든 양의 함수가 A에 속한 부분집합들의 곱으로 표현될 수 있는 집합”으로 정의한 점이다.

다음으로 저자는 부분 커버링(집합 I의 부분집합들의 집합 A⊆𝒫(I))에 대해 전통적인 포함 관계를 일반화한 전순서 ≤와 교차 연산 ⊓을 도입한다. 이 구조는 하위 집합들의 ‘하위 집합’(lower set) ˆA 로부터 생성된 격자(Lattice)와 동형이며, 각 커버링 A에 대응하는 인수분해 공간 F_A 가 이 격자 사상으로 보존된다(즉, 합집합은 합, 교차는 교차에 대응).

주요 정리인 Theorem 4.1(Intersection property for factorisation spaces)은 “임의의 인덱스 집합 I와 함수 공간 (E_i){i∈I}에 대해, A_j∈𝒫₂(I) (𝒫₂는 하위 집합들의 하위 집합)라면 ∩j F{Â_j}=F{∩_j Â_j}”를 증명한다. 이는 Lauritzen의 상호작용 부분공간 분해 결과를 일반화한 것으로, 기존 증명에서 필요했던 상호작용 부분공간의 직교성 가정을 피하고 순수히 격자 이론과 인수분해 공간의 정의만으로 증명한다.

이 교차 성질을 이용해 저자는 Hammersley‑Clifford 정리의 새로운 증명을 제시한다. 그래프 G의 클리크 집합 C와 로컬 마르코프 성질 L(G), 페어와이즈 마르코프 성질 P(G) 사이에 C=ˆA_L=ˆA_P 가 성립함을 보이고, 앞서 증명한 교차 성질을 적용해 P(G)⇔L(G)⇔F_C 를 얻는다. 따라서 확률밀도가 양수이면 마르코프 성질과 Gibbs 형태(인수분해) 사이의 등가성이 그래프 구조만으로도 완전히 설명된다.

마지막으로 저자는 이 구조가 ‘부분 커버링 → 인수분해 공간’ 사이의 완전 격자 동형을 제공함을 강조한다. 즉, 모든 부분 커버링의 전순서가 인수분해 공간의 포함 관계와 일대일 대응하며, 이는 벡터 공간의 직접합 분해와도 유사한 구조적 특성을 나타낸다. 이러한 관점은 비유한 그래프, 연속형 변수, 그리고 보다 일반적인 벡터 공간 컬렉션에도 자연스럽게 확장될 수 있음을 시사한다.