[論文レビュー] Partial Recovery in the Graph Alignment Problem

Georgina Hall, Laurent Massoulié|arXiv (Cornell University)|Jul 1, 2020

Nanocluster Synthesis and Applications被引用数 4

ひとこと要約

本稿は、相関付きErdős-Rényiグラフにおけるグラフアラインメント問題における部分回復の必要十分条件を確立する。$ nqs = \Theta(1) $ のとき、特定のスパarsityおよび相関制約のもとで部分回復が可能であることが示され、ネットワークのデアノニマス化やシステム生物学などの応用分野における情報理論的限界を解明する重要な空白を埋める。

ABSTRACT

In this paper, we consider the graph alignment problem, which is the problem of recovering, given two graphs, a one-to-one mapping between nodes that maximizes edge overlap. This problem can be viewed as a noisy version of the well-known graph isomorphism problem and appears in many applications, including social network deanonymization and cellular biology. Our focus here is on partial recovery, i.e., we look for a one-to-one mapping which is correct on a fraction of the nodes of the graph rather than on all of them, and we assume that the two input graphs to the problem are correlated Erdős-Rényi graphs of parameters $(n,q,s)$. Our main contribution is then to give necessary and sufficient conditions on $(n,q,s)$ under which partial recovery is possible with high probability as the number of nodes $n$ goes to infinity. In particular, we show that it is possible to achieve partial recovery in the $nqs=Θ(1)$ regime under certain additional assumptions.

研究の動機と目的

• グラフアラインメントにおける部分回復の理論的理解の不足に取り組む。これは実用的に重要であるが、先行研究では十分に検討されていない領域である。
• 実世界の応用、例えばソーシャルネットワークのデアノニマス化やタンパク質相互作用ネットワークのアラインメントを、パラメータ $ (n, q, s) $ を持つ相関付きErdős-Rényiグラフでモデル化する。
• $ n \to \infty $ のとき、一定の割合 $ \alpha $ のノードが高確率で正しくアラインメント可能であるような情報理論的条件を導出する。
• 正確回復とほぼ正確回復の間のギャップを埋めるために、$ nqs = \Theta(1) $ の領域が部分回復に可能であることを特定する。
• Kullback-Leibler発散とスペクトル解析を用いて、必要および十分条件を提示し、フェーズ遷移の完全な特徴付けを提供する。

提案手法

• パラメータ $ (n, q, s) $ を持つ2つの相関付きErdős-Rényiグラフのノード間の隠れた置換を回復する問題としてグラフアラインメント問題を形式化する。ここで $ n $ はノード数、$ q $ はエッジ密度を制御し、$ s $ は相関を制御する。
• 部分回復を、すべてのノードではなく一定の割合 $ \alpha $ のノードを正しくアラインメントすることとして定義する。
• Kullback-Leibler発散を用いて必要条件を定義する。独立エッジと相関エッジの同時分布間のKullback-Leibler発散が小さすぎる（定数より小さい）場合、部分回復は不可能である。
• スペクトル解析とモーメント生成関数の技術を用いて十分条件を確立し、スパarsityの弱い仮定のもとで $ nqs = \Theta(1) $ が部分回復を可能にすることを示す。
• 行列の再帰関係と固有値分解を用いて、モーメント生成関数 $ \mathbb{E}[e^{tW}] $ を計算し、アラインメントスコアの期待値の閉形式表現を導出する。
• 2次方程式の解を用いて、変分境界における最適な $ z^* $ を導出し、尾確率の制御と集中性の確立に用いる。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ (n, q, s) $ にどのような条件が部分回復の高確率実現を保証するか？
• RQ2 $ nqs = \Theta(1) $ の領域は部分回復に十分であるか？ また、正確回復およびほぼ正確回復の領域と比べてどう異なるか？
• RQ3 エッジの相関と独立性の間のKullback-Leibler発散が、部分回復の実現可能性に果たす役割は何か？
• RQ4 スペクトル的およびモーメントベースの手法を用いて、相関付きErdős-Rényiモデルにおける部分回復の情報理論的限界を特徴付けられるか？
• RQ5 スパarsityと相関パラメータが、グラフアラインメントにおける部分回復の閾値をどのように相互に決定するか？

主な発見

• 部分回復の必要条件として、独立エッジと相関エッジの同時分布間のKullback-Leibler発散が0から離れている必要がある。発散が $ o(1) $ であれば、部分回復は不可能である。
• グラフが十分にスパースで、相関構造が弱い正則性条件を満たす限り、$ nqs = \Theta(1) $ のとき部分回復が可能である。
• 既知の情報理論的フェーズ遷移を拡張する。$ nqs = \log n + \omega(1) $ では正確回復が可能であり、$ nqs = \omega(1) $ ではほぼ正確回復が可能であるが、$ nqs = \Theta(1) $ が部分回復の閾値であることが示された。
• モーメント生成関数のアプローチと再帰行列の固有値分解を用いて、アラインメントスコアの期待値の正確な表現を導出した。
• 最適な変分パラメータ $ z^* $ は2次方程式の解として得られ、アラインメントスコアの尾確率に対するタイトな境界が得られた。
• 最終的なモーメント生成関数の式は $ \mathbb{E}[e^{tW}] = \alpha^{n+1} + \beta^{n+1} $ に簡略化され、導出された条件下で誤アラインメント確率の指数的減少を確認した。