[论文解读] The structure of rainbow-free colorings for linear equations on three variables in Zp

Mario Huicochea, Amanda Montejano|arXiv (Cornell University)|Feb 16, 2015

Limits and Structures in Graph Theory参考文献 6被引用 4

一句话总结

本文全面刻画了 ℤₚ 上三元线性方程的无彩虹三色染色，证明此类染色仅在最小颜色类大小为 1 时存在。论文提供了这些染色的结构分类，并确定了所有在 ℤₚ 上的三色染色均包含彩虹解的方程，解决了有限域上算术反拉姆齐理论中的一个关键问题。

ABSTRACT

Let p be a prime number and Zp be the cyclic group of order p. A coloring of Zp is called rainbow-free with respect to a certain equation, if it contains no rainbow solution of the same, that is, a solution whose elements have pairwise distinct colors. In this paper we describe the structure of rainbow-free 3-colorings of Zp with respect to all linear equations on three variables. Consequently, we determine those linear equations on three variables for which every 3-coloring (with nonempty color classes) of Zp contains a rainbow solution of it.

研究动机与目标

• 全面刻画 ℤₚ 上三元线性方程的无彩虹三色染色结构。
• 确定哪些方程的 ℤₚ 上所有三色染色均包含彩虹解。
• 解决最小颜色类大小为 1、2 或 3 的‘小情况’，特别是证明仅当大小为 1 时才可能存在无彩虹染色。
• 提供一个判别准则，以判断给定三元线性方程是否在 ℤₚ 上存在无彩虹三色染色。
• 扩展 Jungić 等人先前的研究，后者仅考虑了最小颜色类较大的染色情况。

提出的方法

• 使用形如 $ T_{d,t}(S) = dS + t $ 的变换，分析颜色类在三元线性方程下的不变性与周期性性质。
• 应用加法数论中的逆定理，分析和集 $ a_1A + a_2B $、$ a_1B + a_2A $ 及其交集。
• 采用集合在伸缩与平移下的结构分析，特别关注 $ \ exttt{\langle d\rangle} $-周期集以及仿射变换的不动点。
• 将问题归约为基于最小颜色类大小的分析，使用反证法与分类讨论。
• 利用条件 $ |a_1A + a_2B| > 6 $ 和 $ |a_1B + a_2A| > 6 $ 排除 $ |A| = |B| = 3 $ 时的无彩虹染色，表明此类集合无法避免彩虹解。
• 应用引理 29 分析变换 $ B = \lambda^2 B + \mu $ 下 $ B $ 的结构，得出 $ \lambda^3 = \pm 1 $ 的条件，并在 $ \lambda^3 = 1 $ 或 $ \lambda^3 = -1 $ 时导出矛盾。

实验结果

研究问题

• RQ1 在 $ \mathbb{Z}_p $ 上，哪些三元线性方程 $ a_1x + a_2y + a_3z = b $ 的所有三色染色均包含彩虹解？
• RQ2 对于满足 $ a_i \neq a_j $（对某些 $ i,j $）的方程，$ \mathbb{Z}_p $ 上无彩虹三色染色的结构形式为何？
• RQ3 当最小颜色类大小为 2 或 3 时，无彩虹三色染色是否可能存在？
• RQ4 哪些关于 $ a_1, a_2, a_3, b $ 和 $ p $ 的条件可保证无彩虹三色染色的存在或不存在？
• RQ5 仿射变换 $ T_{d,t} $ 与 $ \langle d \rangle $-伸缩下的周期性如何帮助分类无彩虹染色的结构？

主要发现

• ℤₚ 上的无彩虹三色染色仅在最小颜色类大小为 1 时存在，而不会在大小为 2 或 3 时存在。
• 对于满足 $ a_i \neq a_j $（对某些 $ i,j $）的方程 $ a_1x + a_2y + a_3z = b $，唯一可能的无彩虹染色是其中一个颜色类大小为 1 的情况。
• 此类无彩虹染色的结构已被完全刻画：大小为 1 的颜色类在特定仿射变换 $ T_{d,t} $ 下不变，其余两个颜色类通过伸缩和平移相关联。
• 方程 $ x + y + z = b $ 是唯一能允许较大颜色类的无彩虹染色的方程，其结构源于已知结果。
• 对于所有其他方程，当最小颜色类大小为 2 或 3 时，无彩虹三色染色被排除，该结论通过和集分析与反证法得出。
• 本文提供了完整分类：对于任意满足 $ a_i \neq a_j $（对某些 $ i,j $）的方程 $ a_1x + a_2y + a_3z = b $，ℤₚ 上的三色染色总会包含彩虹解，除非最小颜色类大小为 1 且满足定理 7 所推导的结构条件。