[논문 리뷰] Combinatorial reciprocity for the chromatic polynomial and the chromatic symmetric function

Olivier Bernardi, Philippe Nadeau|arXiv (Cornell University)|2019. 04. 02.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 8

한 줄 요약

이 논문은 가역 방향성 간선과 힙 이론을 사용하여 색칠 다항식 및 그 도함수의 음의 정수에서의 평가에 대한 조합적 해석을 수립한다. 이는 스탠리와 그린-자슬라프스키의 고전적 결과를 일반화하며, $(-1)^{n-i}\chi_G^{(i)}(-j)$가 첫 $i$개 부분집합이 각각 최소 정점에서 고유한 소스를 가지는 서로소 정점 부분집합의 튜플을 세는 것을 보여주며, 힙 기반의 생성함수를 통해 통합된 프레임워크를 제공한다.

ABSTRACT

Let G be a graph, and let $\\chi$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $\\chi$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.

연구 동기 및 목표

• 음의 정수에서 색칠 다항식에 대한 고전적 조합적 상반성 결과를 일반화하기 위해.
• 가역 방향성 간선과 정점 분할에 기반한 동일한 프레임워크를 사용하여 스탠리의 해석과 그린-자슬라프스키의 해석을 통합하기 위해.
• 대칭 함수 이론을 활용하여 이러한 해석을 색칠 대칭 함수 수준으로 확장하기 위해.
• 겔세의 작업에 영감을 받아 힙 이론과 생성함수를 기반으로 한 새로운 증명 기법을 제공하기 위해.
• 다색 칠하기와 부호 칠하기 해석을 가능하게 하는 대칭 함수의 정밀화된 상반성 정리 수립하기 위해.

제안 방법

• 저자들은 각 정점 $i$가 $m_i$개의 복제본을 가지는 올린 그래프 $G^{\mathbf{m}}$의 가역 방향성 간선을 사용하여 $G$-힙을 정의한다.
• 힙 이론을 활용하여 생성함수를 통해 적절한 색칠과 가역 방향성 간선을 인코딩하며, 특히 곱 $\prod_{i=1}^\infty T(z_i \mathbf{x})$를 사용한다.
• 핵심 항등식은 색칠 대칭 함수 $X_G(\mathbf{z})$를 서로소 정점 분할 $U \uplus V = [n]$에 대한 합으로 연결하며, $G[U]$에는 가역 방향성 간선이 있고, $G[V]$에는 내림차순이 없는 색칠이 있다.
• 색칠에 대한 부호화된 결과와 가역 방향성 간선을 통합하는 생성함수 항등식 $X_G(\mathbf{y} - \mathbf{z})$를 유도한다.
• 이 방법은 대칭 함수의 쌍대성과 펠리스틱 치환을 기반으로 하며, 특히 $\omega_{\mathbf{z}}$를 사용하여 $X_G(\mathbf{y}+\mathbf{z})$와 $X_G(\mathbf{y}-\mathbf{z})$를 연결한다.
• 증명 기법은 부분적으로 교환 가능한 모노이드의 조합론에 뿌리를 두며, 겔세의 힙 수세기 접근을 확장한다.

실험 결과

연구 질문

• RQ1 임의의 음이 아닌 정수 $i,j$에 대해 색칠 다항식 $\chi_G^{(i)}(-j)$의 음의 정수에서의 평가를 어떻게 조합적으로 해석할 수 있는가?
• RQ2 스탠리의 해석과 그린-자슬라프스키의 상반성 결과는 하나의 조합적 프레임워크 아래에서 통합될 수 있는가?
• RQ3 색칠 대칭 함수 $X_G(\mathbf{z})$ 수준에서 색칠 다항식 상반성에 대한 대칭 함수 정밀화는 무엇이 있는가?
• RQ4 힙 이론적 방법과 생성함수를 통해 적절한 색칠과 가역 방향성 간선을 어떻게 통일적으로 다룰 수 있는가?
• RQ5 다색 칠하기와 부호 칠하기 해석은 동일한 프레임워크에서 유도될 수 있는가?

주요 결과

• $(-1)^{n-i}\chi_G^{(i)}(-j)$는 $[n]$을 덮는 $i+j$개의 서로소이고 공백이 아닌 정점 부분집합 $V_1,\dots,V_{i+j}$의 튜플을 세며, 각 부분집합 $V_k$에는 $G[V_k]$의 가역 방향성 간선 $\gamma_k$가 부여되며, 첫 $i$개 부분집합은 각각 최소 정점에서 고유한 소스를 가진다.
• $i=0$일 때, 결과는 그린과 자슬라프스키의 $\chi_G(-j)$에 대한 해석을 회복한다. 즉, $j$개의 소스를 가진 $G$의 가역 방향성 간선의 수이다.
• $j=0$일 때, 결과는 스탠리의 결과를 회복한다. 즉, $(-1)^n\chi_G^{(i)}(0)$는 각 소스가 최소 정점에 있는 $i$개의 소스를 가진 가역 방향성 간선의 수를 세는 것이다.
• 색칠 대칭 함수 $X_G(\mathbf{y} - \mathbf{z})$는 가역 방향성 간선 $\gamma$와 $\gamma$-내림차순이 없는 색칠 $f$에 대한 합으로 표현되며, 색상은 $\mathbb{Z} \setminus \{0\}$에 속하고, 음수 색상은 인접하지 않다.
• 항등식 $X_G(\mathbf{y} - \mathbf{z}) = \sum_{(\gamma,f)} \prod_i y_i^{|f^{-1}(-i)|} z_i^{|f^{-1}(i)|}$는 이전 결과를 일반화하며, 부호 칠하기와 가역 방향성 간선을 모두 포함한다.
• 이 프레임워크는 다색 칠하기로 확장 가능하다: $X_{G,\mathbf{m}}(\mathbf{z}) = [\mathbf{x}^\mathbf{m}] \prod_{i=1}^\infty T(z_i \mathbf{x})$는 정규화를 제외한 색칠 대칭 함수이며, 상반성 결과는 이에 대해서도 적용 가능하다.