[论文解读] Mixing properties of colorings of the $\mathbb{Z}^d$ lattice

Noga Alon, Raimundo Briceño+3 more|arXiv (Cornell University)|Mar 27, 2019

Mathematical Dynamics and Fractals参考文献 15被引用 4

一句话总结

本文通过基于颜色数 q 的三种不同区域，对 d 维整数格点 ℤ^d 上的 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 的列表着色性质及其对全局着色可扩展性的意义。
• 探索在 Kempe 移动下着色空间的连通性，以及边界扩展问题的复杂性。

提出的方法

• 通过模 q 的线性着色构造出当 q ≤ d+1 时的显式冻结 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-可列表着色的。
• 使用递归构造与局部着色论证，表明可通过盒子的各层逐步扩展着色，利用颜色数量充足以避免冲突。
• 应用 Lovász 局部引理，界定 [n]^d 是 k-列表着色的最小 k 值，表明对于最大度为 d 的三角形自由图，k ≥ Cd/log d 足够。
• 分析双色连通分量的结构，并定义 Kempe 移动以研究着色空间的连通性。

实验结果

研究问题

• RQ1 在 ℤ^d 上，对于哪些 q 与 d 的取值，存在冻结的 q-颜色配置？
• RQ2 在何种条件下，盒子 [n]^d 边界上的合法 q-颜色配置可扩展为整个盒子的合法 q-颜色配置？
• RQ3 使得 [n]^d 是 L_n^d-可列表着色的最小 n 是多少？这一值如何依赖于 d 与 q？
• RQ4 对于所有 d 与 q，ℤ^d 的 q-颜色配置空间是否在 Kempe 移动下连通？
• RQ5 判断给定的 ∂[n]^d 上的 q-颜色配置是否可扩展至 [n]^d 的计算复杂度是多少？

主要发现

• 当且仅当 2 ≤ q ≤ d+1 时，ℤ^d 上存在冻结的 q-颜色配置，且通过模 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 + 坐标 i_k 满足 1 < |i_k| < n 的数量。
• 当 q ≥ 2d+1 时，ℤ^d 的 q-颜色配置空间是拓扑混合且强不可约的，但当 q ≤ d+1 时并非如此。
• 当 d=2 且 q=3 时，判断边界着色是否可扩展的复杂度为 O(n log n)；当 d 更高时，复杂度为 O(n^{2(d-1)}）。