[논문 리뷰] Intersection property and interaction decomposition

Grégoire Sergeant-Perthuis|arXiv (Cornell University)|2019. 04. 18.

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

한 줄 요약

이 논문은 부분순서집합(poset) 위의 벡터부공간에 대한 새로운 대수적 조건인 교차성질(intersection property)을 도입한다. 이는 부분순서집합에서 벡터공간으로의 함자(functor)가 직접합 분해인 상호작용 분해(interaction decomposition)를 허용하는지 여부를 특징짓는 조건이다. 주요 기여는 이러한 분해가 가능하기 위해 교차성질이 필수적이고 충분함을 증명한 것으로, 기존의 그래픽 모델 이론과 Hammersley-Clifford 정리의 결과를 임의의 잘 서렬된(poset) 부분순서집합과 곱공간으로 일반화한다.

ABSTRACT

The decomposition into interaction subspaces is a hierarchical decomposition of the spaces of cylindrical functions of a finite product space, also called factor spaces. It is an important construction in graphical models and a standard way to prove the Hammersley-Clifford theorem that relates Markov fields to Gibbs fields and plays a central role in Kellerer's result for the linearized marginal problem. We define an intersection of sum property, or simply intersection property, and show that it characterizes collections of vector subspaces over a poset that can be hierarchically decomposed into direct sums, giving therefore a general setting for such construction to hold. We will call this generalization the interaction decomposition. The intersection property is the Bayesian intersection property when specified to factor spaces which, under this new perspective on the interaction decomposition, appears to be a structure property. An application is the extension of the decomposition into interaction subspaces for any product of any set.

연구 동기 및 목표

• 유한 곱공간을 초월하여 임의의 잘 서렬된 부분순서집합으로까지 원통형 함수(cylindrical functions)의 상호작용 부분공간으로의 분해를 일반화하기 위해.
• 그러한 계층적 분해가 존재하기 위한 필요 및 충분한 대수적 조건인, 교차성질(intersection property)을 규명하기 위해.
• 그래픽 모델, 마르코프 무작위장치(Markov random fields), 선형화된 마진 문제 등 기존 결과들을 하나의 범주론적 및 순서론적 틀 안에서 통합하고 확장하기 위해.
• 모든 집합의 곱(유한 또는 무한 포함)에 적용 가능한 상호작용 분해의 일반 이론을 구축하기 위해, 요소부공간의 확장을 통해 기반을 마련하기 위해.

제안 방법

• 벡터공간 $V$ 의 벡터부공간의 범주 $\mathbf{Gr}V$ 로부터 부분순서집합 $\mathscr{A}$ 에 대한 함자 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$ 를 정의한다.
• 교차성질(I): 임의의 하향집합 $\mathscr{B}, \mathscr{C} \subseteq \mathscr{A}$ 에 대해, $\sum_{b \in \mathscr{B}} \operatorname{U}(b) \cap \sum_{c \in \mathscr{C}} \operatorname{U}(c) \subseteq \sum_{a \in \mathscr{B} \cap \mathscr{C}} \operatorname{U}(a)$ 를 도입한다.
• 함자 $\operatorname{U}$ 가 직접합 분해(즉, 상호작용 부분공간으로의 분해)를 허용하기는 하며, 그 조건이 교차성질을 만족하는 것과 동치임을 증명한다.
• 잘 서렬된 부분순서집합에 대한 두 번째 형태의 귀납법을 사용하여, 교차성질과 분해 가능성 사이의 동치성을 증명한다.
• 무한 곱으로의 확장을 위해 $\mathscr{P}(I)$ 를 $\mathscr{U}(\mathscr{P}_f(I))$ 에 순서 포함(order-embedding) $j$ 를 통해 통합하고, 확장된 함자 $H = i_! \operatorname{U} \circ j$ 를 정의한다.
• 모든 $a \subseteq I$ 에 대해 $\operatorname{U}(a) = \mathbb{R}^{E_a}$ 인 요소부공간에 대해 적용하여, 고전적인 그래픽 모델에서의 상호작용 분해가 이 일반적 틀의 특수한 경우임을 보인다.

실험 결과

연구 질문

• RQ1 부분순서집합에서 벡터부공간으로의 함자가 어떤 조건을 만족하면 상호작용 부분공간의 직접합 분해로 계층적으로 분해될 수 있는가?
• RQ2 유한 곱공간을 초월한 일반적인 설정에서 이러한 분해를 특징짓는 유일한 대수적 조건이 존재하는가?
• RQ3 교차성질은 기존의 그래픽 모델 이론 및 Hammersley-Clifford 정리와 어떤 관계가 있는가?
• RQ4 상호작용 분해는 무한 곱의 집합으로까지 확장될 수 있으며, 만약 가능하면 그 방법은 무엇인가?
• RQ5 잘 서렬된 성질(well-foundedness)이 이러한 분해의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 함자 $\operatorname{U} \in \hom(\mathscr{A}, \mathbf{Gr}V)$ 가 상호작용 부분공간의 직접합 분해로 분해될 수 있음은 교차성질(I)이 필수적이고 충분한 조건이다.
• 모든 잘 서렬된 부분순서집합 $\mathscr{A}$ 에 대해, 함자 $\operatorname{U}$ 가 분해 가능할 조건은 교차성질을 만족하는 것과 동치이다.
• 유한 곱공간 위에서 원통형 함수의 고전적 상호작용 부분공간 분해는 이 일반 이론의 특수한 경우이다.
• 교차성질은 베이지안 교차성질을 일반화하며, 상호작용 분해의 구조론적 기반을 제공한다.
• 함자 $j: \mathscr{P}(I) \to \mathscr{U}(\mathscr{P}_f(I))$ 를 통한 통합을 통해 무한 곱의 집합으로의 분해가 가능하며, 확장된 함자 $H$ 는 여전히 분해 가능하다.
• 이 결과는 Hammersley-Clifford 정리, 선형화된 마진 문제, 그래픽 모델의 상호작용 분해를 통합하는 범주론적 및 순서론적 틀을 구축한다.