[論文レビュー] GraphState - a tool for graph identification and labelling

D. Batkovich, Yu. Kirienko+2 more|arXiv (Cornell University)|Sep 29, 2014

Data Visualization and Analytics参考文献 2被引用数 16

ひとこと要約

GraphState は、ニコルのラベリング法に基づく正規化グラフ表現を用いて、効率的なグラフ同型性検出および部分グラフ探索を実現する Python ライブラリである。グラフを一意で辞書的に最小の形に変換することで、高速な同型性テスト、自己同型検出、および部分グラフマッチングが可能となり、フェニマン図や一般の無向グラフ（実際には O(n) の計算量）に対して特に効果的である。

ABSTRACT

We present python libraries for Feynman graphs manipulation. The key feature of these libraries is usage of generalization of graph representation offered by B. G. Nickel et al. In this approach graph is represented in some unique 'canonical' form that depends only on its combinatorial type. The uniqueness of graph representation gives an efficient way for isomorphism finding, searching for subgraphs and other graph manipulation tasks. Though offered libraries were originally designed for Feynman graphs, they might be useful for more general graph problems.

研究の動機と目的

• 理論物理学および組合せ論におけるグラフ同型性を特定する計算上の課題に対処すること。
• 複雑なグラフ構造内でのグラフ自己同型および部分グラフの検出に向けた効率的な解決策を提供すること。
• 一意で正規化された表現を保証することで、フェニマン図および関連する物理学的問題における堅牢なグラフ操作を可能にすること。
• 頂点ラベルに依存しない正規化形式を活用することで、物理学を越えた一般のグラフ問題をサポートすること。
• ユーザー定義のフィルタを用いて特定のグラフ理論的性質（連結性、非可約性など）を条件にした部分グラフ検索を容易にすること。

提案手法

• 頂点インデックス順に並べられ、辞書的にソートされた頂点隣接リストの列としてグラフを表現する（ニコル表記法）。
• すべての頂点置換のうち、辞書的に最小のニコル表記を特定することでニコルインデックスを計算する。
• 多くの場合、探索空間を O(n!) から O(n) にまで削減するための深さ優先探索と枝刈りを適用する。
• 不変でキャッシュされた表現を持つグラフ状態オブジェクトを実装し、効率的な操作とフィルタリングを可能にする。
• ユーザー定義のフィルタを内蔵した拡張型で不変なグラフインターフェースである Graphine を統合し、部分グラフ検索をサポートする。
• デコレータを用いてグラフフィルタ（例：1粒子可縮性、自己エネルギー線なし）を定義・合成し、条件に基づく部分グラフの取得を実現する。

実験結果

リサーチクエスチョン

• RQ1 すべての頂点置換のチェックを実施せずに、効率的なグラフ同型性検出は可能か？
• RQ2 頂点再ラベル化に対して不変であり、高速な比較を可能にする正規化グラフ表現を構築できるか？
• RQ3 正規化ラベリングの性能は、密なグラフおよび疎なグラフにおける部分グラフ探索および自己同型検出においてどの程度か？
• RQ4 フェニマン図を越えて、他のグラフタイプに対しても正規化表現を一般化できる範囲はどの程度か？
• RQ5 フィルタベースのグラフ走査を用いて、複雑な部分グラフクエリ（例：φ⁴理論におけるUV発散部分グラフ）を効率的に符号化・実行できるか？

主な発見

• ニコルインデックスは、頂点隣接リストの辞書的最小化に基づく一意で正規化されたグラフ表現を提供する。
• アルゴリズムにより、同型性テストの計算量は、多くのグラフに対して O(n!) から O(n) に削減されるが、完全に接続されたグラフでは最悪で O(n!) となる。
• GraphState は正規化形式の比較により、グラフ自己同型および部分グラフの検出を効率的に行える。
• Graphine は不変でキャッシュされたグラフ操作を可能にし、連結性、1粒子可縮性、自己エネルギー線なしといった合成可能なフィルタを用いた部分グラフ検索をサポートする。
• エッジ数およびループ数に基づく発散評価を実行するパワー・カウンティング・フィルタを用いて、φ⁴理論におけるUV発散部分グラフを効果的に同定できた。
• 本実装は、フェニマン図などの理論物理学的応用および同型性・部分グラフ検出を含む一般のグラフ理論的問題の両方に対して有効である。