[논문 리뷰] On a certain representation of the chromatic polynomial

Yu. V. Matiyasevich|ArXiv.org|2009. 03. 06.

Graph theory and applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 그래프 G의 변 하위그래프 H에 대한 유량 다항식 F(H,k)를 사용하여 색칠 다항식 C(G,k)의 새로운 표현을 제시하며, 색칠 다항식과 유량 다항식 사이의 깊은 대수적 연결을 확립한다. 핵심 결과는 C(G,k)를 하위그래프 H에 대한 가중합으로 정확히 표현하는 공식으로, 계수에 F(H,k)와 (1−k)의 거듭제곱이 포함되어 있어 기하적 이중성과 이중 그래프의 색칠 다항식을 통한 평면 그래프에서의 이중성 구조를 드러낸다.

ABSTRACT

The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following. A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*). B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.

연구 동기 및 목표

• 그래프 G의 변 하위그래프 H에 대한 유량 다항식 F(H,k)를 사용하여 색칠 다항식 C(G,k)의 새로운 대수적 표현을 수립하기.
• 이전 연구에서 도입된 가중함수 w(H,k)와 흐름 다항식과 같은 표준 그래프 이론적 불변량 사이의 관계를 명확히 하기.
• 특히 평면 그래프에서 색칠 다항식의 계산을 단순화할 수 있음을 보여주기.
• 유량 다항식을 통한 평면 그래프의 색칠 다항식과 그 기하적 이중 그래프 사이의 이중성 구조를 드러내기.

제안 방법

• 논문은 모든 변 하위그래프 H ≤ G에 대한 합으로서 색칠 다항식 C(G,k)의 새로운 공식을 유도하며, F(H,k)/(1−k)^m(H)로 가중하고 (k−1)^m(G)/k^{m(G)−n(G)}로 스케일링한다.
• 이전 연구에서 도입된 가중함수 w(H,k)가 w(H,k) = k^{m(H)−n(H)} F(H,k)를 만족함을 증명함으로써, 이 함수가 흐름 다항식과의 연결을 갖는다.
• 평면 그래프의 경우 기하적 이중성을 활용하여 F(H,k) = C(H*,k)/k임을 보이며, 여기서 H*는 H의 이중임을 이용해 C(G,k)의 이중 표현을 도출한다.
• m(G) > 1인 그래프에 대해 (k−1)^2 모듈로에서 합동식을 증명하여 C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2임을 보인다.
• 증명은 다항식환 R_k 위의 대수적 구조를 이용하여 균형 잡힌 유량과 적절한 색칠 간의 대응을 수립하며, 이중 그래프 간의 색칠과 유량 간의 대응을 활용한다.
• 오일러의 공식과 변 이중성을 사용하여 하위그래프 H ≤ G를 이중 그래프의 수축 L ≼ G*로 매핑함으로써, 공식의 두 형태 간의 변환을 가능하게 한다.

실험 결과

연구 질문

• RQ1 색칠 다항식은 하위그래프의 유량 다항식으로 어떻게 표현될 수 있는가?
• RQ2 가중함수 w(H,k)와 흐름 다항식 F(H,k) 사이의 정확한 대수적 관계는 무엇인가?
• RQ3 평면 그래프의 색칠 다항식은 그 이중 그래프의 색칠 다항식과 어떻게 관련이 있는가?
• RQ4 이 표현을 통해 색칠 다항식을 (k−1)^2 모듈로에서 단순화할 수 있는가?
• RQ5 일시모(isthmus)의 존재와 같은 그래프의 구조적 특성은 가중함수 w(H,k)의 행동에 어떤 영향을 미치는가?

주요 결과

• 색칠 다항식 C(G,k)는 정확히 C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)} × ∑_{H≤G} F(H,k)/(1−k)^m(H)로 표현되며, 색칠 다항식과 유량 다항식 사이의 직접적 연결을 확립한다.
• 이전 연구에서 도입된 가중함수 w(H,k)는 w(H,k) = k^{m(H)−n(H)} F(H,k)를 만족하며, 이는 일시모를 포함한 그래프에서의 값이 0이 되는 등의 알려진 성질을 설명한다.
• 평면 그래프의 경우 공식은 C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)+1} × ∑_{H≤G} C(H*,k)/(1−k)^m(H)로 변형되며, 이는 G와 그 이중 G* 사이의 이중성을 드러낸다.
• m(G) > 1일 경우 C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2임을 보이며, 이중 그래프의 색칠 다항식 간 강한 합동관계를 보여준다.
• 이 결과는 만약 평면 그래프 G가 이름 바꾸기를 제외하고 정확히 하나의 적절한 3색칠을 가진다면, 그 이중 그래프 G* 역시 3색칠 가능하다는 것을 의미하며, k=3을 대입하여 이를 보여준다.
• G*의 적절한 색칠과 G 위의 균형 잡힌 유량 사이의 대응은 k의 인자만큼의 차이를 제외하고 이항적(비단사적 아님)이며, 이 대응은 이중 변 방향과 스패닝 트리의 구성에 의해 수립된다.