[论文解读] Asymptotic Harmonic Analysis on the Space of Square Complex Matrices

Marouane Rabaoui|ArXiv.org|Jun 3, 2008

Matrix Theory and Algorithms参考文献 5被引用 14

一句话总结

本文在无穷维复矩阵空间 $V_\infty = M(\infty,\mathbb{C})$ 上，于合流极限群 $K_\infty = U(\infty) \times U(\infty)$ 作用下，确定了正类型球函数，表明其由修正的 Pólya 函数 $\Pi(\omega, \xi_i)$ 的乘积给出，其中 $\omega = (\alpha, \gamma)$ 满足 $\gamma \geq 0$，$\alpha_k \geq 0$，且 $\sum \alpha_k < \infty$。该结果通过合流极限技术与广义 Bochner 定理，将经典调和分析推广至无穷维矩阵空间。

ABSTRACT

In this paper, we determine the spherical functions of positive type on the inductive limit space of square complex matrices.

研究动机与目标

• 刻画 $G_\infty = K_\infty \ltimes V_\infty$ 上 $K_\infty$-双不变连续正类型函数的凸集的极点。
• 将有限维 Gelfand 对的经典球函数理论推广至平方复矩阵的无穷维情形。
• 利用广义 Bochner 型定理，对 $V_\infty$ 上的正类型球函数建立参数化。

提出的方法

• 利用 $V_\infty = \bigcup_n M(n,\mathbb{C})$ 与 $K_\infty = \bigcup_n (U(n) \times U(n))$ 的合流极限构造，将有限维对 $(G_n, K_n)$ 的结果上移。
• 应用极分解，将 $V_\infty$ 上的 $K_\infty$-不变函数约化为实序列（具有有限支集）参数化的对角子空间 $D_\infty$ 上的函数。
• 通过参数序列 $\omega^{(n)}$ 的收敛定理，将球函数表示为 $V_n$ 上轨道测度的傅里叶变换的一致极限。
• 通过修正的 Pólya 函数 $\Pi(\omega, \lambda) = e^{-\frac{1}{4}\gamma\lambda^2} \prod_{k=1}^\infty \frac{1}{1 + \frac{1}{4}\alpha_k\lambda^2}$（其中 $\sum \alpha_k < \infty$，$\gamma \geq 0$，$\alpha_k \geq 0$）建立 $V_\infty$ 上球函数的收敛性。
• 利用 Vershik 定理对轨道测度的弱极限表示，将遍历的 $K_\infty$-不变测度表示出来，并推导出极正类型函数的形式。
• 证明参数 $\omega \in \Omega$ 与球函数之间的对应关系为标准 Borel 同构，从而实现广义 Bochner 定理的参数化。

实验结果

研究问题

• RQ1 在 $K_\infty = U(\infty) \times U(\infty)$ 作用下，无穷维空间 $V_\infty = M(\infty,\mathbb{C})$ 上的球函数的正类型形式为何？
• RQ2 有限维对 $(G_n, K_n)$ 上的球函数如何收敛至无穷维对 $(G_\infty, K_\infty)$ 上的球函数？
• RQ3 能否为 $V_\infty$ 上的 $K_\infty$-不变正定函数建立广义 Bochner 定理？
• RQ4 修正的 Pólya 函数 $\Pi(\omega, \lambda)$ 在参数化极正类型函数中起何作用？
• RQ5 参数空间 $\Omega$（其中 $\omega = (\alpha, \gamma)$，满足 $\sum \alpha_k < \infty$，$\gamma \geq 0$，$\alpha_k \geq 0$）是否与极正类型函数之间存在双射？

主要发现

• 在 $V_\infty$ 上的正类型球函数由 $\varphi_\omega(\text{diag}(\xi_1,\dots,\xi_k,0,\dots)) = \prod_{i=1}^k \Pi(\omega, \xi_i)$ 给出，其中 $\Pi(\omega, \lambda) = e^{-\frac{1}{4}\gamma\lambda^2} \prod_{k=1}^\infty \frac{1}{1 + \frac{1}{4}\alpha_k\lambda^2}$，且 $\gamma \in \mathbb{R}_+$，$\alpha_k \in \mathbb{R}_+$，$\sum \alpha_k < \infty$。
• 参数 $\omega = (\alpha, \gamma)$ 构成参数空间 $\Omega$，且映射 $\omega \mapsto \varphi_\omega$ 是 $\Omega$ 与极正类型函数集合之间的标准 Borel 同构。
• 球函数是 $V_n$ 上轨道测度的傅里叶变换在紧集上的一致极限，其中参数序列 $\omega^{(n)}$ 在 $\Omega$ 中收敛。
• 广义 Bochner 定理成立：每个满足 $\varphi(0) = 1$ 的 $V_\infty$ 上的 $K_\infty$-不变连续正定函数 $\varphi$，均存在唯一的概率测度 $\mu$ 在 $\Omega$ 上，使得对所有 $g \in V_\infty$，有 $\varphi(g) = \int_\Omega \varphi_\omega(g) \, \mu(d\omega)$。
• $\varphi_n$ 到 $\varphi_\omega$ 的收敛在 $V_\infty$ 的紧子集上是一致的，且极限与子序列的选择无关，从而保证了参数 $\omega$ 的唯一性。
• 证明依赖反证法：若序列 $\omega^{(n)}$ 不预紧，则可提取子列使极限函数 $\Pi(\omega, \cdot) \equiv 1$，除非 $\omega = 0$，但由归一化条件排除此情况，从而与 $\varphi$ 的非平凡性矛盾。