[论文解读] Asymptotics and statistics on Fishburn matrices and their generalizations

Hsien‐Kuei Hwang, Emma Yu Jin|arXiv (Cornell University)|Nov 15, 2019

Advanced Combinatorial Mathematics参考文献 36被引用 4

一句话总结

本文提出一种直接的鞍点方法，用于推导Fishburn矩阵及其推广形式的渐近行为与极限定理，避免使用模形式和函数方程。该研究建立了关于行和、条目计数等关键统计量的新正态与泊松极限定理，解决了长期存在的猜想，并为乘积生成函数的渐近分析提供了一个统一的框架。

ABSTRACT

A direct saddle-point analysis (without relying on any modular forms, identities or functional equations) is developed to establish the asymptotics of Fishburn matrices and a large number of other variants with a similar sum of-finite-product form for their (formal) general functions. In addition to solving some conjectures, the application of our saddle-point approach to the distributional aspects of statistics on Fishburn matrices is also examined with many new limit theorems characterized, representing the first of their kind for such structures.

研究动机与目标

• 开发一种直接的鞍点方法，用于Fishburn矩阵及其变体的渐近计数，避免依赖模形式或函数方程。
• 解决关于原始行-Fishburn矩阵及其相关组合结构渐近行为的开放猜想。
• 刻画随机Fishburn矩阵上主要统计量（如行和、对角线元素及特定数值计数）的分布性质。
• 在各种约束条件下，为这些统计量建立新的极限定理，包括正态与泊松分布。
• 提供一个通用且系统化的框架，适用于具有乘积和形式的广泛类生成函数。

提出的方法

• 对形如 $\sum_{k \geq 0} \prod_{1 \leq j \leq k} (1 - (1 - z)^j)$ 的生成函数应用直接鞍点分析，避免使用模形式和函数方程。
• 该方法依赖复分析与奇点分析，特别是拟幂定理（Quasi-Powers theorem），以推导渐近分布。
• 关键方程涉及生成函数 $\Lambda(z)$，其通过 $\Lambda(z) = \sum_{j \geq 1} \lambda_j z^j$ 一般化Fishburn矩阵，其中 $\lambda_j \in \{0,1\}$。
• 该方法使用矩生成函数与变换技术，分析如2的个数或行大小等统计量的分布。
• 通过变量替换技巧与渐近展开推导极限定理，包括正态与泊松近似。
• 该方法被扩展至零截断与行约束变体，如 $\Lambda$-行-Fishburn矩阵，获得类似渐近结果。

实验结果

研究问题

• RQ1 在不依赖模形式或函数方程的前提下，Fishburn矩阵及其推广形式的渐近计数是什么？
• RQ2 在随机Fishburn矩阵中，主要统计量（如行和、对角线元素及特定数值计数）的分布如何？
• RQ3 能否开发一个统一的鞍点框架，以同时推导乘积和生成函数的渐近计数与极限定理？
• RQ4 为何泊松与正态分布普遍出现在 $\Lambda$-Fishburn矩阵的统计中？其参数如何依赖于 $n$？
• RQ5 在无简单分解存在的情况下，随机Fishburn矩阵的秩（维度）与条目计数的极限分布是什么？

主要发现

• Fishburn矩阵的渐近计数被确认为 $[z^n] \sum_{k \geq 0} \prod_{1 \leq j \leq k} (1 - (1 - z)^j) \simeq c \rho^n n^{n+1}$，其中 $c = \frac{12\sqrt{6}}{\pi^2} e^{\pi^2/12}$，$\rho = \frac{6}{e\pi^2}$，解决了Jelínek的猜想。
• 对于原始行-Fishburn矩阵，渐近计数为 $[z^n] \sum_{k \geq 0} \prod_{1 \leq j \leq k} ((1+z)^j - 1) \simeq c \rho^n n^{n+1/2}$，其中 $c = \frac{12}{\pi^{3/2}} e^{-\pi^2/24}$，$\rho = \frac{12}{e\pi^2}$，证实了文献[30]中的猜想。
• 在 $\Lambda$-Fishburn矩阵中，2的个数在分布上收敛于正态分布 $\mathscr{N}(\tau \sqrt{n}, \tau \sqrt{n})$，其中 $\tau = \frac{\lambda_3 \pi}{2\sqrt{6} \lambda_2^{3/2}}$（当 $m=1$ 时），而在 $m \geq 2$ 时收敛于参数为 $\frac{\lambda_4 \pi^2}{12 \lambda_2^2}$ 的泊松分布。
• 在 $\Lambda$-行-Fishburn矩阵中，第一行大小收敛于参数为 $\frac{\lambda_1}{\lambda_2} \log 2$ 的零截断泊松分布。
• 在 $\Lambda$-行-Fishburn矩阵中，对角线大小渐近服从正态分布，其均值与方差均为 $\log n$，表明其呈对数增长。
• 随机Fishburn矩阵的秩（维度）预期满足中心极限定理，其均值与方差为线性关系，但其精确形式仍有待完全刻画。