[논문 리뷰] Counting solutions of quadratic congruences in several variables revisited

László Tóth|arXiv (Cornell University)|2014. 04. 16.

Analytic Number Theory Research참고 문헌 21인용 수 15

한 줄 요약

이 논문은 홀수 정수 모듈로에서 다변수 이차合同식의 해 수를 세는 간결하고 직접적인 증명을 제공한다. 이는 민코프스키, 바흐만, 코헨의 결과를 확장한 것으로, 라마누잔 합, 야코비 기호, 모비우스 함수를 사용하여 명시적인 표현을 유도하고, 다양한 k 및 n 값에 대해 x 이하의 모든 모듈로에 대한 해 수의 합에 대한 새로운 점근 공식을 수립한다. 응용 분야로는 표현 수와 성분 합이 포함된다.

ABSTRACT

Let $N_k(n,r,\\boldsymbol{a})$ denote the number of incongruent solutions of the quadratic congruence $a_1x_1^2+\\ldots+a_kx_k^2\\equiv n$ (mod $r$), where $\\boldsymbol{a}=(a_1,\\ldots,a_k)\\in {\\Bbb Z}^k$, $n\\in {\\Bbb Z}$, $r\\in {\\Bbb N}$. We give short direct proofs for certain less known compact formulas on $N_k(n,r,\\boldsymbol{a})$, valid for $r$ odd, which go back to the work of Minkowski, Bachmann and Cohen. We also deduce some other related identities and asymptotic formulas which do not seem to appear in the literature.

연구 동기 및 목표

• 홀수 r 모듈로에서 k 변수에 대한 이차合同식의 해 수에 대한 간결하고 직접적인 증명을 제공한다.
• 코헨, 민코프스키, 바흐만의 기존 결과를 임의의 계수 a₁,…,aₖ로 일반화한다.
• 특정 k 및 n에 대해 r ≤ x 인 모든 r에 대한 해 수 Nₖ(n,r)의 합에 대한 새로운 점근 공식을 유도한다.
• 비어 있지 않은 계수 (a₁,…,aₖ) ≠ (1,…,1)인 경우, 예를 들어 x²−y²≡1 및 x²+y²≡z² (mod r)와 같은 특수한 계약식을 포함하여 결과를 확장한다.
• 디리클레 급수와 콘볼루션 방법을 사용하여 해 수의 합의 점근적 행동을 확립하고, 명시적인 오차 항을 제공한다.

제안 방법

• 덧셈 특성의 직교성을 이용하여 지수 합을 사용한 삼각합으로 해 수 Nₖ(n,r,a)를 표현한다.
• 가우스 이차 합의 평가를 통해 삼각식을 단순화하여 고급 대수적 수론을 피한다.
• 해 수 함수의 산술적 구조를 분석하기 위해 곱셈 성질과 디리클레 콘볼루션을 적용한다.
• 모비우스 함수와 야코비 기호를 사용하여 홀수 k 및 서로소인 n과 r인 경우를 다룬다.
• 기존의 제타 함수 항등식을 활용하여 디리클레 급수와 오일러 곱 분해를 통해 점근 공식을 도출한다.
• 소수 거듭제곱 모듈로에 대해 명시적 평가를 통해 결과를 검증하고, 곱성에 의해 일반 r로 확장한다.

실험 결과

연구 질문

• RQ1 이차合同식의 해 수에 대한 간결한 공식을 유도하기 위해 최소한의 기술적 장비로 어떻게 접근할 수 있는가?
• RQ2 특히 k=1,2,3,4 및 n=0,1일 때, ∑_{r≤x} Nₖ(n,r)의 점근적 행동은 어떠한가?
• RQ3 계수 a₁,…,aₖ가 모두 1이 아닐 경우, 예를 들어 x²−y²≡1 (mod r)와 같이 해 수 Nₖ(n,r,a)는 어떻게 행동하는가?
• RQ4 예를 들어 조르당 함수를 포함하는 것과 같은 문헌에 나타나지 않은 새로운 항등식을 Nₖ(n,r)에 대해 도출할 수 있는가?
• RQ5 모듈로 r ≤ x 인 모든 r에 대한 해 수의 합의 점근 전개에서 정확한 오차 항은 무엇인가?

주요 결과

• k ≡ 0 (mod 4) 이고 r가 홀수일 때, Nₖ(n,r) = r^{k-1} ∑_{d|r} c_d(n)/d^{k/2}이며, 여기서 c_d(n)은 라마누잔 합이다.
• k ≡ 1 (mod 4), r가 홀수, gcd(n,r)=1 이면, Nₖ(n,r) = r^{k-1} ∑_{d|r} μ²(d)/d^{(k-1)/2} (n/d)이며, (n/d)는 야코비 기호이다.
• k ≡ 2 (mod 4), r가 홀수일 때, Nₖ(n,r) = r^{k-1} ∑_{d|r} (-1)^{(d-1)/2} c_d(n)/d^{k/2}이다.
• k ≡ 3 (mod 4), r가 홀수, gcd(n,r)=1 이면, Nₖ(n,r) = r^{k-1} ∑_{d|r} (-1)^{(d-1)/2} μ²(d)/d^{(k-1)/2} (n/d)이다.
• k ≡ 0 (mod 4), r가 홀수일 때, Nₖ(n,r) = r^{k/2−1} ∑_{d|gcd(n,r)} d·J_{k/2}(r/d)이며, 여기서 J_m은 조르당 함수이다.
• 점근 공식: ∑_{r≤x} N₄(1,r) = (2/(7ζ(3)))x⁴ + O(x³), 여기서 ζ는 리만 제타 함수이다.