[論文レビュー] Multilinear function series in conditionally free probability with amalgamation

Mihai Popa|ArXiv.org|Mar 31, 2007

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

ひとこと要約

本稿は、アーマリューテッド自由確率における条件付き自由R変換のための多重線形関数級数フレームワークを導入し、正値性の結果と中心極限定理を確立する。組合せ的技法を用いて、ヴォイキュレスクのR変換をc自由設定に一般化し、c自由独立性の下でc自由R変換が加法的であることを証明するとともに、先行研究におけるアーマリューテッド自由確率におけるR変換に関する主要結果の、より短い新しい証明を提供する。

ABSTRACT

As in the cases of freeness and monotonic independence, the notion of conditional freeness is meaningful when complex-valued states are replaced by positive conditional expectations. In this framework, the paper presents several positivity results, a version of the central limit theorem and an analogue of the conditionally free R-transform constructed by means of multilinear function series.

研究の動機と目的

• c自由確率の理論を、c自由R変換の多重線形関数級数アプローチを導入することによって、アーマリューテッド自由確率の枠組みで拡張すること。
• 両方の期待値がC*-代数に値をとる条件付き期待値である場合に、c自由積写像ΦとΨの正値性を確立すること。
• 多重線形関数級数構成を用いて、条件付き自由確率変数の中心極限定理を証明すること。
• c自由R変換の加法性を、組合せ的技法に基づいた新しい証明により示し、デイクスマおよび他の研究者らの結果を一般化すること。
• c自由独立性の下でc自由R変換が加法的であることを示し、古典的R変換の性質に類似した性質を示すこと。

提案手法

• C*-代数Bの部分代数D上でのc自由積構成を用い、Ψ期待値が消える交互単語上での再帰的関係によってΦとΨを定義する。
• 多重線形関数級数を用いてc自由R変換を定義し、アーマリューテッド自由確率におけるデイクスマのアプローチを一般化する。
• ヴォイキュレスクおよびポーパ（2005年）のインスピレーションを受ける組合せ的技法を用いて、c自由設定におけるモーメントおよびコマリューレントの構造を分析する。
• Fock空間モデルを構築し、演算子A₁とA₂を用いてc自由積を表現し、その和Sが自己随伴的であり、状態を生成することを示す。
• 正規化の極限挙動を分析するため、拡大写像Dλτを用いて条件付き期待値をスケーリングする。
• 文献[9]における状態の自由積の正値性を適用し、極限写像νが正値であることを示し、定理2.4を用いてμの正値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 アーマリューテッド自由確率の文脈において、c自由R変換を多重線形関数級数を用いて構成可能か？
• RQ2 ΦとΨが両方ともC*-代数に値をとる条件付き期待値である場合、c自由積写像Φが正値であるための条件は何か？
• RQ3 条件付き自由確率変数に対して中心極限定理が成り立つのか？ また、極限分布はどのように特徴づけられるか？
• RQ4 c自由独立性の下でc自由R変換は加法的か？ そして、多重線形関数級数を用いてこの性質を証明可能か？
• RQ5 アーマリューテッド自由確率におけるR変換に関する結果を、c自由設定における組合せ的技法を用いて、より簡潔に再証明可能か？

主な発見

• c自由R変換は加法的である：XとYがc自由であれば、$^cR_{X+Y} = {}^cR_X + {}^cR_Y$ が成り立ち、古典的R変換の性質を一般化する。
• 入力写像ΦᵢとΨᵢがC*-代数に値をとる正値の条件付き期待値である場合、c自由積写像ΦとΨは正値である。
• 条件付き自由確率変数に対して中心極限定理が成り立つ：正規化された和$\frac{\xi_1 + \cdots + \xi_N}{\sqrt{N}}$は、c自由R変換によって特徴づけられる極限状態に分布収束する。
• 極限写像μとνが正値であるための必要十分条件は、すべての$b \in \mathfrak{B}$に対して$\Phi(Xb^*bX) \geq 0$および$\Psi(Xb^*bX) \geq 0$が成り立つことである。これは重要な正値性基準を確立する。
• 多重線形関数級数構成は、デイクスマ（2007年）の定理6.1～6.13を、Fock空間手法ではなく組合せ的技法を用いて、より短く直接的な証明を可能にする。
• 拡大写像$D_{1/\sqrt{N}}$を用いてモーメントをスケーリングし、$D_{1/\sqrt{N}}\Phi_{\xi_1 + \cdots + \xi_N}$の極限が、正値である極限条件付き期待値μをもたらす。