[論文レビュー] (Co)monads in Free Probability Theory

R. Friedrich|arXiv (Cornell University)|Sep 9, 2017

Random Matrices and Applications参考文献 14被引用数 3

ひとこと要約

本稿は、自由確率論の圏的枠組みを確立し、自由加法的および乗法的畳み込みを、ウィット代数、微分代数、$λ$-環といった代数的構造と統一する (co)モノイドを同定する。自由調和解析の深い代数的基盤が明らかになり、コンパクトな台を持つ無限に可除測度に関する解析的結果が、このコモナド的構造によって拡張される。

ABSTRACT

We discuss free probability theory and free harmonic analysis from a categorical perspective. In order to do so, we extend first the set of analytic convolutions and operations and then show that the comonadic structure governing free probability is isomorphic to several well-known categories of algebras, such as, e.g., Witt vectors, differential algebras, etc. Within this framework moment-cumulant formulae are shown to correspond to natural transformations and not to be exclusive to probability theories. Finally, we start to discuss free probability and in particular free harmonic analysis from the point of view of algebraic theories and operads.

研究の動機と目的

• コモナドおよび (co)モノイド的構造を用いた自由確率論の圏的基盤を構築すること。
• 自由加法的および乗法的畳み込みを、ウィット代数や $λ$-環といった既知の代数的対象と統一すること。
• 累積モーメント公式が、この枠組み内での自然変換として生じることを示すこと。これは、確率論的理論に特有のものではない。
• コモナド的構造を用いて、コンパクトな台を持つ自由に無限に可除測度に関する解析的結果を拡張すること。
• 自由調和解析を代数的理論およびオペラッドと結びつけること。特にボレル関手と畳み込み代数を通じて。

提案手法

• 本稿は、代数的確率空間の圏にコモナド的構造を構成し、それがウィット代数および微分代数の圏と同型であることを同定する。
• ボレル関手を介してコモナドを導入し、自由調和解析と無限に可除測度の解析的構造を結びつける。
• 累積モーメント公式を、コモナド的枠組み内の函手間の自然変換として再解釈する。
• 以前の $S$-変換および $R$-変換に関する結果を拡張し、コモナド的設定においてそれらの線形性を示す。
• $+_{q}$、$δ$-微分作用素、および自己準同型 $f_{n}$ を持つ部分畳み込み代数を定義し、$(Ω,E)$-代数を構成する。
• ベルコビッチ＝パータの双対性を介して、古典的およびブール的状況へ構造を転送し、独立性の概念を超えた普遍性を確認する。

実験結果

リサーチクエスチョン

• RQ1 自由確率論は、コモナドや (co)モノイドといった圏的概念を用いてどのように形式化できるか？
• RQ2 自由確率を支配するコモナド的構造と同型となる代数的構造（例えばウィット代数や $λ$-環）は何か？
• RQ3 自由確率における累積モーメント公式は、単なる計算的道具にすぎないのか、それとも圏論におけるより深い自然変換から生じるのか？
• RQ4 コモナド的手法を用いて、コンパクトな台を持つ自由に無限に可除測度の解析的理論を拡張できるか？
• RQ5 自由畳み込みの演算、特に $+_{q}$ および $\hat{\partial}^2$ は、どのようにオペラッド的または代数的理論の枠組みに適合するか？

主な発見

• 自由確率におけるコモナド的構造は、ウィット代数および微分代数の圏と同型であり、深い代数的同型を示している。
• 累積モーメント公式が、圏的枠組み内での自然変換として生じることを示し、恣意的な道具ではないことを明らかにした。
• $S$-変換および $R$-変換はコモナド的構造によって線形化され、$S$-変換の線形性に関する以前の結果が一般化された。
• ボレル関手およびコモナド的コアルゲブラ構造を用いて、コンパクトな台を持つ自由に無限に可除測度に関する解析的結果が拡張された。
• $+_{q}$、$δ$-微分作用素、$f_{n}$ で定義される部分畳み込み代数は、測度の空間に豊かな $(Ω,E)$-代数構造をもたらした。
• $M_{\infty,\boxplus}(\mathbb{R})$ が $+_{q}$、$\hat{\partial}^2$、$f_{n}$ によって生成されるオペラッド上の代数としての構造を持つことが確認され、古典的・ブール的・自由確率論の全範囲にわたる普遍性が裏付けられた。