[論文レビュー] Correlation Detection in Trees for Planted Graph Alignment

Luca Ganassali, Laurent Massoulié+1 more|arXiv (Cornell University)|Jul 15, 2021

Complex Network Analysis Techniques被引用数 6

ひとこと要約

本稿は、スパースな相関付きErdős-Rényiグラフにおける多項式時間グラフアラインメントの可能性を分析するため、木構造に基づく相関検出フレームワークを導入する。MPAlignと呼ばれるメッセージパッシングアルゴリズムを提案し、木構造の相関検出が可能である限り部分的アラインメントに成功する。これにより、効率的アラインメントの新たなパrameter領域が特定され、検出が不可能な場合に計算的に困難な領域が存在すると示唆する。

ABSTRACT

Motivated by alignment of correlated sparse random graphs, we introduce a hypothesis testing problem of deciding whether or not two random trees are correlated. We obtain sufficient conditions under which this testing is impossible or feasible. We propose MPAlign, a message-passing algorithm for graph alignment inspired by the tree correlation detection problem. We prove MPAlign to succeed in polynomial time at partial alignment whenever tree detection is feasible. As a result our analysis of tree detection reveals new ranges of parameters for which partial alignment of sparse random graphs is feasible in polynomial time. We then conjecture that graph alignment is not feasible in polynomial time when the associated tree detection problem is impossible. If true, this conjecture together with our sufficient conditions on tree detection impossibility would imply the existence of a hard phase for graph alignment, i.e. a parameter range where alignment cannot be done in polynomial time even though it is known to be feasible in non-polynomial time.

研究の動機と目的

• 木構造における相関検出が可能または不可能となる条件を特定し、グラフアラインメントの可能性の代理として用いる。
• 木構造の相関検出にインspiredされたメッセージパッシングアルゴリズムMPAlignを開発し、部分的グラフアラインメントを実現する。
• 木構造の相関検出の可能性とグラフアラインメントの計算複雑性との間の関係を確立する。
• 相関検出が情報論的に可能であるにもかかわらず、多項式時間内にアラインメントが不可能となる計算的ハードフェーズの存在を仮説立てる。
• 特に、交差グラフの巨大成分に関連して、スパースな状態における部分的アラインメントで達成可能な最大重複度を特定する。

提案手法

• パラメータn（ノード数）、λ（平均次数）、s（相関度）を用いた、相関付きErdős-Rényiモデルにより2つの相関付きスパースランダムグラフをモデル化する。
• ノードを根とする木構造における仮説検定問題にグラフアラインメント問題を還元し、2つの木が相関しているか独立しているかを分析する。
• 根から始まる木の成長を分枝過程でモデル化し、辺の存在は相関付きベルヌーイ分布に従う。
• 相関下での2つの木の同時分布と独立下での分布を比較するため、Radon-Nikodym微分を用いた測度変換技術を適用する。
• 推定器の性能指標として重複比を導入し、正しくアラインメントされたノードの割合を測定する。
• 局所的な木構造上で動作するメッセージパッシングアルゴリズムMPAlignを採用し、木構造の検出が可能であれば多項式時間内に部分的アラインメントを達成する。

実験結果

リサーチクエスチョン

• RQ1 ランダム木における相関検出が可能または不可能となる条件は何か？
• RQ2 木構造の相関検出が可能である場合に、MPAlignのようなメッセージパッシングアルゴリズムが多項式時間内に部分的アラインメントを達成できるか？
• RQ3 相関検出が情報論的に可能であるにもかかわらず、多項式時間内にアラインメントが不可能となる計算的ハードフェーズが存在するか？
• RQ4 スパースなランダムグラフにおける部分的アラインメントで達成可能な最適な重複度は何か？また、これとアラインメントされた交差グラフの構造とはどのように関係するか？
• RQ5 木構造の相関検出に関する結果は、正則または局所的に木に似たグラフといったより複雑なグラフモデルへ一般化可能か？

主な発見

• MPAlignは、木構造の相関検出が可能である限り、多項式時間内に部分的アラインメントに成功し、木レベルの検出とグラフレベルのアラインメントとの直接的な関連を確立する。
• 本稿は、λおよびsに関して、従来の閾値を超えて、スパースランダムグラフの部分的アラインメントが多項式時間内に実現可能な新たなパrameter領域を同定する。
• 木構造の相関検出が不可能な場合、本稿はグラフアラインメントにおけるハードフェーズの存在を仮説立てる。このフェーズでは、非多項式時間内に解決可能であっても、多項式時間アルゴリズムでは成功できない。
• 同型の場合（s = 1）では、達成可能な最大重複度は1 − pext(λ) − λ(λ + 5)e−2λ以上である。ここでpext(λ)はポアソン(λ)の子孫分布をもつガルトン＝ワトソン木の生存確率である。
• スパース状態における信頼性の高いアラインメントが可能なノードの集合は、ほとんど完全にアラインメントされた交差グラフの巨大成分に含まれる。
• 解析により、任意の推定器の重複度が交差グラフにおける不変ノードの構造によって制限されることを示し、これらのノードがいかなる実現可能なアラインメントの核を形成していることが示唆される。