Distributed Synchronous and Asynchronous Algorithms for Semidefinite Programming With Diagonal Constraints

• 成果类型: Article
• 署名作者: Jiang, Xia; Zeng, Xianlin; Sun, Jian; Chen, Jie
• 署名单位: Beijing Institute of Technology; Beijing Institute of Technology; Tongji University; Beijing Institute of Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3170529
• 发表日期: 2023
• 页码: 1007-1022
• 关键词: Optimization; Symmetric matrices; Distributed algorithms; programming; COSTS; CONVERGENCE; sun; distributed optimization; low-rank matrices; semidefinite programming (SDP) with diagonal constraints; synchronous and asynchronous algorithms

摘要

This article develops distributed synchronous and asynchronous algorithms for the large-scale semidefinite programming with diagonal constraints, which has wide applications in combinatorial optimization, image processing, and community detection. The information of the semidefinite programming is allocated to multiple interconnected agents such that each agent aims to find a solution by communicating to its neighbors. Based on the low-rank property of solutions and the Burer-Monteiro factorization, we transform the original problem into a distributed optimization problem over unit spheres to reduce variable dimensions and ensure positive semidefiniteness without involving semidefinite projections, which are computationally expensive. For the distributed optimization problem, we propose distributed synchronous and asynchronous algorithms, both of which reduce computational burden and storage space compared with existing centralized algorithms. Specifically, the distributed synchronous algorithm almost surely escapes strict saddle points and converges to the set of optimal solutions to the optimization problem. In addition, the proposed distributed asynchronous algorithm allows communication delays and converges to critical points to the optimization problem under mild conditions. By applying the proposed algorithms to image segmentation, we illustrate the efficiency and convergence performance of the two proposed algorithms.