[论文解读] 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

一句话总结

本文为扩展双分图匹配（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）模型，适用于非乘积形式的到达分布。
• 在一般平稳遍历假设下，建立双无限完美匹配的存在性与唯一性，涵盖经典马尔可夫设定。
• 通过在常见匹配策略下利用随机递归表示的次可加性，推导EBM系统的稳定性条件。
• 将从过去耦合（coupling-from-the-past）技术推广至EBM模型，实现对多种匹配策略的平稳态的路径构造。
• 统一并拓展此前关于匹配系统中乘积形式平稳测度与耦合收敛性的结果，在更广泛条件下成立。

提出的方法

• 将Loynes反向方案适配至EBM模型，通过从双无限到达序列反向演化时间来构造平稳态。
• 采用系统状态的随机递归表示，其演化依赖于到达过程与匹配策略。
• 在大多数标准匹配策略下，建立递归状态更新函数的次可加性，从而支持耦合论证。
• 利用次可加性性质，证明耦合过程的收敛性及唯一双无限匹配路径的存在性。
• 应用从过去耦合框架，路径式构造平稳分布，确保稳态的完美模拟。
• 分析多种匹配策略情形（如“匹配最长”、FCFS、随机匹配等），通过递归次可加性在一般遍历假设下证明稳定性。

实验结果

研究问题

• RQ1 Loynes构造能否从FCFS双分图匹配推广至更广泛的扩展双分图匹配（EBM）模型，且适用于非乘积形式的到达分布？
• RQ2 在一般平稳遍历到达过程中，EBM模型中双无限完美匹配在何种条件下存在且唯一？
• RQ3 如何在EBM模型中为各种匹配策略建立状态递归的次可加性，以支持基于耦合的存在性证明？
• RQ4 EBM系统在一般匹配策略下的稳定性条件是什么？其如何推广经典马尔可夫稳定性准则？
• RQ5 EBM模型的平稳分布能否通过从过去耦合技术显式构造？哪些策略允许此类构造？

主要发现

• 成功将Loynes构造推广至EBM模型，在一般平稳遍历假设下证明了双无限完美匹配的存在性与唯一性。
• 在大多数标准匹配策略下，建立了随机递归状态更新的次可加性，支持基于耦合的收敛性论证。
• 在一般平稳遍历到达过程中推导出EBM系统的稳定性条件，涵盖经典马尔可夫设定并推广了已知结果。
• EBM模型的平稳分布可通过从过去耦合路径式构造，实现对广泛策略类稳态的完美模拟。
• 证明“匹配最长”策略在保证流体极限中完美匹配存在的同一条件下保持稳定，确认其具有最大稳定区域。
• 该构造对FCFS、LCFS、“匹配最长”及均匀匹配等策略具有统一适用性，表明该方法具有强鲁棒性。