[論文レビュー] 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の証明により、モーメント列が既知の母関数恒等式から導出可能であることが示され、確率モデルが直接的に組み合わせ的数列と結びついていることが立証された。