[论文解读] Meixner polynomials and random partitions

Alexei Borodin, Grigori Olshanski|ArXiv.org|Sep 28, 2006

Random Matrices and Applications参考文献 18被引用 4

一句话总结

本文提出了一种新方法，通过将 z-测度在分拆上的离散超几何核与梅克纳（Meixner）正交多项式及二阶差分算子联系起来，推导出该核。研究证明该核是通过超几何函数正交基对角化的算子的谱投影，从而为随机分拆模型中确定点过程的代数与分析结构提供了更深层次的理解。

ABSTRACT

The paper deals with a 3-parameter family of probability measures on the set of partitions, called the z-measures. The z-measures first emerged in connection with the problem of harmonic analysis on the infinite symmetric group. They are a special and distinguished case of Okounkov's Schur measures. It is known that any Schur measure determines a determinantal point process on the 1-dimensional lattice. In the particular case of z-measures, the correlation kernel of this process, called the discrete hypergeometric kernel, has especially nice properties. The aim of the paper is to derive the discrete hypergeometric kernel by a new method, based on a relationship between the z-measures and the Meixner orthogonal polynomial ensemble. The present paper can be viewed as an introduction to another our paper where the same approach is applied to studying a dynamical model related to the z-measures (Markov processes on partitions, Prob. Theory Rel. Fields 135 (2006), 84-152; arXiv: math-ph/0409075).

研究动机与目标

• 提供与分拆上 z-测度相关的离散超几何核的新推导。
• 阐明 z-测度点过程中相关核背后的代数与谱结构。
• 通过二阶差分算子建立 z-测度与梅克纳正交多项式系之间的联系。
• 证明该核作为超几何函数正交基中的谱投影出现。

提出的方法

• 在 $\mathbb{Z}'$ 上引入一族参数为 $a \in \mathbb{Z}'$ 的函数 $\psi_a(x)$，其在 $\ell^2(\mathbb{Z}')$ 中构成正交基。
• 在 $\mathbb{Z}'$ 上定义一个二阶差分算子 $D(z,z',\xi)$，其被 $\psi_a$ 基对角化，特征值为 $a(1 - \xi)$。
• 将离散超几何核表示为 $K(x,y) = \sum_{a \in \mathbb{Z}'_+} \psi_a(x)\psi_a(y)$，表明其为谱投影的核。
• 利用 $\psi_a$ 的超几何表示，将构造与梅克纳多项式及正交多项式系联系起来。
• 证明 z-测度通过该核对应于确定点过程，相关函数由 $K(x_i,x_j)$ 的行列式给出。
• 利用谱分解推导核，无需依赖超几何恒等式，从而提供新的结构性视角。

实验结果

研究问题

• RQ1 如何利用正交多项式系与谱理论推导 z-测度的离散超几何核？
• RQ2 梅克纳多项式在相关核的谱分解中起什么作用？
• RQ3 二阶差分算子 $D$ 如何与 z-测度点过程的结构相关联？
• RQ4 该核能否被解释为 $\mathbb{Z}'$ 上函数空间中的希尔伯特空间内谱投影？
• RQ5 参数 $a(1 - \xi)$ 作为谱分解中的特征值有何重要意义？

主要发现

• 离散超几何核表示为 $K(x,y) = \sum_{a \in \mathbb{Z}'_+} \psi_a(x)\psi_a(y)$，其中 $\psi_a$ 在 $\ell^2(\mathbb{Z}')$ 中构成正交基。
• 函数 $\psi_a(x)$ 显式地以高斯超几何函数表示，依赖于参数 $z$、$z'$ 和 $\xi$。
• 在 $\mathbb{Z}'$ 上构造了一个二阶差分算子 $D$，其被 $\{\psi_a\}$ 对角化，每个 $\psi_a$ 的特征值为 $a(1 - \xi)$。
• 核 $K(x,y)$ 是投影到正半直线 $\mathbb{Z}'_+$ 上的谱投影的核，确认了其确定性结构。
• 该方法提供了独立于早期超几何恒等式的核的新、内在的推导，揭示了更深层的代数结构。
• 通过解析延拓，该构造可推广至克劳特丘克（Krawtchouk）多项式情形，表明其与有限矩形杨图中的二项式系等价。