[論文レビュー] Robust Group Synchronization via Cycle-Edge Message Passing

Gilad Lerman, Yunpeng Shi|arXiv (Cornell University)|Dec 24, 2019

Sparse and Compressive Sensing Techniques参考文献 47被引用数 8

ひとこと要約

本稿では、サイクル整合性を活用して敵対的または一様なノイズ条件下での破損した群比を検出し、修正する、サイクルエッジメッセージスティングを用いたロバストな群同期化手法を提案する。決定論的破損条件下では、破損したサイクル比が有界な場合に正確な回復が保証され、線形収束を示す。また、サブガウスノイズに対しては安定性を示し、一様破損モデル下でも高確率で正確な回復が達成される。

ABSTRACT

We propose a general framework for solving the group synchronization problem, where we focus on the setting of adversarial or uniform corruption and sufficiently small noise. Specifically, we apply a novel message passing procedure that uses cycle consistency information in order to estimate the corruption levels of group ratios and consequently solve the synchronization problem in our setting. We first explain why the group cycle consistency information is essential for effectively solving group synchronization problems. We then establish exact recovery and linear convergence guarantees for the proposed message passing procedure under a deterministic setting with adversarial corruption. These guarantees hold as long as the ratio of corrupted cycles per edge is bounded by a reasonable constant. We also establish the stability of the proposed procedure to sub-Gaussian noise. We further establish exact recovery with high probability under a common uniform corruption model.

研究の動機と目的

• 相対測定における大規模な敵対的または一様な破損の下での群同期化の課題に対処すること。
• サイクル整合性を活用した理論的保証付きのメッセージスティングフレームワークを構築し、破損した群比を特定・修正すること。
• 破損サイクル比が有界な決定論的破損条件下で、正確な回復と線形収束を確立すること。
• サブガウスノイズ下での手法の安定性を分析し、一様破損モデル下での高確率正確回復を導出すること。
• SO(3)、O(2)、Z2 などの一般的なケースを含む、コンact群に一般化可能なフレームワークを提供すること。

提案手法

• エッジ上の破損レベルを推定するために、サイクル整合性情報を活用する新しいメッセージスティング手順を導入する。
• グラフ内のサイクルにわたる整合性チェックに基づいてメッセージを更新する、サイクルエッジメッセージスティングメカニズムを定義する。
• コンパクト群 $ \mathcal{G} $ 上に定義された双不変距離 $ d_{/mathcal{G}} $ を、直径が1に正規化されたものとして用い、距離と誤差を測定する。
• 破損エッジを $ \tilde{g}_{ij} \neq g_{ij}^* $ とモデル化し、ノイズのあるエッジを $ g_{ij} = g_{ij}^* g_{ij}^\rho $ とし、サブガウスノイズ $ g_{ij}^\rho $ を仮定する。
• 群 $ \{g_i^*\} $ を、グローバルな右群作用を除いて回復する同期化問題を定式化し、$ G([n], E_g) $ が連結であると仮定する。
• 関数空間の被覆を区間 $ I_i $ を用いて構築し、メトリックエントロピーをバウンドし、濃縮解析のための被覆数のバウンドを導出する。

実験結果

リサーチクエスチョン

• RQ1 サイクル整合性の情報は、同期化問題における破損群比の検出・修正に効果的に活用可能か？
• RQ2 決定論的敵対的破損モデル下で、正確な回復が成立するための、1エッジあたりの破損サイクル数の条件は何か？
• RQ3 提案手法のメッセージスティング手順はサブガウスノイズ下でどのように振る舞い、どのような安定性保証が得られるか？
• RQ4 一様破損モデル下で、正確な回復の確率は何か？また、グラフ構造と破損レベルにどのように依存するか？
• RQ5 本手法は、SO(3)、O(2)、Z2 を含む一般のコンパクト群に理論的保証とともに拡張可能か？

主な発見

• 破損サイクル比がエッジあたり有界であれば、グラフサイズに依存しない定数で抑えられる限り、決定論的敵対的破損条件下で正確な回復が保証される。
• 同じ決定論的破損条件下で、メッセージスティング手順は正しい解へ線形収束する。
• サブガウスノイズ下でも安定であり、群距離における回復誤差はノイズレベルの定数倍で抑えられる。
• 一様破損モデル下では、破損レベルがグラフの接続性とサイクル構造に関連する閾値未満であれば、高確率で正確な回復が達成される。
• 関数クラスの被覆数は $ O\left(\frac{1}{\min_k X_k \varepsilon^2}\right) $ で抑えられ、濃縮および誤差解析が可能になる。
• 区間に基づく関数空間被覆とリプシッツ連続性の議論を用いて、メトリックエントロピーと被覆数の理論的バウンドを導出し、$ \varepsilon^{-1} $ に対して対数的依存性が得られる。