[論文レビュー] Random Variables in Graph W*-Probability Spaces

Ilwoo Cho|ArXiv.org|Oct 8, 2004

Advanced Operator Algebra Research参考文献 8被引用数 4

ひとこと要約

本稿では、グラフ W*-代数の対角部分代数上での拡張を伴う作用素代数を研究するための枠組みとして、グラフ W*-確率空間を導入する。ラティスパスモデルを用いて D_G-値モーメントおよびコマリヤントを計算し、ループに由来する作用素 L_l + L_l^* が D_G-半円的であることを示し、パスに由来する作用素 L_w + L_w^* が D_G-偶数的であることを示し、L_w, L_w^* が D_G-R対角的であることを特定する。D_G-自由性の組み合わせ的特徴付けは、図的相異なる性質によって与えられる。

ABSTRACT

In [16], we observed the graph W*-probability theory. In this paper, we will review [16] and introduce special amalgamated random variables in this amalgamated W*-probability space. In particular, we will observe the amalgamated semicircularity, amalgamated evenness and amalgamated R-diagonality. As an example, we will compute the trivial moments and trivial cumulants of the generating operator of the graph W*-algebra.

研究の動機と目的

• グラフ W*-代数における対角部分代数 D_G 上での拡張を伴う W*-確率空間を構築すること。
• グラフ G 上での図的相異なる性質を用いて、生成子の D_G-自由性を特徴付けること。
• ラティスパスモデルを用いて、任意の確率的変数の D_G-値モーメントおよびコマリヤントを計算すること。
• グラフ W*-確率枠組み内での特殊クラスの確率的変数—半円的、偶数的、R対角的—を特定・分類すること。

提案手法

• Fock空間 l²(𝔽⁺(G)) 上の生成作用素および消滅作用素によって生成される作用素の弱閉包として、グラフ W*-代数 W*(G) を構成する。
• 頂点に付随する射影の弱閉包として、対角部分代数 D_G を定義する。
• 作用素のフーリエ展開に基づく、自然な忠実な条件付き期待値 E: W*(G) → D_G を導入する。
• D_G-値モーメントおよびコマリヤントの計算に、*-軸性を持つラティスパスモデル LP_n および LP_n^* を用いる。
• スペイシャーの理論に従い、拡張付き自由確率論の組み合わせ的枠組みを用いて、混合コマリヤントを分析する。
• グラフ G 上のパスの図的相異なる性質によって、D_G-自由性を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 グラフ W*-確率空間において、どのように D_G-値モーメントおよびコマリヤントを計算できるか？
• RQ2 グラフ G にどのような条件が満たされると、その生成子の D_G-自由性が保証されるか？
• RQ3 W*(G) 内のどの確率的変数が D_G-半円的、D_G-偶数的、または D_G-R対角的特性を示すか？
• RQ4 W*(G) の生成作用素は、それらの D_G-値モーメントおよびコマリヤントに関してどのように振る舞うか？
• RQ5 グラフ G の構造を用いて、モーメントおよびコマリヤントの振る舞いに基づき、特殊クラスの確率的変数を分類できるか？

主な発見

• l が G のループであれば、L_l + L_l^* は D_G-半円的要素である。
• w が G の有限パスであれば、L_w + L_w^* は D_G-偶数的要素である。
• 任意の有限パス w に対して、作用素 L_w および L_w^* は D_G-値 R-対角的である。
• N 頂点の巡回グラフの生成作用素 T の n 階 D_G-値コマリヤントは、n が偶数のとき 2μ_n · 1_{D_G} に等しく、n が奇数のときは 0_{D_G} に等しい。
• T の n 階 D_G-値モーメントは、NC_E(n) 内の偶数分割の和として与えられ、各ブロック V に対して ∏(2μ_|V|) でスケーリングされる。
• W*(G) の生成子の D_G-自由性は、グラフ G 上での図的相異なる性質によって特徴付けられる。