[论文解读] Point Processes and the Infinite Symmetric Group. Part II: Higher Correlation Functions

Alexei Borodin|ArXiv.org|Apr 18, 1998

Random Matrices and Applications参考文献 10被引用 16

一句话总结

本文通过表示理论构造，推导出无限对称群上点过程的高阶关联函数的显式积分表示。引入一种“提升”变换，将关联结构简化为由Whittaker函数之比表示的核的行列式形式，将该过程与随机矩阵理论联系起来，并为后续工作（第三部分）的渐近分析提供了可能。

ABSTRACT

We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in terms of multivariate hypergeometric functions. Then we define a modification (``lifting'') of the processes which results in a substantial simplification of the structure of the correlation functions. It turns out that the ``lifted'' correlation functions are given by a determinantal formula involving a kernel. The latter has the form (A(x)B(y)-B(x)A(y))/(x-y), where A and B are certain Whittaker functions. Such a form for correlation functions is well known in the random matrix theory and mathematical physics. Finally, we get some asymptotic formulas for the correlation functions which are employed in Part III (A.Borodin and G.Olshanski, math.RT/9804088).

研究动机与目标

• 计算由无限对称群导出的随机点过程的高阶关联函数。
• 利用对称群不可约特征标的矩，推导这些关联函数的显式积分表示。
• 引入一种“提升”变换，将关联结构简化为行列式形式。
• 通过以Whittaker函数表示的核，建立与随机矩阵理论中已知过程的联系。
• 提供关联函数的渐近公式，为后续工作（第三部分）的应用提供支持。

提出的方法

• 通过重述对称群特征标的Murnaghan-Nakayama法则，将矩问题转化为更简单的分量。
• 使用Thoma单纯形上的测度的有限点近似，通过Frobenius坐标在Young图上定义离散概率测度。
• 引入三种作用于紧支集分布上的运算，以操纵矩并求解简化的矩问题。
• 通过修改原始测度构造提升过程，得到形式为 $(A(x)B(y) - B(x)A(y))/(x - y)$ 的行列式关联结构的核。
• 将核显式表示为多变量超几何函数 $F_B^{[2]}$，并通过超几何恒等式与特殊函数理论进行解析延拓。
• 通过分析变量趋近于零时超几何函数的行为，利用Gamma函数与Digamma函数及对数项，推导渐近展开式（当 $z = z^{ackprime}$ 时）。

实验结果

研究问题

• RQ1 如何显式表示无限对称群上点过程的高阶关联函数？
• RQ2 何种变换（提升）可将关联函数的结构简化为行列式形式？
• RQ3 关联函数如何通过特定核结构与随机矩阵理论中的已知过程关联？
• RQ4 当参数趋近临界值或零时，关联函数的渐近行为如何？
• RQ5 Whittaker函数如何自然地出现在提升过程的核中？

主要发现

• 关联函数可显式表示为类型 $F_B^{[2]}$ 的多变量超几何函数的积分形式。
• 提升过程产生形式为 $(A(x)B(y) - B(x)A(y))/(x - y)$ 的行列式关联结构，其中 $A$ 与 $B$ 为Whittaker函数。
• 当 $z \neq z^\prime$ 时，关联函数的渐近行为由Gamma函数与Digamma函数控制，幂律衰减由 $|z - z^\prime|$ 决定。
• 当 $z = z^\prime$ 时，由于超几何函数中存在对数奇点，渐近展开中出现对数项。
• 核结构与随机矩阵理论中的已知形式一致，建立了表示理论与可积系统之间的深层联系。
• 结果为第三部分的渐近分析奠定了基础，尤其适用于关联函数在原点附近及体尺度极限下的行为研究。