[논문 리뷰] Series of Reciprocal Powers of k-almost Primes

Richard J. Mathar|ArXiv.org|2008. 03. 06.

Analytic Number Theory Research참고 문헌 23인용 수 11

한 줄 요약

이 논문은 $k$-거의소수의 역거듭제곱 합을 효율적으로 계산하기 위한 방법을 제시한다. 이는 순열 순환 지수 다항식에서 유도된 다항계수를 사용하여 일반 소수 제타 함수 $P(s)$의 조합으로 표현함으로써 이루어지며, $k=2$에서 $6$까지, $s=2$에서 $8$까지의 고정밀도 평가를 가능하게 한다. 이는 $P(s)$에 대한 기존의 수렴 가속 기법을 활용한다.

ABSTRACT

Sums over inverse s-th powers of semiprimes and k-almost primes are transformed into sums over products of powers of ordinary prime zeta functions. Multinomial coefficients known from the cycle decomposition of permutation groups play the role of expansion coefficients. Founded on a known convergence acceleration for the ordinary prime zeta functions, the sums and first derivatives are tabulated with high precision for indices k=2,...,6 and integer powers s=2,...,8.

연구 동기 및 목표

• 정확히 $k$개의 소인수(중복 포함)를 가진 정수인 $k$-거의소수에 대한 급수를 평가하기 위한 체계적인 방법을 개발한다. 이를 위해 일반 소수 제타 함수로 환원한다.
• 특히 표준 형태에서 수렴 속도가 느린 급수의 고정밀 수치 평가를 가능하게 한다.
• 일반 소수 제타 함수 $P(s)$에 대해 알려진 수렴 가속 기법을 $k>1$인 $k$-거의소수 제타 함수 $P_k(s)$로 확장한다.
• $k=2,\ldots,6$ 및 $s=2,\ldots,8$ 범위에서 $P_k(s)$와 관련된 로그합 $L_{k,l}$를 고정밀도로 표기하여 해석적 수론 분야의 응용을 지원한다.

제안 방법

• 순열 순환 지수 다항식에서 유도된 조합 계수를 사용하여 $k$-거의소수에 대한 합을 다항계수 가중치가 부여된 일반 소수 제타 함수 $P(s)$의 곱의 합으로 변환한다.
• 항등식 $P_k(s) = \sum_{\substack{\lambda \vdash k}} \frac{1}{z_\lambda} \prod_{i} P(is)^{\ell_i(\lambda)}$ 를 적용하며, 여기서 $\lambda$는 $k$의 정수 분할을 뜻하고, $z_\lambda$는 순환 지수 정규화 계수이다.
• 기존의 $P(s)$에 대한 수렴 가속 공식(예: $P(s) = \sum_{p \leq M} p^{-s} + \sum_{n=1}^\infty \frac{\mu(n)}{n} \log P(M, sn)$)을 활용하여 $P(s)$를 고정밀도로 계산한다.
• 부분 분수 분해와 생성함수를 사용하여 로그합 $L_{k,l} = \sum_{\Omega(n)=k} \left[ \frac{1}{n} + \left(1 - \frac{1}{n}\right)^l \ln\left(1 - \frac{1}{n}\right) \right]$ 을 $P_k(s)$와 유리수 계수의 선형 조합으로 표현한다.
• 보조 다항식 $\tau_{i,l}$에 대한 재귀 관계를 유도하여 로그 항등식을 $P_k(s)$로 표현함으로써, 분모가 유리수인 급수의 평가를 가능하게 한다.
• 비연속적인 유리수 분모(예: $1/[(s+1)(s+3)]$)를 부분 분수 분해를 통해 기본 형태로 환원하여 일반화된 급수의 체계적 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 직접 합산을 초월하여 $k$-거의소수의 역 $s$-승 합을 어떻게 효율적으로 계산할 수 있는가?
• RQ2 $k$-거의소수 제타 함수와 일반 소수 제타 함수 $P(s)$ 사이의 관계를 뒷받기는 조합 구조는 무엇인가?
• RQ3 $P(s)$에 대한 수렴 가속 기법을 $k>1$인 $P_k(s)$로 확장할 수 있는가?
• RQ4 $k=2$에서 $6$까지, $s=2$에서 $8$까지의 $P_k(s)$ 및 관련 로그합 $L_{k,l}$의 수치적 행동과 달성 가능한 정밀도는 어떠한가?
• RQ5 분모가 $n$과 $k$-거의소수의 유리함수인 급수는 어떻게 체계적으로 알려진 $P_k(s)$ 성분으로 환원할 수 있는가?

주요 결과

• $k$-거의소수 제타 함수 $P_k(s)$는 $k$의 정수 분할에서 유도된 다항계수를 가중치로 사용한 일반 소수 제타 함수 $P(is)$의 곱의 유한합으로 표현되며, 이는 효율적인 계산을 가능하게 한다.
• $k=2$에서 $6$까지, $s=2$에서 $8$까지의 $P_k(s)$에 대한 고정밀도 표는 $P(s)$의 수렴 가속 기법을 활용하여 작성되었으며, $s \leq 30$일 경우 100자리 이상 정밀도를 확보하였다.
• 로그합 $L_{k,l} = \sum_{\Omega(n)=k} \left[ \frac{1}{n} + \left(1 - \frac{1}{n}\right)^l \ln\left(1 - \frac{1}{n}\right) \right]$ 는 $P_k(s)$와 유리수 계수의 선형 조합으로 표현되어 고정밀도 평가가 가능하다.
• $k=1$일 때 $L_{1,1} \approx 0.26434004176002164673174824590306461492528050270047150992644$이며, $k=2,3$ 및 $l=1$에서 $4$까지의 값들도 고정밀도로 표기되었다.
• $\sum_{n=1}^\infty \frac{1}{n 2^n} = \log 2$ 와 같은 급수는 $k$-거의소수 성분으로 분해되며, $k=1$ 기여는 $\approx 0.174087$, $k=2$ 기여는 $\approx 0.018550$이며, 높은 $k$ 항은 급격히 감쇠한다.
• 이 방법을 통해 분모가 유리수인 일반화된 급수(예: $1/[s(s+1)(s+2)]$)를 $L_{k,l}$와 $P_k(s)$의 조합으로 환원하여 체계적이고 고정밀도로 계산할 수 있다.