Power and rank-weighted sums in dense finite Sidon sets

기술 요약: 조밀한 유한 시돈 집합에서의 거듭제곱 및 순위 가중 합

문제 정의
본 논문은 $\{1, 2, \dots, n\}$ 내의 조밀한 유한 시돈 집합(Sidon set) $S$가 등차수열 및 유클리드 나머지 클래스(residue classes) 내에서 어떻게 분포하는지를 다룬다. 집합 $S$는 모든 쌍의 합 $a+b$ (순서 없는 쌍에 대해)가 서로 다를 때 시돈 집합이라고 한다. 핵심 문제는 특정 나머지 클래스 $a \equiv r \pmod m$로 제한된 거듭제곱 합 $\sum_{a \in S} a^\ell$ 및 순위 가중 합 $\sum_{i} i^s a_i^\ell$에 대한 무조건적 점근식을 확립하는 것이다.

저자의 이전 연구 [4]는 긴 종단 범위(terminal ranges)에 대한 $|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. 아벨 합산(Abel Summation) 및 직교성: 저자들은 유한 등차수열 내에서의 $S$의 불일치(discrepancy)를 추정하기 위해 푸리에 직교성을 사용한다. 푸리에 균일성 유계값과 등차수열의 푸리에 변환에 대한 표준 추정치를 결합함으로써, 임의의 등차수열 내 원소의 개수에 대한 균등한 오차항을 도출한다.
3. 가중 합산: 원소가 인덱스 $i^s$에 의해 가중치를 받는 순위 가중 합의 경우, 저자들은 인덱스 $i$를 세기 함수(counting function)를 통해 $a_i$와 연관시킨다. 불일치 추정치를 사용하여 $i \approx \frac{|S|}{n}a_i$로 근사하고, 아벨 합산을 적용하여 균등 분포 특성을 가중 합으로 전이시킨다.
4. 대부분의 경우(Almost-All) 결과: "대부분의 $n$"에 대해 오차항을 개선하기 위해, 본 논문은 이전에 Balasubramanian과 Dutta [1]가 사용했던 Heath-Brown [7]의 큰 소수 간격(large-prime-gap) 추정치를 포함한다. 이를 통해 대다수의 정수 $n$에 대해 크기 결함(size defect) $|S| - n^{1/2}$에 대한 더 정교한 유계를 얻을 수 있다.

주요 기여 및 결과

• 무조건적 나머지 클래스 점근식 (정리 1 및 따름정리 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))$$
  이 결과는 무조건적으로 성립하며, 이전의 특정 분포 가설에 대한 의존성을 제거한다.

• 최대 시돈 집합 (따름정리 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]의 미해결 질문에 구체적으로 답하는 것이다.

• 순위 가중 합 (정리 4 및 따름정리 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)$의 오차항을 갖는다.

• 대부분의 경우 개선 (정리 6): 푸리에 균일성 접근법을 Heath-Brown의 소수 간격 추정치와 결합함으로써, 본 논문은 $n \le N$인 $O(N^{4/5+\varepsilon})$개의 정수를 제외한 모든 $n$에 대하여, 최대 시돈 집합의 오차항이 다음과 같이 정교해질 수 있음을 보여준다:
  $$O(n^{\ell+s/2+3/8} \log n)$$
  이는 "대부분의 경우"에 대해 기존 문헌에서 발견된 오차항을 개선한 것이다.

의의 및 저자의 주장
본 논문은 조밀한 시돈 집합에 대한 나머지 클래스 거듭제곱 합 점근식의 "짧은 무조건적 증명"을 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 조건부 가설 제거: $[4]$에서의 열린 문제를 해결하여, $|S \cap [1, k]|$의 분포에 관한 제한적인 조건 없이 점근식을 증명하였다.
2. 통합: 표준 거듭제곱 합과 더 복잡한 순위 가중 합 모두가 동일한 근본 원리, 즉 유한 등차수열에서의 시돈 집합의 푸리에 균일성(불일치)에 의해 제어됨을 입증한다.
3. 방법론적 명확성: 저자는 Ortega와 Prendiville의 푸리에 균일성 결과가 주어지면 증명이 그리 어렵지는 않지만, 이러한 결과와 나머지 클래스 내 가중 합이라는 특정 문제 사이의 연결 고리가 즉각적으로 명확하지 않았음을 언급한다.

저자는 증명이 극한 시돈 집합의 푸리에 균일성(Ortega 및 Prendiville [10])에 의존하며, "대부분의 경우"에 대한 결과는 Heath-Brown [7]의 소수 간격 추정치에 의존한다고 명시한다. 본 논문은 새로운 응용이나 미래의 실험적 방향을 제안하기보다는, 시돈 집합의 분포에 대한 이론적 이해를 정교화하는 데 집중한다. 또한 저자는 Ortega와 Prendiville의 결과의 적용 가능성을 식별하고 순위 가중 합 및 대부분의 경우에 대한 정리에 대한 일반화를 구성하는 데 OpenAI Codex의 도움을 받았으나, 증명에 대한 모든 책임은 저자에게 있음을 밝힌다.