1,861 research outputs found
Local majority dynamics on preferential attachment graphs
Suppose in a graph vertices can be either red or blue. Let be odd. At
each time step, each vertex in polls random neighbours and takes
the majority colour. If it doesn't have neighbours, it simply polls all of
them, or all less one if the degree of is even. We study this protocol on
the preferential attachment model of Albert and Barab\'asi, which gives rise to
a degree distribution that has roughly power-law ,
as well as generalisations which give exponents larger than . The setting is
as follows: Initially each vertex of is red independently with probability
, and is otherwise blue. We show that if is
sufficiently biased away from , then with high probability,
consensus is reached on the initial global majority within
steps. Here is the number of vertices and is the minimum of
and (or if is even), being the number of edges each new
vertex adds in the preferential attachment generative process. Additionally,
our analysis reduces the required bias of for graphs of a given degree
sequence studied by the first author (which includes, e.g., random regular
graphs)
The Power of Two Choices in Distributed Voting
Distributed voting is a fundamental topic in distributed computing. In pull
voting, in each step every vertex chooses a neighbour uniformly at random, and
adopts its opinion. The voting is completed when all vertices hold the same
opinion. On many graph classes including regular graphs, pull voting requires
expected steps to complete, even if initially there are only two
distinct opinions.
In this paper we consider a related process which we call two-sample voting:
every vertex chooses two random neighbours in each step. If the opinions of
these neighbours coincide, then the vertex revises its opinion according to the
chosen sample. Otherwise, it keeps its own opinion. We consider the performance
of this process in the case where two different opinions reside on vertices of
some (arbitrary) sets and , respectively. Here, is the
number of vertices of the graph.
We show that there is a constant such that if the initial imbalance
between the two opinions is ?, then with high probability two sample voting completes in a random
regular graph in steps and the initial majority opinion wins. We
also show the same performance for any regular graph, if where is the second largest eigenvalue of the transition
matrix. In the graphs we consider, standard pull voting requires
steps, and the minority can still win with probability .Comment: 22 page
Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models
This paper is concerned with voting processes on graphs where each vertex
holds one of two different opinions. In particular, we study the
\emph{Best-of-two} and the \emph{Best-of-three}. Here at each synchronous and
discrete time step, each vertex updates its opinion to match the majority among
the opinions of two random neighbors and itself (the Best-of-two) or the
opinions of three random neighbors (the Best-of-three). Previous studies have
explored these processes on complete graphs and expander graphs, but we
understand significantly less about their properties on graphs with more
complicated structures.
In this paper, we study the Best-of-two and the Best-of-three on the
stochastic block model , which is a random graph consisting of two
distinct Erd\H{o}s-R\'enyi graphs joined by random edges with density
. We obtain two main results. First, if and
is a constant, we show that there is a phase transition in with
threshold (specifically, for the Best-of-two, and
for the Best-of-three). If , the process reaches consensus
within steps for any initial opinion
configuration with a bias of . By contrast, if , then there
exists an initial opinion configuration with a bias of from which
the process requires at least steps to reach consensus. Second,
if is a constant and , we show that, for any initial opinion
configuration, the process reaches consensus within steps. To the
best of our knowledge, this is the first result concerning multiple-choice
voting for arbitrary initial opinion configurations on non-complete graphs
When less is more: Robot swarms adapt better to changes with constrained communication
To effectively perform collective monitoring of dynamic environments, a robot swarm needs to adapt to changes by processing the latest information and discarding outdated beliefs. We show that in a swarm composed of robots relying on local sensing, adaptation is better achieved if the robots have a shorter rather than longer communication range. This result is in contrast with the widespread belief that more communication links always improve the information exchange on a network. We tasked robots with reaching agreement on the best option currently available in their operating environment. We propose a variety of behaviors composed of reactive rules to process environmental and social information. Our study focuses on simple behaviors based on the voter modelâa well-known minimal protocol to regulate social interactionsâthat can be implemented in minimalistic machines. Although different from each other, all behaviors confirm the general result: The ability of the swarm to adapt improves when robots have fewer communication links. The average number of links per robot reduces when the individual communication range or the robot density decreases. The analysis of the swarm dynamics via mean-field models suggests that our results generalize to other systems based on the voter model. Model predictions are confirmed by results of multiagent simulations and experiments with 50 Kilobot robots. Limiting the communication to a local neighborhood is a cheap decentralized solution to allow robot swarms to adapt to previously unknown information that is locally observed by a minority of the robots
Bounds on the Voter Model in Dynamic Networks
In the voter model, each node of a graph has an opinion, and in every round
each node chooses independently a random neighbour and adopts its opinion. We
are interested in the consensus time, which is the first point in time where
all nodes have the same opinion. We consider dynamic graphs in which the edges
are rewired in every round (by an adversary) giving rise to the graph sequence
, where we assume that has conductance at least
. We assume that the degrees of nodes don't change over time as one can
show that the consensus time can become super-exponential otherwise. In the
case of a sequence of -regular graphs, we obtain asymptotically tight
results. Even for some static graphs, such as the cycle, our results improve
the state of the art. Here we show that the expected number of rounds until all
nodes have the same opinion is bounded by , for any
graph with edges, conductance , and degrees at least . In
addition, we consider a biased dynamic voter model, where each opinion is
associated with a probability , and when a node chooses a neighbour with
that opinion, it adopts opinion with probability (otherwise the node
keeps its current opinion). We show for any regular dynamic graph, that if
there is an difference between the highest and second highest
opinion probabilities, and at least nodes have initially the
opinion with the highest probability, then all nodes adopt w.h.p. that opinion.
We obtain a bound on the convergences time, which becomes for
static graphs
Rational Fair Consensus in the GOSSIP Model
The \emph{rational fair consensus problem} can be informally defined as
follows. Consider a network of (selfish) \emph{rational agents}, each of
them initially supporting a \emph{color} chosen from a finite set .
The goal is to design a protocol that leads the network to a stable
monochromatic configuration (i.e. a consensus) such that the probability that
the winning color is is equal to the fraction of the agents that initially
support , for any . Furthermore, this fairness property must
be guaranteed (with high probability) even in presence of any fixed
\emph{coalition} of rational agents that may deviate from the protocol in order
to increase the winning probability of their supported colors. A protocol
having this property, in presence of coalitions of size at most , is said to
be a \emph{whp\,--strong equilibrium}. We investigate, for the first time,
the rational fair consensus problem in the GOSSIP communication model where, at
every round, every agent can actively contact at most one neighbor via a
\emph{pushpull} operation. We provide a randomized GOSSIP protocol that,
starting from any initial color configuration of the complete graph, achieves
rational fair consensus within rounds using messages of
size, w.h.p. More in details, we prove that our protocol is a
whp\,--strong equilibrium for any and, moreover, it
tolerates worst-case permanent faults provided that the number of non-faulty
agents is . As far as we know, our protocol is the first solution
which avoids any all-to-all communication, thus resulting in message
complexity.Comment: Accepted at IPDPS'1
Biased Consensus Dynamics on Regular Expander Graphs
Consensus protocols play an important role in the study of distributed
algorithms. In this paper, we study the effect of bias on two popular consensus
protocols, namely, the {\em voter rule} and the {\em 2-choices rule} with
binary opinions. We assume that agents with opinion update their opinion
with a probability strictly less than the probability with which
update occurs for agents with opinion . We call opinion as the superior
opinion and our interest is to study the conditions under which the network
reaches consensus on this opinion. We assume that the agents are located on the
vertices of a regular expander graph with vertices. We show that for the
voter rule, consensus is achieved on the superior opinion in time
with high probability even if system starts with only agents
having the superior opinion. This is in sharp contrast to the classical voter
rule where consensus is achieved in time and the probability of
achieving consensus on any particular opinion is directly proportional to the
initial number of agents with that opinion. For the 2-choices rule, we show
that consensus is achieved on the superior opinion in time with
high probability when the initial proportion of agents with the superior
opinion is above a certain threshold. We explicitly characterise this threshold
as a function of the strength of the bias and the spectral properties of the
graph. We show that for the biased version of the 2-choice rule this threshold
can be significantly less than that for the unbiased version of the same rule.
Our techniques involve using sharp probabilistic bounds on the drift to
characterise the Markovian dynamics of the system
Distributed anonymous function computation in information fusion and multiagent systems
We propose a model for deterministic distributed function computation by a
network of identical and anonymous nodes, with bounded computation and storage
capabilities that do not scale with the network size. Our goal is to
characterize the class of functions that can be computed within this model. In
our main result, we exhibit a class of non-computable functions, and prove that
every function outside this class can at least be approximated. The problem of
computing averages in a distributed manner plays a central role in our
development
- âŠ