Distributed Averaging in Population Protocols

11/30/2022
by   Petra Berenbrink, et al.
0

We consider two simple asynchronous opinion dynamics on arbitrary graphs where each node u of the graph has an initial value ξ_u(0). In the first process, the NodeModel, at each time step t≥ 0, a random node u and a random sample of k of its neighbours v_1,v_2,⋯,v_k are selected. Then u updates its current value ξ_u(t) to ξ_u(t+1)=αξ_u(t)+(1-α)/k∑_i=1^kξ_v_i(t), where α∈(0,1) and k≥1 are parameters of the process. In the second process, the EdgeModel, at each step a random edge (u,v) is selected. Node u updates its value equivalently to the NodeModel with k=1 and v as the selected neighbour. For both processes the values of all nodes converge to the same value F, which is a random variable depending on the random choices made in each step. For the NodeModel and regular graphs, and for the EdgeModel and arbitrary graphs, the expectation of F is the average of the initial values 1/n∑_u∈ Vξ_u(0). For the NodeModel and non-regular graphs, the expectation of F is the degree-weighted average of the initial values. Our results are two-fold. We consider the concentration of F and show tight bounds on the variance of F for regular graphs. We show that when the initial load does not depend on the number of nodes, the variance is negligible and the nodes are able to estimate the initial average of the node values. Interestingly, this variance does not depend on the graph structure. For the proof we introduce a duality between our processes and a process of two correlated random walks. We also analyse the convergence time for both models and for arbitrary graphs, showing bounds on the time T_ε needed to make all node values `ε-close' to each other. Our bounds are asymptotically tight under some assumptions on the distribution of the starting values.

READ FULL TEXT

page 4

page 20

research
05/22/2020

Graph Degree Heterogeneity Facilitates Random Walker Meetings

Various graph algorithms have been developed with multiple random walks,...
research
04/24/2019

Noidy Conmunixatipn: On the Convergence of the Averaging Population Protocol

We study a process of averaging in a distributed system with noisy commu...
research
05/28/2018

Opinion Forming in Erdos-Renyi Random Graph and Expanders

Assume for a graph G=(V,E) and an initial configuration, where each node...
research
02/16/2021

About Weighted Random Sampling in Preferential Attachment Models

The Barabási-Albert model is a popular scheme for creating scale-free gr...
research
03/30/2023

The Graphical Nadaraya-Watson Estimator on Latent Position Models

Given a graph with a subset of labeled nodes, we are interested in the q...
research
11/13/2019

Mean and Variance of Brownian Motion with Given Final Value, Maximum and ArgMax: Extended Version

The conditional expectation and conditional variance of Brownian motion ...
research
05/16/2020

Tight Analysis of Asynchronous Rumor Spreading in Dynamic Networks

The asynchronous rumor algorithm spreading propagates a piece of informa...

Please sign up or login with your details

Forgot password? Click here to reset