TY - GEN

T1 - Supervised average consensus in anonymous dynamic networks

AU - Kowalski, Dariusz R.

AU - Mosteiro, Miguel A.

N1 - Funding Information:
The work presented in this manuscript was partially supported by Polish National Science Center NCN grant UMO-2017/25/B/ST6/02553, the NSF Award 2043302, and the Pace University SR Grant and Kenan Fund.
Publisher Copyright:
© 2021 ACM.

PY - 2021/7/6

Y1 - 2021/7/6

N2 - How to reach consensus on an average value in a dynamic crowd without revealing identity? In this work, we study the problem of Average Network Consensus in Anonymous Dynamic Networks (ADN). Network dynamicity is specified by the sequence of topology-graph isoperimetric numbers occurring over time, which we call the isoperimetric dynamicity of the network. The consensus variable is the average of values initially held by nodes, which is customary in the Network-consensus literature. Given that having an algorithm to compute the average one can compute the network size (i.e. the Counting problem) and viceversa, we further focus on the latter. We propose a deterministic distributed Average Network Consensus algorithm for ADNs that we call isoperimetric Scalable Coordinated Anonymous Local Aggregation (iSCALA), and we analyze its performance for different scenarios, including worst-case (adversarial) and stochastic dynamic topologies. Our solution utilizes supervisor nodes, which have been shown to be necessary for computations in ADNs. The algorithm uses the isoperimetric dynamicity of the network as an input, meaning that only the isoperimetric number parameters (or their lower bound) must be given, but topologies may occur arbitrarily or stochastically as long as they comply with those parameters. Previous work for adversarial ADNs overestimates the running time to deal with worst-case scenarios. For ADNs with given isoperimetric dynamicity, our analysis shows improved performance for some practical dynamic topologies, with cubic time or better for stochastic ADNs, and our experimental evaluation confirms that such performance is close to what could be achieved if the algorithm had centralized control on stopping conditions; thus, there is no substantial benefit of having centralized stopping control in the ADN system.

AB - How to reach consensus on an average value in a dynamic crowd without revealing identity? In this work, we study the problem of Average Network Consensus in Anonymous Dynamic Networks (ADN). Network dynamicity is specified by the sequence of topology-graph isoperimetric numbers occurring over time, which we call the isoperimetric dynamicity of the network. The consensus variable is the average of values initially held by nodes, which is customary in the Network-consensus literature. Given that having an algorithm to compute the average one can compute the network size (i.e. the Counting problem) and viceversa, we further focus on the latter. We propose a deterministic distributed Average Network Consensus algorithm for ADNs that we call isoperimetric Scalable Coordinated Anonymous Local Aggregation (iSCALA), and we analyze its performance for different scenarios, including worst-case (adversarial) and stochastic dynamic topologies. Our solution utilizes supervisor nodes, which have been shown to be necessary for computations in ADNs. The algorithm uses the isoperimetric dynamicity of the network as an input, meaning that only the isoperimetric number parameters (or their lower bound) must be given, but topologies may occur arbitrarily or stochastically as long as they comply with those parameters. Previous work for adversarial ADNs overestimates the running time to deal with worst-case scenarios. For ADNs with given isoperimetric dynamicity, our analysis shows improved performance for some practical dynamic topologies, with cubic time or better for stochastic ADNs, and our experimental evaluation confirms that such performance is close to what could be achieved if the algorithm had centralized control on stopping conditions; thus, there is no substantial benefit of having centralized stopping control in the ADN system.

KW - Algebraic computations

KW - Anonymous dynamic networks

KW - Counting

KW - Network consensus

KW - Stochastic dynamic networks

UR - http://www.scopus.com/inward/record.url?scp=85109491519&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85109491519&partnerID=8YFLogxK

U2 - 10.1145/3409964.3461811

DO - 10.1145/3409964.3461811

M3 - Conference contribution

AN - SCOPUS:85109491519

T3 - Annual ACM Symposium on Parallelism in Algorithms and Architectures

SP - 307

EP - 317

BT - SPAA 2021 - Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures

PB - Association for Computing Machinery

T2 - 33rd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2021

Y2 - 6 July 2021 through 8 July 2021

ER -