Limit Theorems for the Pitman-Yor Frequency Spectrum

技术摘要：Pitman-Yor 频率谱的极限定理

问题陈述
本文研究了有限集 $N_n = \{1, 2, \dots, n\}$ 的随机划分中分量频率谱的渐近行为。具体而言，它研究了向量 $M_n = (M_{1n}, M_{2n}, \dots, M_{nn})$ 的联合极限分布，其中 $M_{jn}$ 表示大小为 $j$ 的块的数量，而总块数为 $K_n = \sum M_{jn}$。虽然 $K_n$ 的渐近性质在多种模型中已有成熟结论，但本文旨在研究整个谱的线性组合 $P_{j=1}^n u_{jn} M_{jn}$ 的大样本结果，其中系数向量的维度随 $n$ 增长。主要研究对象是两参数 Pitman-Yor 采样模型，它是广泛应用于统计力学、组合数学和群体遗传学的 Ewens 采样公式的一种推广。

方法论
作者采用了一种以 Cramér-Wold 装置为核心的概率方法，分析线性泛函的收敛性。其核心方法论贡献在于推导了 Gibbs 型划分（由方程 1.2 中的概率结构定义）的一般分布公式。

1. 一般框架（Gibbs 型划分）：
   作者建立了关于归一化谱 $M_n/K_n$ 在给定 $K_n = k$ 条件下的矩生成函数（mgf）公式。该公式（定理 2.1）通过以下方式表示：

   • 代表中心化谱分量的独立同分布（i.i.d.）随机变量 $V$ 之和。
   • 涉及与条件事件 $K_n = k$ 相关的 i.i.d. 随机变量 $\hat{X}$ 之和的概率比值。
     该表述允许将谱的渐近行为与三角阵随机变量的收敛性联系起来。

2. 对 Pitman-Yor 模型的特化：
   将一般性结果特化到参数为 $0 < \alpha < 1$ 且 $\theta > -\alpha$ 的 Pitman-Yor 模型。

   • 作者利用了已知 $K_n/n^\alpha$ 几乎处处收敛于 Mittag-Leffler 分布的性质。
   • 他们在给定 $K_n \approx x n^\alpha$ 的条件下进行分析，并研究形式为 $\sum f(j/n) M_{jn}$ 的泛函的 mgf 的极限。
   • 分析过程涉及验证三角阵（特别是对于 $\hat{X}$ 变量）的局部极限定理条件，并应用 i.i.d. 变量之和的极限定理（对于 $V$ 变量）。
   • 使用傅里埃反演技术来推导极限分布的密度函数。

主要贡献与结果

1. 一般 Gibbs 型公式（定理 2.1）：
   本文为 Gibbs 型划分提供了一个统一的 mgf 公式。该公式将谱的联合分布与块计数分解为涉及 i.i.d. 和的易于处理的部分，从而便于分析向量长度随 $n$ 增长的线性组合。

2. Pitman-Yor 谱的极限定理（定理 3.1）：
   对于 Pitman-Yor 模型，作者推导了在给定 $K_n \approx x n^\alpha$ 条件下，谱的线性泛函的条件极限分布。该极限表示为一个乘积：

   • 一个涉及函数 $f$ 对幂律测度 $y^{-\alpha-1}$ 进行积分的指数项。
   • 一个无穷可分随机变量密度在 1 处的值的比率。
   • 一个涉及 Mittag-Leffler 密度 $g_\alpha(x)$ 的项。
     该结果推广了现有的关于 $K_n$ 的局部极限定理（当泛函是平凡时可恢复）。

3. 条件极限分布（推论 3.1 & 3.2）：

   • 推论 3.1： 将结果特化为幂函数 $f(y) = y^p$（$p > \alpha$），得到一个与 Lévy 测度限制在 $(0, 1]$ 上的稳定次增量过程（stable subordinators）相关的极限分布。值得注意的是，极限条件分布不依赖于参数 $\theta$。
   • 推论 3.2： 分析偏和 $S_{\lambda, \mu}^n = \sum_{j=\lfloor \lambda n \rfloor}^{\lfloor \mu n \rfloor} M_{jn}$（即大小在特定范围内的块的数量）。其极限条件分布被推导为无穷可分变量、类泊松项以及具有特定截断幂律密度的 i.i.d. 变量之和的卷积。

4. 边缘极限分布（定理 3.2）：
   通过对条件变量 $K_n$ 进行积分，本文推导了偏和 $S_\lambda^n$ 的无条件边缘极限分布。该分布表示为一个涉及 Mittag-Leffler 密度和独立无穷可分变量之和的密度的积分。该结果证实了偏和收敛于一个适当的概率质量函数，而无需在极限过程中进行中心化或标准化。

意义与主张
本文声称为理解 Pitman-Yor 模型下随机划分的“形状”提供了一个严谨的框架。

• 推广性： 它将已知关于总块数（$K_n$）的结果扩展到了整个频率谱，提供了对划分结构更细致的观察。
• 收敛机制： 作者将他们的发现与之前的“对数型”（logarithmic）和“收敛型”（convergent）情况区分开来（引用 [5]），指出虽然那些模型通常缺乏极限形状或在增量上表现出正态极限，但 Pitman-Yor “收敛型”产生了一个独特的极限机制，其特征是无穷可分分布和稳定次增量过程。
• 泛函极限定理： 结果表明存在关于过程 $P_{j=\lfloor \lambda n \rfloor}^n M_{jn}$ 的泛函极限定理，尽管本文侧重于有限维分布。
• 应用： 作者指出其在群体遗传学中的直接应用价值，特别是对于可以表示为频率谱线性组合的检验统计量，如 Ewens-Watterson 同质性检验。

本文对于未来的影响保持了谦逊的态度，指出虽然结果的形式暗示了存在泛函极限定理，但作者在当前工作中并未对此进行深入研究。其主要贡献仍在于推导了 Pitman-Yor 背景下频谱线性组合的显式渐近公式。