[論文レビュー] On algebra-valued R-diagonal elements (with erratum)

March T. Boedihardjo, Ken Dykema|arXiv (Cornell University)|Dec 20, 2015

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

ひとこと要約

この論文は、B-値 *-非可換確率空間における代数値 R 対角的要素の同値な特徴付けを確立し、モーメントとコマネントの間のべき級数関係を証明し、ユニタリ部と自己共役部への極分解を調査する。主な結果として、ユニタリ部と自己共役部が *-自由でないことが示されたトレース例が提示され、準ノルムの DT 演算子の極分解が、円形要素を用いて完全に記述される。

ABSTRACT

For an element in an algebra-valued *-noncommutative probability space, equivalent conditions for algebra-valued R-diagonality (a notion introduced by Sniady and Speicher) are proved. Formal power series relations involving the moments and cumulants of such R-diagonal elements are proved. Decompositions of algebra-valued R-diagonal elements into products of the form unitary times self-adjoint are investigated; sufficient conditions, in terms of cumulants, for *-freeness of the unitary and the self-adjoint part are proved, and a tracial example is given where *-freeness fails. The particular case of algebra-valued circular elements is considered; as an application, the polar decompostion of the quasinilpotent DT-operator is described. An erratum is appended. (The last sentence in the above paragraph is thereby nullified.)

研究の動機と目的

• 非可換確率論におけるスカラー値 R 対角性を代数値設定に拡張すること。
• モーメント、コマネント、自由性条件を用いた B-値 R 対角的要素の同値な特徴付けを確立すること。
• 特にユニタリ部と自己共役部が *-自由である条件を含め、そのような要素の極分解を分析すること。
• 準ノルムの DT 演算子の極分解を B-値円形要素を用いて完全に記述すること。
• Stieltjes 変換と代数関数を用いて、|a| と a^*a のスペクトル分布の明示的公式を導出すること。

提案手法

• モーメントの消滅と非交差コマネント制約を含む、B-値 R 対角性の7つの同値条件を証明する。
• 形式的べき級数を用いて、R 対角的要素のモーメントとコマネントの関係を確立し、スカラー値 R 変換技法を拡張する。
• 対角行列を含む拡張自由性を特徴付けるために、行列 (0 a; a* 0) を分析する。
• 代数関数と Puiseux 級数の理論を用いて、スペクトル測度 μ_{a^*a} の Stieltjes 変換 G(w) を計算する。
• 判別式解析と w=0 の近傍における G(w) の漸近展開を用いて、スペクトル測度の台と密度を特定する。
• 負の実軸上での漸近的挙動と実解析性を用いて、G(w) の正しい分岐を検証する。

実験結果

リサーチクエスチョン

• RQ1 元の定義を超えて、B-値 R 対角的要素の同値な特徴付けは何か？
• RQ2 B-値 R 対角的要素の非交差コマネントはどのように振る舞い、どの列が非ゼロとなるか？
• RQ3 極分解におけるユニタリ部と自己共役部が *-自由であるためのコマネントに基づく条件は何か？
• RQ4 準ノルムの DT 演算子の極分解を B-値円形要素を用いて完全に記述できるか？
• RQ5 特に s → 0+ の近傍で、B-値 R 対角的要素 a に対して |a| の正確なスペクトル分布は何か？

主な発見

• 要素 a は核がゼロであり、可逆でない。μ_{a^*a} は 0 に原子を持たず、0 の近傍で無限大の密度を持つため。
• a のノルムは約 2.18942 であり、多項式 16x^8 - 160x^6 + 540x^4 - 680x^2 + 27 の最大の実根に等しい。
• μ_{|a|} の密度は s → 0+ のとき (sqrt(3)/(2π)) s^{-1/3} として漸近的に振る舞い、ゼロに特異性を持つ。
• Stieltjes 変換 G(w) は w=0 の近傍で G_2 と特定され、負の実軸上で実数かつ負である。
• liminf_{ε→0+} ε G(t_0 + εi) = 0 であるため、μ_{a^*a} は 0 に原子を持たない。これは自明な核を確認する。
• |a| の分布は数値的に計算され、四分円分布と比較された。s^{-1/3} 特異性が顕著に現れている。