무지개 클리크 부분분할에 대한 거의 최적 경계와 응용

초록

평균 차수가 (t^{2}(\log n)^{1+o(1)}) 이상인 적절히 색칠된 그래프는 모든 정점 쌍을 서로 다른 색의 경로로 연결하는 무지개 (K_t) 부분분할을 포함한다. 상수 (t)에 대해 이 경계는 (o(1)) 항을 제외하고는 최적이며, 이는 기존의 무지개 사이클 및 클리크 부분분할 문제를 거의 완전하게 해결한다. 또한 이 결과는 가산조합, 정수론, 코딩 이론 등 여러 분야에 새로운 적용을 제공한다.

상세 분석

이 논문은 Mader의 고전적 결과 “평균 차수가 충분히 크면 (K_t)의 부분분할이 존재한다”를 무지개 색칠된 그래프에 대해 확장한다. 핵심 정리는 평균 차수가 (d(G)\ge C,t^{2}\log n(\log\log n)^{6})인 적절히 색칠된 그래프가 길이가 (O(\log n\log\log n)) 이하인 경로들로 이루어진 무지개 (T K_t)를 포함한다는 것이다. 여기서 (C)는 충분히 큰 상수이며, (t)는 (n)에 비례하거나 고정될 수 있다.

증명 전략은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 그래프에서 고차원 확장자를 추출한다. 평균 차수가 충분히 크면 랜덤 워크와 전형적인 확장성(Expander) 특성을 이용해, 각 정점에서 서로 다른 색이 많이 나타나는 “색 다양성”을 확보한다. 이를 위해 기존의 확장 그래프 구축 기법을 정교화하고, 색 충돌을 최소화하는 색-제한 전이 매트릭스를 설계한다. 두 번째 단계에서는 이러한 확장 서브그래프 위에 “무지개 경로 연결” 알고리즘을 적용한다. 여기서는 색이 겹치지 않도록 경로를 선택하는 그리디 절차와, 경로 길이를 로그 수준으로 제한하기 위한 “스프링클링(sprinkling)” 기법을 결합한다. 특히, 경로 길이의 로그 로그 항을 제어하기 위해 (\log\log n) 단계의 반복적 정제 과정을 도입한다.

이 과정에서 중요한 기술적 난관은 색이 중복되는 경우를 어떻게 회피하느냐이다. 저자들은 “색-충돌 그래프(color-conflict graph)”를 정의하고, 이 그래프의 최대 독립 집합을 찾는 문제로 환원한다. 확장성으로부터 얻은 높은 평균 차수는 색-충돌 그래프에서도 충분히 큰 독립 집합을 보장함을 보이며, 이는 무지개 경로 선택에 직접적으로 활용된다.

또한, 논문은 기존 결과와의 비교를 통해 경계의 최적성을 강조한다. Jiang·Methuku·Yepremyan이 제시한 상한 (n(\log n)^{\Theta(1)})와 Alon·Bucić·Sauermann·Zakharov·Zamir의 무지개 사이클 상한 (n(\log n)^{1+o(1)})을 각각 특수 경우로 포함한다. 특히, (t)가 상수일 때 (\Omega((\log n)^{1+o(1)}))라는 하한과 일치함을 보이며, 이는 “거의 최적”이라는 평가를 정당화한다.

응용 부분에서는 무지개 경로의 존재가 가산조합에서의 “분리 집합(dissociated set)” 차원 제한, 군론에서의 작은 곱셈 집합 구조, 그리고 코딩 이론에서의 locally correctable code(LCC) 차원 상한에 직접적인 영향을 미친다. 특히, 정수군에서의 Sidon 집합과 B_h