[논문 리뷰] Categorial Independence and Lévy Processes

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

Mathematical Dynamics and Fractals인용 수 6

한 줄 요약

이 논문은 초기 단위 대상이 있는 텐서 범주에서의 범주적 독립성—비교적 일반화된 독립성 개념—을 도입하여, 비가환 확률론, 양자 확률적 과정, 대수적 구조 등 다양한 분야에서 레비 과정을 통합적으로 다룰 수 있는 프레임워크를 제공한다. 프랑스의 이변수 독립성 개념을 임의의 가족으로 일반화하기 위해 표준 포함 사상들을 사용함으로써, 저자들은 comonoidal 시스템으로부터 레비 과정을 다니엘–코모고로프 유형으로 재구성함을 보이며, 자유, 불리안, 단조, 수직성 등 다양한 독립성 개념이 특수한 경우임을 밝힌다.

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. The obtained independence for morphisms is called categorial independence. We define categorial Lévy processes on every tensor category with initial unit object and present a construction generalizing the reconstruction of a Lévy process from its convolution semigroup via the Daniell-Kolmogorov theorem. Finally, we discuss examples showing that many known independences from algebra as well as from (noncommutative) probability are special cases of categorial independence.

연구 동기 및 목표

• 텐서 범주에서 두 사상에 대한 우베 프랑스의 독립성 개념을 임의의 순서된 사상 가족으로 일반화하기.
• 두 변수 독립성의 다변수 설정으로의 확장을 위해 단위 대상이 초기이어야 한다는 조건을 요구함으로써 발생하는 모순을 해결하기.
• 초기 단위 대상을 가진 텐서 범주에서의 범주적 레비 과정을 정의하여, 고전적 및 양자 레비 과정 구성의 일반화를 이루기.
• 다니엘–코모고로프 정리에 유사한 사고방식을 사용하여, comonoidal 시스템으로부터 레비 과정을 종합적이고 범주론적으로 재구성하기.
• 기존의 독립성 개념들(예: 자유, 불리안, 단조, 수직성 등)이 범주적 독립성의 특수한 경우임을 보여주기.

제안 방법

• 초기 단위 대상을 가진 텐서 범주로부터 유도된 표준 포함 사상들을 통해 범주적 독립성을 정의함으로써, 임의의 순서된 사상 가족에 대해 일관성을 확보하기.
• comonoidal 시스템으로부터 유도된 복합화 유사 구조를 사용하여, 시간의 유한 부분집합으로 인덱싱된 곱공간 위의 확률 측도의 프로젝티브 시스템을 구성하기.
• 일반화된 다니엘–코모고로프 정리를 적용하여 프로젝티브 극한을 구성함으로써, 독립적인 증분을 가지는 확률적 과정을 얻기.
• 텐서 범주의 구조를 활용하여 보편 곱과 복합화 반군을 정의함으로써, 고전적 및 양자 레비 과정 구성의 일반화를 이루기.
• 프랑스의 원래 프레임워크에서의 포함 사상들이 초기 단위 대상을 가진 범주에서 자연스럽게 유도됨을 보이고, 그들이 요구 조건을 만족하는 조건을 특성화하기.
• 이 프레임워크를 다변수 설정으로 확장하여, 자유곱 분해를 가진 대수의 범주(예: 이자유성) 및 함수형의 튜플에 대한 보편 곱을 포함하기.

실험 결과

연구 질문

• RQ1 텐서 범주에서 프랑스의 이변수 독립성이 임의의 사상 가족으로 일관되게 확장될 수 있는가?
• RQ2 어떤 텐서 범주의 구조 조건이 일반화된 독립성에 대한 표준 포함 사상의 존재를 보장하는가?
• RQ3 합성적이고 범주론적인 프레임워크에서 comonoidal 시스템으로부터 레비 과정을 어떻게 재구성할 수 있는가?
• RQ4 비가환 확률론에서 알려진 독립성 개념들(예: 자유, 불리안, 단조, 수직성 등)이 범주적 독립성의 특수한 경우로 나타나는가?
• RQ5 이 프레임워크는 이자유성과 c-자유성과 같은 다변수 독립성도 수용할 수 있으며, comonoidal 시스템 구성에 어떻게 통합되는가?

주요 결과

• 초기 단위 대상을 요구함으로써, 프랑스의 이변수 독립성 개념이 임의의 순서된 사상 가족으로 일반화되며, 포함 구조의 일관성이 보장된다.
• 초기 단위 대상을 가진 텐서 범주에서는 표준 포함 사상이 존재하며, 이는 범주적 독립성의 공리를 만족하므로 프레임워크가 자가 일관성을 갖는다.
• comonoidal 시스템으로부터 레비 과정을 구성하는 방식은 고전적 다니엘–코모고로프 정리와 유사하며, 곱측도의 프로젝티브 극한을 사용한다.
• 자유, 불리안, 단조, 수직성 등 많은 알려진 독립성 개념들이 범주적 독립성의 특수한 경우임을 보이며, 이는 그 광범위한 통합 능력을 입증한다.
• 이 프레임워크는 이자유성 및 함수형 튜플에 대한 보편 곱을 포함한 다변수 설정으로 자연스럽게 확장되며, 다변수 레비 과정의 통합적 다루기가 가능하다.
• 이 이론은 비가환 확률론 및 양자 확률적 과정에서 레비 과정의 종합적 기초를 제공하며, 생성자 및 분해와 관련된 일반화 가능성도 지닌다.