Waring's problem involving D.H. Lehmer numbers

기술 요약: D.H. 레머 수(D.H. Lehmer numbers)를 포함하는 워링의 문제(Waring's Problem)

문제 정의
본 논문은 고전적인 워링의 문제의 변형을 다루며, 특히 충분히 큰 양의 정수를 네 번째 거듭제곱(fourth powers)의 합으로 표현할 때 D.H. 레머 수를 사용하는 경우를 조사한다. $p$를 홀소수라고 하자. D.H. 레머 수는 $1 \le a \le p$, $\gcd(a, p) = 1$, 그리고 $a + \bar{a} \equiv 1 \pmod 2$를 만족하는 정수 $a$로 정의된다 (여기서 $\bar{a}$는 $[1, p]$ 범위 내에서 $a$의 유일한 곱셈 역원이다). 이 숫자들의 집합을 $L(p)$라고 표기한다.

저자들은 임의의 충분히 큰 정수 $N$을 표현하기 위해 $L(p)$의 원소들의 네 번째 거듭제곱이 몇 개 필요한지를 결정하고자 한다. 이는 모든 충분히 큰 정수가 자연수의 16개 네 번째 거듭제곱의 합으로 표현될 수 있고, 16에 대해 15 또는 16과 합동이 아닌 모든 충분히 큰 정수는 14개의 그러한 네 번째 거듭제곱의 합으로 표현될 수 있다는 H. Davenport의 고전적 결과에 기초한다. 본 논문은 제한된 집합인 D.H. 레머 수로 이러한 결과들을 확장하는 것을 목표로 한다.

방법론
저자들은 가법 정수론(additive number theory) 문제의 표준적인 해석적 기법인 하디-리틀우드 원법(Hardy-Littlewood circle method)을 사용한다. 방법론의 핵심은 다음과 같다:

1. 생성 함수(Generating Functions): 저자들은 $L(p)$ 집합에 대한 지수 합(exponential sums)을 정의한다. 구체적으로, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$이다 (여기서 $P \approx (N/100)^{1/4}$). $N$을 14개의 네 번째 거버제곱의 합으로 표현하는 문제를 다루기 위해, 저자들은 정수 집합 $\{u_1, \dots, u_U\}$(레머 수의 4개 네 번째 거듭제곱의 합들)를 도입하고 $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$를 정의한다.
2. 적분 표현(Integral Representation): 표현의 수 $r_{14}(N)$은 단위 구간에 대한 적분으로 표현된다: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$.
3. 주 영역 및 부 영역(Major and Minor Arcs): 적분 영역은 주 영역 $\mathfrak{M}$(작은 분모를 가진 유리수 근처)과 부 영역 $\mathfrak{m}$으로 나뉜다.
   • 주 영역에서의 근사: 저자들은 특성 합(character sums)과 뫼비우스 함수(Möbius function)의 성질을 사용하여 특성 합 $T^*(\alpha, a, q)$와 오차항 $H(\alpha)$를 사용하여 주 영역에서의 지수 합 $T(\alpha)$를 근사한다.
   • 부 영역에서의 추정: 바일의 부등식(Weyl's inequality)과 특성 합을 포함하는 지수 합의 경계값을 사용하여, 부 영역으로부터의 기여가 주 항(main term)에 비해 무시할 수 있는 수준임을 입증한다.
4. 보조정리 및 경계값: 증명은 다음 항목들에 대한 경계값을 설정하는 일련의 보조정리에 의존한다:
   • 특성 합 (보조정리 1)
   • 짧은 구간 내 레머 수의 분포 (보조정리 3, 보조정리 5)
   • $x^4 + u_h = y^4 + u_i$ 형태의 방정식의 해의 개수 (보조정리 6)
   • $s$개의 레머 수의 네 번째 거듭제곱의 합으로 표현 가능한 수들의 밀도 (보조정리 7)
   • 주 영역 및 부 영역 모두에서의 $T(\alpha)$에 대한 경계값 (보조정리 8, 보조정리 14)

주요 기여 및 결과
이 논문은 큰 정수의 표현 가능성에 관한 두 가지 주요 정리를 확립한다:

• 정리 1: 충분히 큰 양의 정수 $N$ 중, $N \not\equiv 15, 16 \pmod{16}$인 경우, $N$은 14개의 D.H. 레머 수의 네 번째 거듭제곱의 합으로 표현될 수 있다.
• 정리 2: 모든 충분히 큰 양의 정수는 16개의 D.H. 레머 수의 네 번째 거듭제곱의 합으로 표현될 수 있다.

정리 1의 증명은 적분 표현에서의 주 항이 오차항보다 우세함을 보여줌으로써, 지정된 합동류(congruence classes)에 대해 $r_{14}(N) > 0$임을 보장하는 과정을 포함한다. 정리 2는 정리 1과 1이 레머 수라는 관찰로부터 즉각적으로 도출된다. 즉, 16에 대해 15 또는 16과 합동인 정수는 두 개의 $1^4$를 빼는 것($N-2$)을 통해 허용되는 합동류의 형태로 환원될 수 있다.

의의 및 주장
저자들은 이것이 D.H. 레머 수를 구체적으로 포함하는 워링의 문제에 관한 첫 번째 연구라고 밝힌다. 이 연구의 의의는 다음과 같다:

1. 고전적 결과의 확장: 고전적인 워링의 문제(특히 $k=4$인 경우)에 사용된 성숙한 방법론을 합동 산술적 성질에 의해 정의된 제한된 정수 집합에 성공적으로 적용하였다.
2. $G(4)=16$의 검증: 저자들은 16개의 네 번째 거듭제곱의 합으로 표현 가능한 정수의 범위를 특정 D.H. 레머 수의 부분집합으로 좁힘으로써, 고전적 결과인 $G(4)=16$을 검증하는 대안적인 관점을 제공한다고 언급한다.
3. 미해결 문제: 논문은 결론에서, 다른 워링의 문제의 경우에도 D.H. 레머 수로 제한된 거듭제곱의 합으로 $N$을 분할하는 문제가 향후 연구를 위한 미개척 분야임을 시사한다.

이 연구는 산시(Shaanxi) 기초 과학 연구 프로젝트(수학 및 물리학)와 산시성 자연과학 기초 연구 프로젝트의 지원을 받았다.