[论文解读] Combinatorial aspects of Connes's embedding conjecture and asymptotic distribution of traces of products of unitaries

Florin Rădulescu|ArXiv.org|Apr 17, 2004

Advanced Combinatorial Mathematics参考文献 7被引用 46

一句话总结

该论文在大N极限下建立了酉矩阵乘积迹的渐近联合分布，证明了酉矩阵中约化词的归一化迹收敛于方差由词的循环不变性决定的独立复高斯变量。关键贡献是利用Weingarten微分法和置换不变量，为这些迹的矩提供了组合公式，将Diaconis关于单个词迹的结果推广至多个非交换词的情形。

ABSTRACT

In this paper we study the asymptotic distribution of the moments of (non-normalized) traces $\Tr (w_1), \Tr(w_2), ..., \Tr(w_r)$, where $ w_1, w_2, >..., w_r$ are reduced words in unitaries in the group $\cU(N)$. We prove that as $N o \infty$ these variables are distributed as normal gaussian variables $\sqrt {j_1} Z_1, ..., \sqrt{Z_r}$, where $j_1, ..., j_r$ are the number of cyclic rotations of the words $w_1, ..., w_s$ leaving them invariant. This extends a previous result by Diaconis (\cite{Diac}), where this it was proved, that $\Tr(U), \Tr(U^2), ...,$ $\Tr(U^p)$ are asymptotically distributed as $Z_1, \sqrt 2 Z_2, ..., \sqrt p Z_p$. We establish a combinatorial formula for $\int |\Tr (w_1)|^2...| \Tr(w_p)|^2$. In our computation we reprove some results from \cite{BC}.

研究动机与目标

• 理解当N → ∞时，酉矩阵中多个约化词迹的渐近联合分布。
• 为U(N)中酉矩阵乘积迹的矩提供一个组合公式，推广Diaconis关于单个词迹的结果。
• 通过分析酉表示中群词迹的极限行为，为Connes嵌入猜想的解决做出贡献。
• 使用置换不变量和Weingarten微分法计算|Tr(w₁)|²⋯|Tr(wₚ)|²的联合矩。

提出的方法

• 使用Weingarten微分法计算酉群上关于Haar测度的矩阵元及其共轭的乘积积分。
• 应用基于置换的技术，将迹矩分解为由置换σ和θ索引的群代数元素之和。
• 通过分析置换及其复合的循环结构，识别积分的渐近行为。
• 引入映射Ψ和对合I，以关联不同词中U和U*的指标，从而在指标上构建等价关系。
• 推导出矩∫|Tr(w₁)|²⋯|Tr(wₚ)|²的公式，其形式为在群代数中对置换求和，权重为N^{♯(I∘(σ,θ,σ′,θ′))}。
• 通过分析N的主导项贡献，重构迹的联合分布，表明其收敛于方差为√jᵢ的高斯变量，其中jᵢ为词wᵢ的循环不变性计数。

实验结果

研究问题

• RQ1 当N → ∞时，酉矩阵中多个约化词迹的联合渐近分布是什么？
• RQ2 在大N极限下，酉矩阵乘积迹的矩行为如何？能否通过组合方法计算？
• RQ3 酉矩阵中群词迹的渐近行为是否可用于检验或支持Connes嵌入猜想？
• RQ4 控制迹的词迹矩积分主导项贡献的精确组合结构是什么？
• RQ5 一个词的循环不变性数量如何影响其迹在大N极限下的方差？

主要发现

• 当N → ∞时，U(N)中酉矩阵的约化词w₁, ..., wᵣ的迹Tr(w₁), ..., Tr(wᵣ)依分布收敛于方差分别为√j₁, ..., √jᵣ的独立复高斯变量，其中jᵢ为使词wᵢ保持不变的循环旋转数。
• 联合矩∫|Tr(w₁)|²⋯|Tr(wₚ)|²由置换σ, θ, σ′, θ′的求和给出，权重为N^{♯(I∘(σ,θ,σ′,θ′))}，其中I为跨词映射U和U*指标的对合。
• 矩积分的主导项贡献来自其循环结构与词系统组合结构相匹配的置换，特别是当U和U*项数量平衡时。
• 该论文通过基于Weingarten微分法和置换不变量的新组合方法，重新证明了[1]中的结果。
• 对于无非平凡循环不变性（jᵢ = 1）的词，其迹在极限下的方差为√1 = 1，与单个迹的经典结果一致。
• 该方法为计算酉矩阵中多个非交换词迹的高阶矩提供了一种系统性方法，将Diaconis关于Tr(U^k)的结果推广至多个词的情形。