[논문 리뷰] Addenda/Corrigenda: Fixed Points and Two-cycles of the Discrete Logarithm

Joshua Holden|ArXiv.org|2002. 08. 04.

Matrix Theory and Algorithms참고 문헌 1인용 수 7

한 줄 요약

이 논문은 소수 p에 대한 이산 로그 사상에서 고정점과 두 주기 순환의 히우리스틱 추정치를 수정하고 확장한다. 이전 연구에서 잘못된 공식을 수정하고, 해의 수에 대한 대칭 기반 등식을 수립하며, 기저와 로그란드에 다양한 조건이 있을 경우의 해의 수에 대한 정교화된 점근 공식을 제안한다. 주요 기여는 검증된 수치 데이터를 바탕으로 한 수정된 추측 집합으로, 향후 이산 로그 역학의 엄밀한 분석을 위한 기초를 제공한다.

ABSTRACT

The abstract of the original paper was as follows: We explore some questions related to one of Brizolis: does every prime p have a pair (g,h) such that h is a fixed point for the discrete logarithm with base g? We extend this question to ask about not only fixed points but also two-cycles. Campbell and Pomerance have not only answered the fixed point question for sufficiently large p but have also rigorously estimated the number of such pairs given certain conditions on g and h. We attempt to give heuristics for similar estimates given other conditions on g and h and also in the case of two-cycles. These heuristics are well-supported by the data we have collected, and seem suitable for conversion into rigorous estimates in the future.

연구 동기 및 목표

• 소수 p에 대한 이산 로그 사상에서 고정점과 두 주기 순환에 관한 이전 추측의 문체적 및 개념적 오류를 수정한다.
• 기저 g와 로그란드 h에 다양한 제약 조건이 있을 경우 이산 로그 방정식의 해 수에 대한 히우리스틱 추정치를 정교화한다.
• 특정 경우에서 g PR이면 h PR임을 보여주는 대칭 기반 등식을 수립하여 잘못된 추측을 수정한다.
• N(3),h ANY,a ANY(p) 및 관련 양에 대한 수정된 점근 공식을 제공하고, 19노드 Beowulf 클러스터에서 수집한 광범위한 수치 데이터로 이를 뒷받침한다.
• 수식의 일관성과 수치적 검증을 통해 제안된 히우리스틱에 대한 향후 엄밀한 증명의 기초를 마련한다.

제안 방법

• 기존 연구에서 오류가 있었던, 특히 추측 7과 식 (4)에서의 공식을 수정하기 위해, 곱셈 함수 φ(m), φ(dm), 및 m|(p−1)에 대한 약수 합을 포함하는 보정된 표현식을 유도한다.
• 곱셈 수론 기법을 적용하여 약수 합을 소수 거듭제곱에 대한 곱으로 표현하고, φ(q) 및 (1−1/q) 항을 사용하여 닫힌 형태의 표현식을 도출한다.
• 대칭성 논증을 통해 N(1),g PR,h RPPR(p) = N(1),g ANY,h RPPR(p)임을 보이며, 원본 논문에서 잘못된 추측을 수정한다.
• C, MPI, OpenMP, OpenSSL를 사용한 19노드 Beowulf 클러스터를 활용해 68시간 동안 100000 이상의 소수에 대해 데이터를 수집함으로써 계산적 검증을 수행한다.
• 식 (2)와 (3)의 해 사이의 대응 관계를 분석하여, gcd(h,a,p−1)=1이면 일대일 대응이지만, 그렇지 않으면 다对다일 수 있음을 보인다.
• 표(A-1에서 A-4)를 통해 수정된 추측을 제시하고, N(1)(p)과 N(3)(p)의 비자명한 부분에 대한 예측값과 관측값을 비교하여 검증한다.

실험 결과

연구 질문

• RQ1 기저 g와 로그란드 h에 다양한 조건이 있을 경우 이산 로그 방정식의 해 수에 대한 올바른 점근 공식은 무엇인가?
• RQ2 왜 원래의 추측 7과 식 (4)의 공식이 잘못되었으며, ∑_{m|p−1} |Sm|²/|Tm|의 보정된 표현식은 무엇인가?
• RQ3 이산 로그 사상의 대칭성은 N(2),g PR,h RPPR(p) = N(2),g ANY,h RPPR(p)와 같은 해 수의 등식을 어떻게 유도하는가?
• RQ4 gcd(h,a,p−1) > 1일 경우 식 (2)와 식 (3)의 해 사이의 정확한 관계는 무엇인가?
• RQ5 수정된 히우리스틱을 엄밀한 추정치로 전환할 수 있으며, 그 유효성을 뒷받침하는 증거는 무엇인가?

주요 결과

• ∑_{m|p−1} |Sm|²/|Tm|에 대한 보정된 공식은 ∑_{m|p−1} φ(m)/m² × (∑_{d|(p−1)/m} φ(dm)/d)²이며, 이는 이전의 문체 오류를 해결한다.
• N(3),h ANY,a ANY(p)에 대한 보정된 표현식은 (p−1) + ∑_{m|p−1} φ(m)/m² × (∑_{d|(p−1)/m} φ(dm)/d)²로, 이는 추측 7(a)에도 나타난다.
• p−1가 제곱 자유일 경우, N(3),h ANY,a ANY(p) ≈ (p−1) + ∏_{q|p−1} (q + 1 −1)/q로 단순화된 곱 형태로 표현된다.
• p = 100057일 때, N(1),g ANY,h RP(p)의 관측값은 98506이며, 예측값 100056과 유사하여 p−1에 대한 히우리스틱의 타당성을 검증한다.
• a=ANY, h=RP 조건 하에서 N(3)(p)의 비자명한 부분에 대한 보정된 공식은 190526이며, 예측값 190822.0과 매우 유사하여 강한 수치적 일치를 보인다.
• 논문은 추측 1(c)를 수정하여 N(1),g PR,h RPPR(p) = N(1),g ANY,h RPPR(p)임을 보이며, 원본 추측에서 발생한 대칭 기반 오류를 해결한다.