[論文レビュー] $R$-diagonal pairs - a common approach to Haar unitaries and circular elements

Alexandru Nica, Roland Speicher|ArXiv.org|Apr 30, 1996

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

ひとこと要約

この論文は、積 $z_1z_2$ と $z_2z_1$ の両方において対称的構造を示す R 変換を持つ非可換確率変数のペア、すなわち R 対角ペアを導入し、自由確率論におけるハールユニタリと円形要素を統一的に扱う枠組みを提供する。このようなペアは自由なペアとの自由乗算に関して閉じており、係数を単純な式で表すことで R 対角構造を保ち、自由確率論における新しい R 対角ペアの体系的構成を可能にする。

ABSTRACT

In the free probability theory of Voiculescu two of the most frequently used *-distributions are those of a Haar unitary and of a circular element. We define an $R$-diagonal pair as a generalization of these distributions by the requirement that their two-dimensional $R$-transform (or free cumulants) have a special diagonal form. We show that the class of such $R$-diagonal pairs has an absorption property under nested multiplication of free pairs. This implies that in the polar decomposition of such an element the polar part and the absolute value are free. Our calculations are based on combinatorial statements about non-crossing partitions, in particular on a canonical bijection between the set of intervals of NC(n) and the set of 2-divisible partitions in NC(2n). In a forthcoming paper the theory of $R$-diagonal pairs will be used to solve the problem of the free commutator.

研究の動機と目的

• ハールユニタリと円形要素の自由確率論的挙動を、共通の構造的枠組みによって統一すること。
• R 変換の $z_1z_2$ と $z_2z_1$ 項における対称的形を用いて R 対角ペアを定義・特徴付けること。
• R 対角ペアが自由なペアとのネストされた自由乗算においても保存されることを確立し、その適用範囲を拡張すること。
• 非交叉分割と形式的冪級数へのスターオペレーションを用いた組合せ的基盤を構築し、主結果を導出すること。
• C^* および W^* 確率空間における、$(up, (up)^*)$ の形をとる R 対角ペアの豊富な存在を示すこと。

提案手法

• 非交叉分割 $NC(n)$ を用いた R 変換の組合せ的記述を用い、非可換確率変数のペアの同時分布を分析する。
• 自由な $n$-重組の乗算をモデル化するため、形式的冪級数への演算 $\star$ を導入し、[10] の先行結果を一般化する。
• 主要な技術的道具は、$NC(n)$ の区間と $NC(2n)$ の 2-可除分割の間の標準的双対写像であり、係数の計算を容易にする。
• R 変換展開における非ゼロ寄与を特定するために、$h$-許容性と $\varepsilon$-交互分割の概念に依存する。
• $(a_1,a_2)$ が R 対角ペアであり、$(p_1,p_2)$ が自由ペアであるとき、$(a_1p_1, p_2a_2)$ も R 対角ペアであり、新しい係数の明示的公式が得られることを証明する。
• 非交叉分割 $\sigma$ の構造に関する場合分けを用いた証明技法であり、$\sigma$ が $\varepsilon$-交互でないか $h$-許容でない場合には寄与が消えることを示し、有効な場合にのみ明示的な係数公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハールユニタリと円形要素は、自由確率論において共通の構造的記述を持つ非可換確率変数のクラスに埋め込めるか？
• RQ2 非可換確率変数のペアの R 変換は、$z_1z_2$ と $z_2z_1$ 項において対称的であるか？ その対称性は分布にどのような意味を持つのか？
• RQ3 R 対角ペアのクラスは自由なペアとの自由乗算に関して閉じているか？ もしそうなら、その結果得られる係数は明示的に計算可能か？
• RQ4 非交叉分割に課されるどのような組合せ的条件が、R 対角ペアの R 変換への非ゼロ寄与を保証するか？
• RQ5 形式的冪級数への $\star$-演算は、R 対角構造の文脈において、$n$-重組の自由乗算をどのように表現するか？

主な発見

• ハールユニタリペア $(u, u^*)$ の R 変換は、$\sum_{k=1}^\infty \frac{(-1)^{k+1}(2k-2)!}{(k-1)!k!} (z_1z_2)^k + \sum_{k=1}^\infty \frac{(-1)^{k+1}(2k-2)!}{(k-1)!k!} (z_2z_1)^k$ の形を取り、対称的構造が明らかになる。
• 円形要素ペア $(c, c^*)$ の R 変換は $z_1z_2 + z_2z_1$ に簡略化され、最小限の対称的形をとる。
• R 対角ペア $(x,y)$ は、$\sum_{k=1}^\infty \alpha_k (z_1z_2)^k + \sum_{k=1}^\infty \alpha_k (z_2z_1)^k$ の形の R 変換を持つことで定義され、ハールユニタリおよび円形要素の両ケースを一般化する。
• $(a_1,a_2)$ が R 対角ペアであり、$\{a_1,a_2\}$, $\{p_1,p_2\}$ が自由であるとき、$(a_1p_1, p_2a_2)$ も R 対角ペアであり、その係数は明示的に計算可能である。
• 新しいペアの R 変換における $(z_1z_2)^k$ の係数は、$h$-許容性および $\varepsilon$-交互条件を満たす非交叉分割のブロックごとの積によって決定される。
• 証明により、寄与がゼロになるのは分割 $\sigma$ が $h$-許容かつ $\varepsilon$-交互でない場合に限られ、その条件を満たす場合には、各成分ペアの R 変換の係数の積として係数が与えられることが示される。