[論文レビュー] Loynes construction for the extended bipartite matching

Pascal Moyal, Ana Bušić+1 more|arXiv (Cornell University)|Mar 7, 2018

Advanced Queuing Theory Analysis参考文献 11被引用数 4

ひとこと要約

本稿は、一般のstationary ergodic仮定の下で、拡張型二部マッチング（EBM）モデルに対して、Loynes型の後向きカップリング構成を導入し、双方向無限の完全マッチングの存在と一意性を確立する。確率的再帰的表現の下で部分加法性を活用することで、広範なマッチング方針と二部構造に対して安定性および定常分布の存在を証明する。

ABSTRACT

We propose an explicit construction of the stationary state of Extended Bipartite Matching (EBM) models, as defined in (Busic et. al., 2013). We use a Loynes-type backwards scheme similar in flavor to that in (Moyal et al., 2017), allowing to show the existence and uniqueness of a bi-infinite perfect matching under various conditions, for a large class of matching policies and of bipartite matching structures. The key algebraic element of our construction is the sub-additivity of a suitable stochastic recursive representation of the model, satisfied under most usual matching policies. By doing so, we also derive stability conditions for the system under general stationary ergodic assumptions, subsuming the classical markovian settings.

研究の動機と目的

• FCFS確率的二部マッチングに既に用いられてきたLoynes構成を、積形でない到着分布を許容するより一般的な拡張型二部マッチング（EBM）モデルへと拡張すること。
• 一般のstationary ergodic仮定の下で、双方向無限の完全マッチングの存在と一意性を確立し、古典的マルコフ的設定を包含する。
• 共通のマッチング方針の下で、確率的再帰的表現の部分加法性を活用し、EBMシステムの安定性条件を導出すること。
• EBMモデルへとカップリング・フォーム・ザ・パス卜の技法を一般化し、さまざまなマッチング方針に対して定常状態のパスワイズ構成を可能にする。
• これまでの積形定常測度およびカップリング収束に関する結果を統合・拡張し、より広範な条件下で扱えるようにすること。

提案手法

• EBMモデルにLoynesの後向きスキームを適応し、双方向無限の到着列から時間の逆方向に進めて定常状態を構成する。
• システム状態の確率的再帰的表現を用いる。この進化は到着プロセスとマッチング方針に依存する。
• ほとんどの標準的マッチング方針の下で、再帰的状態更新関数の部分加法性を確立し、カップリングの議論を可能にする。
• 部分加法性の性質を用いて、カップリング過程の収束および一意な双方向無限マッチング経路の存在を証明する。
• カップリング・フォーム・ザ・パスの枠組みを適用し、定常分布をパスワイズに構成することで、安定状態の完全シミュレーションを保証する。
• 複数のマッチング方針（例：最長マッチング、FCFS、ランダム）のケースを分析し、再帰的部分加法性を用いて一般のergodic仮定の下での安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 FCFS二部マッチングから拡張型二部マッチング（EBM）モデルへとLoynes構成を一般化することは可能か？ ただし、積形でない到着分布を許容する。
• RQ2 一般のstationary ergodic到着プロセスの下で、EBMモデルにおいて双方向無限の完全マッチングが存在し、一意に保たれる条件は何か？
• RQ3 EBMモデルにおいて、さまざまなマッチング方針に対して、状態再帰の部分加法性をどのように確立できるか？ これによりカップリングに基づく存在証明が可能になる。
• RQ4 一般のマッチング方針の下でEBMシステムの安定性条件は何か？ そして、古典的マルコフ的安定性基準をどのように一般化できるか？
• RQ5 EBMモデルの定常分布は、カップリング・フォーム・ザ・パス技法を用いて明示的に構成可能か？ どのような方針がこのような構成を可能にするか？

主な発見

• Loynes構成がEBMモデルへと成功裏に拡張され、一般のstationary ergodic仮定の下で双方向無限の完全マッチングの存在と一意性が証明された。
• ほとんどの標準的マッチング方針の下で、確率的再帰的状態更新の部分加法性が確立され、カップリングの議論を用いた収束証明が可能になった。
• 一般のstationary ergodic到着プロセスの下でEBMシステムの安定性条件が導出され、古典的マルコフ的設定を包含し、既知の結果を一般化した。
• EBMモデルの定常分布は、カップリング・フォーム・ザ・パスを用いてパスワイズに構成可能であり、広範な方針クラスにおいて安定状態の完全シミュレーションが可能になった。
• 最長マッチング方針が、流体極限において完全マッチングの存在を保証するのと同じ条件下で安定であることが示され、最大安定領域を達成することが確認された。
• FCFS、LCFS、最長マッチング、一様方針を含む、さまざまな方針にわたって本構成が一様に適用可能であり、この手法の堅牢性が示された。