[논문 리뷰] Categorial L\'evy Processes

Malte Gerhold, Stephanie Lachs외 1명|arXiv (Cornell University)|2016. 12. 01.

Rough Sets and Fuzzy Logic인용 수 7

한 줄 요약

이 논문은 초기 단위 대상이 있는 텐서 범주에서 범주론적 Lévy 과정을 도입하여, Franz의 독립성 개념을 임의의 순서가 지정된 사상들의 집합으로 일반화한다. 텐서 구조와 초기 단위를 활용하여, Daniell-Kolmogorov 정리에 유사한 구성법을 수립함으로써, 범주론적 프레임워크 내에서 복합화 반군으로부터 Lévy 과정을 재구성할 수 있게 한다.

ABSTRACT

We generalize Franz independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit object is an initial object, in which case the inclusions can be defined starting from the tensor category alone. We define categorial L\'evy processes on every tensor categoriy with initial unit object and present a construction generalizing the reconstruction of a L\'evy process from its convolution semigroup via the Daniell-Kolmogorov theorem.

연구 동기 및 목표

• 텐서 범주에서 Franz의 독립성 개념을 두 사상의 쌍을 넘어서 임의의 순서가 지정된 사상들의 집합으로 일반화하기 위해.
• 일관된 독립성 일반화를 위해 필요한 범주론적 조건—단위 대상이 초기이어야 한다—를 규명하기 위해.
• 단위가 초기 대상인 텐서 범주에서 범주론적 Lévy 과정을 정의하고 구성하기 위해.
• 전통적인 Daniell-Kolmogorov 재구성 정리를 범주론적 설정으로 확장하여, 복합화 반군과 Lévy 과정 사이의 연결 고리를 설정하기 위해.

제안 방법

• 초기 단위 대상에 기반하여 텐서 범주의 구조를 활용해 사상 간 포함 관계를 정의하기 위해.
• 텐서 곱과 초기 대상의 성질을 이용해 임의의 순서가 지정된 사상들의 집합에 대한 일반화된 독립성을 정의하기 위해.
• 텐서 구조 하에서 호환성과 독립성 조건을 만족하는 사상의 집합으로서 범주론적 Lévy 과정을 구성하기 위해.
• 범주론적 극한을 사용하여 복합화 반군으로부터 과정을 유도하는, Daniell-Kolmogorov와 유사한 재구성 정리를 수립하기 위해.
• 추가 데이터 없이도 텐서 범주와 초기 단위만을 기반으로 하여 구성의 일관성을 확보하기 위해.
• 범주가 벡터 공간의 범주일 경우, 전통적인 Lévy 과정이 특수한 경우로 복구됨을 적용하기 위해.

실험 결과

연구 질문

• RQ1 어떤 범주론적 조건에서 Franz의 독립성은 두 사상의 쌍을 넘어서 임의의 사상 집합으로 일반화될 수 있는가?
• RQ2 단위 대상의 초기 성질이 텐서 범주에서 포함 관계와 독립성의 일관된 정의를 어떻게 가능하게 하는가?
• RQ3 Lévy 과정을 그 복합화 반군으로부터 재구성할 수 있는 범주론적 Daniell-Kolmogorov 정리의 버전을 수립할 수 있는가?
• RQ4 범주론적 Lévy 과정을 정의하기 위해 필요한 그리고 충분한 텐서 범주의 구조적 특징은 무엇인가?
• RQ5 전통적인 Lévy 과정은 이 범주론적 프레임워크에 어떻게 통합되는가?

주요 결과

• 임의의 사상 집합으로의 독립성 일반화가 일관되게 이루어지기 위해서는 단위 대상이 초기여야 한다.
• 단위 대상이 초기이면, 텐서 범주의 구조만으로도 포함 관계와 독립성을 정의하는 데 충분하다.
• 임의의 초기 단위 대상을 가진 텐서 범주에서 범주론적 Lévy 과정을 정의할 수 있다.
• 범주론적 Lévy 과정에 대한 재구성 정리를 수립하여, 전통적인 Daniell-Kolmogorov 결과를 범주론적 설정으로 일반화하였다.
• 이 프레임워크는 전통적인 Lévy 과정을 통합하고 일반화하여, 범주론적 확률 이론 내에서 통합한다.