3色のヴァン・デル・ワールデン数が任意の指数関数より速く増えることを証明
この論文は、長い等差数列(算術級数)を同じ色でそろえてしまうのを避けるために必要な整数の長さを表す「ヴァン・デル・ワールデン数」が、少なくとも三色の場合には任意の指数関数より速く増えることを示します。ヴァン・デル・ワールデン数 w(k;r) は、1からN までを r 色で塗り分けたときに必ず同一色の長さ k の等差数列が現れる最小の N です。主定理は、十分大きな k に対して三色の場合に w(k;3) > 2^{k (log* k)/4} が成り立つ、というものです。ここで log* k(反復対数)は、対数を何回繰り返して 1 以下になるかを表す非常にゆっくり増える関数です。
研究者たちは存在証明の手法でこの下界を得ています。まず、大きな巡回群(丸めた整数環)で「長さ k の等差数列がほとんど含まれない」密な部分集合を確率論的に作る補題を示します。これを一色のクラスとして使い、残りの要素を残り二色でランダムに色付けすることで、同一色の k 項等差数列が現れない三色配色を作ります。さらに「ランダムにずらして積をとる」操作(random shifted product と呼ばれる)の繰り返しで、サイズを指数的に拡大しつつ密度は急速に落とすことを許す反復構成を行います。各反復でサイズはおよそ指数関数的に伸び、密度は二重指数的に悪化するため、およそ (log* k)/2 回の反復で示した下界に到達します。
この結果が重要な理由は二つあります。第一に、三色以上のケースで w(k;r) の成長が単純な定数の冪乗(例えば r^k のような指数)にとどまらないことを示した点です。論文は r≥3 のとき lim_{k→∞} w(k;r)^{1/k} = ∞ であると述べ、これまでにあった「べき乗程度の成長」などの見方に対する強い反例を与えます。第二に、多色の場合や「正準(カノニカル)ヴァン・デル・ワールデン数」H(k) に対する新しい下界も得ています。具体的には、ある ε に対し十分大きな k で、色数 r が (log k)^{3/ε} 以上なら w(k;r) ≥ r^{(1−ε) k log k}(定理2)、および H(k) ≥ k^{(1−o(1)) k log k}(定理3)を示し、これは Erdős と Graham が提起した問題を解決する強い下界です。
重要な注意点もあります。示された不等式は「下界」であり、実際の値がこれらの式と等しいとは言いません。また主張は "十分に大きな k" に対するもので、論文でも小さな k についての具体的な最適値や簡潔な明示的配色を与えているわけではありません。構成の多くは確率的な存在証明や反復的な変換に依るため、すべての段階で明示的に書き下せる単純な配色が得られるとは限りません。著者ら自身も、パラメータ領域での密度に関するボトルネックがあり、それを改善できればさらに良い下界が得られると指摘しています。
最後に透明性のための告知があり、著者らは最終編集の段階で文体の校正に ChatGPT Pro 5.5 を用いたと明記しています。数学的な議論と結論は著者自身の手によるものです。論文は手法の新しい組合せと確率的構成の改良を通じて、数論的な配色問題の理解を大きく進めていますが、上界や正確な成長率を決定する問題はいまだ残っています。