[論文レビュー] Preservation of algebraicity in free probability

Greg W. Anderson|arXiv (Cornell University)|Jun 25, 2014

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

ひとこと要約

本稿では、代数的分布をもつ自由に独立な非可換確率変数の行列多項式組み合わせが、常に代数的分布をもつこと、すなわち代数的性質が保存されることを確立する。自由確率論、代数幾何学、可換代数の道具——特に一般化されたシュヴィンガー＝ダイソン方程式と行列線形化——を用いて、代数的性質がこのような組み合わせのもとで保存されることを証明し、シュリャフターノとスコウフラニスが提起した疑問に答え、セミサークル、アークサイン、マルチェンコ＝パストール分布に関する先行研究を統合する。

ABSTRACT

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The result belongs to a family of results with origins outside free probability theory, including a result of Aomoto asserting algebraicity of the Green function of random walk of quite general type on a free group.

研究の動機と目的

• 自由確率論における行列多項式組み合わせのもとで代数的分布が保存されるかどうかという、シュリャフターノとスコウフラニスが提起した疑問を解決すること。
• セミサークル分布やアークサイン分布といった、自由確率論における代数的分布の広範な出現を説明する一般化されたメカニズムを提供すること。
• 加法的および乗法的自由畳み込みに関する既知の結果を拡張し、自由な行列多項式組み合わせのもとで代数的性質が保存されることを厳密に証明すること。
• 一般化されたシュヴィンガー＝ダイソン方程式と行列線形化を介して、自由確率論と代数幾何学・可換代数を結びつけること。
• 自由群上のランダムウォークのグリーン関数——既に代数的であることが知られていた——が、主結果の特別な場合であることを示すこと。

提案手法

• 代数的法則をもつ自由に独立な変数 $x_1, \tdots, x_q$ をもつ非可換確率空間 $({\rm A}, \rho)$ において問題を形式化する。
• 行列多項式組み合わせ $X \to {\rm Mat}_p({\rm A})$ を導入し、一般化されたシュヴィンガー＝ダイソン方程式を用いてその分布を分析する。
• 問題を ${\rm Mat}_n({\rm C}((1/z)))$ 上の形式的べき級数における代数方程式の連立系に帰着させるために行列線形化を適用する。
• ヘッセンベルク＝トープリッツ行列と自由コマリントを用いて線形化された系をモデル化し、再帰的関係を導出する。
• 行列 $U^{(\theta)}_i$, $V^{(\theta)}_i$, および $ξ_{i+n(j-1)}$ の明示的公式を用いて、方程式系 (116) の形式的解 $Υ_0$ を構成する。
• ブロック行列解析に依拠し、$b_{22}$, $b_{33}$ の可逆性および $b_{32}b_{22}^{-1}b_{21} = 0$ の成立を示すことにより、ヤコビアン行列式の非消滅を証明する。

実験結果

リサーチクエスチョン

• RQ1 各変数が代数的分布をもつ自由に独立な非可換確率変数の行列多項式組み合わせの分布が、代数的であるかどうか。
• RQ2 自由群上のランダムウォークのグリーン関数の代数的性質が、自由確率論におけるより広範な原理の帰結として導かれるか。
• RQ3 セミサークル分布やアークサイン分布といった古典的極限定常スペクトル分布の代数的性質を説明する、自由確率論における一般化されたメカニズムが存在するか。
• RQ4 形式的言語理論に依存せず、代数幾何学および可換代数の道具を用いて、代数的性質の保存を証明できるか。
• RQ5 非可換設定における一般化されたシュヴィンガー＝ダイソン方程式の解が、代数的べき級数をもたらすための条件は何か。

主な発見

• 自由に独立な非可換確率変数の代数的分布をもつ任意の行列多項式組み合わせ $X$ の分布も、自身が代数的である。
• 証明により、方程式系 (116) の解 $Υ_0$ が ${\rm C}((1/z))$ 上で正しく定義されており、すべての必要な方程式 $F=0$, $G=0$, および $H=0$ を満たすことが示された。
• ヤコビアン行列式は非消滅しており、$\text{det}(b_{22}) \neq 0$、$b_{32}b_{22}^{-1}b_{21} = 0$、および $\text{det}(b_{33}) \neq 0$ を示すことにより証明された。
• 本結果は、自由加法的および乗法的畳み込み、交換子則、自由群上のグリーン関数の代数的性質といった既知の事例を一般化する。
• 本手法は形式的言語理論を回避し、代数幾何学および可換代数に依拠することで、自由確率論における代数的性質の新たな道筋を提供する。
• 主定理により、非原子的性の仮定がなくても分布の代数的性が保存されることを確認した。これは、[31, Thm. 5.4] における先行結果を拡張する。