[论文解读] Diameter, Optimal-Time Consensus, and Graph Eigenvalues

Julien M. Hendrickx, Raphaël M. Jungers+2 more|arXiv (Cornell University)|Nov 27, 2012

Distributed Control Multi-Agent Systems被引用 1

一句话总结

本文挑战了既定共识猜想，该猜想认为在直径为 D 的无向连通图上，通过匹配图边结构的矩阵，可在 D 次线性迭代内实现平均共识。作者提出了一个反例以证伪该猜想，建立了其成立的代数条件，并证明所有距离正则图均满足该猜想，从而对最优时间共识协议的下限进行了改进。

ABSTRACT

We consider the problem of achieving average consensus in the minimum number of linear iterations on a fixed, undirected graph. We are motivated by the task of deriving lower bounds for consensus protocols and by the so-called consensus which states that for an undirected connected graph G with diameter D there exist D matrices whose nonzero-pattern complies with the edges in G and whose product equals the all-ones matrix. Our first result is a counterexample to the definitive consensus conjecture, which is the first improvement of the diameter lower bound for linear consensus protocols. We then provide some algebraic conditions under which this conjecture holds, which we use to establish that all distance-regular graphs satisfy the definitive consensus conjecture.

研究动机与目标

• 研究基于直径的下界在无向图上线性迭代实现平均共识时的紧致性。
• 检验既定共识猜想的有效性，该猜想声称对于直径为 D 的图，共识可在 D 次迭代内实现。
• 确定既定共识猜想成立的代数条件。
• 确定距离正则图是否满足既定共识猜想。

提出的方法

• 通过构造特定矩阵模式的反例，以证伪既定共识猜想，这些模式符合图的边结构，但在 D 次迭代内无法生成全1矩阵。
• 分析 D 个具有边兼容非零模式的矩阵的乘积，以确定其何时等于全1矩阵。
• 推导图结构和矩阵性质的代数条件，以确保 D 个此类矩阵的乘积等于全1矩阵。
• 应用谱图理论和距离正则图的性质，验证这些图满足既定共识猜想。
• 利用特征值和矩阵乘积分析，建立最优时间共识的必要与充分条件。

实验结果

研究问题

• RQ1 既定共识猜想对所有无向连通图都成立吗？
• RQ2 直径 D 是否可作为线性协议实现平均共识所需迭代次数的严格下界？
• RQ3 图的何种代数或结构条件可确保 D 个具有边兼容模式的矩阵相乘后得到全1矩阵？
• RQ4 距离正则图是否满足既定共识猜想？

主要发现

• 既定共识猜想为假，反例表明对于直径为 D 的图，共识并不总能在 D 次迭代内实现。
• 该猜想成立当且仅当图邻接结构和矩阵乘积满足特定代数条件。
• 所有距离正则图均满足既定共识猜想，即此类图可在 D 次迭代内实现共识。
• 直径 D 仍是共识协议所需迭代次数的有效下界，但并非总是紧致的。