The greedy 3-sumfree sequence $S_{1,g,g+1}$

技術要約：貪欲な3-sumfree数列 $S_{1,g,g+1}$

問題提起
本論文は、貪欲な3-sumfree数列 $S_{x,y,z}$ の特性化を扱う。この数列は、正の整数 $x, y, z$ から始まり、それ以前の項のうち異なる3つの項の和として表すことができない最小の整数を次々と加えていくことで構成される増加数列である。具体的には、著者らはすべての整数 $g \ge 2$ に対して $S_{1,g,g+1}$ を調査している。Bosmaら [1] は、自動定理証明器Walnutを用いて特定の小さなケース（$g=2, 3, 4$）に対して明示的な記述を既に確立しており、すべての $g \ge 2$ に対して一様な公式が存在するという予想を立てていたが、一般的な証明は未解決のままであった。

手法
著者らは、自動定理証明に頼るのではなく、直接的な区間和集合（interval-sumset）の議論を採用している。その手法は以下の通りである：

1. 候補集合 ($A_g$) の定義: 本論文では、モジュロ演算に基づいた特定の集合 $A_g$ を定義する。$m = 10g + 3$、$e = 2g + 1$、$f = 6g + 1$ とする。集合 $A_g$ は、初期項 $\{1, e, f\}$ と、以下の周期的な区間の和集合からなる：

   • $I_k = km + [g, 2g]$
   • $J_k = km + [6g + 2, 7g + 1]$ （ただし $k \ge 0$）
     集合 $A_g$ は、これらの互いに素な成分の和集合として構成される。

2. 2つの命題への還元: $S_{1,g,g+1} = A_g$ であることの証明は、「強制された」性質（ある整数が集合の異なる3つの要素の和であること）に関する2つの性質の検証へと還元される：

   • 命題2: $A_g$ に含まれないすべての整数 $n > g + 1$ は、強制されている（すなわち、$A_g$ の3つの異なる要素の和として書ける）。
   • 命題3: $A_g$ 内のどの要素も、強制されていない（すなわち、$A_g$ の3つの異なる要素の和として書くことはできない）。

3. 区間算術: 証明の核心は、定義された区間の和集合の計算にある。区間の和集合に関する初等的な恒等式（例：$b_3[u, v] = [3u+3, 3v-3]$）を用いることで、著者らは $A_g$ の隙間が $A_g$ の3つの異なる要素の和によって正確に覆われている一方で、$A_g$ の3つの要素の和は常に $A_g$ の補集合（具体的には、周期的な補集合パターン $C$）の中に落ちることを示している。

4. 帰納的検証: 著者らは $n$ に関する帰納法を用いて、貪欲な規則が正確に $A_g$ の要素のみを採択することを示す。もし $n \notin A_g$ であれば、それは $n$ より小さい要素（帰納仮定により数列に含まれるもの）によって強制されるため、除外される。もし $n \in A_g$ であれば、それは $n$ より小さい要素によって強制されないため、採択される。

主要な結果
本論文は、すべての $g \ge 2$ に対して数列 $S_{1,g,g+1}$ の厳密な特性化を与える定理1を確立している：
整数 $z$ が $S_{1,g,g+1}$ に属するための必要十分条件は、以下を満たすことである：
$$z \in \{1, 2g + 1, 6g + 1\} \quad \text{または} \quad z \pmod{10g + 3} \in [g, 2g] \cup [6g + 2, 7g + 1].$$

さらに、本論文は数列の構造を詳細に述べている：

• 初期項: 数列は $1, g, g+1, \dots, 2g, 2g+1, 6g+1$ で始まる。
• 最終的な周期性: 最初の方の $g+4$ 個の項の後、数列は $m = 10g + 3$ を法として周期性を帯びる。
• 周期構造: 繰り返されるブロックの長さは $2g + 1$ であり、以下の剰余からなる：
  $$6g + 2, 6g + 3, \dots, 7g + 1, g, g + 1, \dots, 2g.$$

意義と主張
本論文は、Bosma, Bruin, Fokkink, Grube, Reuijl, および Tromp [1] によって定式化された予想に対する直接的な証明を提供すると主張している。この予想は以前、 $2 \le g \le 10$ において機械的に検証されていたが、本研究は解析的な手段を通じて、すべての整数 $g \ge 2$ に対してこの結果を拡張するものである。著者らは、自身のアプローチが区間和集合の議論を用いた「直接的な証明」であることを明示し、先行研究で使用された計算的手法と対比させている。また、本論文は、前周期（preperiod）と反復ブロックの両方を含む、数列の最終的な周期性の完全かつ明示的な記述を提供し、数列の構造を完全に解明している。