Monochromatic Sums and Products over $\mathbb{Q}$

技術的要約：$\mathbb{Q}$ 上における単色な和と積

問題の定義
本論文は、混合的な加法および乗法的パターンの分割正則性に関する、ラムゼー理論における中心的な未解決問題を取り上げている。ヒンドマンの定理（1944年）は、自然数 $\mathbb{N}$ の任意の有限彩色において、その有限部分和が単色となる無限列が存在することを保証しており、乗法的類似性も同様に成立する。しかし、和と積の両方を同時に要求することは、著しく制約が強くなる。

ヒンドマン（1979年）は、すべての隣接する和および隣接する積が単色となるような $\mathbb{N}$ 内の無限列は存在しないことを示した。したがって、その自然な有限の一般化であるヒンドマン予想（予想 1.1）は、「任意の $n \ge 2$ に対し、$\mathbb{N}$ の任意の有限彩色において、すべての非空部分和 $\sum_{i \in S} x_i$ および部分積 $\prod_{i \in S} x_i$ が単色となるような $n$ 個の数 $\{x_1, \dots, x_n\}$ が存在する」と述べている。この予想は $\mathbb{N}$ においては未解決であり、最も単純なケースである $n=2$（パターン $\{x, y, x+y, xy\}$）においてさえも未解決である。

本論文は、有理数 $\mathbb{Q}$ 上におけるこの予想のより弱いバージョン（予想 1.2）に焦点を当てており、これは以前、Bowen と Sabok (2023) によって $n=2$ の場合にのみ解決されていた。著者らは、任意の $n$ に対して $\mathbb{Q}$ 上でこの命題を証明することを目指している。

手法
証明は、ますます複雑になる単色の条件を満たすように変数を反復的に更新する、構成的かつアルゴリズム的なアプローチに基づいている。核心となる技術的メカニズムは以下の通りである：

1. 多項式ヴァン・デル・ヴァールデン定理： 著者らは、多次元多項式ヴァン・デル・ヴァールデン定理（Bergelson および Leibman）を多用している。具体的には、$\mathbb{Q}^\ell$ 上のバージョン（定理 2.4）を適用しており、これはベクトル $u$ と整数 $n$ が存在して、$u + \sum c_i p_i(n) v_i$ が単色であることを保証する。ここで、$p_i$ は $p_i(0)=0$ を満たす整数値多項式であり、$c_i$ は限定された「サイズ」を持つ有理係数である。
2. 補助的な積の彩色： 和と積の相互作用を管理するために、著者らは変数たちのスケール変換およびシフトされたバージョンの色をエンコードする補助的な彩色 $\chi_M$ を定義する。これにより、複雑な多項式式の色を制御するためにヴァン・デル・ヴァールデン型の結果を適用することが可能になる。
3. 反復的な更新（シフトとスケーリング）： 証明は、一連の変数 $x_n, \dots, x_1$ を維持するアルゴリズムとして構成されている。著者らは、2つの特定の操作を定義する：
   • シフト（Shifts）： $x_i \leftarrow x_i + f(x_{i-1}, \dots, x_1)$ という形式の操作。
   • スケーリング（Scalings）： $x_i \leftarrow k x_i$ という形式の操作。
     これらの更新は、特定の多項式結合（例：$P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$）が、それらの基底項に対して単色であり続けることを保証するために実行される。
4. サイズ・パラメータ： 技術的なパラメータ $M$（係数および分母の最大サイズを表す）が導入されている。証明は、十分大きな初期値 $M_0$ を選択し、更新が行われるたびに $M_1, M_2, \dots$ へと反復的に減少させていくことで進行し、最終的に必要なサイズにおいて条件が満たされることを保証する。

主要な貢献と結果
主要な結果は定理 1.3であり、以下のように述べている：

任意の $n \ge 2$ に対し、$\mathbb{Q}$ が有限個の色で彩色されているとき、すべての数 $\sum_{i \in S} x_i$ および $\prod_{i \in S} x_i$ （ただし $S \subseteq [n]$ は非空）が同一の色となるような、非ゼロの $x_1, \dots, x_n$ が存在する。

本論文は、このメイン・レマ（命題 4.1）によって、より強力で一般的な構造的性質を証明することで、この定理を確立している。このレマは、任意の $i$ と任意の部分集合 $T \subseteq [i-1]$ に対して、サイズが限定された「良質な」多項式 $P$ について、 $P(x_i \prod_{j \in T} x_j; \prod_{j \in S} x_j)$ の色が $P(x_i \prod_{j \in T} x_j)$ の色と一致するような変数 $x_n, \dots, x_1$ が存在することを主張している（ここで $S$ は $T$ を真に含む $[i-1]$ の部分集合を動く）。

本定理の証明（セクション 5）は、このレマを以下の要素と統合することで完成する：

• ラムゼーの定理： 積の色が次数（因子の数）のみに依存するように、部分列を抽出するために適用される。
• フォルクマンの定理： 指数の補助的な彩色に適用され、部分和が要求される次数に対応するインデックスの集合を見つけ出す。
• 最終的な構成： これらを組み合わせて、和と積の両方が単色となる最終的な集合 $\{X_1, \dots, X_r\}$ を構築する。

意義と相違点
著者らは、自身の研究と、Bowen および Sabok による最近の $n=2$ の結果との間のいくつかの相違点を強調している：

• 汎用性： 本研究は任意の $n$ について問題を解決しているが、先行研究は $n=2$ に限定されていた。
• 手法： Bowen および Sabok とは異なり、本証明は Moreira の結果を「ブラックボックス」として利用していない。代わりに、多項式ヴァン・デル・ヴァールデン定理を直接利用するという、著者自身の Moreira の結果の証明と共通の精神を持っている。
• 明示的な境界： 本証明は解のサイズに関する明示的な境界を与えており、これは Bowen-Sabok の証明には存在しない特徴である。
• $\mathbb{N}$ 上の制限： 著者らは、彼らの証明手法が（例えば $b/c$ のような）割り算を含む「シフト」を行う能力に依存していることを明示的に述べている。これは $\mathbb{N}$ においては一般に不可能である。これが、結果が $\mathbb{Q}$ 上で確立されている一方で、$\mathbb{N}$ に関する予想が未解決のままである理由である。著者らは、$\mathbb{N}$ のケースを解決するには、高次の多項式や異なる構造的制約など、新しいアイデアが必要である可能性を示唆している（これは以前の著作 [1] の予想 4.1 で示唆されている通りである）。

本論文は、他のパターン（例：平方数や異なる積を含むもの）への拡張について議論し、多項式半環上の分割正則性や負の指数を含むパターンに関する未解決問題を提示して締めくくられている。