Generalized polygonal number representations

기술 요약: 일반화된 다각형 수 표현 (Generalized Polygonal Number Representations)

문제 정의
본 논문은 양의 정수 $N$을 $n$개의 일반화된 $k$-각 다각형 수(generalized $k$-gonal numbers)의 합으로 나타내는 방법의 수인 $r_k^n(N)$을 구하는 문제를 다룬다. 일반화된 $k$-각 다각형 수는 $x \in \mathbb{Z}$인 다항식 $p_k(x) = \frac{(k-2)x^2 - (k-4)x}{2}$로 정의된다. 이는 인수가 비음의 정수($x \in \mathbb{N}_0$)로 제한되는 "보통의" $k$-각 다각형 수 $r_{k,+,n}(N)$와 대조된다.

이러한 표현의 존재성 자체는 잘 알려진 분야이지만(예: 페르마-코시 다각형 수 정리), 표현 함수 자체의 점근적 거동(asymptotic behavior)에 대해서는 상대적으로 연구가 덜 이루어졌다. 본 연구의 주요 목표는 $r_k^n(N)$과 $n$개 제곱수의 합의 표현 수인 $r_n^\square(N)$ 사이의 폐쇄형 점근 관계(closed-form asymptotic relation)를 확립하는 것이다. 저자는 $k=3$(삼각수)과 $k=4$(정사각형)의 경우 보통의 표현 수와 일반화된 표현 수 사이의 직접적인 관계를 허용하는 대칭성을 갖지만, $k \ge 5$인 경우에는 이러한 대칭성이 사라지기 때문에 그러한 관계를 도출하기가 어렵다는 점을 언급한다.

방법론
핵심 방법론은 고정된 합동 조건(congruence conditions) 하에서 $n$개 제곱수의 합 방정식의 해를 세기 위해, 이차 형식(quadratic forms)을 위해 개발된 Heath-Brown의 원법(circle method)을 수정하여 적용하는 것이다.

1. 합동 조건으로의 환원: 방정식 $\sum_{i=1}^n p_k(x_i) = N$에 대해 완전제곱식을 만듦으로써, 이 문제는 $x_i \equiv 2b \pmod{4a}$ (구체적으로 $x_i \equiv k \pmod{2(k-2)}$)라는 합동 조건 하에서 $\sum_{i=1}^n x_i^2 = X_N$ (여기서 $X_N = 8(k-2)N + n(k-4)^2$)의 해를 세는 문제로 변환된다.
2. Heath-Brown 원법의 적응: 저자는 해 집합에 대한 합동 조건 $x \equiv \mathbf{k} \pmod M$을 부과함으로써, Heath-Brown의 이차 형식 연구에서 사용된 가중치 계산 함수 접근법을 적응시킨다. 이를 통해 저자는 그러한 해의 개수 $r_n^\equiv(N)$에 대한 점근 공식을 유도한다.
3. 특이 급수 및 밀도: 점근 공식은 불변하는 특이 적분(singular integral)과 $p$-진 밀도(p-adic densities)로 구성된 특이 급수(singular series)로 분리된다. 저자는 다음과 같이 이 밀도들을 명시적으로 계산한다:
   • 제곱 밀도 ($\delta_p^\square$): 표준 가우스 합(Gauss sum) 평가를 사용하여 계산된다.
   • 다각형 밀도 ($\delta_p^k$): 일반화된 이차 가우스 합을 사용하여 계산된다. 저자는 홀수 소수 $p | (k-2)$에 대해 밀도가 균일함을 보이며, $p=2$인 경우는 $k \pmod 4$에 따른 세밀한 사례 분석이 필요함을 보여준다.
4. 모멘트 추정: 유도된 점근 관계를 사용하여, 디리클레 급수와 Perron의 공식을 활용하여 $r_4^\square(X_N)$의 모멘트를 추정함으로써 $r_k^4(N)$의 2차 모멘트를 추정한다.

주요 기여 및 결과

• 정리 1.1 (주요 점근 관계): $n \ge 4$ 및 $k \ge 3$에 대하여, 저자는 다음과 같은 폐쇄형 점근 관계를 증명한다:
  $$r_k^n(N) = \frac{1 + (-1)^{\lfloor n/4 \rfloor} 4^{n-2} T(X_N, n, k)}{2^{n-3}(k-2)^{n-1} N_n(X_N, k-2)} r_n^\square(X_N) + O(N^{(n-1)/4 + \varepsilon})$$
  여기서 $T$와 $N_n$은 $p$-진 밀도를 포함하는 명시적 함수이다. 이 결과는 임의의 $k \ge 3$ 및 $n \ge 4$에 대해 제곱수의 합과 다각형 수의 합 사이의 알려진 관계를 일반화한다.

• 따름정리 1.2 (2차 모멘트): 저자는 4개 변수에 대한 표현 함수의 2차 모멘트의 점근적 거동을 도출한다:
  $$\sum_{N \le x} r_k^4(N)^2 = C_k \zeta(3) \frac{1}{(k-2)^4} \prod_{p_i | (k-2)} \frac{1 - p_i^{-3}}{1 - p_i^{-4}} x^3 + O(x^{11/4 + \varepsilon})$$
  여기서 $C_k$는 $k$의 4-나누어떨어짐 여부에 따라 결정된다.

• 따름정리 1.3 (보통의 다각형 수): 보통의 표현 수와 일반화된 표현 수의 관계($r_{k,+,n}(N) \approx 2^{-n}r_k^n(N)$)를 다룬 Bringmann 등의 최근 결과와 정리 1.1을 결합하여, $r_{k,+,4}(N)$에 대한 점근 공식을 제공한다. 이는 삼각수($k=3$) 및 오각수($k=5$)에 대한 알려진 결과들을 특수한 경우로서 회복한다.

• 따름정리 1.4 (부분 수열의 유계성): 저자는 $r_{k,+,4}(N)$의 거동을 분석한다.

  • 만약 $4 \nmid k$이면, $r_{k,+,4}(N)$이 유계인 엄격히 증가하는 무한 부분 수열은 존재하지 않는다.
  • 만약 $4 \mid k$이면, $r_{k,+,4}(N)$이 유계인 임의의 엄격히 증가하는 무한 부분 수열은 $(k-4)^2/(4-2k)$로 2-진 수렴(2-adically converge)해야 한다. 이는 표현 수가 0인 특정 형태에 관한 Meng와 Sun의 기존 결과를 보완한다.

• 정확한 항등식: 저자는 $n=4, k=6$과 같은 특정 사례의 경우, 점근 관계의 오차항이 사라져 다음과 같은 정확한 항등식을 얻음을 언급한다: $r_6^4(N) = \frac{1}{24} r_4^\square(32N + 16)$.

의의 및 주장
본 논문은 일반적인 $k \ge 3$ 및 $n \ge 4$에 대해 일반화된 $k$-각 다각형 수 표현과 제곱수의 합 사이의 첫 번째 폐쇄형 점근 관계를 제공한다고 주장한다. 저자는 표현의 존재성은 잘 이해되어 있지만, 표현 함수의 양적 연구(quantitative study)는 덜 탐구되었다는 점을 강조한다.

그 의의는 다음과 같다:

1. 통합: Heath-Brown의 원법을 통해 다각형 수 연구를 제곱수의 고전적 이론과 연결한다.
2. 명시적 공식: 점근적 거동에 대한 명시적 상수와 오차항을 제공하여 모멘트 계산(2차 모멘트로 입증됨)을 가능하게 한다.
3. 유계성 정교화: 표현 수가 유계로 유지되는 부분 수열에 대한 2-진 성질을 제시하여, 특정 형식에 대한 표현의 부존재성에 관한 이전 연구를 확장한다.

저자는 $O(N^{(n-1)/4 + \varepsilon})$ 오차항이 (특히 $k=6$의 경우처럼) 개선될 수 있음을 겸허히 언급하며, $n > 4$인 경우 보통의 다각형 수로 관계를 일반화하는 것이 여전히 도전적인 미해결 과제로 남아 있음을 시사한다. 이 연구는 가법 정수론(additive number theory)의 활발한 분야에 기여하는 학부 논문으로서 제시되었다.