{"title":"Decentralized Nonconvex Robust Optimization Over Unsafe Multiagent Systems: System Modeling, Utility, Resilience, and Privacy Analysis","authors":"Jinhui Hu;Guo Chen;Huaqing Li;Huqiang Cheng;Xiaoyu Guo;Tingwen Huang","doi":"10.1109/TCYB.2025.3573957","DOIUrl":null,"url":null,"abstract":"Privacy leakage and Byzantine issues are two adverse factors to optimization and learning processes of multiagent systems (MASs). Considering an unsafe MAS with these two issues, this article targets the resolution of a category of nonconvex optimization problems under the Polyak–Łojasiewicz (P–Ł) condition. To address this problem, we first identify and construct the unsafe MAS model. Under this kind of unfavorable MASs, we mask the local gradients with Gaussian noise and adopt a resilient aggregation method, self-centered clipping (SCC), to design a differentially private (DP) and Byzantine-resilient (BR) decentralized stochastic gradient algorithm, dubbed DP-SCC-PL, aiming to address a class of nonconvex optimization problems in the presence of both privacy leakage and Byzantine issues. The convergence analysis of DP-SCC-PL is challenging, as the convergence error arises from the coupled effects of DP and BR mechanisms, as well as the nonconvex relaxation, which is resolved via seeking the contraction relationships among the disagreement measure of reliable agents before and after the SCC aggregation, together with the optimal gap. Theoretical results not only reveal the trilemma between algorithm utility, resilience, and privacy, but also show that DP-SCC-PL can achieve consensus among all reliable agents. It has also been proven that if there are no privacy issues and Byzantine agents, then the asymptotic exact convergence can be recovered. Numerical experiments verify the utility, resilience, and privacy of DP-SCC-PL by tackling a nonconvex optimization problem satisfying the P–Ł condition under various Byzantine attacks.","PeriodicalId":13112,"journal":{"name":"IEEE Transactions on Cybernetics","volume":"55 8","pages":"3799-3810"},"PeriodicalIF":10.5000,"publicationDate":"2025-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Cybernetics","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/11036546/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
Privacy leakage and Byzantine issues are two adverse factors to optimization and learning processes of multiagent systems (MASs). Considering an unsafe MAS with these two issues, this article targets the resolution of a category of nonconvex optimization problems under the Polyak–Łojasiewicz (P–Ł) condition. To address this problem, we first identify and construct the unsafe MAS model. Under this kind of unfavorable MASs, we mask the local gradients with Gaussian noise and adopt a resilient aggregation method, self-centered clipping (SCC), to design a differentially private (DP) and Byzantine-resilient (BR) decentralized stochastic gradient algorithm, dubbed DP-SCC-PL, aiming to address a class of nonconvex optimization problems in the presence of both privacy leakage and Byzantine issues. The convergence analysis of DP-SCC-PL is challenging, as the convergence error arises from the coupled effects of DP and BR mechanisms, as well as the nonconvex relaxation, which is resolved via seeking the contraction relationships among the disagreement measure of reliable agents before and after the SCC aggregation, together with the optimal gap. Theoretical results not only reveal the trilemma between algorithm utility, resilience, and privacy, but also show that DP-SCC-PL can achieve consensus among all reliable agents. It has also been proven that if there are no privacy issues and Byzantine agents, then the asymptotic exact convergence can be recovered. Numerical experiments verify the utility, resilience, and privacy of DP-SCC-PL by tackling a nonconvex optimization problem satisfying the P–Ł condition under various Byzantine attacks.
期刊介绍:
The scope of the IEEE Transactions on Cybernetics includes computational approaches to the field of cybernetics. Specifically, the transactions welcomes papers on communication and control across machines or machine, human, and organizations. The scope includes such areas as computational intelligence, computer vision, neural networks, genetic algorithms, machine learning, fuzzy systems, cognitive systems, decision making, and robotics, to the extent that they contribute to the theme of cybernetics or demonstrate an application of cybernetics principles.