[論文レビュー] Multiclass processes, dual points and M/M/1 queues

Pablo A. Ferrari, Jean Martin|ArXiv.org|Sep 20, 2005

Random Matrices and Applications参考文献 22被引用数 21

ひとこと要約

本稿は、独立したベルヌーイ積測度を不変測度として持つ多段階プロセスを用いて、TASEPおよびハマークリー＝オルドウス＝ダイアコニス（HAD）過程のマルチクラスカップリングフレームワークを導入する。主な貢献は、優先順位クラス付きのトランザクションキュー系における定常出力が入力分布と一致することを示すマルチクラス・バーカーの定理であり、古典的バーカーの定理をマルチクラスキューに一般化したものである。

ABSTRACT

We consider the discrete Hammersley-Aldous-Diaconis process (HAD) and the totally asymmetric simple exclusion process (TASEP) in Z. The basic coupling induces a multiclass process which is useful in discussing shock measures and other important properties of the processes. The invariant measures of the multiclass systems are the same for both processes, and can be constructed as the law of the output process of a system of multiclass queues in tandem; the arrival and service processes of the queueing system are a collection of independent Bernoulli product measures. The proof of invariance involves a new coupling between stationary versions of the processes called a multi-line process; this process has a collection of independent Bernoulli product measures as an invariant measure. Some of these results have appeared elsewhere and this paper is partly a review, with some proofs given only in outline. However we emphasize a new approach via dual points: when the graphical construction is used to construct a trajectory of the TASEP or HAD process as a function of a Poisson process in ZxR, the dual points are those which govern the time-reversal of the trajectory. Each line of the multi-line process is governed by the dual points of the line below. We also mention some other processes whose multiclass versions have the same invariant measures, and we note an extension of Burke's theorem to multiclass queues which follows from the results.

研究の動機と目的

• 新規のカップリング法を用いて、TASEPおよびHAD過程のマルチクラス版に対する不変測度を確立すること。
• 異なるダイナミクスを示すにもかかわらず、TASEPおよびHAD過程の両方に同じ不変測度が適用可能であることを示すこと。
• グラフィカル構成における双対点の概念を導入し、時間反転解析および多段階プロセス構築を可能にすること。
• 優先順位サービスのもとで出力分布が入力分布と一致することを示すことにより、バーカーの定理をマルチクラスキューイングシステムに拡張すること。
• 離散時間および逐次的バージョンを含む、さまざまな粒子系におけるマルチクラス系の解析を統一すること。

提案手法

• 基本カップリングを用いて、n組のカップリングされた配置における粒子数に基づきクラスラベルを割り当てる写像Rを定義し、マルチクラスプロセスを定義する。
• 独立したベルヌーイ積測度ν = ν^ρ¹ × ⋯ × ν^ρⁿを不変測度として持つ、X^n 上の多段階プロセスαtを構築する。
• Tはカップリングされた配置をクラスラベルへ写像する決定的関数であるとき、マルチクラスプロセスξt = Tαtを定義する。
• TASEPおよびHAD過程のグラフィカル構成に双対点を導入し、時間反転を可能にするとともに、多段階プロセスの再帰的構築を可能にする。
• μがY_n上で不変であることを証明する。これは、多段階プロセスがνを保存し、Tαtがカップリングされたマルチクラスプロセスとして進化することを示す。
• 本フレームワークをTASEPおよびHADの離散時間版および逐次的バージョンに適用し、μがこれらのダイナミクスのもとで不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 マルチクラス設定下で、TASEPおよびHAD過程の両方に対して同じ不変測度を構築できるか？
• RQ2 グラフィカル構成における双対点は、多段階プロセスの構築および時間反転解析をどのように支援するか？
• RQ3 TASEPおよびHAD過程の逐次的または離散的更新においても、マルチクラス不変測度μは不変のままであるか？
• RQ4 離 discrete-time な設定下で、古典的バーカーの定理は優先順位キューのマルチクラス版に一般化可能か？
• RQ5 なぜマルチクラス不変測度は、並列TASEPまたはp < 1のASEPでは不変でないのか？

主な発見

• マルチクラスTASEPおよびHAD過程の不変測度μは、独立したベルヌーイ到着およびサービス過程を持つ、マルチクラスM/M/1キューの連鎖系の定常出力と同一である。
• マルチクラスプロセスξtは測度μのもとで定常的であり、第1クラス粒子密度はρ¹、k = 2, ..., n に対してk番目のクラス密度はρ^k − ρ^{k−1}である。
• 測度μはマルチクラスバーカーの定理を満たす：nクラス出力分布のmクラス周辺分布は、mクラス入力分布と分布的に同一であり、切り捨て操作のもとで不変であることを示唆する。
• 独立したベルヌーイ積測度νを備えた多段階プロセスは不変であり、写像Tαtがカップリングされたマルチクラスプロセスを生成することを示し、μの不変性を証明する。
• 本フレームワークは、左から右へまたは右から左への逐次的TASEP（左-右または右-左更新）に拡張可能であり、この場合もμは不変のままであるが、並列TASEPではカップリングにおける順序の喪失により不成立となる。
• p < 1のASEPでは測度μは不変ではなく、TASEPおよびHAD過程とは本質的に異なるダイナミクスを示していることを示している。