[論文レビュー] The Geometry of Synchronization Problems and Learning Group Actions

Tingran Gao, Jacek Brodzki+1 more|arXiv (Cornell University)|Oct 28, 2016

Topological and Geometric Data Analysis参考文献 128被引用数 8

ひとこと要約

本稿では、ファイバー束とねじれHodge理論を用いた同期問題の幾何的枠組みを提案し、同期を平坦な主G束として特定するとともに、グラフ接続ラプラシアンをHodgeラプラシアンとして実現する。局所的同期可能性に基づく群作用の学習を目的としたヒューリスティックなアルゴリズムを提案し、シミュレートデータおよび実データで検証された結果、幾何的モルフォメトリクスおよび低温電子顕微鏡（cryo-EM）の応用分野で優れた性能を示した。

ABSTRACT

We develop a geometric framework that characterizes the synchronization problem --- the problem of consistently registering or aligning a collection of objects. The theory we formulate characterizes the cohomological nature of synchronization based on the classical theory of fibre bundles. We first establish the correspondence between synchronization problems in a topological group $G$ over a connected graph $Γ$ and the moduli space of flat principal $G$-bundles over $Γ$, and develop a discrete analogy of the renowned theorem of classifying flat principal bundles with fix base and structural group using the representation variety. In particular, we show that prescribing an edge potential on a graph is equivalent to specifying an equivalence class of flat principal bundles, of which the triviality of holonomy dictates the synchronizability of the edge potential. We then develop a twisted cohomology theory for associated vector bundles of the flat principal bundle arising from an edge potential, which is a discrete version of the twisted cohomology in differential geometry. This theory realizes the obstruction to synchronizability as a cohomology group of the twisted de Rham cochain complex. We then build a discrete twisted Hodge theory --- a fibre bundle analog of the discrete Hodge theory on graphs --- which geometrically realizes the graph connection Laplacian as a Hodge Laplacian of degree zero. Motivated by our geometric framework, we study the problem of learning group actions --- partitioning a collection of objects based on the local synchronizability of pairwise correspondence relations. A dual interpretation is to learn finitely generated subgroups of an ambient transformation group from noisy observed group elements. A synchronization-based algorithm is also provided, and we demonstrate its efficacy using simulations and real data.

研究の動機と目的

• ファイバー束理論とコhomology理論を用いて、同期問題の幾何的特徴付けを構築すること。
• トポロジカル群Gへの基本群の表現多様体による同期問題の分類すること。
• 平坦ベクトル束上のHodge理論とグラフ接続ラプラシアンの間の関係を確立すること。
• 対応関係の局所的同期可能性に基づく、群作用の学習を目的とした新規アルゴリズムの提案すること。
• 合成データおよび実世界のデータセット（低温電子顕微鏡（cryo-EM）およびモルフォメトリクスデータを含む）において、アルゴリズムの有効性を実証すること。

提案手法

• 連結なグラフΓ上の平坦な主G束として各同期問題をモデル化し、基本群π₁(Γ)からGへのホロノミー表現を活用する。
• 関連する平坦ベクトル束上にねじれde Rham-Hodgeコチェーン複体を構築し、離散的状況下でもHodge理論を適用可能にする。
• この複体における最低次元のHodgeラプラシアンとしてグラフ接続ラプラシアンを実現し、微分幾何的不変量と結びつける。
• グローバルな1形式を定義し、接続の整合性条件を満たすことで、群表現上の内積の使用を可能にする。
• 表現上の重み付き内積を用いた変分最適化問題を定式化し、エッジ間の不整合を最小化する。
• 局所的同期可能性に基づいてデータを分割するヒューリスティックなアルゴリズム—SynCut—を提案し、GitHubに実装を公開する。

実験結果

リサーチクエスチョン

• RQ1 グラフ推論および最適化における同期問題は、幾何トポロジーを用いてどのように体系的に分類可能か？
• RQ2 基本群およびその表現は、同期解を特徴付ける上で果たす役割は何か？
• RQ3 Hodge理論は、群値データを伴うグラフ接続のような非可換離散的設定にどのように拡張可能か？
• RQ4 グラフ接続ラプラシアンは、どのようにねじれコhomological複体においてHodgeラプラシアンとして出現するか？
• RQ5 対応関係の局所的同期可能性は、データ分割におけるグローバルな群作用の学習にどのように活用可能か？

主な発見

• 本稿では、π₁(Γ)からGへの表現多様体を用いた同期問題の分類を確立し、解空間のための位相的不変量を提供した。
• グラフ接続ラプラシアンは、平坦ベクトル束上のねじれde Rham-Hodge複体における0次元Hodgeラプラシアンとして厳密に同定された。
• 提案されたSynCutアルゴリズムは、局所的同期可能性に基づいたデータ分割を的確に実行し、自動幾何的モルフォメトリクス分野で高い精度を達成した。
• 数値シミュレーションおよび低温電子顕微鏡（cryo-EM）からの実データから得られた結果、ノイズや不完全な対応データ下でも一貫性のある群作用を回復できた。
• 生物学的および幾何的データセットにおいて、元の対称性を回復するという点で、本手法は高い耐障害性を示した。MATLABコードは公開されており、再現性が保証された。
• 本フレームワークは、同期、Hodge理論、群作用の学習を一つの幾何的言語で統一し、新たなアルゴリズム的知見を可能にした。