[論文レビュー] Strong convergence of tensor products of independent G.U.E. matrices

Serban T. Belinschi, Mireille Capitaine|arXiv (Cornell University)|May 16, 2022

Random Matrices and Applications被引用数 4

ひとこと要約

本稿は、独立で正規化されたG.U.E.行列のテンソル積のほとんど確実な強い収束を確立し、テンソル積行列における任意の非可換多項式の作用素ノルムが、自由積C*-代数における対応する自由セミサークル要素のノルムに収束することを証明している。この結果は、自由群フォンノイマン代数における最大可換部分代数に関するペトエルド＝トム予想を証明するために必要な重要な技術的条件を確認するものである。

ABSTRACT

Given tuples of properly normalized independent $N imes N$ G.U.E. matrices $(X_N^{(1)},\dots,X_N^{(r_1)})$ and $(Y_N^{(1)},\dots,Y_N^{(r_2)})$, we show that the tuple $(X_N^{(1)}\otimes I_N,\dots,X_N^{(r_1)}\otimes I_N,I_N\otimes Y_N^{(1)},\dots,I_N\otimes Y_N^{(r_2)})$ of $N^2 imes N^2$ random matrices converges strongly as $N$ tends to infinity. It was shown by Ben Hayes that this result implies that the Peterson-Thom conjecture is true.

研究の動機と目的

• 独立で正規化されたG.U.E.行列のテンソル積のほとんど確実な強い収束を確立すること。
• テンソル積行列における任意の非可換多項式の作用素ノルムが、自由積C*-代数における対応する自由セミサークル要素のノルムに収束することを証明すること。
• 自由群フォンノイマン代数における最大可換部分代数に関するペトエルド＝トム予想の真偽を示すために不可欠な技術的結果を提供すること。

提案手法

• モーメント法およびリゾルベント解析の変種を用い、行列のテンソル積構造に適応した手法。
• 作用素ノルム収束（トレース収束のみでない）に注目した、確率行列理論における強い収束の概念の適用。
• 自由セミサークル要素のスペクトル分布およびそれらのテンソル積の自由積C*-代数における性質の利用。
• 行列作用素 S = ∑(X_i ⊗ I + I ⊗ Y_j) のリゾルベントを、複素解析および有理関数展開を用いて分析。
• リゾルベント (z - S)^{-1} がスペクトルの外で z に関して正則であり、最小テンソルノルムを用いたそのノルムの上限を適用。
• コーシー変換およびシュワーツ分布の理論を用いて、リゾルベントおよびそのトレースの極限における挙動を制御。

実験結果

リサーチクエスチョン

• RQ1 独立で正規化されたG.U.E.行列のテンソル積における非可換多項式の作用素ノルムは、自由積C*-代数における対応する自由セミサークル要素のノルムにほとんど確実に収束するか？
• RQ2 両方のテンソル因子が N とともに増大する場合、特に第二の行列のサイズが N である場合に、G.U.E.行列のテンソル積に対して強い収束が確立可能か？
• RQ3 この強い収束結果は、自由群フォンノイマン代数における唯一の最大可換部分代数の存在に関するペトエルド＝トム予想を示唆するか？

主な発見

• 行列 (X(1)_N ⊗ I_N, ..., X(r1)_N ⊗ I_N, I_N ⊗ Y(1)_N, ..., I_N ⊗ Y(r2)_N) における任意の非可換多項式の作用素ノルムは、それらが生成するC*-代数の最小テンソル積における対応する自由セミサークル要素のノルムにほとんど確実に収束する。
• 両方のテンソル因子で同じ N を用いる N × N のG.U.E.行列に対して収束が成立し、これにより先行研究における重要なギャップが解消される。
• この結果は、ベン・ヘイズによって確立されたように、ペトエルド＝トム予想の真偽を示すために必要な強い収束条件を確認するものであり、その真実性を示唆する。
• リゾルベントおよびそのトレースの詳細な解析に依拠しており、自己随伴作用素の有理関数およびその導関数のノルムの上限を用いている。
• ハーガップおよびトールビョーンセンの手法をテンソル積設定に拡張し、最小テンソルノルムおよび反代数双対性下でのスペクトル不変性を用いている。
• 収束は多項式の次数に一様であり、すべての非可換多項式に対して成立し、誤差は N → ∞ においてほとんど確実にゼロに収束する。