[論文レビュー] Almost Commutative Probability Theory

R. Friedrich, John McKay|arXiv (Cornell University)|Sep 24, 2013

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

ひとこと要約

この論文は、自由確率論における2つの主要な未解決問題を解決する。任意の可換代数へ理論を一般化し、忠実な線形表現としての多変数 $S$-変換の存在を証明する。1次元において、乗法的自由畳み込みが有理数代数上では加法的畳み込みに還元されることを確立し、非可換確率変数 $n$-組の自由畳み込みから生じる群を分類する。

ABSTRACT

We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multiplication of independent random variables holds for free random variables, if the co-domain is an algebra over the rationals. In this case the multiplicative problem can be reduced to the additive one, which is not true in dimensions greater than one. Finally, we classify the groups which arise as joint distributions of $n$-tuples of non-commutative random variables, endowed with the free convolution product, which is the binary operation that encodes the multiplication of free $n$-tuples.

研究の動機と目的

• 多変数 $S$-変換の存在と構造に関する自由確率論における長年の未解決問題を解決すること。
• ボイクルスカの元来の理論を拡張し、任意の可換代数上での自由確率論の一般枠組みを確立すること。
• 特に有理数代数上での1次元において、加法的畳み込みと乗法的畳み込みの関係を明確にすること。
• $n$-組の非可換確率変数の自由畳み込みにおける連合分布から生じる群の分類をすること。
• 自由畳み込み演算と標準群演算（形式的冪級数の乗法など）との間の明示的かつ計算可能な同型写像を提供すること。

提案手法

• 任意の可換代数 $R$ を係数とする非可換確率空間への自由確率論の一般化。
• 自由乗法的畳み込みの忠実な線形表現としての多変数 $S$-変換の導入と存在の証明。
• 自由 $n$-組の乗法を符号化するコア演算として $oxtimes_{V}$-畳み込み（ボックス畳み込み）を用い、非交叉分割による明示的公式を提示。
• ホップ代数的技法とウィットベクトルおよび対称関数との関連を用いて、自由モーメントの群構造を分析。
• 自由乗法的畳み込み群と形式的冪級数の加法群との間の同型写像を、$S_V$-変換および対数/指数写像を用いて確立。
• $oxplus_V$ および $oxtimes_V$ 演算をモーメント級数に適用し、$oxtimes\text{Zeta}_1$、$ ext{Moeb}_1$、および $ ext{EXP}_V$ 写像による明示的変換を提示。

実験結果

リサーチクエスチョン

• RQ1 自由確率論において、多変数 $S$-変換は存在するか？ そして、自由乗法的畳み込み群の忠実な線形表現として実現可能か？
• RQ2 1次元自由確率論において、係数体が $ield{Q}$-代数であるとき、自由乗法的畳み込み $oxtimes_V$ は、$S_V$-変換を介して形式的冪級数の加法群に同型であるか？
• RQ3 自由非可換確率変数 $n$-組の自由畳み込みにおける連合分布から生じる群の構造は何か？
• RQ4 自由乗法的畳み込みは、形式的冪級数の乗法群など、標準群演算への同型写像によって線形化可能か？
• RQ5 一般化された代数的設定下で、$oxplus_V$ および $oxtimes_V$ 演算が、$ield{R}$-変換および指数/対数写像とどのように関係するか？

主な発見

• 多変数 $S$-変換は存在し、任意の可換代数上での自由乗法的畳み込み群の忠実な線形表現として実現される。
• 1次元において、$ield{Q}$-代数上では、自由乗法的畳み込み $oxtimes_V$ が $S_V$-変換を介して形式的冪級数の加法群 $(ield{R}[[z]], +)$ に同型であり、古典的な加法と乗法の関係を一般化する。
• 群 $(rak{G}^1_+(R), oxtimes_V)$ は、$rac{d}{dz}\text{log}$ 写像により $(ield{R}[[z]], +)$ に同型であり、$ ext{EXP}_V$ 写像により $(ield{R}[[z]], imes)$ に同型である。これにより、乗法的問題の完全な線形化が確立される。
• $ ext{EXP}_V$ 写像は特徴的な指数的性質を満たす：$ ext{EXP}_V( u_1 oxplus_V u_2) = ext{EXP}_V( u_1) oxtimes_V ext{EXP}_V( u_2)$ かつ $ ext{EXP}_V( u_0) = ext{Zeta}_1$。
• $ heta(a) = 1_R$ を満たす自由確率変数 $a$ の $S$-変換は、行列 $egin{pmatrix} 1 & rac{d}{dz}\text{log}( ilde{S}_V(a)) \\ 0 & ield{E}_{ield{N}}(k) \ ext{end}{pmatrix}$ の形で表現され、$S$-変換が線形群に埋め込まれる。
• 自由畳み込みにおける $n$-組の連合分布の群は、非アーベル群として分類され、$ield{R}$-変換のボックス畳み込みと非交叉分割の組合せ論によって構造が決定される。