[논문 리뷰] Asymptotic behavior of a series of Euler's totient function $\varphi(k)$ times the index of $1/k$ in a Farey sequence

Rogelio Tomás|arXiv (Cornell University)|2014. 06. 26.

Algorithms and Data Compression참고 문헌 5인용 수 4

한 줄 요약

이 논문은 오일러의 파이 함수 ϕ(k)와 순서 N인 파레이 수열에서 1/k의 위치 IN(1/k)의 합 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k)의 점근적 행동을 유도한다. N에 대한 나눗셈 조건 하에서 IN(1/k)의 정확한 공식과 알려진 파이 함수 합의 점근적 성질을 활용하여, 합이 N³/(6ζ(3)) + O(N³/log N)로 증가함을 입증한다. 이는 가속기 물리학과 수론에서 기인한 문제를 해결한다.

ABSTRACT

Motivated by studies in accelerator physics this paper computes the asymptotic behavior of the series $\displaystyle \sum_{k=1}^N \varphi(k) I_N\left(\frac{1}{k} ight)$, where $\varphi(k)$ is Euler's Totient function and $\displaystyle I_N\left(\frac{1}{k} ight)$ is the position that $1/k$ occupies in the Farey sequence of order $N$. To this end an exact formula for $\displaystyle I_N\left(\frac{1}{k} ight)$ is derived when all integers in $\displaystyle \left[2,\left\lceil \frac{N}{k} ight ceil ight]$ are divisors of $N$.

연구 동기 및 목표

• 순서 N인 파레이 수열에서 1/k의 인덱스인 IN(1/k)에 대한 합 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k)의 점근적 성장률을 결정하는 것.
• N이 [2, ⌊N/k⌋] 내 모든 정수로 나누어떨어질 조건 하에서 IN(1/k)에 대한 정확한 표현을 유도하여 정밀한 점근적 분석을 가능하게 하는 것.
• 오일러의 파이 함수 및 그 가중치 변형에 대한 알려진 점근적 공식을 적용하여 합의 주요 항을 평가하는 것.
• 결과를 정수 다항식의 단위 입자 내 근을 갖는 다항식의 수를 세는 문제와 연결하여, 수론적 및 물리적 문제에 대한 통찰을 제공하는 것.

제안 방법

• k에서 N까지의 j에 대해 구간 [1, ⌊j/k⌋]에서 테스트되는 분수의 최대 수를 사용하여 IN(1/k)에 대한 상한을 도출한다.
• N이 i와 i+1로 나누어떨어질 경우, 파레이 수열 Fi와 FN의 부분구간 [1/q, 1/(q−1)] 사이의 이분적이고 순서를 유지하는 사상 관계를 수립한다.
• 식 (7)의 사상 관계를 사용하여 IN(1/k)를 파이 함수 누적합 함수 Φ(i)와 유사 조화 수열 ∑ⱼ₌₁ⁱ ϕ(j)/j로 표현한다.
• 합 ∑ϕ(k)IN(1/k)를 k ≤ N/imax 및 k > N/imax로 나누어 각각에 대해 서로 다른 상한과 정확한 공식을 적용한다.
• 기존의 점근적 전개를 적용한다: ∑ϕ(k) ~ 3N²/π², ∑ϕ(k)/k ~ 6N/π², ∑ϕ(k)k ~ 2N³/π², ∑ϕ(k)/k³ = ζ(2)/ζ(3).
• imax → ∞ 이며 N ≈ e^{imax} 인 극한을 취하여 주요 점근적 항 N³/(6ζ(3))와 오차 항 O(N³/log N)를 도출한다.

실험 결과

연구 질문

• RQ1 순서 N인 파레이 수열에서 1/k의 인덱스인 IN(1/k)에 대한 합 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k)의 점근적 성장률은 무엇인가?
• RQ2 N에 어떤 수론적 조건이 성립할 경우 IN(1/k)에 대한 정확한 공식을 도출할 수 있는가?
• RQ3 파레이 수열과 그 부분수열의 구조는 분모가 유계인 분수의 분포와 어떻게 관련이 있는가?
• RQ4 이 합의 점근적 행동과 단위 입자 내 근을 갖는 정수 계수 다항식의 수를 세는 문제 사이의 연결 고리는 무엇인가?
• RQ5 이 합은 서로 다른 점근적 기법이 적용되는 부분으로 분해될 수 있으며, 이러한 부분들은 어떻게 조합되는가?

주요 결과

• 합 ∑ₖ₌₁ᴺ ϕ(k)·IN(1/k)는 점근적으로 N³/(6ζ(3)) + O(N³/log N)로 행동하며, 주요 항은 수렴하는 급수 ∑ϕ(k)/k³ = ζ(2)/ζ(3)로부터 도출된다.
• N이 [2, ⌊N/k⌋] 내 모든 정수로 나누어떨어질 조건 하에서 IN(1/k)에 대한 정확한 공식이 도출되며, 이는 IN(1/k) = 2 + (N/i)∑ⱼ₌₁ⁱ ϕ(j)/j − kΦ(i)로 표현되며, 여기서 i = ⌊N/k⌋ 이고 Φ(i) = ∑ⱼ₌₁ⁱ ϕ(j)이다.
• 재귀 공식에서 테스트되는 분수의 최대 수를 세는 방식으로 IN(1/k) ≤ (N² + N)/(2k)의 상한이 확립된다.
• k ≤ N/imax에 대한 합은 O(N³/log N)로 유계이며, imax → ∞ 인 점근적 극한에서 소멸한다.
• k > N/imax에 대한 합은 주요 항 N³/(6ζ(3)) + O(N² log N)을 기여하며, 이는 ϕ(k)와 파이 함수 누적합 함수의 가중치 합으로부터 도출된다.
• 결과는 차원 D=2인 선형, 정수 계수, 기약 다항식의 수를 세는 문제와 연결되며, T²_N = 2N³/(3ζ(3)) + O(N³/log N)를 도출한다.