[论文解读] 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-对角元素的等价刻画。
• 分析此类元素的极分解，特别是其酉部分与自伴部分满足*-自由的条件。
• 通过B-值圆形元素，完全描述拟幂零DT算子的极分解。
• 利用Stieltjes变换与代数函数，推导|a|与a^*a的谱分布的显式公式。

提出的方法

• 证明B-值R-对角性的七个等价条件，包括矩的消失性与非交叉累积量约束。
• 使用形式幂级数关联R-对角元素的矩与累积量，扩展标量取值R-变换技术。
• 通过矩阵(0 a; a* 0)刻画关于对角矩阵的 amalgamation 自由性。
• 应用代数函数与Puiseux级数理论，计算谱测度μ_{a^*a}的Stieltjes变换G(w)。
• 利用判别式分析与G(w)在w=0附近的渐近展开，确定谱测度的支集与密度。
• 通过渐近行为与负实轴上的实解析性，验证G(w)的正确分支。

实验结果

研究问题

• RQ1 除了原始定义外，B-值R-对角元素的等价刻画还有哪些？
• RQ2 B-值R-对角元素的非交叉累积量如何表现？哪些序列可能非零？
• RQ3 在何种累积量条件下，B-值R-对角元素极分解中的酉部分与自伴部分满足*-自由？
• RQ4 拟幂零DT算子的极分解能否通过B-值圆形元素完全描述？
• RQ5 对于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，其在负实轴上为实数且为负。
• μ_{a^*a}在0处无原子，因为liminf_{ε→0+} ε G(t_0 + εi) = 0，确认核平凡。
• |a|的分布被数值计算并与四分之一圆律比较，显示出明显的s^{-1/3}奇点。