7 정점 경로 없는 짝홀 자유 그래프의 최적 색채 경계

초록

본 논문은 짝홀(짝수 길이 사이클)이 존재하지 않으며, 또한 7개의 정점으로 이루어진 경로 (P_7) 를 포함하지 않는 그래프에 대해 색채 수 (χ(G))와 최대 클리크 크기 (ω(G)) 사이의 최적 관계 (χ(G) \le \lceil \frac{5}{4},ω(G) \rceil) 을 증명한다. 이 경계는 동등한 크기의 (C_5) 블로업으로부터 얻어지는 예시를 통해 최적임을 보이며, 결과는 기존의 (P_6) 제한 결과를 일반화하고, 해당 그래프 클래스가 Reed의 추측을 만족함을 즉시 따라온다. 증명은 “멋진 (C_5) 블로업”이라는 구조를 정의하고, 이를 기반으로 다섯 개의 정점 집합 (A_0, A_1, A_2, A_3, A_5) 으로 분할한 뒤, 클리크 절단, 작은 정점, (p,q)-좋은 부분그래프 등 여러 기술적 도구를 결합해 진행된다.

상세 분석

논문은 먼저 짝홀 자유 그래프가 선형 (χ)-바운딩을 갖는다는 기존 결과(Chudnovsky‑Seymour)를 상기하고, 추가적인 (P_7) 금지 조건이 색채 수를 더 강하게 제한한다는 점을 강조한다. 핵심 아이디어는 그래프가 (C_7) 를 포함하는 경우와 포함하지 않는 경우로 나누어 분석하는 것이다. (C_7) 가 존재하면 Penev의 구조 정리를 이용해 바로 (χ \le \lceil 5/4 ω\rceil) 를 얻을 수 있다. 따라서 핵심은 (C_7) 가 없고, 동시에 최소한 하나의 (C_5) 를 포함하는 경우이다.

이때 저자들은 “멋진 블로업(nice blowup) of (C_5)” 라는 개념을 도입한다. 기본 (C_5) 의 각 정점을 동일한 크기의 클리크로 교체하고, 교체된 클리크 사이의 인접 관계를 원래 사이클과 동일하게 유지한다. 이렇게 얻은 서브그래프 (H) 를 중심으로 전체 정점 집합을 다섯 개의 파트 (A_0)~(A_5) 로 분류한다. 각 파트는 (H) 에 대한 인접 패턴(완전, 반완전, 혼합)으로 정의되며, 이후 여러 레마를 통해 다음과 같은 중요한 성질을 확보한다.

1. 클리크 절단 논증: 특정 파트의 이웃이 클리크가 되면 그래프는 클리크 절단을 갖게 되고, 이는 귀류법을 적용해 전체 그래프가 원하는 색채 상한을 만족함을 보이는 데 사용된다.
2. 작은 정점 논증: 최소 단순 정점(minimal simplicial vertex)의 존재를 이용해, 그 이웃이 클리크임을 보이고, 이 클리크가 (\omega(G)) 보다 크게 되면 모순이 발생한다. 이를 통해 여러 경우에서 파트가 비어 있음을 강제한다.
3. (p,q)-좋은 부분그래프: 정의된 (p,q)-good subgraph(특히 (p=4, q=5))는 구조적으로 풍부한 클리크와 독립 집합을 동시에 제공한다. 이러한 부분그래프가 존재하면 색채 수를 직접 계산해 상한을 만족한다.
4. 무한 하강법(Infinite Descent): “멋진 파티션”이 존재한다고 가정하면, 파티션을 더 작은 형태로 축소할 수 있음을 보인다. 축소 과정이 무한히 진행될 수 없으므로 결국 클리크 절단이 존재한다는 결론에 도달한다.

각 파트가 비어 있거나 특정 관계를 만족할 때마다 저자들은 섹션 11~13에서 별도 증명을 제공한다. 예를 들어 (A_1\neq\emptyset) 인 경우, (A_1) 와 (H) 사이의 인접 구조를 분석해 색채를 직접 구성하거나, 클리크 절단을 찾아내어 귀류법을 적용한다. (A_1=\emptyset, A_2\neq\emptyset) 경우에는 (A_2) 와 (H) 사이의 관계를 이용해 비슷한 논리를 전개한다. 마지막으로 (A_1=A_2=\emptyset, A_3\neq\emptyset) 인 경우에는 (A_3) 가 (H) 와 어떻게 얽혀 있는지를 정밀히 조사하고, 작은 정점 및 (p,q)-good 서브그래프를 결합해 최종적으로 색채 상한을 만족함을 보인다.

전체 증명은 수백 페이지에 달하는 복잡한 구조 분석을 포함하지만, 핵심은 “멋진 (C_5) 블로업”이라는 통일된 프레임워크 안에서 파트별 상황을 체계적으로 배제하거나, 직접적인 색칠 방법을 제시함으로써 이루어진다. 최종적으로 제시된 상한 (\lceil 5/4,ω(G)\rceil) 은 동등한 크기의 (C_5) 블로업을 통해 얻어지는 예시와 일치하므로 최적임이 증명된다.