[论文解读] Polychromatic Colorings on the Integers

Maria Axenovich, John Goldwasser+5 more|arXiv (Cornell University)|Mar 31, 2017

Graph Labeling and Dimension Problems被引用 4

一句话总结

本文证明了任意 ℤ 的四元子集均存在一种 ℤ 的三色着色，使得该集合的每个平移都包含全部三种颜色，从而证实了纽曼关于此类集合的上密度至多为 1/3 的猜想。该结果被推广至 ℤ^d（d ≥ 2），表明对于非共线或三共线构型，四色着色存在，且多色数由平铺性质与投影技术决定。

ABSTRACT

See the abstract in the attached pdf.

研究动机与目标

• 解决纽曼猜想：任意 ℤ 的四元子集的上密度至多为 1/3。
• 确定 ℤ 和 ℤ^d 中满足 |S| = 4 的有限子集 S 的多色数 p(S)。
• 基于几何与代数结构，刻画此类集合在 ℤ 及高维空间中是否允许三色或四色着色。
• 建立多色着色、阻断集与阿贝尔群中平铺补集之间的联系。

提出的方法

• 通过模运算与交替块模式构造 ℤ 的显式三色着色，确保每个四元集合的平移中均出现全部三种颜色。
• 使用投影技术将 ℤ^d 中的问题转化为等价的 ℤ 问题，利用投影保持多色性质的特性。
• 应用平铺理论结果，包括纽曼关于素数幂大小集合平铺条件的定理，以确定高秩多色着色存在的条件。
• 利用阻断集及其密度的概念，通过不等式 α(S) ≤ 1/p(S) 来界定多色数。
• 分析 ℤ^d 中点的共线性与一般位置，以分类 p(S) = 3 或 p(S) = 4 的情形。
• 使用子群不变性与投影下颜色保持的引理，将高维问题约化为一维问题。

实验结果

研究问题

• RQ1 每个四元子集 S ⊆ ℤ 是否都存在一种三色着色，使得 S 的每个平移都包含全部三种颜色？
• RQ2 对于四元子集 S ⊆ ℤ^d，其多色数 p(S) 是多少？它如何依赖于 S 的几何构型？
• RQ3 纽曼猜想中，四元集合 S ⊆ ℤ 的上密度是否可被 1/3 上确界控制？
• RQ4 在 ℤ^d（d ≥ 2）中，四点的何种构型使得多色数恰好为 4？
• RQ5 S 的平铺性质如何与 k 种颜色的多色着色存在性相关？

主要发现

• 对于任意四元子集 S ⊆ ℤ，存在 ℤ 的一种三色着色，使得 S 的每个平移都包含全部三种颜色，从而证明了纽曼关于上密度 ≤ 1/3 的猜想。
• 在 ℤ 中 |S| = 4 时，多色数 p(S) 至少为 3，且对某些构型该下界是紧的。
• 在 ℤ^d（d ≥ 2）中，若 S 的四点处于一般位置或恰好三点共线，则 p(S) = 4；若四点共线，则 p(S) 为 3 或 4，具体取决于平铺条件。
• 相对于三元集合 S = {0,a,b}（其中 a 为偶数，b 为奇数）的交替块四色着色，可确保 S 的每个平移都包含三种不同颜色。
• 对于 ℤ^d 中满足 |S| = 4 且 0 ∈ S 的集合 S，若点不全共线或恰好三点共线，则在某些条件下 p(S) = 4。
• 关系式 α(S) ≤ 1/p(S) 成立，将阻断集密度与多色数联系起来，并为阻断集的最小密度提供下界。