[论文解读] A Cheeger Inequality for the Graph Connection Laplacian

Afonso S. Bandeira, Amit Singer+1 more|arXiv (Cornell University)|Apr 17, 2012

Sparse and Compressive Sensing Techniques参考文献 28被引用 5

一句话总结

本文建立了图连接拉普拉斯算子的Cheeger型不等式，将该算子的最小特征值与O(d)同步问题中的最小挫折值联系起来。该研究为在正交群上求解同步问题的谱方法提供了最坏情况下的性能保证，表明谱间隙控制着在噪声或不完整测量条件下的解的质量。

ABSTRACT

The O(d) Synchronization problem consists of estimating a set of unknown orthogonal transformations O_i from noisy measurements of a subset of the pairwise ratios O_iO_j^{-1}. We formulate and prove a Cheeger-type inequality that relates a measure of how well it is possible to solve the O(d) synchronization problem with the spectra of an operator, the graph Connection Laplacian. We also show how this inequality provides a worst case performance guarantee for a spectral method to solve this problem.

研究动机与目标

• 建立谱方法在求解O(d)同步问题中的理论性能保证。
• 将图连接拉普拉斯算子的谱性质与群同步中的最小挫折值联系起来。
• 将经典的Cheeger不等式推广至矩阵值边测量和正交群的设定。
• 分析谱解在噪声或不完整数据下的鲁棒性。

提出的方法

• 将O(d)同步问题形式化为从噪声成对比值中估计正交矩阵。
• 引入图连接拉普拉斯算子作为编码群值边测量的矩阵算子。
• 推导出一种Cheeger型不等式，将连接拉普拉斯算子的最小特征值与部分或完整赋值的最小挫折值联系起来。
• 使用谱松弛近似解，随后通过取整恢复群元素。
• 通过特征值界分析谱方法的性能，表明其对特征向量中的数值误差扰动具有鲁棒性。
• 同时考虑完整赋值与部分赋值，后者用于处理连通性较差的图。

实验结果

研究问题

• RQ1 图连接拉普拉斯算子的最小特征值与O(d)同步中的最小挫折值之间有何关系？
• RQ2 在噪声或不完整数据条件下，O(d)同步的谱方法能否保证良好性能？
• RQ3 底层图拉普拉斯算子的第二小特征值在谱解近似质量中起什么作用？
• RQ4 谱方法的性能如何依赖于图的连通性？
• RQ5 理论保证能否推广至连续或光滑设定，例如具有holonomy的流形？

主要发现

• 部分赋值的最小挫折值与连接拉普拉斯算子的最小特征值呈二次关系。
• 对于完整赋值，最小挫折值受连接拉普拉斯算子的最小d个特征值与图拉普拉斯算子第二小特征值的和所限制。
• 当图是良好的膨胀图（λ₂(L₀)较大）时，连接拉普拉斯算子的最小特征值本身即可良好近似最小挫折值。
• 由于数值误差引起的特征向量小扰动，谱方法对这些扰动具有鲁棒性。
• 即使群势能无法完全满足所有边（由于噪声或不一致性），性能保证依然成立。
• 结果提示可能存在与微分几何的潜在联系，其中holonomy可能对应于光滑设定下的挫折常数。