[논문 리뷰] Mixing properties of colorings of the $\mathbb{Z}^d$ lattice

Noga Alon, Raimundo Briceño외 3명|arXiv (Cornell University)|2019. 03. 27.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 4

한 줄 요약

이 논문은 d차원 정수 격자 ℤ^d에서의 적절한 q-색칠의 혼합 성질을 색의 수 q에 기반해 세 가지의 별개의 영역으로 분류한다. q ≤ d+1일 때만 고결 색칠이 존재하며, q ≥ d+2일 경우 충분히 큰 상자(n ≥ d+2)에서는 상자의 경계에 대한 적절한 q-색칠이 내부로 확장 가능하다. q ≥ 2d+1이면 작은 상자(n ≥ 1)에도 동일한 확장 성질이 성립하여 강력한 혼합성과 리스트-색칠 성질을 보장한다.

ABSTRACT

We study and classify proper $q$-colorings of the $\mathbb Z^d$ lattice, identifying three regimes where different combinatorial behavior holds: (1) When $q\le d+1$, there exist frozen colorings, that is, proper $q$-colorings of $\mathbb Z^d$ which cannot be modified on any finite subset. (2) We prove a strong list-coloring property which implies that, when $q\ge d+2$, any proper $q$-coloring of the boundary of a box of side length $n \ge d+2$ can be extended to a proper $q$-coloring of the entire box. (3) When $q\geq 2d+1$, the latter holds for any $n \ge 1$. Consequently, we classify the space of proper $q$-colorings of the $\mathbb Z^d$ lattice by their mixing properties.

연구 동기 및 목표

• d차원 정수 격자 ℤ^d에서의 적절한 q-색칠의 조합론적 성질과 혼합 행동을 분류하는 것.
• q와 d의 어떤 값에서 적절한 q-색칠의 공간이 고결 구성이나 강력한 확장 성질을 보이는지 결정하는 것.
• 색의 수 q에 따라 상위 혼합 성질의 계층—예를 들어 위상적 혼합, 강력한 기약성, 유한한 확장성—을 설정하는 것.
• 유한한 상자 [n]^d의 리스트-색칠 성질을 조사하고, 이로 인해 전역적 색칠 확장성에 미치는 영향을 밝혀내는 것.
• 케임프 이동에 의한 색칠 공간의 연결성과 경계 확장 문제의 복잡도를 탐구하는 것.

제안 방법

• q ≤ d+1일 때는 선형 색칠을 모듈로 q로 사용하여 고결 q-색칠을 명시적으로 구성한다: x_i = ∑_{k=1}^d k i_k mod q.
• q ≥ d+2일 경우, n ≥ d+2인 상자 [n]^d의 경계에 대한 적절한 q-색칠이 내부로 확장 가능함을 보이며, 새로운 리스트-색칠 프레임워크를 도입한다.
• 변수 리스트 크기를 정의하기 위해 리스트 함수 L_n^d(v) = 2 + |{1 ≤ k ≤ d : 1 < |i_k| < n}|를 도입하고, n ≥ d+2일 때 [n]^d가 L_n^d-리스트-색칠 가능하다는 것을 증명한다.
• 재귀적 구성과 국소 색칠 추론을 통해 상자의 층을 거쳐 색칠이 확장될 수 있음을 보이며, 높은 색의 수 덕분에 갈등을 피할 수 있음을 활용한다.
• 로바즈의 국소 렘마를 적용하여 [n]^d가 k-리스트-색칠 가능해지는 최소 k의 값을 유계로 제시하며, 최대 차수 d인 삼각형이 없는 그래프에서 k ≥ Cd/log d로 충분함을 보인다.
• 이중색 구성의 구조를 분석하고, 색칠 공간의 연결성을 연구하기 위해 케임프 이동을 정의한다.

실험 결과

연구 질문

• RQ1 q와 d의 어떤 값에서 ℤ^d에서 고결 q-색칠이 존재하는가?
• RQ2 상자 [n]^d의 경계에 대한 적절한 q-색칠이 전체 상자 [n]^d로 확장 가능한 조건은 무엇인가?
• RQ3 L_n^d-리스트-색칠 가능해지기 위한 최소 n는 얼마이며, 이는 d와 q에 따라 어떻게 달라지는가?
• RQ4 모든 d와 q에 대해 ℤ^d의 q-색칠 공간이 케임프 이동에 의해 연결되어 있는가?
• RQ5 주어진 ∂[n]^d의 q-색칠이 [n]^d로 확장 가능한지 판단하는 문제의 계산 복잡도는 얼마인가?

주요 결과

• 고결 q-색칠이 ℤ^d에 존재하는 것은 2 ≤ q ≤ d+1일 때에만 성립하며, 이는 모듈로 q에 대한 선형 색칠을 통해 명시적으로 구성된다.
• q ≥ d+2일 경우, n ≥ d+2이면 ∂[n]^d의 어떤 적절한 q-색칠도 [n]^d로 확장 가능하며, 이는 강력한 유한한 확장 성질을 보여준다.
• q ≥ 2d+1일 경우, n ≥ 1이면 확장 성질이 여전히 성립하여 색칠 공간 내에서 강력한 혼합성과 연결성을 보장한다.
• 모든 n ≥ d+2에 대해 [n]^d는 L_n^d-리스트-색칠 가능하며, 여기서 L_n^d(v) = 2 + 1 < |i_k| < n인 좌표 i_k의 수이다.
• q ≥ 2d+1일 때 ℤ^d의 q-색칠 공간은 위상적 혼합성과 강력한 기약성을 보이지만, q ≤ d+1일 땐 그렇지 않다.
• d=2, q=3일 경우, 경계 색칠이 확장 가능한지 판단하는 복잡도는 O(n log n)이며, 더 높은 d에 대해서는 O(n^{2(d-1)})이다.