[论文解读] 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*-代数中相应自由半圆元素的范数。该结果确认了证明自由群冯诺依曼代数中极大阿贝尔子代数的Peterson-Thom猜想所需的关键技术条件。

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*-代数中相应自由半圆元素的范数。
• 提供一个关键的技术结果，该结果蕴含自由群冯诺依曼代数中极大阿贝尔子代数的Peterson-Thom猜想成立。

提出的方法

• 使用了方法矩量和预解分析的变体，适用于矩阵的张量积结构。
• 应用了随机矩阵理论中的强收敛概念，重点关注算子范数收敛，而不仅仅是迹收敛。
• 利用了自由半圆元素及其在自由积C*-代数中的张量积的谱分布。
• 通过复分析和有理函数展开分析矩阵算子 S = ∑(X_i ⊗ I + I ⊗ Y_j) 的预解。
• 利用预解 (z - S)^{-1} 在谱外关于 z 解析的性质，并使用最小张量范数对其实 norm 进行有界。
• 应用柯西变换和施瓦茨分布理论，控制预解及其迹在极限下的行为。

实验结果

研究问题

• RQ1 张量积的独立归一化G.U.E.矩阵中非交换多项式的算子范数是否几乎必然收敛于自由积C*-代数中相应自由半圆元素的范数？
• RQ2 当两个张量因子均随 N 增大时，是否可对G.U.E.矩阵的张量积建立强收敛性，特别是当第二个矩阵的大小为 N 时？
• RQ3 该强收敛结果是否意味着自由群冯诺依曼代数中存在唯一极大阿贝尔子代数的Peterson-Thom猜想成立？

主要发现

• 矩阵 (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. 矩阵成立，即 M = N，从而解决了先前工作中存在的关键缺口。
• 该结果蕴含了Peterson-Thom猜想的成立，如Ben Hayes所证明，通过确认了所需的强收敛条件。
• 该证明依赖于对预解及其迹的详细分析，使用了对自伴算子及其导数的有理函数范数的有界性。
• 该方法将Haagerup和Thorbjørnsen的技术扩展至张量积设置，使用最小张量范数和对偶代数对称下的谱不变性。
• 收敛性在多项式次数上是一致的，且对所有非交换多项式成立，误差几乎必然随 N → ∞ 而趋于零。