리스트 하드와이어 추측 반증

초록

본 논문은 모든 $K_t$-마이너 자유 그래프가 $t$-선택가능하다는 리스트 하드와이어 추측을 부정한다. 저자들은 임의의 정수 $t\ge 1$에 대해 $K_{3t+2}$-마이너는 존재하지 않지만 $4t$-선택가능하지 않은 그래프를 명시적으로 구성함으로써, 리스트 색채 이론과 마이너 이론 사이의 예상되는 연결고리가 일반적으로 성립하지 않음을 보인다.

상세 분석

리스트 하드와이어 추측은 전통적인 하드와이어 추측의 리스트 색채 버전으로, $K_t$-마이너가 없는 모든 그래프가 $t$-선택가능해야 한다는 강력한 명제이다. 기존 연구에서는 $t\le 5$에 대해 추측이 사실임이 확인되었으며, $t\ge 6$에 대해서는 부분적인 상한이 제시되었다. 본 논문은 이러한 기대를 근본적으로 뒤흔든다. 저자들은 먼저 $K_{3t+2}$-마이너 자유성을 유지하면서도 색채 선택의 하한을 크게 올리는 그래프 패밀리를 설계한다. 핵심 아이디어는 Mycielski 변환과 그 변형을 반복 적용해 그래프의 크로스링크 구조를 강화하고, 동시에 마이너 차수를 억제하는 것이다. 구체적으로, 기본 블록으로 삼각형 자유 그래프 $H_t$를 선택하고, 각 정점에 대해 $t$개의 복제 정점을 추가한 뒤, 복제 정점들 사이에 완전 이분 그래프를 삽입한다. 이 과정에서 발생하는 새로운 클러스터는 $K_{3t+2}$를 형성할 충분한 연결성을 제공하지 못하도록 정교하게 배치된다.

그 다음, 저자들은 리스트 할당을 정교히 설계한다. 각 원본 정점에는 $4t$개의 색 리스트를 부여하고, 복제 정점에는 원본 정점의 리스트와 겹치지 않도록 별도의 $4t$ 색을 할당한다. 이렇게 하면 어떤 색 선택에서도 최소 하나의 정점 집합이 색 충돌을 일으키게 되며, 결국 전체 그래프가 $4t$-선택가능하지 않음을 보인다. 증명 과정에서는 두 가지 주요 보조 정리가 사용된다. 첫째, 구성된 그래프가 $K_{3t+2}$-마이너를 포함하지 않음은 그래프의 트리폭이 $3t+1$ 이하임을 보이는 전통적인 마이너 방지 기법을 활용한다. 둘째, 리스트 할당에 대한 반증은 Hall의 매칭 정리를 변형한 “리스트 매칭 부정 정리”를 적용해, 특정 부분 그래프에서 리스트 색을 완전 매칭시키는 것이 불가능함을 증명한다.

이러한 구성은 $t$에 대해 무한히 확장 가능하므로, 리스트 하드와이어 추측이 모든 $t$에 대해 성립한다는 일반적 가설을 완전히 부정한다. 또한, 기존에 알려진 $K_t$-마이너 자유 그래프의 색채 상한인 $O(t\sqrt{\log t})$와 비교했을 때, $4t$라는 선형 상한이 충분히 낮지 않음을 보여준다. 이는 마이너 자유성만으로는 리스트 색채의 강한 제약을 보장하지 못한다는 중요한 교훈을 제공한다.