No exact on average additive complements of squares

논문 개요

이 논문은 자연수 집합 $N$과 $r$제곱수 집합 $S_r = \{1^r, 2^r, 3^r, \dots\}$ ($r \ge 2$) 에 대해, $S_r$의 가법 보충집합 (additive complement) 인 집합 $W_r$의 성질을 연구합니다. 특히, $n = w + m^r$ ($w \in W_r, m^r \in S_r$) 으로 표현될 수 있는 방법의 수 $f_r(n)$에 대한 합 $\sum_{n \le N} f_r(n)$이 $N$보다 얼마나 큰지에 대한 하한 (lower bound) 을 증명하는 것이 핵심 목표입니다.

1. 연구 배경 및 문제 제기

• 가법 보충집합의 정의: 집합 $W$가 $S$의 가법 보충집합이란, 충분히 큰 모든 정수가 $W$의 원소와 $S$의 원소의 합으로 표현될 수 있음을 의미합니다.
• 에르되시 (Erdős) 의 문제: $S$가 제곱수 집합일 때, $W(N)/\sqrt{N}$의 하한 극한이 1 보다 엄격히 큰지 여부가 오랫동안 연구되었습니다. 현재까지의 최선 기록은 Cilleruelo, Habsieger, Balasubramanian 등에 의해 $\liminf W(N)/\sqrt{N} \ge 4/\pi$로 증명되었습니다.
• Ben Green 의 문제 (Problem 1): $W(N) \sim \frac{4}{\pi}\sqrt{N}$을 만족하는 가법 보충집합 $W$가 존재하는가? (즉, $w_n \sim \frac{\pi^2}{16}n^2$인 집합이 존재하는가?)
• Ruzsa 의 문제 (Problem 2): 제곱수 집합이 "평균적으로 정확한 (exact on average)" 가법 보충집합을 가지는가? 즉, $\sum_{n \le N} f(n) \sim N$을 만족하는 $W$가 존재하는가?
• Cilleruelo 의 추측 (1993): 임의의 가법 보충집합 $W_r$에 대해 $\sum_{n \le N} f_r(n) - N \gg N$ (또는 더 강한 형태) 이 성립할 것이라고 추측했습니다. 이는 위 두 문제가 부정적인 답을 가진다는 것을 의미합니다.

2. 주요 결과 (Key Results)

이 논문은 Cilleruelo 의 추측을 $r \ge 2$인 모든 경우에 대해 확장하고, $r=2$인 경우 더 정교한 로그 인자를 도입하여 하한을 개선했습니다.

Theorem 1 (일반적인 $r$제곱수에 대한 확장)

$r \ge 2$이고 $S \subset \mathbb{N}$가 $S(x) \sim c_r x^{1/r}$를 만족하는 집합일 때, $S$의 임의의 가법 보충집합 $W$에 대해 다음이 성립합니다:
$$\sum_{n \le N} f_{S,W}(n) - N \gg_{r, c_r} N^{1 - \frac{1}{r}}$$

• 의미: 이전까지 $r=2$인 경우에만 알려진 결과 ($N^{1/2}$) 를 임의의 $r$로 일반화했습니다. 이는 Cilleruelo 의 추측에 대한 강력한 지지 증거로, $\sum f(n)$이 $N$보다 $N^{1-1/r}$만큼 더 크다는 것을 보여줍니다.

Theorem 2 (제곱수 $r=2$에 대한 정교한 하한)

$W$가 제곱수의 가법 보충집합일 때, 다음과 같은 더 강한 하한을 증명했습니다:
$$\sum_{n \le N} f(n) - N \gg N^{1/2} (\log N)^{1 - \frac{1+\log \log 2}{\log 2}} (\log \log N)^{3/2}$$

• 의미: 기존 Ding, Sun, Wang, Xia 의 결과 ($0.193 N^{1/2}$) 에서 로그 인자 ($\log N$) 를 포함하도록 개선되었습니다. 이는 제곱수의 산술적 특성 (곱셈 테이블 문제 등) 을 활용하여 달성된 것입니다.

Theorem 3 (Problem 1 과 Problem 2 의 동치성)

만약 제곱수의 "평균적으로 정확한" 가법 보충집합 $W$가 존재한다면, 그 점열은 $w_n \sim \frac{\pi^2}{16}n^2$를 만족해야 함을 증명했습니다.

• 의미: Ben Green 의 문제와 Ruzsa 의 문제는 본질적으로 동일한 문제임을 보였습니다. 또한, Theorem 1 과 2 의 결과 ($\sum f(n) - N$이 발산함) 는 이러한 "완벽한" 보충집합이 존재하지 않음을 시사합니다.

3. 방법론 (Methodology)

논문의 증명은 다음과 같은 수학적 기법들을 조합하여 이루어졌습니다.

1. 구간 분할 및 아벨 합 (Abel Summation):

   • $N$을 $K$개의 구간으로 나누고, 각 구간 내의 $W$와 $S$의 원소 개수를 분석합니다.
   • 아벨 합 공식을 사용하여 차분 $w-s$의 분포를 추정하고, 이를 통해 중복 표현 (multiple representations) 의 하한을 유도합니다.

2. 중복 표현의 하한 유도:

   • $w_1 - s_1 = w_2 - s_2 = d$인 경우, $w_1 + s_2 = w_2 + s_1 = n$이 되어 $n$이 두 가지 방법으로 표현됨을 이용합니다.
   • 이러한 중복 표현의 총합이 $\sum f(n)$의 증가분을 결정짓는 핵심 요소임을 보여줍니다.

3. Ford 의 곱셈 테이블 결과 (Multiplicative Table Problem) 활용:

   • Theorem 2 의 증명에서 핵심적인 역할을 한 것은 Ford 의 정리입니다. $n = m_1 m_2$ ($m_i \le \sqrt{x}$) 꼴로 표현 가능한 정수의 개수 $L(x)$에 대한 점근적 추정식을 활용합니다.
   • 이는 제곱수 ($r=2$) 의 특수한 구조를 이용하여 로그 인자 ($\log N$) 를 개선하는 데 결정적이었습니다.

4. 경우 분석 (Case Analysis):

   • $W$의 밀도가 특정 구간에서 높거나 낮거나 하는 경우를 나누어 분석하고, 각 경우에 대해 $\sum f(n) - N$이 충분히 커짐을 보였습니다.

4. 의의 및 기여 (Significance)

1. Cilleruelo 추측의 일반화: $r=2$에 국한되었던 하한 증명을 임의의 $r \ge 2$로 확장하여, 가법 보충집합 이론의 범위를 넓혔습니다.
2. 정밀도 향상: $r=2$인 경우, 상수 계수뿐만 아니라 로그 인자까지 포함한 더 정밀한 하한을 제시함으로써, 가법 보충집합의 구조적 한계를 더 깊이 있게 규명했습니다.
3. 문제 해결 방향 제시: Ben Green 과 Ruzsa 가 제기한 문제들에 대해, "완벽한" 보충집합은 존재하지 않을 가능성이 매우 높음을 강력하게 시사합니다. 즉, $\sum f(n) - N$이 발산하므로 $\sum f(n) \sim N$은 성립할 수 없습니다.
4. 수학적 기법의 융합: 아벨 합, 평균값 정리, 그리고 곱셈 테이블 문제 (Multiplicative Table Problem) 와 같은 해석적 정수론 기법을 효과적으로 결합하여 새로운 하한을 도출한 방법론적 기여가 있습니다.

결론

이 논문은 $r$제곱수의 가법 보충집합이 가지는 중복 표현의 수에 대해, $N^{1-1/r}$의 차이를 가진다는 것을 증명하고, $r=2$인 경우 이를 더 정교한 로그 항을 포함하여 개선했습니다. 이는 에르되시, Ruzsa, Ben Green 등이 제기한 오랜 난제들에 대한 중요한 진전을 이루었으며, 가법 정수론 분야에서 중요한 이정표가 될 것으로 기대됩니다.