[论文解读] Potts partition function and isomorphisms of trees

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

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

一句话总结

本文通過證明所有「良好」類別的頂點權重樹的Stanley同構猜想成立，支持了Stanley猜想：對稱色 polynomial 可區分非同構的樹。利用多項式時間轉換，本文表明權重樹之間的同構關係在衍生轉換下保持不變，從而透過Tutte多項式將圖同構與Potts劃分函數聯繫起來。

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.

研究动机与目标

• 探討自然圖函數（特別是Potts劃分函數）是否能判斷圖同構。
• 檢驗Stanley猜想的有效性，即對稱色 polynomial 是否可區分所有非同構的樹。
• 確立同構猜想在所有「良好」類別的頂點權重樹中成立。
• 展示一種多項式時間轉換，可保持權重樹之間的同構關係，從而實現有效的同構測試。

提出的方法

• 本研究採用Potts劃分函數作為自然圖函數，其在統計物理中等價於Tutte多項式。
• 定義「良好」類別的頂點權重樹為在特定多項式時間轉換下封閉的類別。
• 該轉換將每棵權重樹(T, w)映射至另一棵權重樹(T′, w′)，使得同構關係得以保持。
• 該方法證明：該類中兩棵樹同構，當且僅當它們的轉換後對應物同構。
• 利用Potts劃分函數的結構性質，推導出樹的同構不變量。
• 該方法透過對稱色 polynomial 將代數圖論與統計力學聯繫起來。

实验结果

研究问题

• RQ1 Potts劃分函數是否為樹同構的完備不變量？
• RQ2 根據Stanley猜想，對稱色 polynomial 是否可區分所有非同構的樹？
• RQ3 是否存在自然的頂點權重樹類別，使得同構猜想成立？
• RQ4 權重樹之間的同構關係是否可在樹結構與權重的多項式時間轉換下保持？
• RQ5 Potts劃分函數是否足以判斷豐富類別的頂點權重樹之間的同構？

主要发现

• Stanley同構猜想對所有「良好」類別的頂點權重樹均成立。
• 存在一種多項式時間演算法，可將任意權重樹(T, w)轉換為另一權重樹(T′, w′)，使得同構關係得以保持。
• 所有頂點權重樹的類別在此轉換下封閉，且所得類別C′仍為「良好」類別。
• 原始類別中兩棵權重樹同構，當且僅當它們的轉換後對應物同構。
• Potts劃分函數作為自然圖函數，支援在這些結構化類別中檢測同構。
• 研究結果為對稱色 polynomial 可完全區分非同構樹提供了強有力的證據。