[論文レビュー] Categorial Independence and Lévy Processes

Malte Gerhold, Stephanie Lachs+1 more|arXiv (Cornell University)|Dec 15, 2016

Mathematical Dynamics and Fractals被引用数 6

ひとこと要約

この論文は、初期単位対象を備えたテンソル圏における一般化された独立性であるカテゴリカル独立性を導入し、非可換確率論、量子確率過程、代数的構造の分野における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. 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.

研究の動機と目的

• テンソル圏におけるUwe Franzの独立性概念を二つの射から任意の順序付き射の族へ一般化すること。
• 二変数独立性を多変数設定に拡張する際の不整合を解消するため、単位対象が初期であることの要請。
• 初期単位対象を備えたテンソル圏におけるカテゴリカルLévy過程を定義し、古典的および量子Lévy過程の構成を一般化すること。
• ダニエル–コルモゴロフ定理に類似した、合成的で圏論的な枠組みからコモナイド・システムによるLévy過程の再構成を提供すること。
• 既知の独立性（例：自由、ボレル、単調、直交性）がカテゴリカル独立性の特殊ケースであることを示すこと。

提案手法

• 初期単位対象を備えたテンソル圏から導かれる標準的包含写像を用いて、任意の順序付き射の族に対して一貫性を持つカテゴリカル独立性を定義する。
• コモナイド・システムからの畳み込みに類似した構造を用いて、時間の有限部分集合でインデックス付けられた積空間上の確率測度の射影的システムを構成する。
• 一般化されたダニエル–コルモゴロフ定理を適用し、射影極限を構成することで、独立な増分を持つ確率過程を得る。
• テンソル圏の構造を用いて普遍積と畳み込み半群を定義し、古典的および量子Lévy過程の構成を一般化する。
• フランツの元々の枠組みにおける包含写像が、初期単位対象を備えた圏において自然に生じることを示し、それが必要な性質を満たす条件を同定する。
• フレームワークを多変数設定へ拡張し、自由積分解を備えた代数の圏（例：バイフリーネス）や関数型の族に対する普遍積を含める。

実験結果

リサーチクエスチョン

• RQ1 テンソル圏におけるフランツの二変数独立性は、任意の射の族へ一貫的に拡張可能か？
• RQ2 テンソル圏にどのような構造的条件が満たされると、一般化された独立性の包含写像を自然に定義できるか？
• RQ3 合成的で圏論的な枠組みにおいて、コモナイド・システムからLévy過程をどのように再構成できるか？
• RQ4 非可換確率論における既知の独立性概念（例：自由、ボレル、単調、直交性）は、カテゴリカル独立性の特殊ケースとしてどのように現れるか？
• RQ5 このフレームワークはバイフリークネスやc-フリーなど多変数独立性を扱えるか？また、それらはコモナイド・システム構成にどのように統合されるか？

主な発見

• 初期単位対象を要請することで、フランツの二変数独立性が任意の順序付き射の族へ一般化され、包含構造の一貫性が保証される。
• 初期単位対象を備えたテンソル圏では、標準的包含写像が存在し、カテゴリカル独立性の公理を満たすため、フレームワークは自己完結的である。
• コモナイド・システムからLévy過程を構成する方法は、古典的ダニエル–コルモゴロフ定理に類似しており、積測度の射影極限を用いる。
• 自由、ボレル、単調、直交性といった多くの既知の独立性が、カテゴリカル独立性の特殊ケースとして現れ、その広範な統合的力が示された。
• フレームワークは自然に多変数設定へ拡張可能であり、バイフリークネスや関数型の族に対する普遍積を含め、多変数Lévy過程の統一的取り扱いが可能である。
• 理論は非可換確率論および量子確率過程におけるLévy過程の合成的基盤を提供し、生成子や分解に関する一般化の可能性を秘めている。