[논문 리뷰] A Probability Monad as the Colimit of Finite Powers

T. A. Fritz, Paolo Perrone|arXiv (Cornell University)|2017. 12. 14.

Advanced Operator Algebra Research참고 문헌 22인용 수 10

한 줄 요약

이 논문은 유한한 일阶 모멘트를 가진 완비 거리공간 위에 정의된 케이너티카르 모나드를 도입한다. 이는 유한 거듭제곱의 쌍대극한으로 정의되며, 측도에 의존하지 않는 적분 및 확률 이론의 기초를 제공한다. 이 모나드의 대수들은 단위 약한 아핀 사상으로 연결된 바나흐 공간의 닫힌 볼록 부분집합들과 동치임을 증명하며, 반 브뤼겔의 작업을 일반화하고 순수하게 범주론적인 방식으로 확률 이론을 다룰 수 있게 한다.

ABSTRACT

We define a monad on the category of complete metric spaces with short maps, which assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich--Wasserstein distance. It is analogous to the Giry monad on the category of Polish spaces, and it extends a construction due to van Breugel for compact and for 1-bounded complete metric spaces. We prove that this Kantorovich monad arises from a colimit construction on finite powers, which formalizes the intuition that probability measures are limits of finite samples. The proof relies on a new criterion for when an ordinary left Kan extension of lax monoidal functors is a monoidal Kan extension. This colimit characterization allows for the development of integration theory and other things, such as the treatment of measures on spaces of measures, completely without measure theory. We also show that the category of algebras of the Kantorovich monad is equivalent to the category of closed convex subsets of Banach spaces with short affine maps as the morphisms.

연구 동기 및 목표

• 완비 거리공간과 단위 사상들 위에 정의된 모나드를 제안하며, 이는 유한한 일阶 모멘트를 가진 라돈 확률 측도와 케이너티카르–와서르스타인 거리와 대응한다.
• 반 브뤼겔의 구성(콤���트 공간 및 1-유계 공간에 국한된 것)을 일반적인 완비 거리공간과 유한한 일阶 모멘트를 가진 경우로 확장한다.
• 쌍대극한 구조를 이용하여, 측도 이론에 의존하지 않는 적분 및 고차원 측도 이론의 범주론적 기초를 제공한다.
• 케이너티카르 모나드의 대수들과 바나흐 공간의 닫힌 볼록 부분집합들 사이의 동치관계를 수립하며, 단위 아핀 사상들을 사상으로 삼는다.

제안 방법

• 공간의 유한 거듭제곱들의 쌍대극한으로 케이너티카르 모나드를 정의함으로써, 확률 측도가 유한한 표본들의 극한임이라는 직관을 수학적으로 포장한다.
• 일반적인 완화 모노이드 함자들의 왼쪽 칸 확장을 위한 새로운 기준을 도입하여, 이 확장이 모노이드 칸 확장임을 보이며, 이는 모나드의 구조 유지에 필수적이다.
• 완비성과 거리 구조와의 호환성을 확보하기 위해, 라돈 확률 측도의 공간에 케이너티카르–와서르스타인 거리를 부여한다.
• 단위 아핀 사상들을 사상으로 삼아, 바나흐 공간의 닫힌 볼록 부분집합들을 통해 모나드의 대수를 특성화한다.
• 伝통적인 측도 이론적 구성에 의존하지 않고, 측도의 공간 위에서의 적분 이론과 측도 이론을 개발한다.
• 쌍대극한 구조를 활용하여 순수하게 대수적이고 거리 기반의 설정에서 범주론적 성질과 보편 구조를 유도한다.

실험 결과

연구 질문

• RQ1 유한한 일阶 모멘트를 가진 완비 거리공간 위에서, 범주론적 쌍대극한 방법을 사용하여 확률 모나드를 어떻게 구성할 수 있는가?
• RQ2 유한한 표본들이 확률 측도를 어떻게 근사하는가? 이 직관은 어떻게 범주론적으로 형식화할 수 있는가?
• RQ3 일반적인 왼쪽 칸 확장이 완화 모노이드 함자들에 대해 모노이드 칸 확장이 되는 조건은 무엇이며, 이는 케이너티카르 모나드에 어떻게 적용되는가?
• RQ4 케이너티카르 모나드의 대수들의 범주적 구조는 무엇이며, 볼록 기하학과의 관계는 어떠한가?
• RQ5 기존 측도 이론에 의존하지 않고, 오직 범주론적 및 거리 기반의 구조만을 사용하여 적분과 고차원 측도를 어떻게 개발할 수 있는가?

주요 결과

• 케이너티카르 모나드는 유한 거듭제곱들의 쌍대극한으로 구성되며, 확률 측도가 유한한 표본들의 극한임이라는 직관을 범주론적으로 형식화한다.
• 모나드는 반 브뤼겔의 구성(콤파クト 및 1-유계 공간)을 일반적인 완비 거리공간과 유한한 일阶 모멘트를 가진 경우로 확장한다.
• 특정 왼쪽 칸 확장이 모노이드 칸 확장임을 보장하는 새로운 기준을 도입하여, 이는 모나드의 구조 유지를 위해 필수적이다.
• 케이너티카르 모나드의 대수의 범주는 단위 아핀 사상들을 사상으로 삼는 바나흐 공간의 닫힌 볼록 부분집합들의 범주와 동치이다.
• 측도 이론에 의존하지 않고도, 순수하게 범주론적 및 거리 기반의 구조만을 사용하여 적분 이론과 측도의 공간에 대한 다루기 위한 이론을 개발할 수 있다.
• 모나드는 거리공간 설정에서 확률 이론을 완전히 범주론적으로 다룰 수 있는 프레임워크를 제공하며, 거리, 확률, 볼록 기하학의 구조를 통합한다.