[論文レビュー] Zero-sum Generalized Schur Numbers

Aaron Robertson|arXiv (Cornell University)|Feb 9, 2018

Advanced Combinatorial Mathematics参考文献 10被引用数 3

ひとこと要約

この論文は、$ S_{\mathfrak{z}}(k;r) $ と呼ばれるゼロ和一般化シュール数を導入し、これは $[1,n]$ の任意の $ r $-彩色が、色の和が $ 0 \pmod{r} $ となる $ \sum_{i=1}^{k-1}x_i = x_k $ の解を含むような最小の整数 $ n $ として定義される。著者は特定の $ k $ および $ r $ に対して公式、下界、正確な値を確立し、特に $ k \geq 6 $ のとき $ S_{\mathfrak{z}}(k;3) = 3k-3 $ を示し、$ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $ を証明することで、古典的シュール理論をゼロ和ラマージュ型設定へと拡張する。

ABSTRACT

Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $S_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer $n$ such that every coloring $χ:[1,n] ightarrow \{0,1,\dots,r-1\}$ admits a solution to $\sum_{i=1}^{k-1} x_i = x_k$ with $\sum_{i=1}^{k} χ(x_i) \equiv 0 \,(\mathrm{mod }\,r)$. We give some formulas and lower bounds for various instances.

研究の動機と目的

• ゼロ和バージョンの一般化シュール数を定義・研究し、$ \sum_{i=1}^{k-1}x_i = x_k $ の解が色の和が $ r $ を法として 0 に合同であるようなものに制限する。
• 特に $ r \mid k $ の場合に $ S_{\mathfrak{z}}(k;r) $ の正確な値と下界を特定し、古典的シュール理論およびラマージュ理論を拡張する。
• 制限付きの彩色のもとで $ r $-ゼロ和解の存在と構造を調査し、特に小さな $ k $ および $ r $ の場合に注目する。
• ゼロ和制約と、$ \sum_{i=1}^{k-1}x_i = x_k $ のような剛性のある算術的構造との関係を調査する。
• 特に $ r = k $ の場合に、$ S_{\mathfrak{z}}(k;r) $ の漸近的挙動と正確な値に関する未解決の問題を提示する。

提案手法

• 論文は、$ S_{\mathfrak{z}}(k;r) $ を、$[1,n]$ の任意の $ r $-彩色が $ \sum_{i=1}^{k-1}x_i = x_k $ の $ r $-ゼロ和解を含むような最小の $ n $ として定義する。
• Fortran で実装された再帰的バックトラッキングアルゴリズム（ZSGS.f および ZSGS2.f）を用いて、小さな $ k $ および $ r $ の場合の $ S_{\mathfrak{z}}(k;r) $ および $ S_{\mathfrak{z,2}}(k;r) $ を計算する。
• 解の列挙を効率化するためのカスタムサブルーチンを用い、$ x_1 \leq \cdots \leq x_{k-1} $ の制約の下で $ \sum_{i=1}^{k-1}x_i = t $ の解を列挙し、計算複雑性を低減する。
• 特に $ r = 4 $ の場合に、モジュロ $ r $ における場合分けと整数論的考察を用いて、特定の彩色のもとでゼロ和解が存在しないことを証明する。
• 偶奇性やモジュロ制約に基づく構造的議論を用いて、特定の彩色が $ r $-ゼロ和解を回避することを示し、下界を得る。
• 偶奇性の不一致に起因する特定の $ k $-彩色を用いて、$ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $ を証明する。

実験結果

リサーチクエスチョン

• RQ1 $ S_{\mathfrak{z}}(k;3) = 3k - 3 $ はすべての $ k \geq 6 $ に対して成り立つか？
• RQ2 $ S_{\mathfrak{z}}(k;4) = 4k - 5 $ はすべての $ k \geq 8 $ に対して成り立つか？
• RQ3 $ S_{\mathfrak{z,2}}(k;4) $、すなわちモジュロ 4 の 2 色ゼロ和一般化シュール数の正確な値は何か？
• RQ4 $ S_{\mathfrak{z}}(k;k) $ は漸近的に $ k^2 $ のオーダーか？
• RQ5 文献 [10] の結果を超えて、構造的数列に対してゼロ和ラド数を特徴づけることは可能か？

主な発見

• $ k \geq 6 $ のとき、計算データと構造的分析に基づき、$ S_{\mathfrak{z}}(k;3) = 3k - 3 $ が成り立つ証拠が提示される。
• 論文は $ k \geq 8 $ のとき $ S_{\mathfrak{z}}(k;4) \geq 4k - 5 $ を証明するが、正確な値は未解決のままである。
• また、$ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $ を確立し、ゼロ和一般化シュール数が $ k $ に関して少なくとも二次的に成長することを示す。
• $ r = 2 $ のとき、$ S_{\mathfrak{z,2}}(k;k) = k^2 - k - 1 $ であり、これは単色性の必要性により古典的シュール数と一致する。
• 小さな $ k $ および $ r $ に対して $ S_{\mathfrak{z}}(k;r) $ の正確な値を計算し、$ S_{\mathfrak{z}}(4;4) = 13 $、$ S_{\mathfrak{z}}(6;3) = 15 $、$ S_{\mathfrak{z}}(10;4) \geq 45 $ を含む。
• また、$ r \nmid k $ のとき $ S_{\mathfrak{z}}(k;r) = \infty $ であることを証明し、色 1 の単色彩色が $ r $-ゼロ和解を回避できることを示す。