[論文レビュー] 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

ひとこと要約

この論文は、d次元整数格子 ℤ^d における適切な q 色分けの混合性を、色の数 q に基づいて3つの異なる領域に分類する。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 の場合に、線形色分け（mod 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 ℤ^d 上で凍結 q 色分けが存在するのは、q と d のどの値のときか？
• RQ2 ボックス [n]^d の境界の適切な q 色分けが、全体のボックスに拡張可能となる条件は何か？
• RQ3 L_n^d-リスト色分け可能となる最小の n は何か？ これは d および q にどのように依存するか？
• RQ4 すべての d および q に対して、ℤ^d の q 色分け空間はケンプ移動で連結か？
• RQ5 与えられた ∂[n]^d の q 色分けが [n]^d に拡張可能かどうかを判定する計算複雑度は何か？

主な発見

• 凍結 q 色分けは、2 ≤ q ≤ d+1 のときかつそのときに限り ℤ^d 上に存在し、線形色分け（mod 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 を満たす添え字 k の数である。
• q ≥ 2d+1 のとき、ℤ^d の q 色分け空間は位相的混合性および強い既約性を示すが、q ≤ d+1 のときはそうではない。
• d=2 および q=3 の場合、境界色分けの拡張可能性を判定する計算量は O(n log n) であり、より高い次元では O(n^{2(d-1)}) である。