[论文解读] Optimal strategies in the average consensus problem

Jean‐Charles Delvenne, Ruggero Carli+1 more|arXiv (Cornell University)|Aug 23, 2007

Distributed Control Multi-Agent Systems参考文献 16被引用 10

一句话总结

该论文提出了一种基于德布鲁因图的块克罗内克策略，以在通信受限条件下实现平均一致性问题的有限时间收敛。证明该策略可实现无振荡收敛（有限时间一致性），且在收敛速率上最优，在LQR准则下近乎最优，当代理数量为通信度的幂时，优于基于凯利的策略。

ABSTRACT

We prove that for a set of communicating agents to compute the average of their initial positions (average consensus problem), the optimal topology of communication is given by a de Bruijn's graph. Consensus is then reached in a finitely many steps. A more general family of strategies, constructed by block Kronecker products, is investigated and compared to Cayley strategies.

研究动机与目标

• 识别在每个代理通信成本最小化条件下的最优通信拓扑结构，以实现平均一致性。
• 设计一种线性时不变策略，使在入度有界约束下实现有限时间一致性。
• 通过收敛速率和LQR成本标准，评估并比较所提策略与现有凯利策略的性能。
• 在收敛速度和二次性能指标方面，建立块克罗内克策略的理论最优性。
• 探讨在通信受限且网络结构对称的条件下，有限时间一致性实现的条件。

提出的方法

• 利用德布鲁因图构建通信拓扑，证明当代理数 $ N $ 为通信度 $ u $ 的精确幂时，可实现有限时间一致性。
• 提出一种基于块克罗内克积的策略，将德布鲁因结构推广至高阶系统，通过无振荡控制机制确保有限时间收敛。
• 通过系统矩阵的谱半径分析收敛速度，证明该策略在给定约束下实现最快可能的收敛速率。
• 采用LQR成本准则评估性能，推导成本的渐近界，并证明当更新成本 $ u $ 较小且 $ N $ 较大时，接近最优。
• 通过系统矩阵的迹与特征值性质的理论分析，比较块克罗内克策略与凯利策略。
• 利用弗罗贝尼乌斯范数与迹的矩阵幂界估计LQR成本，借助大 $ k $ 时的几何级数近似。

实验结果

研究问题

• RQ1 在入度有界约束下，实现有限时间平均一致性的最优通信拓扑是什么？
• RQ2 线性时不变策略能否在通信受限条件下实现平均一致性问题的无振荡一致（有限时间收敛）？
• RQ3 在收敛速率和LQR成本方面，块克罗内克策略与凯利策略相比表现如何？
• RQ4 在何种条件下，块克罗内克策略在LQR意义下近乎最优？
• RQ5 是否可将有限时间一致性策略扩展至任意数量的代理，而不仅限于通信度的幂？

主要发现

• 当 $ N = u^k $ 时，基于德布鲁因图的块克罗内克策略在 $ O( u imes u) $ 步内实现有限时间一致性（无振荡收敛），是在入度约束下最快可能的策略。
• 收敛速率最优：系统矩阵的谱半径被最小化，导致一致性误差的最快衰减。
• 块克罗内克策略的LQR成本渐近为 $ J = N\big((1+2\tilde{\nu})\frac{1 - \text{Tr}(A^T A)/n)^k}{1 - \text{Tr}(A^T A)/n} - \tilde{\nu} + \text{O}(\text{log}\thinspace N/N)\big) $，且当 $ \nu $ 增大时趋近于无约束最优成本。
• 该策略在LQR准则下近乎最优，尤其当更新成本 $ \nu $ 较小且 $ N $ 较大时，成本趋近于 $ (1+\tilde{\nu})N $。
• LQR成本估计中被忽略的项受 $ k \frac{1}{1 - \rho^2} (\text{Tr}(A^T A) - 1) $ 限制，表明近似误差小且可控。
• 最优成本在 $ A = \frac{1}{n} \boldsymbol{1} \boldsymbol{1}^T $ 时实现，对应完全连通情形，且块克罗内克策略渐近逼近此最优性能。