[论文解读] Modelling Gossip Interactions in Open Multi-Agent Systems

Charles Monnoyer de Galland, Samuel Martín+1 more|arXiv (Cornell University)|Sep 7, 2020

Evolutionary Game Theory and Cooperation被引用 4

一句话总结

本文提出了一种用于具有动态代理到达与离开的开放多智能体系统的连续时间建模框架，通过尺度无关的描述符来表征系统各阶矩（均值与方差）的演化，采用固定大小的线性动力系统。针对固定大小系统推导出精确结果，针对可变大小系统给出期望方差的上界，表明当 gossip 交互频率相对于离开频率较高时，方差会衰减至零。

ABSTRACT

We consider open multi-agent systems, which are systems subject to frequent arrivals and departures of agents while the studied process takes place. We study the behavior of all-to-all pairwise gossip interactions in such open systems. Arrivals and departures of agents imply that the composition and size of the system evolve with time, and in particular prevent convergence. We describe the expected behavior of the system by showing that the evolution of scale-independent quantities can be characterized exactly by a fixed-size linear dynamical system. We apply this approach to characterize the evolution of the two first moments (and thus also of the variance) for open systems of fixed and variable size. Our approach is based on the continuous-time modelling of random asynchronous events impacting the systems (gossip steps, arrivals, departures, and replacements), and can be extended to other types of events.

研究动机与目标

• 为解决代理到达与离开导致无法实现渐近收敛的开放多智能体系统分析挑战。
• 开发一种通用方法，通过尺度无关的描述符表征系统行为，避免依赖于固定系统规模。
• 在随机、异步的 gossip 交互、代理到达与离开条件下，建模统计矩（特别是均值与方差）的演化。
• 为固定大小系统提供精确结果，为可变大小系统提供上界，从而实现在真实开放环境中的性能分析。
• 通过使用连续时间马尔可夫过程引入随机时变动力学，将经典的一致性与平均化模型扩展至开放系统。

提出的方法

• 将代理交互、到达与离开建模为连续时间马尔可夫跳跃过程，其速率为 λg（gossip）、λa（到达）与 λd（离开）。
• 引入“描述符”——如均值与方差等尺度无关的系统量——其演化遵循固定大小的线性动力系统。
• 利用系统规模过程（建模为生灭过程）的遍历性，推导出代理数量的平稳分布。
• 应用格朗沃尔不等式（Grönwall's lemma）与矩动力学，对时变系统中的期望方差进行有界，得到依赖于 λg/λd 的上界。
• 针对具有替换的固定大小系统，利用描述符动力学的线性结构，推导出前两阶矩的精确演化方程。
• 采用系统规模的平稳分布 πj* = (n̄^j / j!) e^(-n̄)，其中 n̄ = λa/λd，以计算长期期望。

实验结果

研究问题

• RQ1 当收敛不可能实现时，如何表征具有动态代理群体的开放多智能体系统的系统行为？
• RQ2 在随机 gossip 与替换事件下，固定大小开放系统中前两阶矩（均值与方差）的精确演化为何？
• RQ3 在到达与离开解耦的可变大小开放系统中，如何对期望方差进行有界？
• RQ4 gossip 频率与离开速率之比（γ = λg/λd）在系统方差长期稳定性中起何作用？
• RQ5 连续时间建模能否提供一个通用框架，用于分析开放系统中超越成对 gossip 的其他交互类型与拓扑结构？

主要发现

• 对于具有替换的固定大小系统，前两阶矩（因此也包括方差）的期望演化可通过线性动力系统精确表征，从而实现对系统行为的精确预测。
• 在可变大小系统中，期望渐近方差被上界 (1 - e^(-n̄))/γ × σ² 所限制，其中 n̄ = λa/λd 且 γ = λg/λd，表明当 γ 较大时方差衰减至零。
• 该上界与 γ 成反比，表明当 gossip 交互频率相对于离开频率较高时，系统状态趋于稳定且方差较低。
• 当 λd → 0（无离开）时，期望方差收敛至零，证实仅存在增长而无损失时会呈现类似共识的行为。
• 理论上的上界约为模拟结果的四倍，表明仍有改进空间以获得更紧的分析，但该框架仍保持稳健且可推广。
• 当 λa/λd < ∞ 时，系统规模过程是遍历的，确保存在平稳分布 πj* = (n̄^j / j!) e^(-n̄)，该分布为长期分析提供了基础。