[논문 리뷰] Potts partition function and isomorphisms of trees

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

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′)로 매핑하며, 동형사상이 유지된다.
• 이 방법은 클래스 내 두 트리가 동형일 필요와 충분조건이 그들의 변환된 대응체가 동형일 때임을 증명한다.
• 푸츠 분할 함수의 구조적 성질을 활용하여 트리에 대한 동형사상 불변량을 유추한다.
• 대칭 색칠 다항식을 통해 대수적 그래프 이론과 통계역학을 연결하는 접근법을 사용한다.

실험 결과

연구 질문

• RQ1 푸츠 분할 함수는 트리 동형사상에 대한 완전한 불변량인가?
• RQ2 스탠리의 추측에 따르면, 대칭 색칠 다항식이 모든 비동형 트리를 구별할 수 있는가?
• RQ3 동형사상 추측이 성립하는 자연스러운 정점 가중치가 부여된 트리의 클래스가 존재하는가?
• RQ4 가중치가 부여된 트리 간의 동형사상이 트리의 구조와 가중치에 대한 다항시간 변환 하에서도 유지되는가?
• RQ5 푸츠 분할 함수는 정점 가중치가 부여된 트리의 풍부한 클래스에서 동형사상을 결정하는 데에 충분한가?

주요 결과

• 모든 '좋은' 정점 가중치가 부여된 트리의 클래스에 대해 스탠리의 동형사상 추측이 성립한다.
• 모든 가중치가 부여된 트리 (T, w)를 다른 가중치가 부여된 트리 (T′, w′)로 변환하는 다항시간 알고리즘이 존재하며, 이 과정에서 동형사상이 유지된다.
• 모든 정점 가중치가 부여된 트리의 클래스는 이 변환에 대해 닫혀 있으며, 결과로 얻어진 클래스 C′ 역시 '좋은' 클래스로 유지된다.
• 원래 클래스 내 두 가중치가 부여된 트리는 동형일 필요와 충분조건이 그들의 변환된 대응체가 동형일 때이다.
• 자연스러운 그래프 함수인 푸츠 분할 함수는 이러한 구조화된 클래스에서 동형사상 탐지를 지원한다.
• 결과적으로 대칭 색칠 다항식이 비동형 트리를 완전히 구별할 수 있다는 강력한 증거를 제공한다.