Sidon sets with $\Delta$-separated sumsets in additive number theory

技術要約：加法的数論における $\Delta$-分離和集合を持つシドン集合

1. 問題の定義と定義
本論文は、その和集合に特定の分離特性を持つ整数の部分集合の構成およびそのサイズの境界決定に関する問題に取り組む。$A$ を整数の空でない集合とし、$\Delta$ を正の整数とする。集合 $A$ が $\Delta$-分離（$\Delta$-separated） であるとは、相異なるすべての $a, a' \in A$ に対して $|a - a'| \ge \Delta$ が成り立つことを指す。

本稿では、古典的な $B_h$ 集合（$h$ 個の和集合 $hA$の各要素が唯一の表現を持つもの）の概念を一般化する。集合$A$が **$B_h$集合** であるとは、すべての$n$に対して$r_{A,h}(n) \le 1$であることを指す（ここで$r_{A,h}(n)$は、$n$を和として表す$h$個のタプルの数をカウントする）。**$B_{h,\Delta}$集合** とは、$B_h$集合であり、かつその和集合$hA$が$\Delta$-分離されているものである。具体的には、$B_{2,\Delta}$集合（$\Delta$-分離和集合を持つシドン集合）の場合、${a, b} \neq {c, d}$である任意の$a, b, c, d \in A$に対して、$|(a+b) - (c+d)| \ge \Delta$ が成り立つ。

主な目的は、整数区間 $\{1, 2, \dots, n\}$ に含まれる最大の $B_{h,\Delta}$ 集合の濃度 $F_{h,\Delta}(n)$ を決定することである。本論文は、古典的な $B_h$ 集合（$\Delta=1$ の場合）の既知の結果を $\Delta$-分離の場合へと拡張し、$F_{h,\Delta}(n)$ を計算または境界づけることを目指している。

2. 手法
本論文は、構成的手法と組合せ論的不等論の組み合わせを用いている。

• 拡大構成（Dilation Construction）: 著者は、集合の $\Delta$-拡大 $\Delta^* A = \{ \Delta a : a \in A \}$ を利用する。補題2は、$\Delta^* A$ が $B_{h,\Delta}$ 集合であるための必要十分条件は $A$ が $B_h$ 集合であることであることを確立している。これにより、古典的な $B_h$ 集合からの下界を $B_{h,\Delta}$ 集合へと翻訳することが可能になる。
• 素数論: 下界を確立するために、本論文は、素数冪 $q$ に対して存在する Bose、Bose-Chowla、Chowla、Singer による $B_h$ 集合の構成に依拠している。これらは、短区間における素数の分布に関する Runbo Li の結果（$m - m^\theta < q < m$、ただし $\theta = 0.52$）と組み合わされ、区間 $\{1, \dots, n\}$ 内に適切な集合が存在することを保証している。
• 組合せ論的計数と不等式: 上界については、Erdős-Turán の議論を適応させている。スライディング区間 $I_{u,m}$ 内のペアの計数に対してコーシー・シュワルツの不等式を利用する。主要なステップは、補題4であり、これは集合 $A$ が $B_{2,\Delta}$ 集合であるための必要十分条件は、それが「$\Delta$-分離された一意差集合（$\Delta$-separated unique difference set）」を持つことであることを証明している。この同値性により、著者は集合内の相異なる差の数を制限することができる。

3. 主要な貢献と結果

• $F_{h,\Delta}(n)$ の下界:
  定理1は、$\{1, \dots, n\}$ における最大の $B_{h,\Delta}$ 集合のサイズに対する下界を与える。$h \ge 2$ および $\delta = 0.48$ に対し、十分に大きなすべての $n$ について：
  $$F_{h,\Delta}(n) > \left(\frac{n}{\Delta}\right)^{1/h} + O\left(n^{(1/h) - \delta}\right) + O(1)$$
  系1はこれを $B_{2,\Delta}$ 集合（シドン集合）に特化させ、$|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$ であることを示している。

• $B_{2,\Delta}$ 集合の上界:
  定理2は、$\{1, \dots, n\}$ に含まれる $B_{2,\Delta}$ 集合のサイズに対する上界を確立する（ここで $n \ge \Delta + 2$）：
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  この結果は、古典的な Erdős-Turán の境界（$|A| \le n^{1/2} + O(n^{1/4})$）を、定数項が $1$ではなく$\sqrt{2}$となる形で$\Delta$-分離の場合へと拡張したものである。

• 漸近極限:
  系2は、集合のサイズと区間のスケーリングの比の漸近的挙動を導出する：
  $$1 \le \liminf_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \limsup_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \sqrt{2}$$
  本論文は、古典的なケース（$\Delta=1$）においても、この極限は未知であると注記している。

• 上界定数の精緻化:
  「Note」セクションにおいて、著者は、自身の証明は定数 $\sqrt{2}$ を与えるものの、O'Bryant による（Linström を適応させた）後続の議論が、より強い不等式 $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$ を証明していることを認めている。これは、すべての $\Delta \ge 1$ に対して、比の極限が確かに $1$ であることを示唆している。

4. 意義と未解決問題
本論文の意義は、$B_{h,\Delta}$-集合を形式的に定義し分析することで、古典的な加法的数論と分離制約を持つ集合との間の架け橋となった点にある。大規模な $B_h$ 集合の構成を $\Delta$-分離の文脈へと見事に一般化し、これらの集合に対する最初の明示的な上界を提供した。

著者は、将来の研究に向けたいくつかの未解決問題を挙げている：

1. $B_h[g]$-集合の既知の結果を $B_{h,\Delta}[g]$-集合へ拡張すること。
2. すべての $h \ge 2, g \ge 1$ に対して $F_{h,\Delta}[g](n)$ の正確な値を求めること。
3. 極限 $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ が存在するかどうかを判定すること。
4. $\{1, \dots, n\}$ 内における最大サイズの $B_{h,\Delta}$-集合の数および構造的分類を調査すること。

本研究の主張は控えめであり、境界と構造的補題を提示することに留まり、正確な漸近極限や分類問題の解決については、さらなる研究または後続の文献（O'Bryant による定数の改善の引用に見られるように）に委ねている。