[논문 리뷰] Disproof of the List Hadwiger Conjecture

János Barát, Gwenaël Joret외 1명|arXiv (Cornell University)|2011. 10. 11.

Advanced Graph Theory Research참고 문헌 32인용 수 26

한 줄 요약

이 논문은 모든 정수 $ t \geq 1 $ 에 대해 $ K_{3t+2} $-minor-free 이면서 $ 4t $-choosable가 아닌 그래프를 구성함으로써 리스트 하드비거 추측을 반증한다. 이 구성은 완전 $ r $-분할 그래프에서 매칭을 제거한 그래프들을 붙이는 방식이며, 색상 할당을 특수하게 설정하여 색칠 모순을 유도한다. 이는 $ t \geq 8 $ 에서 추측된 선택 가능성 상한이 잘못되었음을 보이며, 약한 리스트 하드비거 추측에서 상수는 최소 $ 4/3 $ 이상이어야 함을 시사한다.

ABSTRACT

The List Hadwiger Conjecture asserts that every $K_t$-minor-free graph is $t$-choosable. We disprove this conjecture by constructing a $K_{3t+2}$-minor-free graph that is not $4t$-choosable for every integer $t\geq 1$.

연구 동기 및 목표

• 리스트 하드비거 추측이 모든 $ K_t $-minor-free 그래프가 $ t $-choosable임을 주장하는 바를 반증하기 위해.
• 리스트 하드비거 추측이 제기한 바와 같이 $ K_t $-minor-free 그래프의 선택 가능성 상한이 $ t $ 에 대한 선형 함수로 유 bounds 되는지 조사하기 위해.
• 약한 리스트 하드비거 추측에서 $ K_t $-minor-free 그래프가 $ ct $-choosable가 되는 최적의 상수 $ c $ 를 결정하기 위해 (여기서 $ c \geq 1 $ 은 절대 상수이다).
• 특수한 그래프 붙임 기법과 리스트 할당 기법을 사용하여 $ t \geq 8 $ 에 대해 리스트 하드비거 추측의 반례를 명시적으로 구성하기 위해.

제안 방법

• 완전 $ r $-분할 그래프에서 각 색상 클래스가 크기 2인 그래프 $ H $ 를 구성하며, 이를 $ K_{r \times 2} $ 로 표기하거나, 하나의 단일 클래스를 포함하는 그래프 $ K_{1,r\times 2} $ 를 구성한다. 이는 $ K_{2r} $ 또는 $ K_{2r+1} $ 에서 $ r $ 개의 간선으로 이루어진 매칭을 제거함으로써 이루어진다.
• 레마 3을 사용하여 $ K_{r \times 2} $ 가 $ K_{\lfloor 3r/2 \rfloor + 1} $-minor-free 이며, $ K_{1,r\times 2} $ 가 $ K_{\lfloor 3r/2 \rfloor + 2} $-minor-free 임을 증명한다.
• 그래프 $ H $ 에 리스트 할당 $ L $ 을 정의한다. 각 $ w_i $ 는 리스트 $ [1,q+1] \setminus \{c_i\} $ 을 가지며, 나머지 모든 정점은 리스트 $ [1,q] $ 을 가진다. 이는 총 $ q+1 $ 개의 색상과 $ q+2 $ 개의 정점을 보장한다.
• 모든 $ q^r $ 개의 $ H $ 복제본을, 각각 $ (c_1,\dots,c_r) \in [1,q]^r $ 으로 레이블링하여 공통 클리크 $ \{v_1,\dots,v_r\} $ 에 따라 붙여 새로운 그래프 $ G $ 를 형성한다.
• 레마 2를 적용하여 $ G $ 가 $ K_p $-minor-free 임을 증명한다. 레마 2는 두 개의 $ K_t $-minor-free 그래프를 클리크에 따라 붙이면 $ K_t $-minor-free 성질이 유지됨을 보여준다.
• 모든 $ L $-색칠이 존재하지 않음을 보인다: 각 복제본 $ H(c_1,\dots,c_r) $ 에서 어떤 $ w_i $ 도 $ v_i $ 와 같은 색상을 가져야 하며, 그러나 $ c_i \notin L(w_i) $ 이므로 $ v_i $ 는 색상 $ c_i $ 로 칠해질 수 없고, 이는 모순을 유도한다.

실험 결과

연구 질문

• RQ1 리스트 하드비거 추측이 주장하는 바와 같이 모든 $ K_t $-minor-free 그래프가 $ t $-choosable인가?
• RQ2 약한 리스트 하드비거 추측에서, 모든 $ K_t $-minor-free 그래프가 $ ct $-choosable가 되는 최적의 상수 $ c $ 는 무엇인가? (여기서 $ c \geq 1 $ 은 절대 상수이다.)
• RQ3 특수한 그래프 붙임과 리스트 할당 기법을 사용하여 $ t \geq 8 $ 에 대해 리스트 하드비거 추측의 반례를 명시적으로 구성할 수 있는가?
• RQ4 $ K_t $-minor-free 그래프의 선택 수(choice number) 는 $ t $ 와 함께 선형으로 증가하는가, 아니면 더 높은 비율로 증가하는가?

주요 결과

• 모든 정수 $ t \geq 1 $ 에 대해, $ K_{3t+2} $-minor-free 이면서 $ 4t $-choosable가 아닌 그래프가 존재함을 보여, 리스트 하드비거 추측을 직접적으로 반증한다.
• 모든 $ t \geq 1 $ 에 대해, $ K_{3t+1} $-minor-free 이면서 $ (4t - 2) $-choosable가 아닌 그래프가 존재함을 보여, 이는 약한 의미에서 상한이 날카롭다는 것을 시사한다.
• 모든 $ t \geq 1 $ 에 대해, $ K_{3t} $-minor-free 이면서 $ (4t - 3) $-choosable가 아닌 그래프가 존재함을 보여, 반례 범위를 더욱 정교하게 조정한다.
• 이 구성은 약한 리스트 하드비거 추측에서 상수 $ c $ 가 $ c \geq 4/3 $ 를 만족해야 함을 증명한다. 왜냐하면 $ K_{3t+2} $-minor-free 그래프에 대해 $ 4t $-choosability 는 부족하기 때문이다.
• 구성된 그래프 $ G $ 는 $ q $-degenerate 이며, 이는 $ (q+1) $-choosable 이지만 $ q $-choosable 가 아니므로, 상한의 날카로움을 확인한다.
• 미르자카니의 비4-선택 가능 평면 그래프에 영향을 받은 증명 기법은 리스트 할당과 클리크 붙임을 사용하여 $ K_t $-minor-free 그래프에서 색칠 실패를 유도한다.