[論文レビュー] (Probably) Concave Graph Matching

Haggai Maron, Yaron Lipman|arXiv (Cornell University)|Jul 9, 2018

Graph Theory and Algorithms被引用数 11

ひとこと要約

本稿では、グラフマッチングにおける条件付きで凹型かつおそらく条件付きで凹型のエネルギーの概念を導入し、マッチングポリトープ（例：二重確率行列）上でのそのエネルギーの局所的最小値が高確率で置換（permutation）であることを証明する。この手法により、元の問題の最適解を保つ凹型の緩和を保証することで、投影を不要とする最適化が可能となり、緩和に基づくグラフマッチングアルゴリズムの信頼性が著しく向上する。

ABSTRACT

In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).

研究の動機と目的

• 特定のケースに限定されない、グラフマッチングにおける凹型緩和の概念を一般化・形式化すること。
• 通常の凸緩和の限界に対処し、非置換解が得られるため後続の投影処理が必要となる問題を解消すること。
• マッチングポリトープ上での条件付きで凹型のエネルギーの局所的最小値が、高確率で極点（すなわち置換）に一致することを証明し、投影処理の必要性を排除すること。
• 元のNP困難なグラフマッチング問題の最適解が、これらの緩和によって保たれることを示すこと。
• 幾何的および表面ベースのグラフに特に適した、非凸的で凹型に似たエネルギーを実用的グラフマッチング応用に用いるための理論的基盤を提供すること。

提案手法

• 二重確率ポリトープの接空間である線形部分空間 lin(DS) 上でヘッセ行列 M が負定値であるような、条件付きで凹型エネルギーの概念を導入する。
• ランダムな構成に対してヘッセ行列が高確率で負定値であるようなエネルギーを「おそらく条件付きで凹型」と定義し、確率的保証を可能にする。
• 地図距離上のヒートカーネルやガウスカーネルなどの、条件付き正定値または負定値関数から導かれるアフィニティ行列にこの枠組みを適用する。
• フランク＝ウォルフ法を用いて、二重確率集合上でエネルギー E2(X) = -tr(BX^TAX) を最適化し、効率性を高めるために特別な線形割り当てソルバを活用する。
• 二段階最適化を採用：まず点群を縮小（n=300）して最適化を行い、その後、最良の結果を初期値として用いて n=1500 にアップサンプリングする。
• SHREC07ベンチマークおよびマウスの骨表面データセットを用いて手法を検証し、形状の軌跡を可視化するためにMDSを用いる。

実験結果

リサーチクエスチョン

• RQ1 特定のエネルギー形式に限定されない、グラフマッチングにおける凹型緩和の概念を形式的に一般化できるか？
• RQ2 アフィニティ行列 A と B がどのような条件下で、エネルギー E2(X) = -tr(BX^TAX) が条件付きで凹型となるか？
• RQ3 二重確率ポリトープ上での条件付きで凹型エネルギーの局所的最小値が、高確率で置換に一致するか？
• RQ4 この枠組みは、地図距離や表面埋め込みに基づく幾何的グラフに対しても適用可能か？
• RQ5 本手法は、投影ステップを必要とせずに、従来の緩和手法に比べて解の質と頑健性において優れているか？

主な発見

• アフィニティ行列 A と B が、ヒートカーネルやガウス関数などの1次の条件付き正定値または負定値関数から構成される場合、エネルギー E2(X) のヘッセ行列は条件付きで凹型である。
• このようなアフィニティ行列に対して、二重確率ポリトープ上での緩和エネルギーのすべての局所的最小値は、高確率で置換に一致し、後続の投影処理が不要になる。
• SHREC07ベンチマークにおいて、BIM やヒートカーネル、ガウスベースの緩和手法と比較して、平均的な地図距離マッチング誤差が低く抑えられ、1対の形状あたり平均16分の実行時間であった。
• 67例のマウス骨表面の解剖的データセットにおいて、MDSによる可視化により、異なる骨種類に対して明確で整合性のある時間的軌跡が得られ、本手法は径の成長段階における重要な成長期を正しく同定した。
• エネルギー E2(X) がガウスカーネルおよびヒートカーネルのアフィニティに対して凹型緩和であることが示され、フランク＝ウォルフ法による効率的な局所最適化に適していることが確認された。
• 本枠組みは、Vestner ら（2017）およびBoyarski ら（2017）の先行研究を一般化し、グラフマッチングにおける非凸緩和の使用に広い理論的基盤を提供した。