[논문 리뷰] Evaluating Prime Power Gauss and Jacobi Sums

Misty Long, Vincent Pigno외 1명|arXiv (Cornell University)|2014. 10. 22.

Analytic Number Theory Research참고 문헌 3인용 수 4

한 줄 요약

이 논문은 소수 거듭제곱 모듈로 $ p^m $ 에서의 일반화된 자코비 합수 $ J_B(\rho_1, \rho_2, \rho_3, \rho_4, p^m) $ 를 완전히 평가하며, 이전 결과를 $ m \neq 1 $ 인 모든 경우로 확장한다. 특별히, 특성들이 원시적이고 그 곱이 $ p^{m-n} $ 모듈로에서 원시적 특성으로 유도되는 경우, 가우스 합수, 자코비 기호, 단위근을 포함한 폐형 표현식을 통해 이러한 합수에 대한 명시적 공식을 수립한다. 이는 $ m \neq 1 $ 인 경우에 유효하다.

ABSTRACT

We show that for any mod $p^m$ characters, $χ_1, \dots, χ_k,$ the Jacobi sum, $$ \sum_{x_1=1}^{p^m}\dots \sum_{\substack{x_k=1\\x_1+\dots+x_k=B}}^{p^m}χ_1(x_1)\dots χ_k(x_k), $$ has a simple evaluation when $m$ is sufficiently large (for $m\geq 2$ if $p mid B$). As part of the proof we give a simple evaluation of the mod $p^m$ Gauss sums when $m\geq 2$.

연구 동기 및 목표

• 이전 결과가 짝수 $ m $ 또는 특정 특성 구성에 국한되어 있던 소수 거듭제곱 모듈로에서의 자코비 합수 평가를 $ m \neq 1 $ 인 모든 경우로 확장한다.
• 모듈로 $ p^n $, $ n < m $ 인 일반화된 자코비 합수 $ J_B(\rho_1, \rho_2, \rho_3, \rho_4, p^m) $ 의 경우를 $ m \neq 1 $ 인 경우로 확장하며, 홀수 $ m $ 과 혼합된 특성의 기현성도 포함한다.
• 이러한 합수가 0이 되거나 비영이 되는 데 필요한 필수 조건을 규명하며, 특히 곱 특성의 원시성과 유도 조건에 중점을 둔다.
• 장, 요우, 장 & 쑹의 이전 결과를 하나의 프레임워크로 통합하고, $ m \neq 1 $ 인 모든 경우, $ p = 2 $ 와 $ m \neq 1 $ 인 경우에도 적용 가능한 일반화된 틀을 수립한다.
• 가우스 합수와 특성 유도의 성질을 활용하여, $ k $-항 자코비 합수를 $ k-1 $-항 합수로 줄이는 귀납 기반의 재귀적 방법을 제시한다.

제안 방법

• 저자들은 재귀적 감소 전략을 사용하여, $ k $-항 자코비 합수를 $ (k-1) $-항 합수의 합으로 표현한다. 식은 $ J_{p^n}(\rho_1, \rho_2, \rho_3, \rho_4, p^m) = \text{sum over } x_3, \text{...}, x_k \text{ of } J_b(\rho_1, \rho_2, p^m) $ 로, 여기서 $ b = p^n - x_3 - \cdots - x_k $ 이다.
• 저자들은 합동식 $ c_1 + c_2 - c_1 b x \equiv 0 \pmod{p^{\lfloor (m+n)/2 \rfloor + 1}} $ 의 해 $ x_0 $ 를 이용하여 이항 자코비 합수 $ J_b(\rho_1, \rho_2, p^m) $ 의 폐형 평가를 유도한다. 이때 $ p \nmid x(bx - 1) $ 이다.
• 합수 $ J_b(\rho_1, \rho_2, p^m) $ 는 가우스 합수 요소, 자코비 기호, 단위근으로 표현되며, $ p \neq 2 $ 인 경우 $ \delta_2 = \left(\frac{-2r}{p}\right)^m \left(\frac{c_1 c_2 (c_1 + c_2)}{p}\right)^m \varepsilon_{p^m} $ 이고, $ p = 2 $ 인 경우 유사한 표현식이 존재한다.
• 이 방법은 $ J_b(\rho_1, \rho_2, p^m) = 0 $ 가 되는 조건을 특성화하는 데 의존한다. 예를 들어 $ p \mid c_1 $ 이고 $ p \mid c_2 $ 이거나, $ p \nmid c_1 c_2 (c_1 + c_2) $ 이면 비영 공식이 작동한다.
• $ k \geq 3 $ 인 경우, 저자들은 $ k-1 $ 개의 특성에 대해 공식이 성립한다고 가정하고, 이항 합수 결과와 귀납 가정을 조합하여 전체 $ k $-항 공식을 유도한다.
• 최종적으로 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 의 공식은 이항 합수 결과와 귀납적 평가를 조합하여 유도되며, $ \delta_2 \delta_3 = \delta $ 와 같은 곱셈 계수를 포함한다. 여기서 $ \delta $ 는 가우스 합수와 기호 항을 포함한 전체 보정 계수이다.

실험 결과

연구 질문

• RQ1 모듈로 $ p^n $, $ n < m $, $ m \neq 1 $ 인 경우 일반화된 자코비 합수 $ J_B(\rho_1, \dots, \rho_k, p^m) $ 가 비영이 되는 조건은 무엇인가?
• RQ2 이항 합수 $ J_B(\rho_1, \rho_2, p^m) $ 의 평가를 재귀적 감소와 귀납법을 통해 $ k \geq 3 $ 개의 특성으로 어떻게 확장할 수 있는가?
• RQ3 합수 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 의 평가에서 보정 계수 $ \delta $ 의 정확한 형태는 무엇이며, 이는 특성의 인덱스 $ c_i $, 소수 $ p $, 그리고 $ m $ 의 기현성에 어떻게 의존하는가?
• RQ4 $ p = 2 $ 인 경우, 특히 $ m \geq 5 $ 인 경우, 홀수 소수의 경우와 어떻게 다를까? 특히 보정 계수 $ \delta $ 의 구조적 차이를 설명하라.
• RQ5 특성의 곱 $ \rho_1 \cdots \rho_k $ 가 모듈로 $ p^{m-n} $ 에서 원시적 특성으로 유도되는 것이 합수가 0이 되는지 비영이 되는지 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모듈로 $ m \geq n+2 $ 인 경우 일반화된 자코비 합수 $ J_{p^n}(\rho_1, \dots, \rho_k, p^m) $ 는 모든 $ \rho_i $ 가 $ p^m $ 모듈로에서 원시적이며, $ \rho_1 \cdots \rho_k $ 가 $ p^{m-n} $ 모듈로에서 원시적 특성으로 유도되는 경우에만 비영이 된다.
• 비영 조건이 충족되면 합수는 $ p^{\frac{1}{2}(m(k-1)+n)} \cdot \frac{\rho_1(c_1) \cdots \rho_k(c_k)}{\rho_1 \cdots \rho_k(v)} \cdot \delta $ 로 평가되며, 여기서 $ v = (c_1 + \cdots + c_k)/p^n $ 이다.
• 홀수 $ p $ 의 경우 보정 계수 $ \delta $ 는 $ \left(\frac{-2r}{p}\right)^{m(k-1)+n} \left(\frac{v}{p}\right)^{m-n} \left(\frac{c_1 \cdots c_k}{p}\right)^m \varepsilon_{p^m}^k \varepsilon_{p^{m-n}}^{-1} $ 이며, $ r $ 과 $ c_i $ 는 특성 인덱스로 정의된다.
• $ p = 2 $ 이고 $ m - n \geq 5 $ 인 경우 $ \delta = \left(\frac{2}{v}\right)^{m-n} \left(\frac{2}{c_1 \cdots c_k}\right)^m \omega^{(2^n - 1)v} $ 이며, 여기서 $ \omega = e^{\pi i / 4} $ 이고, $ m - n = 2, 3, 4 $ 인 경우 추가 보정 계수가 적용된다.
• 특히 $ k = 2 $ 인 경우 공식은 이전에 알려진 이항 합수 결과로 줄어들며, 보정 계수 $ \delta_2 $ 는 가우스 합수와 자코비 합수의 표준 형태와 일치한다.
• $ m $ 이 홀수이고 $ p \neq 2 $ 인 경우 보정 계수에는 자코비 기호 $ \left(\frac{vc_1 \cdots c_k}{p}\right) $ 가 포함되며, $ p \mid vc_1 \cdots c_k $ 이면 이 기호가 0이 되어 합수가 0이 된다.