Fast Multidimensional Asymptotic and Approximate Consensus

We study the problems of asymptotic and approximate consensus in which agents have to get their values arbitrarily close to each others' inside the convex hull of initial values, either without or with an explicit decision by the agents. In particular, we are concerned with the case of multidimensional data, i.e., the agents' values are $d$-dimensional vectors. We introduce two new algorithms for dynamic networks, subsuming classical failure models like asynchronous message passing systems with Byzantine agents. The algorithms are the first to have a contraction rate and time complexity independent of the dimension $d$. In particular, we improve the time complexity from the previously fastest approximate consensus algorithm in asynchronous message passing systems with Byzantine faults by Mendes et al. [Distrib. Comput. 28] from $\Omega\!\left( d \log\frac{d\Delta}{\varepsilon} \right)$ to $O\!\left( \log\frac{\Delta}{\varepsilon} \right)$, where $\Delta$ is the initial and $\varepsilon$ is the terminal diameter of the set of vectors of correct agents.

[1]  André Schiper,et al.  The Heard-Of model: computing in distributed systems with benign faults , 2009, Distributed Computing.

[2]  Alan Fekete,et al.  Asymptotically optimal algorithms for approximate agreement , 1986, PODC '86.

[3]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[4]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[5]  Maurice Herlihy,et al.  Multidimensional agreement in Byzantine systems , 2014, Distributed Computing.

[6]  Qun Li,et al.  Global Clock Synchronization in Sensor Networks , 2006, IEEE Trans. Computers.

[7]  Matthias Függer,et al.  Multidimensional Asymptotic Consensus in Dynamic Networks , 2016, ArXiv.

[8]  Nicola Santoro,et al.  Time is Not a Healer , 1989, STACS.

[9]  Bernard Chazelle,et al.  The Total s-Energy of a Multiagent System , 2010, SIAM J. Control. Optim..

[10]  Matthias Függer,et al.  Fast, Robust, Quantizable Approximate Consensus , 2016, ICALP.

[11]  Matthias Függer,et al.  Tight Bounds for Asymptotic and Approximate Consensus , 2017, PODC.

[12]  Luis Rademacher Mit Approximating the Centroid is Hard , 2007 .

[13]  Nancy A. Lynch,et al.  Reaching approximate agreement in the presence of faults , 1986, JACM.

[14]  Matthias Függer,et al.  Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms , 2014, ICALP.

[15]  Fred B. Schneider,et al.  Understanding Protocols for Byzantine Clock Synchronization , 1987 .

[16]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[17]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[18]  Brian D. O. Anderson,et al.  Reaching a Consensus in a Dynamically Changing Environment: Convergence Rates, Measurement Delays, and Asynchronous Events , 2008, SIAM J. Control. Optim..

[19]  Nicola Santoro,et al.  Solving the Robots Gathering Problem , 2003, ICALP.

[20]  Maria Gradinariu Potop-Butucaru,et al.  Optimal Byzantine-resilient convergence in uni-dimensional robot networks , 2010, Theor. Comput. Sci..

[21]  Luc Moreau,et al.  Stability of multiagent systems with time-dependent communication links , 2005, IEEE Transactions on Automatic Control.

[22]  V. Klee,et al.  Helly's theorem and its relatives , 1963 .

[23]  David Angeli,et al.  Stability of leaderless discrete-time multi-agent systems , 2006, Math. Control. Signals Syst..

[24]  Danny Dolev,et al.  Optimal Resilience Asynchronous Approximate Agreement , 2004, OPODIS.