arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2306.04769math.OCcs.DC
收藏

在紧子流形上实现一致性

Achieving Consensus over Compact Submanifolds

Jiang Hu, Jiaojiao Zhang, Kangkang Deng

AI总结:

本文研究紧子流形约束下的去中心化非凸一致性问题,利用近端光滑性、投影与收缩关系及受限割线不等式,证明黎曼梯度下降在较弱连通条件下的局部线性收敛。

摘要:

我们考虑去中心化网络中的一致性问题,重点关注作为非凸约束集的紧子流形。通过利用紧子流形的近端光滑性——该性质包含流形上投影算子的局部单点性质和局部 Lipschitz 连续性——并建立投影算子与一般收缩之间的联系,我们证明:若网络具有令人满意的连通水平,则单位步长的 Riemannian gradient descent(黎曼梯度下降)具有局部线性收敛性。此外,基于紧子流形的几何结构,我们证明一种类似凸性的正则性条件,即 restricted secant inequality(受限割线不等式),在非凸一致性问题解集周围一个被显式刻画的邻域内始终成立。通过利用该受限割线不等式并对去中心化网络施加更弱的连通性要求,我们在考虑适当初始化和步长的情况下,对 Riemannian gradient descent 的线性收敛给出了全面分析。此外,若网络连通良好,我们证明由近端光滑性赋予的局部 Lipschitz 连续性是受限割线不等式的充分条件,从而有助于建立局部误差界。我们相信,所得结果将在更一般的近端光滑集合上的一致性问题中找到更多应用。数值实验被开展以验证我们的理论发现。

英文摘要:

We consider the consensus problem in a decentralized network, focusing on a compact submanifold that acts as a nonconvex constraint set. By leveraging the proximal smoothness of the compact submanifold, which encompasses the local singleton property and the local Lipschitz continuity of the projection operator on the manifold, and establishing the connection between the projection operator and general retraction, we show that the Riemannian gradient descent with a unit step size has locally linear convergence if the network has a satisfactory level of connectivity. Moreover, based on the geometry of the compact submanifold, we prove that a convexity-like regularity condition, referred to as the restricted secant inequality, always holds in an explicitly characterized neighborhood around the solution set of the nonconvex consensus problem. By leveraging this restricted secant inequality and imposing a weaker connectivity requirement on the decentralized network, we present a comprehensive analysis of the linear convergence of the Riemannian gradient descent, taking into consideration appropriate initialization and step size. Furthermore, if the network is well connected, we demonstrate that the local Lipschitz continuity endowed by proximal smoothness is a sufficient condition for the restricted secant inequality, thus contributing to the local error bound. We believe that our established results will find more application in the consensus problems over a more general proximally smooth set. Numerical experiments are conducted to validate our theoretical findings.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑