[論文レビュー] Potts partition function and isomorphisms of trees

Martin Loebl, Jean‐Sébastien Sereni|arXiv (Cornell University)|May 16, 2014

Advanced Combinatorial Mathematics参考文献 24被引用数 5

ひとこと要約

この論文は、頂点重み付き木の「良い」クラスに対してスタニーリーの同型写像の予想が成り立つことを示すことで、対称的彩色多項式が非同型な木を区別することを支持している。多項式時間の変換を用いて、重み付き木の同型性が導出された変換のもとで保存されることを示し、トゥッテ多項式を通じてグラフ同型性とポッツ分配関数を結びつけている。

ABSTRACT

Abstract. We explore the well-known Stanley conjecture stat-ing that the symmetric chromatic polynomial distinguishes non-isomorphic trees. The graph isomorphism problem has been exten-sively studied for decades. There are strong algorithmic advances, but our research concentrates on the following question: is there a natu-ral function on graphs that decides graph isomorphism? Curiously, in mathematics and in physics the concepts of a “natural ” graph func-tion bear strong similarities: it essentially means that the function comes from the Tutte polynomial, which in physics is called the Potts partition function. Somewhat surprisingly, after decades of study, this bold project is still not infirmed. The aim of our research is to present a result that supports the project: we prove that the Stanley isomor-phism conjecture holds for every good class of vertex-weighted trees. Good classes are rich: letting C be the class of all vertex-weighted trees, one can obtain for each weighted tree (T,w) a weighted tree (T ′, w′) in polynomial time, so that C ′: = {(T ′, w′) : (T,w) ∈ C} is good and two elements (A, b) and (X, y) of C are isomorphic if and only if (A′, b′) and (X ′, y′) are. 1.

研究の動機と目的

• 自然なグラフ関数（特にポッツ分配関数）がグラフ同型性を決定できるかどうかを調査すること。
• スタニーリーの予想、すなわち対称的彩色多項式が非同型な木を区別できるかどうかを検証すること。
• 頂点重み付き木のすべての「良い」クラスに対して同型写像の予想が成り立つことを確立すること。
• 重み付き木間の同型性を保存する多項式時間変換を提示し、効果的な同型性テストを可能にすること。

提案手法

• 研究では、統計物理学におけるトゥッテ多項式と同等のポッツ分配関数を自然なグラフ関数として採用している。
• 特定の多項式時間変換に関して閉じているクラスを「良い」頂点重み付き木のクラスと定義している。
• 変換は各重み付き木 (T, w) を別の重み付き木 (T′, w′) に写像し、同型性が保存されるようにしている。
• この方法により、クラスに属する2つの木が同型であるための必要十分条件が、それらの変換後の対応物が同型であることであると証明している。
• ポッツ分配関数の構造的性質を活用して、木に対する同型不変量を導出している。
• 代数的グラフ理論と統計力学を、対称的彩色多項式を通じて結びつけている。

実験結果

リサーチクエスチョン

• RQ1 ポッツ分配関数は木の同型性の完全不変量として機能するか？
• RQ2 スタニーリーの予想が示すように、対称的彩色多項式はすべての非同型な木を区別できるか？
• RQ3 同型写像の予想が成り立つ自然な頂点重み付き木のクラスは存在するか？
• RQ4 木の構造と重みに対して多項式時間の変換を施しても、重み付き木の同型性が保存されるか？
• RQ5 ポッツ分配関数は、頂点重み付き木の豊かなクラスにおける同型性を十分に決定できるか？

主な発見

• すべての「良い」頂点重み付き木のクラスに対してスタニーリーの同型写像の予想が成り立つ。
• 任意の重み付き木 (T, w) を別の重み付き木 (T′, w′) に変換する多項式時間のアルゴリズムが存在し、同型性が保存される。
• すべての頂点重み付き木のクラスはこの変換に関して閉じており、その結果得られるクラス C′ も依然として「良い」クラスのままである。
• 元のクラスに属する2つの重み付き木が同型であるための必要十分条件は、それらの変換後の対応物が同型であることである。
• 自然なグラフ関数としてのポッツ分配関数は、これらの構造的クラスにおける同型性の検出を支援している。
• 結果として、対称的彩色多項式が非同型な木を完全に区別できる可能性が強く示唆されている。