[논문 리뷰] On Sylvester Colorings of Cubic Graphs

Anush Hakobyan, Vahan Mkrtchyan|arXiv (Cornell University)|2015. 11. 08.

Advanced Graph Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 삼차 가짜그래프에 대한 실베스터 색칠 추측을 증명하고 두 가지 핵심 결과를 확립한다: (1) 모든 삼차 그래프는 실베스터 조건을 만족하는 정점 비율이 최소 4/5 이상인 S-색칠을 갖는다; (2) 모든 클로우-free 삼차 그래프는 완전한 S-색칠을 갖는다. 이러한 결과들은 삼차 그래프에서의 간선 색칠 이론을 발전시키며, 10개의 정점을 가진 실베스터 그래프 S가 모든 삼차 그래프에 대해 일반 색칠자라는 광범위한 추측을 뒷받침한다.

ABSTRACT

If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.

연구 동기 및 목표

• 삼차 가짜그래프에 대한 실베스터 색칠 추측을 증명하는 것.
• 일반 삼차 그래프에서 S-색칠에 대해 4/5 정점 만족도의 하한을 확립하는 것.
• 모든 클로우-free 삼차 그래프가 완전한 S-색칠을 갖는다는 것을 증명하는 것.
• Petersen 그래프 P가 연결된 단순 삼차 그래프 중에서 P ≺ G를 만족하는 유일한 그래프라는 것을 보여주는 것.
• 완전 매칭이 없는 16개의 정점을 가진 삼차 그래프 S₁₆가 S-색칠을 갖지 않는다는 것을 보여주는 것.

제안 방법

• 각 정점 x ∈ G에서의 인cidnet 엣지들이 H의 어떤 정점의 엣지 집합과 일치하도록 하는 엣지-색칠 사상 f: E(G) → E(H)의 사용.
• 부분그래프 및 가짜그래프에서의 제한 및 확장 기법을 통한 S-색칠의 구성.
• 그래프 간의 체인 색칠에 대해 ≺ 관계의 추이성의 적용.
• 정점들을 삼각형으로 대체하는 구조적 분해: H를 G와 가짜그래프를 통해 연결.
• 클로우-free 그래프에 대한 |V(G)|에 대한 귀납법: 이러한 그래프의 알려진 특성화를 활용.
• S₁₂가 S₄에서 정점-삼각형 치환을 통해 유도될 수 있으며, 가짜그래프의 S₄-색칠 가능성을 활용하여 S₁₂로 확장한 후 S로 확장하는 것.

실험 결과

연구 질문

• RQ1 실베스터 색칠 추측이 주장하는 바와 같이, 모든 삼차 가짜그래프가 S-색칠을 갖는가?
• RQ2 어느 삼차 그래프의 정점 중 최소 4/5가 실베스터 조건을 만족하는 색칠을 구성할 수 있는가?
• RQ3 모든 클로우-free 삼차 그래프가 완전한 S-색칠을 갖는가?
• RQ4 Petersen 그래프 P는 연결된 단순 삼차 그래프 중에서 P ≺ G를 만족하는 유일한 그래프인가?
• RQ5 완전 매칭이 없는 16개의 정점을 가진 삼차 그래프 S₁₆는 S-색칠을 갖는가?

주요 결과

• 모든 삼차 가짜그래프에 대해 실베스터 색칠 추측이 성립한다.
• 모든 삼차 그래프 G에 대해, 실베스터 조건을 만족하는 정점 수가 최소 4/5 이상인 S-색칠이 존재한다. 즉, |V(f)| ≥ (4/5)|V(G)|.
• 모든 클로우-free 삼차 그래프는 완전한 S-색칠을 갖는다. 즉, S ≺ G.
• Petersen 그래프 P는 P ≺ G를 만족하는 연결된 단순 삼차 그래프 중 유일한 그래프이다.
• 완전 매칭이 없는 16개의 정점을 가진 삼차 그래프 S₁₆는 S-색칠을 갖지 않으며, 이는 완전 매칭이 없고 S-색칠이 불가능하기 때문이다.