[논문 리뷰] Symmetric Chromatic Polynomial of Trees

Isaac Smith, Zane Smith외 1명|arXiv (Cornell University)|2015. 05. 07.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 12

한 줄 요약

이 논문은 비이소모르픽 트리가 동일한 대칭 색칠 다항식을 가지는 스탠리의 추측을 조사한다. 23개 이하 정점까지의 트리에 대한 컴퓨터 기반의 순열을 통해 k-컷(간선 부분집합 분할)을 계산하여, 비이소모르픽 트리가 동일한 대칭 색칠 다항식을 가지는 최소 반례를 규명한다. 주요 기여는 1-, 2-, 3-, 4-컷이 일치하는 최소 크기의 트리 쌍을 규명하여 중심점 기반의 분지 교환 구조적 패턴을 드러내는 데 있다.

ABSTRACT

In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.

연구 동기 및 목표

• 스탠리의 추측, 즉 대칭 색칠 다항식이 비이소모르픽 트리를 구별한다는 것을 컴퓨터적으로 검증한다.
• k = 1, 2, 3, 4에 대해 동일한 k-컷을 공유하는 비이소모르픽 트리의 최소 쌍을 규명한다.
• 특히 중심점 기반 분지 교환을 포함한, k-컷이 일치하는 트리의 구조적 패턴을 분석한다.
• 단일 중심점 트리에 대한 이전 결과의 최적성 검증을 수행하고, 이를 임의의 트리로 확장한다.
• 중앙 간선 분할을 통한 k-컷이 일치하는 트리 생성의 일반 메커니즘을 제안한다.

제안 방법

• 다항식 $X_G$ 를 $X_G = \sum_{S \subseteq E} (-1)^{n-1-|S|} p_{\theta_G(S)}$ 공식을 통해 거듭제곱 합 대칭 다항식으로 표현하며, 여기서 $\theta_G(S)$ 는 $S$ 에 포함된 간선을 제거한 후의 컴포넌트 내 정점 수 분할이다.
• 모든 부분집합 $S \subseteq E$ 에 대해 $\theta_G(S)$ 의 멀티세트를 사용하여 $X_G$ 의 표준 표현을 정의하며, 이는 대칭 다항식을 유일하게 결정한다.
• 23개 이하 정점까지의 비이소모르픽 트리를 모두 순열하고, $k = 1, 2, 3, 4$ 에 대해 각 트리의 k-컷 멀티세트를 계산하는 컴퓨터 알고리즘을 구현한다.
• k-컷을 $\{\theta_G(S) \mid |S| = k\}$ 로 정의하고, 이들을 서로 다른 트리 간에 비교하여 비이소모르픽 쌍이 동일한 k-컷을 가지는지 확인한다.
• 특히 두 정점 중심점과 대칭적 분지 교환을 포함하는 최소 반례 쌍의 구조적 유사성을 분석한다.
• 중심 간선을 분할하면, 동일한 k-컷을 가진 새로운 쌍이 $n+1$ 개 정점에서 유도된다는 관찰을 활용한다.

실험 결과

연구 질문

• RQ1 동일한 1-컷을 공유하는 비이소모르픽 트리의 최소 쌍은 무엇이며, 이들이 공유하는 구조적 특징은 무엇인가?
• RQ2 오렐라나와 스코트의 결과, 즉 레이블된 2-컷이 단일 중심점 트리를 구별한다는 것을 일반 트리로 확장할 수 있는가?
• RQ3 비이소모르픽 트리가 $k = 2, 3, 4$ 에 대해 동일한 k-컷을 가지기 위해 필요한 최소 정점 수는 얼마인가?
• RQ4 예를 들어 중심점 기반 분지 교환과 같은 일반적인 구조적 메커니즘이 존재하는가? 이는 k-컷이 일치하는 트리를 생성한다.
• RQ5 k-컷이 일치하는 최소 쌍의 중심 간선을 분할하면 항상 $n+1$ 개 정점에서 동일한 k-컷을 가진 새로운 쌍이 생성되는가?

주요 결과

• 동일한 1-컷을 공유하는 비이소모르픽 트리의 최소 쌍은 7개 정점으로, 총 117개 트리 중 2개이다.
• 동일한 2-컷을 공유하는 최소 쌍은 10개 정점이며, 두 트리 모두 중심 간선 기준으로 대칭적 분지 교환을 하는 이중 중심점 트리이다.
• 3-컷의 경우 최소 예외는 16개 정점에서 발생하며, 4-컷의 경우 22개 정점에서 발생한다. 23개 정점 쌍은 22개 정점 쌍의 중심 간선 분할로 유도된다.
• 23개 정점에서 2-컷으로 구별되지 않는 트리의 밀도는 99%를 초과하여, 대부분의 트리가 2-컷으로 유일하게 결정되지 않음을 시사한다.
• k=2,3,4에 대한 모든 최소 반례는 두 중심점 사이의 중심 간선을 축으로 하여 대칭적 분지 교환을 보이는 구조적 패턴을 나타낸다.
• 데이터는 중심 간선을 분할하면, 동일한 k-컷을 가진 두 중심점 트리 쌍이 항상 $n+1$ 개 정점에서 새로운 쌍을 생성한다는 추측을 지지한다.