A sharp lower bound for some reciprocal Rado numbers

技術要約：一部の相反的なラド数に関する鋭い下界

問題設定
本論文は、算術ラムゼー理論における「相反的なラド数（reciprocal Rado numbers）」に関する問題を扱う。具体的には、以下の単位分数を含む方程式を調査する：
$$\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$$
ここで、$x_1, \dots, x_k$ は必ずしも互いに異なる正の整数ではない。$f_r(k)$ を、$\{1, 2, \dots, n\}$ のあらゆる $r$-彩色がこの方程式の単色解（monochromatic solution）を含むような最小の正の整数 $n$ とする。BrownとRödler [4]、およびLefmann [11] は、十分大きな値に対してこのような $n$ が存在することを確立したが、正確な境界や $f_r(k)$ の正確な値は依然としてほとんど不明である。本論文の目的は、$f_r(k)$ の既存の下界を改善し、特に $r=2$ の場合の特定のケースについて正確な値またはよりタイトな境界を決定することである。

手法
著者らは、組合せ論的な構成、数論的な議論、および計算による検証を組み合わせて用いている：

1. 構成的な下界： $f_r(k)$ の下界を確立するために、単色の解を回避する集合 $\{1, 2, \dots, N\}$ の明示的な $r$-彩色を構成する。これらの構成は、特定の彩色が割り当てられた互いに素な区間（$A_1, A'_i, A''_i$）に整数集合を分割する。証明の核心は、相反的な方程式における項の大きさの分析にある。主要なツールとなるLemma 2.1は、特定の範囲内における異なる整数の逆数の差に関する下界を与えるものであり、これを用いて、単一の彩色クラス内に解が存在すると仮定した場合の矛盾を導き出す。
2. $r=2$ の場合のケース解析： 2-彩色のケースにおいて、著者らは $k$ の特定の形式を分析する。彼らは、2の累乗や $k$ の倍数を用いた帰納法および特定の代数的一致を利用して、特定の条件下（例：$k$ が奇数の素数冪である場合）において、$\{1, \dots, 3k^2\}$ の特定の彩色が単色の解を生成しないことを示す。
3. 計算による検証： 著者らは、これまで決定されていなかった範囲の $k$ に対する $f_2(k)$ および $f_3(k)$ の正確な値を計算するために、Pythonスクリプト（ChatGPT 5.5およびChatGPT Codexによる支援付き）と充足可能性問題ソルバ（Cadical195およびGlucose3）を利用した。これらの計算は、AMD Ryzen 7 9800X3Dプロセッサ上で実行された。

主な貢献と結果

• 改善された一般的な下界：
  本論文は、既存の境界（$f_r(k) \ge k^r$ など）を改善する2つの主要な定理を証明している：

  • $r \ge 1$ に対して、$f_r(2) \ge 4^{r/2}$。
  • $k \ge 3$ かつ $r \ge 1$ に対して、$f_r(k) \ge (2r - 1)k^r$。
    著者らは、$r=2$ のとき、境界 $f_2(k) \ge 3k^2$ は無限個の $k$ に対してシャープ（鋭い）であることを述べている。

• $r=2$ に対する正確な値とよりタイトな境界：

  • $k = 3 \cdot 2^m$ の場合： $k$ が（正の整数 $m$ に対して）$3 \cdot 2^m$ の形であるとき、$f_2(k) = 3k^2$ であることを証明している。
  • $k = p^m$（奇素数冪）の場合： $k$ が奇素数冪であるとき、$f_2(k) \ge 3k^2 + 1$ であることを証明している。
  • 計算結果： 本論文は、$k \in \{2, \dots, 25\}$ に対する $f_2(k)$ の計算値を表として提供している。これらの結果は、MyersとParrish [12] による $f_2(5)$ に関する以前の主張（39であるとしたもの）を修正し、それが80であることを示している（これは新しい下界と一致する）。データは、$k \ge 4$ において $k$ が奇素数冪でない場合に限り、$f_2(k) = 3k^2$ となることを示唆している。

• 係数の一般化：
  著者らは、任意の正の整数係数を持つ方程式への下界の結果を一般化している：
  $$\frac{a_1}{x_1} + \frac{a_2}{x_2} + \cdots + \frac{a_k}{x_k} = \frac{1}{x_{k+1}}$$
  彼らは、2-彩色の場合、$f(a_1, a_2) \ge 2\min\{a_1, a_2\}(a_1+a_2)^2$ であり、$k \ge 3$ の場合、$f(a_1, \dots, a_k) \ge (2\min\{a_i\} + 1)(\sum a_i)^2$ であることを確立している。

• $r=3$ の計算データ：
  $k \in \{2, 3, 4, 5\}$ に対する $f_3(k)$ の新しい計算結果が提供されている。著者らは、彼らの一般的な定理から導かれる下界 $f_3(k) \ge 7k^3$ は緩い（loose）と思われることを観察しており、計算された値はこの境界を大幅に上回っている。

意義と主張
本論文は、一般の場合において相反的なラド数に対する初のシャープな下界を提供し、$f_2(k)$ が $3k^2$ となる特定の無限個の $k$ の族を特定したと主張している。著者らは、単色の解が避けられなくなる閾値を理解することを精緻化している。

著者らは、以下の点を通じて控えめに自らの発見を位置づけている：

1. 予想 1.3 の提示：$k \ge 4$ において、$f_2(k) = 3k^2$ であるための必要十分条件は、$k$ が奇素数冪ではないことである。
2. 未解決問題の特定：$f_3(k)$ の下界の改善、$k$ が奇素数冪である場合の $f_2(k)$ の境界の精緻化、およびすべての $k \ge 4$ に対して $f_2(k)$ の二次的な上界が存在するかどうかの決定を含む。
3. 計算におけるAI支援型コーディングの有用性を認めつつ、計算結果（$f_3(k)$ の件）に見られる不一致から、$r \ge 3$ における一般的な挙動は依然として未開拓の領域であることを指摘している。

本論文は、計算におけるAI支援型コーディングの有用性に謝意を表し、単位分数の最小距離特性（問題 5.4）へのさらなる研究を促して締めくくられている。