[논문 리뷰] On the image of Euler's totient function

Rodney Coleman|ArXiv.org|2009. 10. 12.

Analytic Number Theory Research참고 문헌 1인용 수 5

한 줄 요약

이 논문은 오일러의 파이 함수 φ(n)의 상을 조사하여, 모든 m에 대해 φ⁻¹(m)이 유한함을 증명하고 그 원소에 대한 범위를 제시한다. φ⁻¹(m)이 홀수 m > 1이거나 무한히 많은 짝수 m에 대해 공집합임을 규명하며, 비어 있지 않은 경우 φ(n) = m를 만족하는 홀수 및 짝수 해의 수가 같거나 모두 짝수일 수 있음을 보이며, 정확히 하나의 역상이 존재하는 m는 알려져 있지 않다—이는 카르마이클의 추측을 지지한다.

ABSTRACT

In this article we study certain properties of the image of Euler's totient function; we also consider the structure of the preimage of certain elements of the image of this function.

연구 동기 및 목표

• 모든 양의 정수 m에 대해 역상 φ⁻¹(m)의 구조와 기수를 분석하기.
• φ(n) = m가 해를 가지는지 여부를 판단하기 위한 짝수 정수 m를 특정하기.
• φ⁻¹(m) 내의 홀수 및 짝수 해의 분포, 특히 홀수 및 짝수 역상 간의 대칭성을 조사하기.
• φ⁻¹(m)이 오직 짝수 수만 포함되거나, 홀수와 짝수 해의 수가 동일한 조건을 분석하기.
• φ(n) = m를 만족하는 역상이 정확히 하나뿐인 m가 존재하는지 여부를 조사하고, 이를 통해 카르마이클의 추측을 지지하거나 반박하기.

제안 방법

• φ의 곱셈성과 n의 소인수 p에 대한 공식 φ(n) = n ∏(1 − 1/p)을 사용한다.
• Proposition 2.1을 적용하여 φ⁻¹(m)이 구간 (m, A(m)] 내에 포함됨을 유도한다. 여기서 A(m) = m ∏_{p−1|m} p/(p−1)이며, p는 소수이다.
• p|n이면 p−1|φ(n)이므로, φ(n) = m를 만족하는 어떤 n이 존재하려면 p−1가 m를 나누는 소수 p여야 한다는 사실을 활용한다.
• m = 2^k의 경우를 분석하여 페르마 수 F_n = 2^{2^n} + 1을 사용하며, 홀수 해가 존재하려면 관련된 모든 F_n가 소수여야 한다는 것을 보인다.
• 기하학적 대칭성과 곱셈적 구조를 활용하여, 홀수 s ≥ 3일 때 O(2s) = E(2s)임을 증명한다. 이는 변환 n → 2n를 통해 이루어진다.
• 구파의 결과를 적용하여 φ⁻¹(2^k)에 대해 분석하며, 최대 하나의 홀수 n이 φ(n) = 2^k를 만족할 수 있으며, 이는 페르마 수의 소수성에 따라 달라진다.

실험 결과

연구 질문

• RQ1 어느 짝수 정수 m에 대해 집합 φ⁻¹(m)이 비어 있지 않은가?
• RQ2 φ⁻¹(m) 내의 홀수 해의 최대 개수는 얼마이며, 언제 정확히 φ⁻¹(m)의 크기의 반과 같아지는가?
• RQ3 φ⁻¹(m)이 오직 짝수 수만 포함될 수 있으며, 그 조건은 무엇인가?
• RQ4 φ⁻¹(m)이 정확히 한 개의 원소만 포함하는 m가 존재하는가? 이는 카르마이클의 추측과 어떻게 관련되는가?
• RQ5 페르마 수의 소수성은 φ(n) = 2^k를 만족하는 홀수 해의 존재에 어떤 영향을 미치는가?

주요 결과

• 모든 m ∈ ℕ*에 대해 φ⁻¹(m)은 유한하며, A(m) = m ∏_{p−1|m} p/(p−1) (p는 소수)로 주어진 상한을 가진다.
• 모든 홀수 m > 1에 대해 φ⁻¹(m)은 공집합이며, m = 14와 같이 무한히 많은 짝수 m에 대해서도 공집합이다.
• 홀수 s ≥ 3일 때, φ(n) = 2s를 만족하는 홀수 해의 수는 짝수 해의 수와 같으며, 즉 |O(2s)| = |E(2s)|이다.
• m = 2^k일 경우, φ(n) = 2^k를 만족하는 홀수 n이 최대 하나뿐이며, 이러한 n이 존재하려면 관련된 모든 페르마 수 F_n가 소수여야 한다.
• k ≥ 32일 경우, 어떤 홀수 n도 φ(n) = 2^k를 만족하지 않으며, 이는 n ≥ 5인 F_n가 소수가 아니라고 가정할 때 성립한다.
• 정확히 한 개의 원소만 포함하는 φ⁻¹(m)을 만족하는 m는 알려져 있지 않으며, 이는 카르마이클의 추측이 참일 가능성을 지지한다.