[논문 리뷰] On the Cycle Structure of Repeated Exponentiation Modulo a Prime Power

Min Sha|arXiv (Cornell University)|2011. 01. 18.

Coding theory and cryptography참고 문헌 7인용 수 4

한 줄 요약

이 논문은 소수 모듈로에서 반복 거듭제곱의 주기점과 尾 길이에 대한 渐近 공식을 소수 거듭제곱 모듈로로 확장한다. 산술 동역학과 등차수열에서의 소수 분포를 활용하여, 소수 거듭제곱에서의 평균 순환 길이와 尾 길이에 대한 명시적 渐近 표현식을 유도하며, 이는 이전의 소수 모듈로에 대한 결과를 일반화한다.

ABSTRACT

We obtain some results about the repeated exponentiation modulo a prime power from the viewpoint of arithmetic dynamical systems. Especially, we extend two asymptotic formulas about periodic points and tails in the case of modulo a prime to the case of modulo a prime power.

연구 동기 및 목표

• 소수 모듈로에서의 주기점과 尾 길이에 대한 渐近 공식을 소수 거듭제곱 모듈로로 일반화한다.
• 소수 거듭제곱 모듈로의 곱셈군에서의 평균 순환 길이와 尾 길이에 대한 명시적 표현식을 유도한다.
• 수론적 도구를 활용해 다양한 소수 거듭제곱에서 주기점과 순환의 분포를 연구한다.
• 산술 동역학에서 반복 거듭제곱의 평균 행동 결과를 더 높은 소수 거듭제곱 모듈로로 확장한다.

제안 방법

• 소수 거듭제곱 모듈로의 곱셈군의 구조를 활용하여, 단위군 분해에 관한 기존 결과를 활용한다.
• 중국인의 나머지 정리와 오일러 파이 함수의 성질을 적용하여 순환 및 尾 함수를 분석한다.
• 등차수열에 속한 소수의 합에 대한 渐近 분석을 수행하며, 등차수열에 대한 소수 정리에 기반한다.
• 모비우스 역전 및 순환 순서의 곱셈적 성질을 활용하여 주기점과 주기 길이가 주어진 순환의 수를 세는 데 사용한다.
• [2]의 방법을 적용하여 소수에 대한 평균을 渐近적으로 유도하며, gcd 합과 곱셈적 함수에 대한 추정치를 활용한다.
• 한계를 증가하는 간격에 대해 정의된 소수를 통한 점근 평균 주기점 및 순환 수를 도입한다.

실험 결과

연구 질문

• RQ1 반복 거듭제곱에서 주기점과 尾 길이의 점근 분포는 소수 모듈로에서 소수 거듭제곱 모듈로로 이동할 때 어떻게 변화하는가?
• RQ2 소수 거듭제곱 모듈로의 곱셈군에서 평균 순환 길이와 尾 길이에 대한 명시적 공식은 무엇인가?
• RQ3 모듈로가 고정된 소수 거듭제곱일 때, 주어진 주기의 주기점 수는 소수에 대해 점근적으로 어떻게 증가하는가?
• RQ4 반복 거듭제곱 모듈로 소수 거듭제곱으로 정의된 동역계에서 주어진 길이의 순환 수의 점근적 행동은 무엇인가?
• RQ5 평균 尾 길이 및 순환 길이를 지수 k의 소인수 분해에 따라 표현할 수 있는가?

주요 결과

• 소수 거듭제곱 모듈로 p^m에서 주기 r의 점근 평균 주기점 수를 AP_r(k,m)로 표기하면, 수렴하는 오일러 곱으로 주어진다: ∏_{i=1}^s (p_i^2 / (p_i^2 - 1)) - 1.
• 소수 거듭제곱 모듈로 p^m에서 주기 r의 점근 평균 순환 수를 AC_r(k,m)로 표기하면, 곱셈 순환의 구조와 소수 거듭제곱 모듈로에서의 약수 합의 합으로 유도된다.
• 소수 p ≤ N에 대한 평균 순환 길이 c(k,m,N)는 lim_{N→∞} S_0(k,m,N)/N^m = (1/(m+1)) ∑_{q∈Ω} 1/q^2 를 만족하며, 여기서 Ω는 k의 소인수의 제곱 자유 곱으로 이루어진 집합이다.
• 평균 尾 길이 t(k,m,N)는 lim_{N→∞} S(k,m,N) = ∑_{q∈Ω} ψ(q)/q 를 만족하며, 여기서 ψ(q)는 p-진 값의 올림 함수를 포함한 약수에 대한 가중 합이다.
• 논문은 다음과 같은 추정치를 제공한다: 1/(k^2(m+1)) < lim S_0(k,m,N)/N^m < (2^s - 1)/(m+1), 이는 k의 서로 다른 소인수의 수에 대한 의존성을 보여준다.
• lim S(k,m,N) > 1/k 와 lim S(k,m,N) < 5√(p₁⋯pₛ)/((√p₁−1)⋯(√pₛ−1)) 를 증명하여 평균 尾 길이에 대한 명시적 정량적 통제를 제공한다.