[论文解读] Integer Sequences from Queueing Theory

Joseph Abate, Ward Whitt|arXiv (Cornell University)|Jun 3, 2010

Advanced Database Systems and Queries参考文献 27被引用 8

一句话总结

本文通过证明M/M/1队列中关键分布（特别是忙期和空闲时间）的矩生成函数与整数序列之间的新颖联系，建立了排队论与整数序列之间的关联。研究发现，这些分布的矩序列对应于卡塔兰数和大施罗德数。作者利用矩母函数和拉普拉斯变换推导出闭式表达式，揭示了其组合结构，为经典排队分布提供了新的组合解释，并促进了概率论与整数序列研究之间的交叉融合。

ABSTRACT

Operators on probability distributions can be expressed as operators on the associated moment sequences, and so correspond to operators on integer sequences. Thus, there is an opportunity to apply each theory to the other. Moreover, probability models can be sources of integer sequences, both classical and new, as we show by considering the classical M/G/1 single-server queueing model. We identify moment sequences that are integer sequences. We establish connections between the M/M/1 busy period distribution and the Catalan and Schroeder numbers.

研究动机与目标

• 识别排队论中关键概率分布矩序列所导出的整数序列，特别是M/G/1和M/M/1模型中的情况。
• 证明M/M/1忙期分布与稳态空闲时间分布的矩对应于卡塔兰数与大施罗德数。
• 通过展示概率论中矩序列上的算子与整数序列上已知算子之间的对应关系，建立概率论与整数序列理论之间的桥梁。
• 提供一个框架，使组合学家可将排队模型作为新或经典整数序列的来源，同时使概率论研究者可利用序列理论进行分布分析。

提出的方法

• 作者使用矩母函数（mgf）和拉普拉斯变换（LT）来表示概率分布，并推导其矩序列。
• 他们将mgf表示为原始矩的指数生成函数，以及缩放矩的普通生成函数，从而可与整数序列的生成函数直接比较。
• 通过分析M/M/1队列的忙期分布及其平稳超额分布与空闲时间分布，识别出与已知卡塔兰数和大施罗德数生成函数相匹配的生成函数。
• 他们应用连分数与生成函数恒等式（例如来自[14]和[29]）的已知结果，推导出矩序列的闭式表达式。
• 他们利用函数方程与级数展开，将关键随机变量的拉普拉斯变换与超几何函数及代数生成函数联系起来。
• 他们通过直接微分与递推关系，以及基于算子的方法（利用已知的组合恒等式）证明定理。

实验结果

研究问题

• RQ1 在M/M/1队列模型中，关键随机变量的矩序列会导出哪些整数序列？
• RQ2 卡塔兰数与M/M/1忙期分布之间有何关系？
• RQ3 大施罗德数能否被解释为某种排队分布（如稳态空闲时间）的矩？
• RQ4 概率论中矩序列上的算子与整数序列上的算子之间存在何种操作性联系？
• RQ5 如何利用拉普拉斯变换与矩母函数框架，系统地从排队模型生成新的整数序列？

主要发现

• 证明了M/M/1忙期分布的矩为整数序列，其与大施罗德数完全匹配。
• M/M/1队列中稳态空闲时间的矩对应于卡塔兰数。
• 忙期分布的生成函数可表示为含二次式平方根的有理函数，其形式与大施罗德数的生成函数一致。
• 推导出M/G/1队列稳态等待时间的矩序列，并通过变换恒等式表明其与已知组合序列相关。
• 本文确立了忙期矩母函数的系数由二项式系数与卡塔兰数的卷积和给出，从而确认其组合结构。
• 定理5与定理11的证明表明，矩序列可由已知的生成函数恒等式推导，从而将概率模型与组合序列直接关联。