[论文解读] Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes

Alexei Borodin, Grigori Olshanski|ArXiv.org|Sep 24, 2001

Random Matrices and Applications参考文献 29被引用 9

一句话总结

本文解决了无限维酉群 $U(\infty)$ 上一个四参数特征标族的谱分解问题，表明相应的谱测度对应于实直线上点过程的行列式点过程。关联的关联核显式计算为包含高斯超几何函数的可积核，通过离散正交多项式在振荡区域的渐近分析推导得出。

ABSTRACT

The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity). The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function. In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.

研究动机与目标

• 通过计算四参数特征标族的谱分解，解决 $U(\infty)$ 上的调和分析问题。
• 将与这些特征标相关的谱测度识别为实直线去掉两点后的点过程。
• 将所得随机过程表征为具有显式关联核的行列式点过程。
• 建立 $U(\infty)$ 上调和分析与随机矩阵型渐近系统（特别是离散对数气体模型）之间的联系。
• 将点过程方法的框架从 $S(\infty)$ 扩展到更复杂的 $U(\infty)$，推广无限维群表示理论中的早期结果。

提出的方法

• 将 $U(\infty)$ 的不可约特征标空间嵌入到 $\mathbb{R}\setminus\{\text{两点}\}$ 上的点配置空间中，将谱测度转化为点过程。
• 通过证明其关联函数具有由特殊函数导出的核的行列式形式，证明所得点过程为行列式点过程。
• 利用离散正交多项式及其渐近性质，特别是周期趋于零的振荡区域，计算关联核。
• 应用离散黎曼–希尔伯特问题方法，计算正交多项式解的非振荡渐近行为，从而实现核的计算。
• 通过变换公式和函数恒等式，将核的计算归约为阿斯凯和莱斯基因研究的超几何型正交多项式的均匀渐近行为。
• 对广义超几何函数 ${}_3F_2(1)$ 使用解析延拓技术，确保核表达式在所需参数域内的有效性。

实验结果

研究问题

• RQ1 无限维酉群 $U(\infty)$ 上四参数特征标族的谱分解是什么？
• RQ2 与这些特征标相关的谱测度如何表示为实直线上点过程的随机点过程？
• RQ3 所得点过程是否为行列式点过程？若是，其关联核的显式形式是什么？
• RQ4 离散正交多项式在振荡区域的渐近行为如何用于计算这些核？
• RQ5 在 $U(\infty)$ 上的调和分析与具有区间型密度的离散对数气体系统热力学极限之间存在何种联系？

主要发现

• 与 $U(\infty)$ 上四参数特征标族相关的谱测度对应于 $\mathbb{R}\setminus\{\text{两点}\}$ 上的行列式点过程。
• 点过程的关联核以高斯超几何函数显式给出，表现出‘可积’结构。
• 通过将离散正交多项式表示为离散黎曼–希尔伯特问题的解，实现了其在振荡区域的渐近分析，从而可计算非振荡渐近行为。
• 将核计算归约为三角恒等式的最关键恒等式，通过解析延拓和周期性论证得到验证，确认了函数方程。
• 核表达式中使用的函数 ${}_3F_2(1)$ 被解析延拓为五个复变量的整函数，确保了核表达式在整个参数空间内的有效性。
• 所得点过程描述了在离散对数气体模型中‘紧密堆积’构型的涨落，其中平衡密度渐近匹配一个区间的特征函数。