Asymptotic properties of dual averaging algorithm for constrained distributed stochastic optimization

• Published in: Systems & control letters Vol. 165; p. 105252
• Main Authors: Zhao, Shengchao, Chen, Xing-Min, Liu, Yongchao
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.07.2022
• Subjects: Almost sure convergence; Asymptotic efficiency; Asymptotic normality; Constrained distributed stochastic optimization; Distributed dual averaging method; Almost sure convergence; Asymptotic normality; Asymptotic efficiency; Constrained distributed stochastic optimization; Distributed dual averaging method
• ISSN: 0167-6911; 1872-7956
• DOI: 10.1016/j.sysconle.2022.105252

Considering the constrained stochastic optimization problem over a time-varying random network, where the agents are to collectively minimize a sum of objective functions subject to a common constraint set, we investigate asymptotic properties of a distributed algorithm based on dual averaging of gradients. Different from most existing works on distributed dual averaging algorithms that are mainly focused on their non-asymptotic properties, we prove not only almost sure convergence and rate of almost sure convergence, but also asymptotic normality and asymptotic efficiency of the algorithm. Firstly, for general constrained convex optimization problem distributed over a random network, we prove that almost sure consensus can be achieved and the estimates of agents converge to the same optimal point. For the case of linear constrained convex optimization, we show that the mirror map of the averaged dual sequence identifies the active constraints of the optimal solution with probability 1, which helps us to prove the almost sure convergence rate and then establish asymptotic normality of the algorithm. Furthermore, we also verify that the algorithm is asymptotically optimal. To the best of our knowledge, it is the first asymptotic normality result for constrained distributed optimization algorithms. Finally, a numerical example is provided to justify the theoretical analysis.