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

ひとこと要約

本稿は、三変数の線形方程式に関して、ℤₚにおける雨ざらん色なし3色分けを完全に特徴づけ、そのような色分けが最小色クラスのサイズが1である場合にのみ存在することを証明している。本稿は、これらの色分けの構造的分類を提供し、すべての3色分けが雨ざらん解を含む方程式を同定し、有限体上における算術的反ラムゼー理論における重要な問いを解決している。

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.

研究の動機と目的

• 三変数の線形方程式に関して、ℤₚにおける雨ざらん色なし3色分けの構造を完全に特徴づけること。
• どの方程式に対して、ℤₚのすべての3色分けが雨ざらん解を含むかを特定すること。
• 最小色クラスのサイズが1、2、または3である「小さなケース」を解明し、特にサイズ1のクラスのみが雨ざらん色なし色分けを許容することを示すこと。
• 与えられた三変数の線形方程式が、ℤₚ上で雨ざらん色なし3色分けを許容するかどうかを判定する基準を提供すること。
• 最小色クラスが大きい場合にのみ考察したジュングィチクらの先行研究を拡張すること。

提案手法

• 線形方程式における色クラスの不変性および周期性を分析するため、$ T_{d,t}(S) = dS + t $ の形の変換を用いる。
• 加法的数論における逆定理を適用し、和集合 $ a_1A + a_2B $、$ a_1B + a_2A $ およびその交わりを分析する。
• 特に $ \texttt{\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 ℤₚ 上の線形方程式 $ a_1x + a_2y + a_3z = b $ に対して、ℤₚ のすべての3色分けが雨ざらん解を含むのはどのような場合か？
• RQ2 ある $ i,j $ に対して $ a_i \neq a_j $ である方程式に対して、ℤₚ における雨ざらん色なし3色分けの構造的形態は何か？
• RQ3 最小色クラスのサイズが2または3である場合に、雨ざらん色なし3色分けが存在可能か？
• RQ4 $ a_1, a_2, a_3, b $ および $ p $ に対して、雨ざらん色なし3色分けの存在または非存在を保証する条件は何か？
• RQ5 アフィン変換 $ T_{d,t} $ および $ \langle d \rangle $-拡大における周期性は、雨ざらん色なし色分けの構造を分類するためにどのように役立つか？

主な発見

• ℤₚ における雨ざらん色なし3色分けは、最小色クラスのサイズが1である場合にのみ存在する。2または3の場合は存在しない。
• ある $ i,j $ に対して $ a_i \neq a_j $ である方程式 $ a_1x + a_2y + a_3z = b $ に対して、雨ざらん色なし色分けとして可能なのは、1つの色クラスのサイズが1である場合に限る。
• このような雨ざらん色なし色分けの構造は完全に特徴づけられている：サイズ1のクラスは特定のアフィン変換 $ T_{d,t} $ に関して不変であり、他の2つのクラスは拡大と平行移動によって関連している。
• 方程式 $ x + y + z = b $ のみが、より大きな色クラスを許容する雨ざらん色なし色分けを有する。その構造は既知の結果から導出される。
• 他のすべての方程式に対しては、最小色クラスのサイズが2または3の場合、雨ざらん色なし3色分けは和集合の解析および背理法により排除される。
• 本稿は完全な分類を提供する：方程式 $ a_1x + a_2y + a_3z = b $ に対して、ある $ i,j $ で $ a_i \neq a_j $ である限り、ℤₚ の3色分けが雨ざらん解を含む。ただし、最小色クラスのサイズが1であり、定理7で導出された構造的条件を満たす場合に限る。