[논문 리뷰] Smaller counterexamples to Hedetniemi's conjecture

Marcin Wrochna|arXiv (Cornell University)|2020. 12. 25.

Topological and Geometric Data Analysis참고 문헌 11인용 수 4

한 줄 요약

이 논문은 5-색칠에 대한 헤데니에미의 추측에 대한 알려진 최소 크기의 반례를 구축한다. 이는 텐서 곱의 색칠 수를 각 인자보다 낮추는 데 성공한다. 렉소그래픽 곱과 지수 그래프의 정교한 분석을 통해 Tardif의 프레임워크를 수정함으로써, G가 4,686개 정점, H가 30개 정점인 반례를 제시한다. 이는 c=5에 대해 이전 결과보다 크게 향상된 것이다.

ABSTRACT

Hedetniemi's conjecture~\cite{hedetniemi1966homomorphisms} for $c$-colorings states that the tensor product $G imes H$ is $c$-colorable if and only if $G$ or $H$ is $c$-colorable. El-Zahar and Sauer~\cite{El-ZaharS85} proved it for $c = 3$. In a recent breakthrough, Shitov~\cite{Shitov19} showed counterexamples, for large $c$. While Shitov's proof is already remarkably short, Zhu \cite{Zhu20} simplified the argument and gave a more explicit counterexample for $c=125$. Tardif \cite{Tardif20} showed that a modification of the arguments allows to use ``wide colorings'' to obtain counterexamples for $c=14$, and $c=13$ with a more involved use of lexicographic products. This note presents two more small modifications, resulting in counterexamples for $c=5$ (with $G$ and $H$ having 4686 and 30 vertices, respectively).

연구 동기 및 목표

• c-색칠에 대해 헤데니에미의 추측에 대한 더 작은 반례를 구축하는 것, 특히 c=5와 같이 작은 c에 대해.
• 텐서 곱 G×H에서 χ(G×H) ≤ c 이지만 χ(G) > c 이고 χ(H) > c 인 그래프 G와 H의 크기를 줄이는 것.
• Tardif와 Zhu의 기존 방법을 개선하여 렉소그래픽 곱을 사용한 새로운 구성과 지수 그래프에서의 거의 일정 함수의 분석을 도입함으로써 방법을 정교화하는 것.
• c=5에 대해 최소 정점 수를 갖는 반례를 얻어 c=13과 c=14에 대한 이전 결과를 향상시키는 것.

제안 방법

• Tardif의 프레임워크에서 그래프 F를 Γ₅F가 3-색칠 가능해지도록 보장하기 위해 Ω₁₃K₆로 대체함.
• 렉소그래픽 곱 구조 Ω_d(K_n[K_k]) = Ω_dK_{n·k}를 사용하여 Γ_dF의 색칠 조건을 재구성함으로써 매개변수 조정을 단순화함.
• G 위에서 정의된 특정 함수 h^{(d)}_{i,j}와 g^q_i를 통해 지수 그래프 K_c^G 내에서 색깔 전파를 모델링하고, 길이 d의 산책을 따라 색깔이 어떻게 전파되는지 추적함.
• K_c^G의 가짜 c-색칠 조건 하에서 이러한 함수의 색칠 행동을 분석하여, 크기 c−k의 클리크가 오직 k개의 색깔로만 칠져야 한다는 점을 보이고, c ≥ 2k+1일 때 모순이 발생함을 보임.
• 상수 함수, h^{q,(d)}_{i,j}, g^q_i 함수를 사용하여 H = K_c^G의 명시적 정점 집합을 구성함으로써 |V(H)|를 최소화하면서도 모순을 유지함.
• 산책 기반 색깔 전파의 깊이 d(예: c=5일 때 d=7)를 최적화하여 필요한 함수 수와 H의 정점 수를 줄임.

실험 결과

연구 질문

• RQ1 이전에 알려진 바보다 훨씬 작은 그래프로 c=5에 대해 헤데니에미의 추측에 대한 반례를 구성할 수 있는가?
• RQ2 Tardif의 프레임워크에 어떤 수정이 G와 H의 정점 수를 줄이면서도 반례 성질을 유지할 수 있게 하는가?
• RQ3 렉소그래픽 곱과 지수 그래프 함수의 사용이 반례의 크기를 최소화하는 데 어떻게 기여하는가?
• RQ4 c=5에 대해 헤데니에미의 추측을 반박하기 위해 G와 H에 필요한 최소 정점 수는 얼마인가?
• RQ5 조건 c ≥ 2k+1을 사용하여 색칠에서 모순을 유도함으로써 c=5에 대해 추측이 참임을 증명할 수 있는가?

주요 결과

• 논문은 G가 4,686개 정점, H가 30개 정점인 그래프를 사용하여 헤데니에미의 추측에 대한 5-색칠 반례를 구축한다.
• 반례는 G = Ω₁₃K₆이고 H는 K₅^G의 부분그래프이며, H는 상수 함수와 구조화된 함수를 포함해 30개의 명시적 정점로 구성되어 있다.
• k=2, c=5, n=3으로 설정함으로써 c ≥ n+1, c ≥ 2k+1, c+1 ≤ n·k 조건을 만족시키며, 이는 색칠 추론에서의 모순을 유도하는 데 필수적이다.
• G에서 길이 7의 산책을 따라 색깔 전파를 분석함으로써, 함수 h^{(d)}_{i,j}와 g^q_i를 사용해 색깔 전이를 모델링하고 클리크 색칠을 통해 모순을 유도한다.
• 최종적으로 모순은 H의 크기 c−k=3인 클리크가 오직 k=2개의 색깔로만 칠져야 한다는 점에서 발생하며, c ≥ 2k+1일 때 색칠 수 요구 조건을 위반한다.
• 이 방법으로 H의 정점 수는 89에서 30으로, G의 정점 수는 397,215에서 4,686으로 줄어들어 Tardif와 Zhu의 구성보다 근본적으로 향상되었다.