[논문 리뷰] A Monad for Probabilistic Point Processes

Swaraj Dash, Sam Staton|arXiv (Cornell University)|2021. 01. 26.

Point processes and geometric inequalities인용 수 4

한 줄 요약

이 논문은 확률적 점과정을 위한 단사 $GB = G \circ B$ 를 제안하며, 확률측도를 위한 Giry 단사 $G$ 와 다중집합(백)을 위한 백 단사 $B$ 를 조합하여, 단사 법칙을 통한 단사 성립을 증명한다. 주요 기여는 점과정에서 기대 개수로의 강도 측도 맵핑이 단사 준동형임을 보여주며, 이는 강도 측도의 조합적 계산을 가능하게 하고, Wald의 보조정리가 특수한 경우임을 나타낸다.

ABSTRACT

A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space X with probability measures of bags of elements in X. We describe this view of point processes using the composition of the Giry and bag monads on the category of measurable spaces and functions and prove that this composition also forms a monad using a distributive law for monads. Finally, we define a morphism from a point process to its intensity measure, and show that this is a monad morphism. A special case of this monad morphism gives us Wald's Lemma, an identity used to calculate the expected value of the sum of a random number of random variables. Using our monad we define a range of point processes and point process operations and compositionally compute their corresponding intensity measures using the monad morphism.

연구 동기 및 목표

• 확률적 점과정을 단사들을 사용하여 범주론적이고 조합적인 프레임워크를 제공하기 위해.
• 측정 가능한 공간에서 점들의 다중집합(백)에 대한 확률측도로 점과정을 형식화하기 위해.
• 점과정의 강도 측도가 단사 준동형임을 확립하여 조합적 추론을 가능하게 하기 위해.
• 이 프레임워크를 통해 단사 준동형 성질을 통해 Wald의 보조정리가 특수한 경우로 도출됨을 보여주기 위해.
• 범주론과 실용적인 통계 모델링을 연결하여, 특히 확률적 프로그래밍과 관계형 데이터베이스에서의 응용을 위해.

제안 방법

• 측정 가능한 공간 $X$ 에서의 백 단사 $B$ 에 대해 Giry 단사 $G$ 를 적용하여 $G(B(X))$ 에서 점과정을 원소로 형식화하기 위해.
• Beck의 단사 간 분배 법칙 이론을 사용하여 $GB$ 가 단사임을 증명하기 위해.
• 강도 측도를 복합 사상 $GB \hookrightarrow MM \xrightarrow{\mu} M$ 으로 정의하며, 여기서 $M$ 은 모든 측도의 단사이다.
• 관련 다이어그램의 교환성을 검증하여 강도 측도 맵핑 $\mathbb{E}: GB \to M$ 이 단사 준동형임을 보여주기 위해.
• 단사 준동형 성질을 활용하여, 예를 들어 기능적 프로그래밍 스타일의 do-표기법을 통해 강도 측도를 조합적으로 계산하기 위해.
• 자연성과 함자성질을 활용하여 복합 분포에 대한 Wald의 보조정리와 같은 항등식을 유도하기 위해.

실험 결과

연구 질문

• RQ1 점과정이 범주론에서 단사로 체계적으로 모델링될 수 있는가, 이를 통해 조합적 구성이 가능한가?
• RQ2 점과정에서 강도 측도로의 자연스러운 단사 준동형이 존재하는가, 이는 단사의 구조를 유지하는가?
• RQ3 기대값이 랜덤 합인 Wald의 보조정리는 단사 준동형 성질의 결과로 도출될 수 있는가?
• RQ4 복합 점과정의 강도 측도는 단사 구조를 사용하여 어떻게 조합적으로 계산할 수 있는가?
• RQ5 이 범주론적 프레임워크는 구조화된 모델링을 위해 확률적 논리 프로그래밍과 확률적 데이터베이스에 적용될 수 있는가?

주요 결과

• 측정 가능한 공간의 범주에서 $GB = G \circ B$ 는 단사를 형성하며, 확률적 점과정에 대한 범주론적 기초를 제공한다.
• 강도 측도 맵핑 $\mathbb{E}: GB \to M$ 는 단사 준동형이며, 이는 강도 계산이 단사적 조합과 교환됨을 보장한다.
• Wald의 보조정리는 단사 준동형 성질의 특수한 경우로 복구되며, 이는 $\mathbb{E}(\underline{N} \gg t. \underline{X}) = \mathbb{E}(\underline{N}) \gg t. \mathbb{E}(\underline{X})$ 를 의미한다.
• 강도 $\Lambda$ 를 가진 단위 정사각형 위의 포아송 점과정의 경우, 강도 측도는 $\lambda W \mapsto \Lambda \cdot |W|$ 로 주어지며, 단사 준동형을 통해 조합적으로 계산된다.
• 이 프레임워크는 do-표기법과 같은 기능적 프로그래밍 문법을 활용하여 복잡한 점과정의 조합적 시뮬레이션과 분석을 지원한다.
• 결과적으로 이는 수학적 원리에 기반한, 수동적 적분 없이도 강도 측도를 조합적으로 계산할 수 있는 방법을 제공한다.