Power and rank-weighted sums in dense finite Sidon sets

技術要約：高密度有限シドンの集合におけるべき乗和および階数重み付き和

問題提起
本論文は、高密度な有限シドンの集合 $S \subset \{1, 2, \dots, n\}$ の、等差数列および剰余類内における分布について扱う。集合 $S$ がシドン（Sidon）であるとは、すべての（順序を考慮しない）ペアの和 $a+b$ がすべて異なることを指す。中心となる問題は、特定の剰余類 $a \equiv r \pmod m$ に限定されたべき乗和 $\sum_{a \in S} a^\ell$ および階数重み付き和 $\sum_{i} i^s a_i^\ell$ に関する無条件の漸近公式を確立することである。

著者による先行研究 [4] では、長い終端範囲における $|S \cap [1, k]|$ の下限に関する仮説に基づき、これらの漸近式を条件付きで確立していた。しかし、Balasubramanian および Dutta [1] によって指摘されたように、この条件は高密度なシドンの集合に期待される分布とは一致しない場合が多い。本論文の目的は、この条件付き仮説を取り除き、固定されたべき乗和およびその一般化に対して無条件の証明を提供することである。

手法
本研究における主要な手法上の転換は、条件付きの密度仮定を、**極限的なシドンの集合のフーリエ一様性（Fourier uniformity）**へと置き換えた点にある。これは Ortega および Prendiville [10] によって確立された結果である。

1. フーリエ一様性: 証明は、シドンの集合の指示関数のフーリエ変換に関する境界、具体的には $\|\widehat{1_S} - \frac{|S|}{n}\widehat{1_{[1,n]}}\|_\infty \ll \Phi(S, n)$ を活用している。ここで $\Phi(S, n)$ は $|S|$ の最大サイズ $n^{1/2}$ からの偏差を測定するものである。
2. アーベル総和法と直交性: 著者らは、有限の等差数列における $S$ の不一致（discrepancy）を推定するために、フーリエ直交性を利用している。フーリエ一様性の境界と、等差数列のフーリエ変換に関する標準的な推定値を組み合わせることで、任意の等差数列における要素の個数に関する一様な誤差項を導出している。
3. 重み付き総和: 階数重み付き和（要素がインデックス $i^s$ によって重み付けされる場合）については、インデックス $i$ と値 $a_i$ を計数関数を介して関連付けている。不一致の推定を用いることで、$i \approx \frac{|S|}{n}a_i$ と近似し、アーベル総和法を適用することで、一様分布の性質を重み付き和へと転移させている。
4. 「ほとんどすべて」の結果: 「ほとんどすべての」 $n$ に対して誤差項を改善するために、本論文では Heath-Brown [7] による大きな素数間隔の推定を取り入れている。これは Balasubramanian および Dutta [1] によって以前に使用されていたものである。これにより、大多数の整数 $n$ において、サイズ欠損 $|S| - n^{1/2}$ のより鋭い境界を得ることができる。

主要な貢献と結果

• 無条件の剰余類漸近式 (Theorem 1 & Corollary 2): 本論文は、任意の有限等差数列 $P \subset [1, n]$ に対して、べき乗和 $\sum_{a \in S \cap P} a^\ell$ が以下を満たすことを証明している：
  $$\sum_{a \in S \cap P} a^\ell = \frac{|S|}{n} \sum_{a \in P} a^\ell + O(n^\ell \Phi(S, n) \log(2n))$$
  この結果は無条件に成立し、以前の依存関係であった特定の分布仮説を取り除いている。

• 極限的シドンの集合 (Corollary 3): $|S| = S_n = n^{1/2} + O(n^{21/80})$ である極限的なシドンの集合に対し、本論文は剰余類に関する具体的な漸近式を導出している：
  $$\sum_{\substack{a \in S \\ a \equiv r \pmod m}} a^\ell = \frac{1}{m(\ell+1)} n^{\ell+1/2} + O(n^{\ell+61/160} \log n)$$
  これは、著者の以前の研究 [4] で提起された、追加の条件なしに剰余類公式が妥当であるかという未解決問題に直接答えるものである。

• 階数重み付き和 (Theorem 4 & Corollary 5): 結果は、要素の階数（$i^s a_i^\ell$）によって重み付けされた和へと一般化されている。シドンの集合 $S = \{a_1 < \dots < a_t\}$ に対し、本論文は以下を確立している：
  $$\sum_{\substack{1 \le i \le t \\ a_i \in I \\ a_i \equiv r \pmod m}} i^s a_i^\ell = \frac{t^{s+1}}{n^{s+1}} \sum_{\substack{a \in I \\ a \equiv r \pmod m}} a^{s+\ell} + O(t^s n^\ell \Phi(S, n) \log(2n))$$
  極限的な集合の場合、これは $O(n^{\ell+s/2+61/160} \log n)$ の誤差項を与える。

• 「ほとんどすべて」の改善 (Theorem 6): フリエ一様性の手法と Heath-Brown の素数間隔の推定を組み合わせることで、本論文は、$n \le N$ である $O(N^{4/5+\varepsilon})$ 個の整数を除いたすべての $n$ について、極限的なシドンの集合の誤差項が以下のように鋭利化されることを示している：
  $$O(n^{\ell+s/2+3/8} \log n)$$
  これは、「ほとんどすべて」の場合における既存の文献で見られる誤差項を改善している。

意義と著者の主張
本論文は、高密度なシドンの集合に対する剰余類べき乗和漸近式の「簡潔な無条件の証明」を提供すると主張している。その意義は以下の点にある：

1. 条件付き仮説の除去: [4] における未解決問題を、$[1, k]$ 内の $|S \cap [1, k]|$ の分布に関する制限的な条件なしに漸近公式を証明することで解決した。
2. 統一化: 標準的なべき乗和と、より複雑な階数重み付き和の両方が、同じ根底にある原理、すなわち有限の等差数列におけるシドンの集合のフーリエ一様性（不一致）によって制御されていることを示した。
3. 手法の明晰さ: 著者は、Ortega および Prendiville [10] によるフーリエ一様性の結果を用いれば、証明自体はそれほど困難ではないものの、これらの結果と、剰余類における重み付き和という特定の問題との関連性は、直ちに明白なものではなかったと述べている。

著者は、証明が極限的なシドンの集合のフーリエ一様性（Ortega および Prendiville [10]）に依拠していること、および「ほとんどすべて」の結果については Heath-Brown [7] の素数間隔の推定に依拠していることを明示している。本論文は新しい応用や将来の実験的方向性を提案するものではなく、シドンの集合の分布に関する理論的理解を洗練させることに焦点を当てている。また、著者は、Ortega および Prendiville の結果の適用可能性の特定、および階数重み付き和と「ほとんどすべて」の定理への一般化の定式化において OpenAI Codex の支援を受けたことを開示しているが、証明に関する全責任は著者が負っている。