[论文解读] Rectangular random matrices, related free entropy and free Fisher's information

Florent Benaych-Georges|arXiv (Cornell University)|Dec 4, 2005

Random Matrices and Applications被引用 14

一句话总结

本论文在不假设奇异值律收敛的前提下，建立了在酉不变性下，关于交换有限维代数𝒟的矩形随机矩阵的渐近自由性（含 amalgamation）。引入了一种基于微状态的自由熵，以及一种基于共轭变量的自由费雪信息，针对核与像投影属于𝒟的算子。结果表明，Marchenko-Pastur 分布在自由熵最大化时达到等号，且在 Cramér-Rao 不等式中实现等号，当且仅当元素关于𝒟自由且含 amalgamation 时，自由费雪信息具有可加性。

ABSTRACT

We prove that independent rectangular random matrices, when embedded in a space of larger square matrices, are asymptotically free with amalgamation over a commutative finite dimensional subalgebra $D$ (under an hypothesis of unitary invariance). Then we consider elements of a finite von Neumann algebra containing $D$, which have kernel and range projection in $D$. We associate them a free entropy with the microstates approach, and a free Fisher's information with the conjugate variables approach. Both give rise to optimization problems whose solutions involve freeness with amalgamation over $D$. It could be a first proposition for the study of operators between different Hilbert spaces with the tools of free probability. As an application, we prove a result of freeness with amalgamation between the two parts of the polar decomposition of $R$-diagonal elements with non trivial kernel.

研究动机与目标

• 将自由概率工具扩展至通过有限维交换子代数𝒟的冯诺依曼代数框架下的不同希尔伯特空间之间的算子。
• 为 W*-概率空间中核与像投影位于𝒟中的 N 元组元素定义基于微状态的自由熵。
• 通过共轭变量构造此类元素的自由费雪信息，并建立其性质。
• 证明在迹范数固定且投影属于𝒟的条件下，Marchenko-Pastur 分布使自由熵最大化。
• 证明自由费雪信息的可加性成立当且仅当元素关于𝒟自由且含 amalgamation。

提出的方法

• 通过分块对角或非对角嵌入将矩形随机矩阵嵌入更大的方阵，以定义𝒟作用。
• 利用酉不变性与渐近分析，证明独立矩形矩阵在渐近下关于𝒟自由且含 amalgamation。
• 将微状态自由熵定义为逼近 (𝒜,φ) 中元素联合分布的矩形矩阵元组体积的渐近对数，其中核与像位于𝒟中。
• 通过非微状态方法中的共轭变量构造自由费雪信息，利用 Cramér-Rao 不等式框架。
• 应用变量替换公式与酉群上的微分形式，计算雅可比行列式与前推测度。
• 利用已知的特征值分布与哈尔测度结果，推导前推测度的密度，并在体积计算中确定常数 C = 1。

实验结果

研究问题

• RQ1 在何种条件下，独立矩形随机矩阵在酉不变性下会渐近自由且含 amalgation 于交换有限维代数𝒟？
• RQ2 对于核与像投影属于𝒟的算子，其在不同希尔伯特空间之间表示的自由熵的正确推广是什么？
• RQ3 在迹范数固定且投影属于𝒟的条件下，哪种分布使微状态自由熵最大化？
• RQ4 自由费雪信息在可加性下的行为如何？其与关于𝒟的自由性（含 amalgamation）有何关系？
• RQ5 Marchenko-Pastur 分布是否可被表征为在给定约束下自由熵的最大化者与费雪信息的最小化者？

主要发现

• 在酉不变性下，即使不假设奇异值律收敛，独立矩形随机矩阵也关于𝒟渐近自由且含 amalgation。
• 微状态自由熵是次可加的，且当且仅当元素关于𝒟自由且含 amalgation 时具有可加性。
• 在所有核与像投影属于𝒟且满足 φ(aa*) ≤ φ(q) 的元素中，当 q𝒜q 中 aa* 的分布为 Marchenko-Pastur 时，自由熵达到最大。
• 自由费雪信息满足 Cramér-Rao 不等式，且等号成立当且仅当 aa* 的分布为 Marchenko-Pastur。
• 自由费雪信息的可加性成立当且仅当元素关于𝒟自由且含 amalgation，从而在两者之间建立了对偶关系。
• 在矩阵参数化下，勒贝格测度的前推测度具有与 Δ(a)² ∏a_j^{q′−q} 成比例的密度，且归一化常数 C 恰好为 1。