[논문 리뷰] Idempotents and Nilpotents Modulo n

Steven R. Finch|arXiv (Cornell University)|2006. 05. 01.

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

한 줄 요약

이 논문은 정수환 $n$에 대한 모듈로 거듭제곱 수열의 주기 및 일시적 단계의 점근적 행동을 조사한다. 특히 $\mathbb{Z}_n$ 내에서의 등幂원, 영원소, 원시근 원소에 초점을 맞춘다. 이러한 원소의 수에 대한 정확한 곱셈 공식을 유도하고, 디리클레 급수와 셀버그-델랑지 방법을 사용하여 점근 밀도를 확립함으로써, 주기 또는 일시적 단계가 최대 1인 원소에 대해 $A \approx 0.4408$과 같은 상수를 도출한다.

ABSTRACT

We study asymptotic properties of periods and transient phases associated with modular power sequences. The latter are simple; the former are vaguely related to the reciprocal sum of square-free integer kernels.

연구 동기 및 목표

• 모듈로 $n$에서 일시적 단계 또는 주기가 유계인 원소의 분포를 특성화한다.
• 등幂원($x^2 = x$)과 영원소($x^k = 0$)를 포함한 이러한 원소의 수에 대한 정확한 곱셈 공식을 유도한다.
• 디리클레 급수와 해석적 수론을 사용하여 이러한 원소의 누적 수의 점근적 성장률을 확립한다.
• 이러한 수의 점근적 행동을 아르틴 상수 및 이차 클래스 상수와 같은 알려진 상수들과 연결한다.

제안 방법

• 순서 $x^k \mod n$의 주기 $\sigma(x)$와 일시적 단계 $\tau(x)$를 각각 정의한다.
• 곱셈적 산술 함수를 사용하여 $\tau \leq 1,2,3$인 원소의 수를 세는 함수 $a(n), b(n), c(n)$를 계산한다.
• 디리클레 생성 함수 $\sum a(n)/n^{s+1}$를 구성하고, 셀버그-델랑지 방법을 적용하여 점근적 주요 항을 추출한다.
• 소수를 포함한 오일러乘법형태로 표현된 점근 밀도 상수를 표현하며, 예를 들어 $A = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p+1)}\right)$와 같이 기술한다.
• 영원소의 수를 제곱-free 커널 $\kappa(n)$과 연결하여 $z(n) = n / \kappa(n)$임을 보이고, $\sum 1/\kappa(n)$에 대한 기존 결과를 활용해 합을 분석한다.
• 오일러 피 함수 $\varphi(n)$와 카이 함수 $\psi(n)$와 같은 알려진 산술 함수와 비교하며, 원시근 및 아르틴 상수와의 관계를 논의한다.

실험 결과

연구 질문

• RQ1 모듈로 $n$에서 일시적 단계 $\tau(x) \leq 1$인 원소의 점근 밀도는 무엇인가?
• RQ2 일시적 단계가 유계인 원소($\tau \leq T$)의 수는 $n \to \infty$일 때 어떻게 증가하는가?
• RQ3 모듈로 $n$에서의 영원소 수의 점근적 행동은 무엇이며, 제곱-free 커널 $\kappa(n)$과 어떻게 관련되는가?
• RQ4 주기 1인 원소를 세는 합 $\sum_{n \leq N} u(n)$은 점근적으로 추정할 수 있는가? 그리고 $\sum \varphi(n)$와 비교해보면 어떻게 되는가?
• RQ5 모듈로 $n$에서의 원시근의 점근 밀도는 무엇이며, 아르틴 상수와 어떻게 관련되는가?

주요 결과

• 일시적 단계가 최대 1인 $\mathbb{Z}_n$ 내 원소의 수는 $\sum_{n \leq N} a(n) \sim A N^2$를 만족하며, $A = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p+1)}\right) \approx 0.440756919862$이다.
• 일시적 단계가 최대 2인 경우, 합 $\sum_{n \leq N} b(n) \sim B N^2$이며, $B = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p^2 + p + 1)}\right) \approx 0.477176626987$이다.
• 일시적 단계가 최대 3인 경우, 합 $\sum_{n \leq N} c(n) \sim C N^2$이며, $C = \frac{1}{2} \prod_p \left(1 - \frac{1}{p^2(p^3 + p^2 + p + 1)}\right) \approx 0.490145568004$이다.
• 모듈로 $n$에서의 영원소 수는 $z(n) = n / \kappa(n)$이며, 여기서 $\kappa(n)$은 제곱-free 커널이지만, 합 $\sum_{n \leq N} z(n)$의 점근적 해법은 아직 해결되지 않았다.
• 모듈로 $n$에서의 원시근 수의 합 $\sum_{n \leq N} g(n) \sim \tilde{A} N^2 / \ln N$이며, $\tilde{A} = \frac{5}{8} \prod_p \left(1 - \frac{1}{p(p-1)}\right) \approx 0.233722383512$이다. 이는 아르틴 상수의 오차이스의 다섯 분율이다.
• 주기 1인 원소를 세는 합 $\sum_{n \leq N} u(n)$는 $\sum_{n \leq N} (n - m(n)) \sim \frac{3}{8} \frac{N^2}{\ln N}$를 만족하며, 여기서 $m(n)$은 $\sigma(x) = 1$인 원소의 수이다.