No exact on average additive complements of squares

この論文「Cross representations of additive complements of r-th powers（$r$ 乗の加法補集合の交叉表現）」は、数論、特に加法数論（Additive Number Theory）の分野における重要な結果を報告しています。著者らは、$r$ 乗の集合に対する加法補集合（additive complement）の性質を解析し、その表現数の総和に関する下界を証明しました。

以下に、論文の技術的な詳細を要約します。

1. 問題設定と背景

定義:

• $\mathbb{N}$ を自然数の集合、$S_r = \{1^r, 2^r, 3^r, \dots\}$ を $r$ 乗の集合（$r \ge 2$）とします。
• $W_r$ が $S_r$ の加法補集合であるとは、十分大きなすべての整数 $n$ が $n = w + m^r$（$w \in W_r, m^r \in S_r$）と表せることを意味します。
• $f_r(n)$ を、$n$ を $w + m^r$ の形で表す方法の個数（交叉表現数）と定義します：
  $$f_r(n) = \#\{(w, m^r) \in W_r \times S_r : n = w + m^r\}$$

歴史的な背景:

• Erdős の問題: $S$（平方数）の加法補集合 $W$ に対して、$\liminf_{N\to\infty} W(N)/\sqrt{N} \ge 1$ は自明ですが、これが厳密に 1 より大きいかどうかは長年の未解決問題でした（Moser によって 1.06 以上と証明され、後に $4/\pi$ まで改善されました）。
• Ben Green の問題 (2017): 特定の漸近挙動 $w_n \sim \frac{\pi^2}{16}n^2$（つまり $W(N) \sim \frac{4}{\pi}\sqrt{N}$）を満たす加法補集合が存在するか？
• Cilleruelo の予想 (1993): $r$ 乗の任意の加法補集合 $W_r$ に対して、以下の不等式が成り立つと予想しました：
  $$\sum_{n \le N} f_r(n) - N \ge rN + o(N)$$
  この予想が真であれば、Ben Green の問題や Ruzsa の「平均的に正確な加法補集合（exact on average additive complement）」の存在問題に対する否定的な答え（そのような集合は存在しない）となります。

既存の成果:

• $r=2$（平方数）の場合、Chen と Fang によって $\sum f(n) - N \gg N^{1/4}\log N$ が示されました。
• その後、Ding, Sun, Wang, Xia によって $\sum f(n) - N \ge 0.193 N^{1/2}$ まで改善されました。
• しかし、$r \ge 3$ の場合、これらの手法は発散することさえ示せていませんでした。

2. 主要な定理と結果

この論文は、Cilleruelo の予想に対する部分的な解決と、$r=2$ におけるさらなる改善を提供します。

定理 1: 一般の $r$ 乗に対する下界の拡張

任意の自然数 $r \ge 2$ と、$S(x) \sim c_r x^{1/r}$ を満たす部分集合 $S \subset \mathbb{N}$ に対して、その任意の加法補集合 $W$ について以下の不等式が成り立ちます：
$$\sum_{n \le N} f_{S,W}(n) - N \gg_r N^{1 - 1/r}$$
ここで、隠れた定数は $r$ と $c_r$ のみに依存します。

• 意義: これにより、$r \ge 3$ の場合でも、表現数の総和が $N$ を超える量が $N^{1-1/r}$ のオーダーで発散することが証明されました。これは $r=2$ の結果を任意の $r$ に一般化したものです。

定理 2: 平方数 ($r=2$) における対数因子の改善

$W$ が平方数の加法補集合であるとき、以下のより強い下界が得られます：
$$\sum_{n \le N} f(n) - N \gg N^{1/2} (\log N)^{\delta} (\log \log N)^{3/2}$$
ここで $\delta = 1 - \frac{1+\log \log 2}{\log 2} \approx 0.086$ です。

• 意義: 直前の研究（Ding et al.）の結果 $0.193 N^{1/2}$ に対して、対数因子 $(\log N)^\delta$ が追加され、より精密な評価が可能になりました。この改善は、平方数特有の乗法的性質（積の表問題）を利用することで達成されました。

定理 3: 問題 1 と問題 2 の等価性

もし平方数の「平均的に正確な加法補集合（$\sum_{n \le N} f(n) \sim N$ となるもの）」が存在すれば、その集合 $W=\{w_n\}$ は $w_n \sim \frac{\pi^2}{16}n^2$ を満たさなければならないことを示しました。

• 意義: Ben Green の問題（特定の漸近挙動を持つ補集合の存在）と Ruzsa の問題（平均的に正確な補集合の存在）が本質的に同じ問題であることを示唆しています。定理 1 と 2 の結果は、これらの集合が存在しない可能性を強く示唆しています。

3. 証明手法の概要

定理 1 の証明手法（一般 $r$ に対するアプローチ）

1. 区間分割: 区間 $[1, N]$ を $K$ 個の小区間に分割し、$W$ と $S$ の各小区間内での要素数を $h(k), g(k)$ とします。
2. 差の集合の解析: $w - s$ の形をとる差の集合を考慮します。$W$ が補集合であるという条件から、$W(x)S(x) \ge x$ が成り立ち、これを用いて $h(k)$ と $g(k)$ の積の和を評価します。
3. Abel 総和法と平均値定理: 和の式を変形し、ラグランジュの平均値定理を用いて $N^{1-1/r}$ のオーダーの項を導出します。
4. 重複表現の計数: 差 $d = w_i - s_i = w_j - s_j$ が 2 回以上現れる場合、$w_i + s_j = w_j + s_i = n$ となる $n$ が存在し、これが $f(n)$ の増加に寄与します。この重複回数を数えることで、$\sum f(n) - N$ の下界を導きます。
5. パラメータ最適化: 分割数 $K$ を適切に選ぶことで、最終的な下界 $N^{1-1/r}$ を得ます。

定理 2 の証明手法（平方数 $r=2$ に対する高度なアプローチ）

1. Ford の結果の適用: 平方数特有の構造を利用するため、Ford が乗法表問題（multiplicative table problem）で得た結果（$L(x)$ の評価）を引用します。
2. ケース分け:
   • Case I: 最初の区間 $W \cap [1, N/K]$ に十分な要素がある場合、自明な評価で証明完了。
   • Case II: 最初の区間に要素が少ない場合、残りの区間での表現数を評価します。
3. 積の構造の利用: 表現数が非常に多い $n^*$ が存在すると仮定し、$n^* - m_i^2 \in W$ となる $m_i$ が多数存在するとします。
   • これらの $m_i$ から作られる差 $(m_i - m)(m_i + m)$ の集合 $U$ を考えます。
   • Ford の補題により、$U$ の要素数 $t$ は対数因子を伴う上界を持ちます。
   • 一方、$n^* - u_j$ における表現数の総和は、$m_i$ の個数に比例して大きくなります。
4. 矛盾と下界の導出: $U$ のサイズ（分母）と表現数の総和（分子）を比較することで、対数因子を含んだより強い下界を導き出します。

4. 結論と学術的意義

• 一般化: $r=2$ でのみ知られていた結果を、任意の $r \ge 2$ に対して $N^{1-1/r}$ のオーダーで一般化しました。
• 精度の向上: $r=2$ の場合、対数因子を付加することで、既存の結果を大幅に改善しました。これは平方数の乗法的性質を巧みに利用した成果です。
• 未解決問題への示唆: Cilleruelo の予想（$\sum f_r(n) - N \ge rN + o(N)$）への道筋を示し、特に「平均的に正確な加法補集合」や「特定の漸近挙動を持つ補集合」の存在に対して否定的な証拠を強めています。
• 手法の革新: 加法補集合の問題に対して、乗法表問題（multiplicative table problem）の結果を応用した新しいアプローチを示しました。

この論文は、加法数論における古典的な問題に対する重要な進展であり、特に $r$ 乗の集合の構造と加法補集合の密度の関係について、より深い洞察を提供しています。