The Thickness of Infinite Sidon Sets

技術要約：無限 $\gamma$-ゴロム・ルーラーの厚み

問題提起
本論文は、差の重複回数が制限された非負整数の無限集合の漸近密度について扱う。具体的には、$\gamma$-ゴロム・ルーラー（$\gamma=1$ の場合はシドン集合として知られる）を調査している。集合 $A$ が $\gamma$-ゴロム・ルーラーであるとは、任意の正の整数差 $d$ が、$a-b$ ($a, b \in A$) として高々 $\gamma$ 通りの方法で表されることを指す。

中心となる問題は、 $n \to \infty$ における計数関数 $A(n) = |A \cap [0, n)|$ の最適な上界および下界を決定することである。このような集合は疎（劣線形成長）であることが既知であるが、$\sqrt{n}$ および $\sqrt{n/\log n}$ に対する成長率を支配する正確な定数は、洗練の対象となってきた。Erdős は70年前にシドン集合の存在を証明したが、Cilleruelo はシドン集合の上界定数を Erdős の値から $8\sqrt{7} \approx 21.2$ へと改善し、目標値が 4 であることを示唆した。

手法
本論文は、$\gamma$-ゴロム・ルーラーの境界を導出するために、2つの異なる解析的手法を用いている。

1. 上界のためのエネルギー法（定理 1）：
   上界の証明は、Erdős によるシドン集合の証明の構造を適応させたものである。無限集合 $A$ を長さ $N$ のブロックに分割する。著者は、これらのブロックに含まれる要素数の平方和に基づく「エネルギー」関数 $E$ を定義する。

   • エネルギーの上界： 特定の差を持つペアの数を制限する $\gamma$-ゴロムの性質から導かれる。これは $E \le \gamma N + o(N)$ という上界を与える。
   • エネルギーの下界： 注意深く選択された重み $w_\ell$ を用いたコーシー＝シュワルツの不等式から導かれる。重みは、下限密度の定義を利用するように設計されている。
   • 最適化： これらの境界のバランスを取り、$N \to \infty$ とすることで、密度定数に対する制約を導き出す。証明には、関数 $\psi(n) = \log(en)$ を含む和と積分の慎重な推定が含まれる。

2. 下界のための構成的手法（定理 2）：
   高い密度を持つ $\gamma$-ゴロム・ルーラーの存在を確立するために、有限のルーラーの和集合として無限集合を構成する。

   • 基本構成要素： 有限の $\gamma$-ゴロム・ルーラーが、長さがおよそ $q^2/\gamma$ の区間内にサイズ $q$ で存在することを保証する Lemma 4（Caicedo, Martos & Trujillo による）を利用する。ここで $q$ は素数冪であり $q \equiv 1 \pmod \gamma$ を満たす。
   • 反復的な和集合： 構成は帰納的に進められる。新しい有限のルーラーは、「衝突」（$\gamma$ の条件を違反する差）を最小限に抑えるために、既存の和集合から十分に離れた場所に配置される。
   • 剪定（Pruning）： 集合 $V$ と $W$ の間に大きなギャップがある場合、和集合が有効な $\gamma$-ゴロム・ルーラーであり続けるように、$W$ から無視できる数の要素（具体的には高々 $\gamma \binom{|V|}{2}$ 個）を破棄できることを示すために Lemma 7 が用いられる。

主要な貢献と結果

• 定理 1（上界）： 本論文は、任意の $\gamma$-ゴロム・ルーラー $A$ に対して、密度の下限が以下を満たすことを証明する：
  $$\liminf_{n \to \infty} \frac{A(n)}{\sqrt{n/\log n}} \le \frac{2}{\sqrt{\log 2}} \sqrt{\gamma} \approx 2.404 \sqrt{\gamma}$$
  これは、$\gamma=1$ の場合において、従来の定数 $8\sqrt{7} \approx 21.2$（および示唆された目標値 4）を大幅に改善している。一般の $\gamma$ への拡張は、シドン集合の証明の単純な一般化であると述べられている。

• 定理 2（下界）： 本論文は、以下の性質を持つ $\gamma$-ゴロム・ルーラー $G$ の存在を確立する：
  $$\limsup_{n \to \infty} \frac{|G \cap [0, n)|}{\sqrt{n}} \ge \frac{1}{\sqrt{2}} \sqrt{\gamma} \approx 0.707 \sqrt{\gamma}$$
  これは、Erdős（定数 $1/2$）および Krückeberg（定数 $2^{-1/2}$）による結果を一般の $\gamma$ のケースへと拡張したものである。

• 技術的補題： 本論文は、有限の $\gamma$-ゴロム・ルーラーに関する Caicedo, Martos, および Trujillo の Lemma 3 および Lemma 4 を利用・引用しており、また、差の制約を維持しながら集合をマージするための組合せ論的なメカニズムを扱うために Lemma 7 を導入している。

意義と主張
本論文の主要な意義は、著者によって主張されている通り、無限のシドン集合（および $\gamma$-ゴロム・ルーラー）の密度の上界における定数の最適化である。著者は、「我々は定数を $2/\sqrt{\log 2} \approx 2.4$ まで下げた」と述べており、これは従来の境界と比較して大幅な改善となっている。

論文は、これらの結果の最適性については控えめな姿勢をとっている。Ruzsa によるシドン集合の構成（$A(n) \sim n^{-1+\sqrt{2}}$）が依然として無限集合における記録であることに触れ、証明された上界と既知の最良の構成との間にギャップがあることを示唆している。著者はセクション 3.1 において、エネルギー論法は完全に最適化されていると考えているものの、代替のアプローチ（エントロピー不等式やマルチンゲール論法など）や平均化プロセスの洗練によって、さらなる改善が不可能であるとは確信していないことを明記している。本論文は新しい応用を提案するのではなく、集合の密度を境界付けるという組合せ数論の側面に厳密に焦点を当てている。