[논문 리뷰] Categorical Probability Theory

Kirk Sturtz|arXiv (Cornell University)|2014. 06. 23.

Logic, Reasoning, and Knowledge참고 문헌 5인용 수 5

한 줄 요약

이 논문은 측도 공간 위에서 약하게 평균을 내고, 암시적이고, 극한을 보존하는 단위 구간으로의 함수형사의 집합으로서 Giry 모나드—확률 측도를 나타내는 것—이 측도 공간 위의 이중 이중화 모나드의 부분모나드로 자연스럽게 유도됨을 보여줌으로써 확률 이론에 대한 범주론적 기초를 확립한다. 주요 결과는 이 부분모나드가 Giry 모나드와 자연스럽게 위상동형이며, 볼록 공간에서 측도 공간으로의 함자에 대한 밀도 모나드임을 증명하는 것이다.

ABSTRACT

We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability measures on a space are the elements of a submonad of a double dualization monad on the category of measurable spaces into the unit interval, and this monad is naturally isomorphic to the Giry monad. We show this submonad is the codensity monad of a functor from the category of convex spaces to the category of measurable spaces. A theorem proving the integral operator acting on the space of measurable functions and the space of probability measures on the domain space of those functions is given using the strong monad structure of the Giry monad.

연구 동기 및 목표

• 측도 공간의 맥락에서 기능적 성질을 이용하여 확률 측도의 범주론적 특성화를 제공한다.
• Giry 모나드가 측도 공간 위의 이중 이중화 모나드의 부분모나드로 나타남을 보여준다.
• 볼록 공간에서 측도 공간으로의 함자에 대한 Giry 모나드를 밀도 모나드로 확립한다.
• 강한 모나드 구조와 적분 연산자들을 통해 범주론적 및 측도론적 확률 이론의 시각을 통합한다.

제안 방법

• 약하게 평균을 내고, 암시적이며, 극한을 보존하는 함수형사 G: I^X → I를 사용하여 측도 공간 위의 이중 이중화 모나드 Meas(I^•, I)의 부분모나드 𝒫를 정의한다.
• 𝒫(X)의 원소들이 정확히 X 위의 확률 측도와 대응되며, 함수형사 G는 f ↦ ∫f dP로 매핑됨을 보여준다.
• Giry 모나드의 강한 모나드 구조를 이용하여 적분 연산자 (P, f) ↦ ∫f dP 가 측도 가능하다는 것을 증명한다.
• 볼록 공간을 측도 공간에 통합하는 함자 ι: Cvx → Meas를 구성하고, ι 沿해의 오른쪽 칸 확장이 모나드 𝒫 를 유도함을 보여준다.
• 자기자신의 유니버설 콘 성질과 코유니터 ε 의 자연성 조건을 검증하여 모나드 𝒫 가 자연스럽게 Giry 모나드 𝒢 와 위상동형임을 증명한다.
• Meas 의 SMCC (대칭 모나드 닫힘 범주) 구조를 활용하여 적분 대응의 측도 가능성과 자연성을 확립한다.

실험 결과

연구 질문

• RQ1 확률 측도는 측도 공간 위의 함수형사로서 어떻게 범주론적으로 특성화될 수 있는가?
• RQ2 Giry 모나드가 이중 이중화 모나드의 부분모나드로 특성화되기 위해 필요한 기능적 성질(약하게 평균을 내고, 암시적이고, 극한을 보존하는)은 무엇이며, 그것이 충분한가?
• RQ3 Giry 모나드는 볼록 공간에서 측도 공간으로의 함자에 대한 밀도 모나드와 위상동형인가?
• RQ4 Meas 에서의 강한 모나드 구조를 이용하여 적분 연산자 ∫f dP 가 측도 가능하다는 것을 보일 수 있는가?
• RQ5 단위 구간을 통한 Giry 모나드와 이중 이중화 모나드 사이의 범주론적 관계는 무엇인가?

주요 결과

• Giry 모나드는 자연스럽게 이중 이중화 모나드 Meas(I^•, I) 의 부분모나드 𝒫 와 위상동형이며, 𝒫(X) 는 I^X → I 로의 약하게 평균을 내고, 암시적이며, 극한을 보존하는 함수형사로 구성된다.
• 모나드 𝒫 는 볼록 공간을 측도 공간에 통합하는 함자 ι: Cvx → Meas 에 대한 밀도 모나드이다.
• 적분 연산자 (P, f) ↦ ∫f dP 는 측도 가능하며, 이는 Giry 모나드가 측도 공간의 범주에서 강한 모나드 구조를 가짐을 증명한다.
• 확률 측도 P 와 함수형사 f ↦ ∫f dP 사이의 대응은 자연스러운 위상동형이며, 이는 Giry 모나드와 부분모나드 𝒫 간의 범주론적 동치를 확인한다.
• ι∘Q 위의 유니버설 콘 구성은 모나드 𝒫 가 함자적이며 Giry 모나드의 푸시포워드 맵과 일치함을 보장한다.
• 코유니터 ε 의 자연성은 평가 사상과 볼록 사상의 복합을 통해 증명되며, 이는 밀도 모나드 구조의 확인을 위한 것이다.