Table of Contents
Fetching ...

Distributed Multi-Agent Bandits Over Erdős-Rényi Random Networks

Jingyuan Liu, Hao Qiu, Lin Yang, Mengfan Xu

TL;DR

This paper addresses distributed MA-MAB with heterogeneous arm rewards over time-varying Erdős–Rényi networks induced by a fixed base graph, where communication edges appear independently with probability $p$. It introduces Gossip Successive Elimination (GSE), a fully distributed algorithm that blends arm-elimination with a refined gossip consensus mechanism, and proves a regret bound of order $O\left(\sum_{k: \Delta_k>0} \frac{\log T}{\Delta_k} + \frac{N^2 \log T}{p \lambda_{N-1}(\operatorname{Lap}(\mathcal{G}))} + \frac{K N^2 \log T}{p}\right)$, illustrating a fundamental trade-off between communication efficiency and learning performance. A matching lower bound for Gaussian instances supports near-optimality of the centralized component, while experimental results on synthetic and real data validate the theoretical scaling and show the impact of $p$ and base-graph connectivity. The work generalizes previous MA-MAB results to general ER graphs induced by a base graph, highlights the influence of topology on regret, and provides practical guidance for balancing communication cost against regret in decentralized learning systems.

Abstract

We study the distributed multi-agent multi-armed bandit problem with heterogeneous rewards over random communication graphs. Uniquely, at each time step $t$ agents communicate over a time-varying random graph $G_t$ generated by applying the Erdős-Rényi model to a fixed connected base graph $G$ (for classical Erdős-Rényi graphs, $G$ is a complete graph), where each potential edge in $G$ is randomly and independently present with the link probability $p$. Notably, the resulting random graph is not necessarily connected at each time step. Each agent's arm rewards follow time-invariant distributions, and the reward distribution for the same arm may differ across agents. The goal is to minimize the cumulative expected regret relative to the global mean reward of each arm, defined as the average of that arm's mean rewards across all agents. To this end, we propose a fully distributed algorithm that integrates the arm elimination strategy with the random gossip algorithm. We theoretically show that the regret upper bound is of order $\log T$ and is highly interpretable, where $T$ is the time horizon. It includes the optimal centralized regret $O\left(\sum_{k: Δ_k>0} \frac{\log T}{Δ_k}\right)$ and an additional term $O\left(\frac{N^2 \log T}{p λ_{N-1}(Lap(G))} + \frac{KN^2 \log T}{p}\right)$ where $N$ and $K$ denote the total number of agents and arms, respectively. This term reflects the impact of $G$'s algebraic connectivity $λ_{N-1}(Lap(G))$ and the link probability $p$, and thus highlights a fundamental trade-off between communication efficiency and regret. As a by-product, we show a nearly optimal regret lower bound. Finally, our numerical experiments not only show the superiority of our algorithm over existing benchmarks, but also validate the theoretical regret scaling with problem complexity.

Distributed Multi-Agent Bandits Over Erdős-Rényi Random Networks

TL;DR

This paper addresses distributed MA-MAB with heterogeneous arm rewards over time-varying Erdős–Rényi networks induced by a fixed base graph, where communication edges appear independently with probability . It introduces Gossip Successive Elimination (GSE), a fully distributed algorithm that blends arm-elimination with a refined gossip consensus mechanism, and proves a regret bound of order , illustrating a fundamental trade-off between communication efficiency and learning performance. A matching lower bound for Gaussian instances supports near-optimality of the centralized component, while experimental results on synthetic and real data validate the theoretical scaling and show the impact of and base-graph connectivity. The work generalizes previous MA-MAB results to general ER graphs induced by a base graph, highlights the influence of topology on regret, and provides practical guidance for balancing communication cost against regret in decentralized learning systems.

Abstract

We study the distributed multi-agent multi-armed bandit problem with heterogeneous rewards over random communication graphs. Uniquely, at each time step agents communicate over a time-varying random graph generated by applying the Erdős-Rényi model to a fixed connected base graph (for classical Erdős-Rényi graphs, is a complete graph), where each potential edge in is randomly and independently present with the link probability . Notably, the resulting random graph is not necessarily connected at each time step. Each agent's arm rewards follow time-invariant distributions, and the reward distribution for the same arm may differ across agents. The goal is to minimize the cumulative expected regret relative to the global mean reward of each arm, defined as the average of that arm's mean rewards across all agents. To this end, we propose a fully distributed algorithm that integrates the arm elimination strategy with the random gossip algorithm. We theoretically show that the regret upper bound is of order and is highly interpretable, where is the time horizon. It includes the optimal centralized regret and an additional term where and denote the total number of agents and arms, respectively. This term reflects the impact of 's algebraic connectivity and the link probability , and thus highlights a fundamental trade-off between communication efficiency and regret. As a by-product, we show a nearly optimal regret lower bound. Finally, our numerical experiments not only show the superiority of our algorithm over existing benchmarks, but also validate the theoretical regret scaling with problem complexity.
Paper Structure (23 sections, 11 theorems, 64 equations, 2 figures, 1 table, 2 algorithms)

This paper contains 23 sections, 11 theorems, 64 equations, 2 figures, 1 table, 2 algorithms.

Key Result

Lemma 5.1

Let us assume that the communication graph follows def: random_graph. Then we have that for alg:GSE, for any agent $i \in [N]$, any arm $k \in [K]$, and any $t \in [T]$, the following holds with probability at least $1 - \frac{3NK}{T}$, where $c_{i,k}(t)$ is the confidence bound defined in align_definition_of_c_ik(t), and $\tau^*$ and $L^*$ are the parameters introduced in align_definition_of_tau

Figures (2)

  • Figure 1: Top two: comparison of the empirical results of our algorithm and DrFed-UCB (complete base graph, link probability $p=0.9$). Bottom two: regret of our algorithm on different base graphs as $p$ varies.
  • Figure 2: Log-log data for GSE: $\log (p)$ and $\log (\text{Regret})$ with classical ER graph, $p=0.9)$

Theorems & Definitions (27)

  • Lemma 5.1
  • Lemma 5.2
  • Theorem 5.3
  • corollary 5.4
  • Remark 5.5: Comparison of Regret Bounds
  • Remark 5.6: Regret and Communication Trade-off
  • Definition 5.7: Gaussian Instance
  • Definition 5.8: Consistent Policy
  • Theorem 5.9
  • Remark 5.10: Comparison with Upper Bounds
  • ...and 17 more