[论文解读] On concentration of convolutions of double cosets at infinite-dimensional limit

Yury A. Neretin|arXiv (Cornell University)|Nov 26, 2012

advanced mathematical theories参考文献 10被引用 3

一句话总结

该论文证明了在无限维对称群和酉群中，双陪集卷积在维度趋于无穷时会集中在极限双陪集上。通过利用超群结构和随机矩阵共轭的渐近分析，证明了在有限维双陪集上均匀测度的卷积在概率上收敛于单个双陪集，从而证明了无限维双陪集空间上存在一个明确定义的半群运算。

ABSTRACT

For infinite-dimensional groups $G\supset K$ the double cosets $K\setminus G/K$ quite often admit a structure of a semigroup; these semigroups act in $K$-fixed vectors of unitary representations of $G$. We show that such semigroups can be obtained as limits of double cosets hypergroups (or Iwahori--Hecke type algebras) on finite-dimensional (or finite) groups.

研究动机与目标

• 严格证明无限维群（如 $ \mathrm{S}(\infty) $ 和 $ \mathrm{U}(\infty) $）的双陪集空间 $ K\setminus G/K $ 上半群结构的存在性，该问题在文献中曾被非正式地假设。
• 证明在有限维双陪集上均匀概率测度的卷积在无限维极限下会集中在单个双陪集上。
• 为双陪集超群的极限行为提供一种构造性且分析性的证明，填补了文献中此前虽被认为成立但未正式证明的空白。
• 将构造从对称群推广到酉群，表明在两种情形下均存在相同的集中现象。

提出的方法

• 通过紧致子群 $ K $ 上的哈尔概率测度 $ \varkappa $，定义 $ K $-双不变测度 $ \sigma_{\mathfrak{g}} = \varkappa * \delta_g * \varkappa $，从而在 $ K\setminus G/K $ 上定义超群结构。
• 将两个此类测度 $ \sigma_{\mathfrak{g}} * \sigma_{\mathfrak{h}} $ 的卷积表示为双陪集上的加权平均，从而在 $ K\setminus G/K $ 上得到一个概率测度 $ \lambda_{\mathfrak{g},\mathfrak{h}} $。
• 利用 $ \mathrm{U}(n) $ 和 $ \mathrm{S}(n) $ 中元素的分块矩阵分解，分析 $ K_N $ 对乘积 $ g h g^{-1} $ 的共轭作用，特别关注当 $ N \to \infty $ 时的渐近行为。
• 应用扰动论证：假设小块（例如酉情形下的 $ u $ 较小），并证明所得矩阵表达式收敛于一个标准形式，且误差项在极限下趋于零。
• 利用 $ \mathrm{U}(N) $ 和 $ \mathrm{S}(N) $ 下的共轭不变性，简化矩阵表达式的形式，将其约化为标准分块结构。
• 通过证明测度 $ \tau_{g,h} = \nu_{\mathfrak{g}} * \nu_{\mathfrak{h}} $ 在足够大的 $ N $ 时，对任意给定的 $ \varepsilon $-邻域，其在固定双陪集 $ g \circ_N h $ 上的概率大于 $ 1 - \delta $，从而证明集中性。

实验结果

研究问题

• RQ1 在有限维群 $ G_N = \mathrm{S}(\alpha + m(k+N)) $ 中，双陪集上均匀测度的卷积是否在 $ N \to \infty $ 时集中在单个双陪集上？
• RQ2 在 $ \mathbf{G} = \mathrm{S}(\infty) $ 或 $ \mathrm{U}(\infty) $ 的情形下，$ \mathbf{K}\setminus\mathbf{G}/\mathbf{K} $ 上的极限运算是否可一致地定义为半群运算？
• RQ3 无限维对称群和酉群中双陪集卷积的极限行为是否由一个标准矩阵乘积结构控制，正如 Olshanski 的早期工作所暗示的那样？
• RQ4 如何量化超群卷积的收敛性？在何种条件下，极限为单个双陪集的概率趋于 1？

主要发现

• 对任意固定的 $ \alpha $、$ k $ 和 $ \varepsilon > 0 $、$ \delta > 0 $，存在 $ N_0 $，使得对所有 $ N \geq N_0 $，卷积测度 $ \tau_{g,h} $ 在双陪集 $ g \circ_N h $ 的 $ \varepsilon $-邻域上的概率大于 $ 1 - \delta $。
• 在 $ \mathbf{K}\setminus\mathbf{G}/\mathbf{K} $ 上的极限运算 $ \circ $ 是明确定义且满足结合律的，使得该空间成为一个半群。
• 在对称群情形下，将 $ u = 0 $ 限制在小测度集合外，可实现精确约化，简化证明，并得到强于酉群情形的集中结果。
• 矩阵乘积 $ gJhJ^{-1} $（其中 $ J $ 为特定的分块置换）定义了极限双陪集 $ g \circ_N h $，且该表达式在极限下趋于稳定。
• 该结果确认了群 $ G $ 的表示理论，特别是其在 $ K $-不变向量上的作用，诱导了极限超群的表示，从而在调和分析中验证了该构造的有效性。