Voter Model Meets Rumour Spreading: an FPRAS for Consensus Probabilities on Voter Models with Agnostic Nodes
Pith reviewed 2026-05-23 02:29 UTC · model grok-4.3
The pith
A Markov chain Monte Carlo sampler yields an FPRAS for consensus probabilities in voter models that include agnostic nodes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper shows that the probability each colour reaches consensus can be estimated to arbitrary precision in polynomial time by running a Markov chain that interleaves voter-model updates with rumour-spreading steps; the chain mixes in O(n² log n) steps on general graphs and faster on random graphs, yielding an FPRAS, while closed-form expressions are available when the number of agnostic nodes is at most logarithmic.
What carries the argument
A Markov chain Monte Carlo process that simulates the combined voter-rumour dynamics to approximate the martingale-derived consensus probabilities.
If this is right
- Closed formulas for consensus probabilities exist when the number of agnostic nodes is at most logarithmic.
- Termination time is bounded by known results from rumour spreading and voter models.
- Fewer Monte Carlo runs suffice for a fixed error level as the number of nodes grows.
- The scheme works for any fixed number of colours on any connected graph.
Where Pith is reading between the lines
- The same MCMC reduction may apply to other opinion dynamics that mix adoption and transmission steps.
- The polynomial-time estimator could be used to compare robustness of different update rules when undecided agents are present.
- If the martingale extends to weighted or directed graphs, the FPRAS would immediately carry over.
Load-bearing premise
The dynamics with agnostic nodes can be accurately captured by a combination of the classical voter model and rumour-spreading processes, so that existing martingale and mixing-time results apply directly.
What would settle it
An explicit family of graphs on which the MCMC chain requires super-polynomial steps to reach constant total-variation distance from stationarity would refute the claimed FPRAS running time.
Figures
read the original abstract
Problems of consensus in multi-agent systems are often viewed as a series of independent, simultaneous local decisions made between a limited set of options, all aimed at reaching a global agreement. Key challenges in these protocols include estimating the likelihood of various outcomes and finding bounds for how long it may take to achieve consensus, if it occurs at all. To date, little attention has been given to the case where some agents have no initial opinion. In this paper, we introduce a variant of the consensus problem which includes what we call `agnostic' nodes and frame it as a combination of two known and well-studied processes: voter model and rumour spreading. We show (1) a martingale that describes the probability of consensus for a given colour, (2) bounds on the number of steps for the process to end using results from rumour spreading and voter models, (3) closed formulas for the probability of consensus in a few special cases, along with a polynomial-time algorithm for the case where the number of agnostic vertices is at most logarithmic and (4) that the computational complexity of estimating the probability with a Markov chain Monte Carlo process is $O(n^2 \log n)$ for general graphs and $O(n\log n)$ for Erd\H{o}s-R\'enyi graphs, resulting in a fully polynomial-time randomized approximation scheme (FPRAS) for estimating the probabilities of consensus. Furthermore, we present experimental results suggesting that the number of runs needed for a given standard error decreases when the number of nodes increases.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces 'agnostic' nodes (initially opinionless) into the voter model on graphs and frames the resulting dynamics as a combination of the classical voter model and rumour-spreading processes. It claims (1) a martingale for the probability that a given colour reaches consensus, (2) convergence-time bounds obtained by invoking existing results from the two source literatures, (3) closed-form consensus probabilities for special cases together with a polynomial-time algorithm when the number of agnostic nodes is at most logarithmic, and (4) an FPRAS for estimating consensus probabilities whose MCMC complexity is O(n² log n) on general graphs and O(n log n) on Erdős-Rényi graphs. Experimental results suggesting that the number of Monte-Carlo runs needed for a fixed standard error decreases with network size are also reported.
Significance. If the claimed martingale and mixing-time results are shown to carry over, the work supplies the first FPRAS for consensus probabilities in this extended model and a practical polynomial-time algorithm for the logarithmic-agnostic regime; both would be useful for analysing opinion dynamics with undecided agents. The experimental observation on variance reduction with size is a potentially interesting empirical finding.
major comments (2)
- [Abstract and martingale derivation section] Abstract and the section deriving the martingale: the claim that the probability of consensus for each colour is a martingale rests on the assertion that the combined voter-model/rumour-spreading update rule preserves the one-step conditional-expectation property used in the classical voter-model proofs. No explicit verification that the agnostic-node rumour-spreading step leaves this invariance intact is supplied.
- [FPRAS and complexity paragraph] The paragraph stating the FPRAS complexity: the O(n² log n) (general graphs) and O(n log n) (ER graphs) MCMC bounds are obtained by directly citing mixing-time results from rumour spreading and voter models. The paper does not demonstrate that the additional dependence introduced by agnostic nodes preserves the conductance or coupling conditions required by those cited bounds; without this step the reduction to an FPRAS does not follow.
minor comments (2)
- [Experimental results section] The experimental plots would be clearer if the precise graph-generation parameters (e.g., edge probability for the ER instances) and the number of independent trials per data point were stated explicitly.
- [Model definition] The update rule for an agnostic node should be written as a single displayed equation rather than described in prose, to remove any ambiguity about the probability with which each colour is adopted.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive major comments. Both points identify places where the manuscript relies on implicit carry-over from the cited voter-model and rumour-spreading literature without supplying the required verification steps. We address each comment below and will revise the paper to close these gaps.
read point-by-point responses
-
Referee: [Abstract and martingale derivation section] Abstract and the section deriving the martingale: the claim that the probability of consensus for each colour is a martingale rests on the assertion that the combined voter-model/rumour-spreading update rule preserves the one-step conditional-expectation property used in the classical voter-model proofs. No explicit verification that the agnostic-node rumour-spreading step leaves this invariance intact is supplied.
Authors: We acknowledge that the current derivation does not contain an explicit one-step calculation for the agnostic-node update. The manuscript treats the combined process as inheriting the martingale property from the classical voter model, but does not verify the conditional-expectation step when an agnostic node adopts an opinion. In the revision we will insert a short lemma that computes the one-step expectation explicitly for both the voter-model edge selection and the rumour-spreading adoption rule, confirming that the invariance is preserved because an agnostic node adopts colour c with probability exactly equal to the fraction of its neighbours that already hold c. revision: yes
-
Referee: [FPRAS and complexity paragraph] The paragraph stating the FPRAS complexity: the O(n² log n) (general graphs) and O(n log n) (ER graphs) MCMC bounds are obtained by directly citing mixing-time results from rumour spreading and voter models. The paper does not demonstrate that the additional dependence introduced by agnostic nodes preserves the conductance or coupling conditions required by those cited bounds; without this step the reduction to an FPRAS does not follow.
Authors: We agree that simply invoking the cited mixing-time theorems is insufficient once agnostic nodes are present. The manuscript does not supply an argument that the conductance or coupling arguments remain valid under the additional state variables carried by agnostic nodes. In the revision we will add a paragraph (or short appendix) showing that the process can be coupled to a standard voter model after a logarithmic number of steps (once all agnostic nodes have adopted an opinion) and that the pre-adoption phase contributes only a lower-order term to the mixing time; this will justify reusing the cited O(n² log n) and O(n log n) bounds. revision: yes
Circularity Check
No load-bearing circularity; martingale and FPRAS rest on external voter/rumour theorems applied to new dynamics
full rationale
The paper introduces agnostic nodes by combining voter-model updates with rumour-spreading steps, then states a martingale for consensus probability and invokes existing mixing-time and martingale results from the two classical literatures to bound termination and obtain the O(n² log n) MCMC complexity. No equations reduce a claimed prediction to a fitted parameter or self-citation by construction, and the cited theorems are standard external results rather than prior work by the same authors. The special-case closed formulas and logarithmic-agnostic poly-time algorithm are presented as direct derivations, keeping the central FPRAS claim independent of any self-referential loop.
Axiom & Free-Parameter Ledger
invented entities (1)
-
agnostic nodes
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Huseyin Acan, Andrea Collevecchio, Abbas Mehrabian, and Nick Wormald. 2015. On the push&pull protocol for rumour spreading. InProceedings of the 2015 ACM Symposium on Principles of Distributed Computing . ACM, 405–412
work page 2015
-
[2]
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, and John Lazarsfeld. 2023. Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. In Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023 , Rotem Oshman, Al...
-
[3]
Dana Angluin, James Aspnes, and David Eisenstat. 2008. A simple population protocol for fast robust approximate majority.Distributed Computing 21, 2 (2008), 87–102
work page 2008
-
[4]
Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, and Giuseppe Persiano. 2017. Information retention in heterogeneous majority dynamics. In Web and Internet Economics: 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedings 13 . Springer, 30–43
work page 2017
-
[5]
Luca Becchetti, Vincenzo Bonifaci, and Emanuele Natale. 2018. Pooling or Sampling: Collective Dynamics for Electrical Flow Estimation. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS). International Foundation for Autonomous Agents and Multiagent Systems, 1576–1584
work page 2018
-
[6]
L. Becchetti, A. Clementi, E. Natale, F. Pasquale, and R. Silvestri. 2015. Plurality consensus in the gossip model. In Proceedings of the Twenty-Sixth Annual ACM- SIAM Symposium on Discrete Algorithms (San Diego, California) (SODA ’15). Society for Industrial and Applied Mathematics, USA, 371–390
work page 2015
-
[7]
Petra Berenbrink, George Giakkoupis, Anne-Marie Kermarrec, and Frederik Mallmann-Trenn. 2016. Bounds on the Voter Model in Dynamic Networks. In43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy (LIPIcs, Vol. 55) , Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi...
-
[8]
Mengtao Cao, Feng Xiao, and Long Wang. 2015. Event-based second-order con- sensus control for multi-agent systems via synchronous periodic event detection. IEEE Trans. Automat. Control 60, 9 (2015), 2452–2457
work page 2015
-
[9]
Flavio Chierichetti, Silvio Lattanzi, and Alessandro Panconesi. 2010. Rumour spreading and graph conductance. In Proceedings of the twenty-first annual ACM- SIAM symposium on Discrete Algorithms . SIAM, SIAM, 1657–1663
work page 2010
-
[10]
Flavio Chierichetti, Silvio Lattanzi, and Alessandro Panconesi. 2011. Rumor spreading in social networks. Theoretical Computer Science 412, 24 (2011), 2602– 2610
work page 2011
-
[12]
Andrea Clementi, Mohsen Ghaffari, Luciano Gualà, Emanuele Natale, Francesco Pasquale, and Giacomo Scornavacca. 2018. A Tight Analysis of the Parallel Undecided-State Dynamics with Two Colors. In 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 117), Ig...
-
[13]
Anne Condon, Monir Hajiaghayi, David Kirkpatrick, and Ján Maňuch. 2020. Approximate majority analyses using tri-molecular chemical reaction networks. Natural Computing 19, 1 (01 Mar 2020), 249–270. https://doi.org/10.1007/s11047- 019-09756-4
-
[14]
Colin Cooper and Nicolás Rivera. 2016. The Linear Voting Model. In 43rd Inter- national Colloquium on Automata, Languages, and Programming (ICALP 2016) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 55) , Ioannis Chatzi- giannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi (Eds.). Schloss Dagstuhl–Leibniz-Zentrum fuer Info...
-
[15]
Emilio Cruciani, Emanuele Natale, André Nusser, and Giacomo Scornavacca
-
[16]
Distributed Computing 34, 3 (2021), 207–225
Phase transition of the 2-Choices dynamics on core–periphery networks. Distributed Computing 34, 3 (2021), 207–225
work page 2021
-
[17]
Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard Sturgis, Dan Swinehart, and Doug Terry. 1987. Epidemic algorithms for replicated database maintenance. In Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing (Vancouver, British Columbia, Canada) (PODC ’87). Association for Computing Machin...
-
[18]
Benjamin Doerr, Mahmoud Fouz, and Tobias Friedrich. 2012. Asynchronous rumor spreading in preferential attachment graphs. In Scandinavian Workshop on Algorithm Theory. Springer, Springer, 307–315
work page 2012
-
[19]
Peter Donnelly and Dominic Welsh. 1983. Finite particle systems and infection models. In Mathematical Proceedings of the Cambridge Philosophical Society , Vol. 94. Cambridge University Press, Cambridge University Press, 167–182
work page 1983
-
[20]
Uriel Feige, David Peleg, Prabhakar Raghavan, and Eli Upfal. 1990. Randomized broadcast in networks. Random Structures & Algorithms 1, 4 (1990), 447–460. https://doi.org/10.1002/rsa.3240010406
-
[21]
Nikolaos Fountoulakis, Anna Huber, and Konstantinos Panagiotou. 2010. Reliable broadcasting in random networks and the effect of density. In 2010 Proceedings IEEE INFOCOM. IEEE, IEEE, 1–9
work page 2010
-
[22]
Marcelo Matheus Gauy, Anna Abramishvili, Eduardo Colli, Tiago Madeira, Fred- erik Mallmann-Trenn, Vinícius Franco Vasconcelos, and David Kohan Marzagão
-
[23]
https://github.com/tmadeira/vmmrs
Voter Model Meets Rumour Spreading. https://github.com/tmadeira/vmmrs. GitHub repository, accessed: February 20, 2025
work page 2025
-
[24]
Geoffrey Grimmett, Geoffrey R Grimmett, David Stirzaker, et al. 2001. Probability and Random Processes. Oxford University Press
work page 2001
-
[25]
Yehuda Hassin and David Peleg. 2001. Distributed Probabilistic Polling and Applications to Proportionate Agreement. Information and Computation 171, 2 (2001), 248–268. https://doi.org/10.1006/inco.2001.3088
-
[26]
Zool Hilmi Ismail and Nohaidda Sariff. 2018. A survey and analysis of cooperative multi-agent robot systems: challenges and directions. In Applications of Mobile Robots. IntechOpen
work page 2018
-
[27]
Varun Kanade, Frederik Mallmann-Trenn, and Thomas Sauerwald. 2023. On Coalescence Time in Graphs: When Is Coalescing as Fast as Meeting? ACM Trans. Algorithms 19, 2 (2023), 18:1–18:46. https://doi.org/10.1145/3576900
-
[28]
David Kohan Marzagão, Nicolás Rivera, Colin Cooper, Peter McBurney, and Kathleen Steinhöfel. 2017. Multi-agent flag coordination games.. InProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS). International Foundation for Autonomous Agents and Multiagent Systems, 1442–1450
work page 2017
-
[29]
N. Lanchier and C. Neuhauser. 2007. Voter Model and Biased Voter Model in Heterogeneous Environments. Journal of Applied Probability 44, 3 (2007), 770–787. https://doi.org/10.1239/jap/1189717544
-
[30]
Erez Lieberman, Christoph Hauert, and Martin A Nowak. 2005. Evolutionary dynamics on graphs. Nature 433, 7023 (2005), 312
work page 2005
-
[31]
Nancy A Lynch. 1996. Distributed algorithms. Elsevier
work page 1996
-
[32]
Sonia Martinez, Francesco Bullo, Jorge Cortes, and Emilio Frazzoli. 2005. On synchronous robotic networks Part I: Models, tasks and complexity notions. In Proceedings of the 44th IEEE Conference on Decision and Control . IEEE, IEEE, 2847–2852
work page 2005
-
[33]
David Kohan Marzagão, Luciana Basualdo Bonatto, Tiago Madeira, Marcelo Matheus Gauy, and Peter McBurney. 2021. The Influence of Memory in Multi-Agent Consensus. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35. AAAI Press, 11254–11262
work page 2021
-
[34]
Tal Mizrahi and Yoram Moses. 2008. Continuous consensus via common knowl- edge. Distributed Computing 20, 5 (2008), 305–321
work page 2008
-
[35]
Patrick Alfred Pierce Moran. 1958. Random processes in genetics. InMathematical Proceedings of the Cambridge Philosophical Society . Cambridge University Press, Cambridge University Press, 60–71
work page 1958
-
[36]
Toshio Nakata, Hiroshi Imahayashi, and Masafumi Yamashita. 1999. Probabilistic local majority voting for the agreement problem on finite graphs. InInternational Computing and Combinatorics Conference . Springer, Springer, 330–338
work page 1999
-
[37]
Reza Olfati-Saber, J Alex Fax, and Richard M Murray. 2007. Consensus and cooperation in networked multi-agent systems. Proc. IEEE 95, 1 (2007), 215–233
work page 2007
-
[38]
Roberto I. Oliveira and Yuval Peres. 2019. Random walks on graphs: new bounds on hitting, meeting, coalescing and returning. In Proceedings of the Sixteenth Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2019, San Diego, CA, USA, January 6, 2019 , Marni Mishna and J. Ian Munro (Eds.). SIAM, 119–126. https://doi.org/10.1137/1.9781611975505.13
- [39]
-
[40]
Konstantinos Panagiotou and Leo Speidel. 2017. Asynchronous rumor spreading on random graphs. Algorithmica 78 (2017), 968–989
work page 2017
-
[41]
Etienne Perron, Dinkar Vasudevan, and Milan Vojnovic. 2009. Using three states for binary consensus on complete graphs. In IEEE INFOCOM 2009. IEEE, 2527–2535
work page 2009
- [42]
-
[43]
Lubos Takac and Michal Zabovsky. 2012. Data analysis in public social networks. In International scientific conference and international workshop present day trends of innovations, Vol. 1
work page 2012
-
[44]
Wanyue Xu, Liwang Zhu, Jiale Guan, Zuobai Zhang, and Zhongzhi Zhang. 2022. Effects of stubbornness on opinion dynamics. In Proceedings of the 31st ACM International Conference on Information & Knowledge Management . ACM, 2321– 2330
work page 2022
-
[45]
Zhi Yan, Nicolas Jouandeau, and Arab Ali Cherif. 2013. A survey and analysis of multi-robot coordination. International Journal of Advanced Robotic Systems 10, 12 (2013), 399
work page 2013
-
[46]
Zehmakan, Xiaotian Zhou, and Zhongzhi Zhang
Ahad N. Zehmakan, Xiaotian Zhou, and Zhongzhi Zhang. 2024. Viral Marketing in Social Networks with Competing Products. In Proceedings of the 23rd Inter- national Conference on Autonomous Agents and Multiagent Systems (Auckland, New Zealand) (AAMAS ’24). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2047–2056. A ADDIT...
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.