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 -