축축한 직사각형과 등차수열 색칠 문제의 새로운 명시적 해법

본 논문은 “큰 균일도와 큰 크로마틱 수를 동시에 갖는 초그래프”를 명시적으로 구성하고, 이를 두 가지 전형적인 수학적 모델—축평행 직사각형과 차이가 제한된 등차수열—에서 실현함으로써 색칠 이론에 새로운 통찰을 제공한다. 1. **초그래프 H_{c,k}의 정의와 비색칠성** - 기본 케이스 c=1에서는 k개의 정점을 하나의 에지로 묶는다. - c>1에서는 귀납적으로 H_{c‑1,k}를 이용해 m^{k}개의 트리로 이루어진 포레스트를 만든다. 각 트리는 깊이 k이며, 각 레벨을 “스테이지”라 부른다. 스테이지 j는 m^{k‑j}개의 정점을 포함하고, 이들을 m개의 연속 블록으로 나눈다. - 경로 에지는 각 잎 정점까지의 루트‑잎 경로를 모은 k‑uniform 에지이며, 전이 에지는 각 블록 안에 H_{c‑1,k} 복제본을 삽입해 만든다. - Lemma 2.1을 통해, 어떠한 c‑색칠이라도 적어도 하나의 색이 모든 전이 복제본을 관통하고, 결국 깊이 k‑1 단계에서 전체 경로가 단색이 되어 c‑색칠이 불가능함을 보인다. 따라서 H_{c,k}는 크로마틱 수가 최소 c+1이다. 2. **축평행 직사각형으로의 기하학적 실현 (Theorem 1.2)** - 단계별로 수평선을 배치하고, 각 정점을 그 라인 위에 x‑좌표 순서대로 놓는다. - 부모‑자식 관계는 “아래‑왼쪽” 형태가 되도록 자식들을 약간 좌측으로 이동시켜, 각 경로가 x는 증가하고 y는 감소하는 상승 집합이 된다. - 경로 에지는 해당 정점들을 포함하는 축평행 직사각형으로 바로 실현된다. - 전이 에지를 실현하기 위해서는 같은 스테이지 내 블록마다 y‑좌표를 미세하게 조정해, 블록 내부 정점들이 서로 겹치지 않으면서도 동일한 y‑구간에 포함되게 만든다. 이렇게 하면 전이 에지도 각각 하나의 직사각형으로 표현된다. - 최종적으로 모든 에지가 직사각형으로 실현되고, 직사각형들의 y‑투영은 서로 포함 관계만을 갖는 “nested” 구조가 된다. 3. **등차수열과의 동형성 (Theorem 1.5, 1.6)** - y‑투영이 nested인 직사각형 집합을 차이가 2^{i}인 등차수열 집합에 대응시키는 매핑을 van der Corput 수열을 이용해 구성한다. 각 점의 y‑좌표를 2진법으로 표현하고, 해당 비트를 차이 집합 D={2^{i}}에 매핑함으로써, 직사각형 하나가 정확히 하나의 등차수열에 대응한다. - 따라서 “축평행 직사각형의 nested y‑투영 ↔ 차이가 2의 거듭제곱인 등차수열”이라는 정확한 동형이 성립한다 (Theorem 1.5). - 더 일반적으로 무한 차이 집합 D에 대해서도, nested 직사각형을 구현할 수 있으면 D‑차이 등차수열로도 구현 가능함을 Theorem 1.6이 증명한다. 4. **색칠 문제에 대한 응용** - Chen·Pach·Szegedy·Tardos가 제시한 “임의의 c, k에 대해 색칠하면 같은 색의 k점이 포함된 축평행 직사각형이 존재한다”는 정리를 확률적 존재 증명 대신 명시적 구성으로 증명한다 (Theorem 1.2). - k=2인 경우, 기존의 트리 기반 구조가 girth를 제한하므로, 그래프 이론에서 유명한 큰 girth·큰 색수 그래프를 축평행 직사각형으로 실현한다 (Theorem 1.3). 이는 기존의 확률적 방법을 대체하는 첫 번째 명시적 예시이다. - Pálvölgyi가 제기한 “차이가 D인 등차수열로 k‑uniform 초그래프를 실현할 수 있는가?”라는 질문에 대해, D가 무한이면 언제든지 충분히 큰 크로마틱 수와 균일도를 갖는 초그래프를 실현할 수 있음을 Theorem 1.7로 답한다. - 마지막으로, 2‑차원 부분 순서 집합의 하세 다이어그램이 위의 그래프와 동형이므로, 색칠 불가능한 긴 상승 경로가 존재함을 Corollary 1.8로 도출한다. 이는 기존의 하세 다이어그램 색칠 결과를 크게 강화한다. 5. **기술적 기여와 의의** - 초그래프의 재귀적 설계와 그 비색칠성을 증명하는 귀납적 논증은 기존의 k‑ary 트리 구조를 확장한 것으로, 큰 균일도와 크로마틱 수를 동시에 달성한다는 점에서 새롭다. - 기하학적 실현 단계에서 “스테이지 라인”과 “좌측 이동”이라는 간단하면서도 강력한 기법을 사용해, 복잡한 전이 에지를 직사각형으로 변환한다. 이는 이전에 불가능하다고 알려졌던 큰 균일도 초그래프를 직사각형으로 구현하는 첫 사례이다. - 등차수열과의 동형성은 수론적 차이 집합과 기하학적 투영 사이의 깊은 연결고리를 밝히며, 무한 차이 집합에 대한 일반화도 가능하게 만든다. - 결과적으로 색칠 이론, 기하학적 하이퍼그래프, 그리고 수론적 등차수열 사이의 교차점을 체계적으로 정리함으로써, 향후 관련 분야에서 새로운 명시적 구성과 하드 코딩된 예시를 제공할 기반을 마련한다.