[논문 리뷰] Some remarks on Ramanujan sums and cyclotomic polynomials

László Tóth|arXiv (Cornell University)|2010. 02. 17.

Advanced Mathematical Identities참고 문헌 5인용 수 8

한 줄 요약

이 논문은 Ramanujan 합 $ c_n(k) $를 사용하여 정의된 다항식 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $와 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $를 조사하며, 원분 다항식과의 연결 고리를 밝혀낸다. Ramanujan 합과 원분 다항식을 연결하는 기존의 항등식들에 대해 새로운 직접적 증명을 제시하고, $ R_n(x) $와 $ T_n(x) $의 구조적 공식 및 약수 성질을 도출하며, $ n \leq 20 $에 대해 명시적인 표를 제시하여 원분 다항식과 유사한 대칭성과 인수분해 패턴을 드러낸다.

ABSTRACT

We investigate the polynomials $\sum_{k=0}^{n-1} c_n(k)x^k$ and $\sum_{k=0}^{n-1} |c_n(k)| x^k$, where $c_n(k)$ denote the Ramanujan sums. We point out connections and analogies to the cyclotomic polynomials.

연구 동기 및 목표

• Ramanujan 합과 원분 다항식을 연결하는 기본 항등식들을 그 정의와 초등 급수 전개만을 사용하여 새로운 직접적 증명을 확립하는 것.
• 다항식 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $의 구조적 및 대수적 성질(인수분해, 대칭성, 약수성 등)을 조사하는 것.
• 절댓값을 취한 Ramanujan 합으로 구성된 다항식 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $의 행동을 $ R_n(x) $와 비교하여, 특히 부호 역전과 인덱스의 두 배 증가에 따른 성질을 분석하는 것.
• R_n(x)와 T_n(x)에 대한 유사한 재귀 공식과 함수 방정식을 유도하고 검증하는 것. 예를 들어 $ R_{2n}(x) = (1 - x^n)R_n(-x) $ 및 $ T_{2n}(x) = (1 + x^n)T_n(x) $와 같은 식이 홀수 $ n $에 대해 성립함을 보이는 것.
• 1 \leq n \leq 20 범위에서 $ R_n(x) $와 $ T_n(x) $의 포괄적인 표를 제공하여 인수분해 및 패턴을 시각화하는 것.

제안 방법

• 원분 다항식의 로그 미분과 $ (1 - x/\eta_j)^{-1} $의 기하급수 전개를 사용하여 항등식 $ \frac{\Phi_n'(x)}{\Phi_n(x)} = \sum_{k=0}^{\infty} c_n(-k-1)x^k $를 유도한다.
• 로그의 급수 전개 $ \log(1 - t) = -\sum_{k=1}^{\infty} \frac{t^k}{k} $를 적용하여 $ \log \Phi_n(x) = -\sum_{k=1}^{\infty} \frac{c_n(k)}{k}x^k $를 도출하고, 이로부터 $ \Phi_n(x) $에 대한 지수 공식을 유도한다.
• 다항식 $ R_n(x) $의 구조를 분석하기 위해 항등식 $ R_n(x) = (1 - x^n) \sum_{d|n} \frac{d\mu(n/d)}{1 - x^d} $를 적용하여 약수 합과 Möbius 함수와의 연결 고리를 설정한다.
• Ramanujan 합의 대칭성과 치환을 활용하여 $ R_{2n}(x) = (1 - x^n)R_n(-x) $ 및 $ T_{2n}(x) = (1 + x^n)T_n(x) $와 같은 함수 방정식을 수립한다. 이는 홀수 $ n $에 대해 성립한다.
• n의 2-진 구조를 기반으로 하여 $ R_n(x) $와 $ T_n(x) $에 대한 재귀적 인수분해 공식을 유도한다. 예를 들어 $ R_n(x) = \prod_{k=1}^{m} (1 - x^{2^{k-1}n}) R_n(x^{2^{k-1}}) $ 및 $ T_n(x) = \prod_{k=1}^{m} (1 + x^{2^{k-1}n}) T_n(x^{2^{k-1}}) $와 같은 공식을 포함한다.
• 기호 계산 소프트웨어(Maple)를 사용하여 $ 1 \leq n \leq 20 $ 범위에서 $ R_n(x) $와 $ T_n(x) $의 명시적 표를 생성하며, 완전한 인수분해를 제공한다.

실험 결과

연구 질문

• RQ1 Ramanujan 합과 원분 다항식을 연결하는 고전적 항등식들을 그 정의와 초등 급수 전개만을 사용하여 어떻게 재유도할 수 있는가?
• RQ2 Ramanujan 합의 다항식 $ R_n(x) = \sum_{k=0}^{n-1} c_n(k)x^k $는 대칭성, 인수분해, 약수성 등의 대수적·구조적 성질을 어떻게 보여주는가?
• RQ3 절댓값을 취한 Ramanujan 합으로 구성된 $ T_n(x) = \sum_{k=0}^{n-1} |c_n(k)|x^k $는 $ R_n(x) $와 비교해 기능 방정식과 인수분해 측면에서 어떻게 다른가?
• RQ4 특히 홀수 $ n $에 대해 인덱스를 두 배로 늘였을 때 $ R_n(x) $와 $ T_n(x) $의 행동을 지배하는 함수 방정식은 무엇인가?
• RQ5 $ R_n(x) $와 $ T_n(x) $는 원분 다항식의 인수분해 및 대칭성 성질을 어느 정도 유추하거나 반영하는가?

주요 결과

• 기하급수 전개와 주기성의 성질을 활용하여 Ramanujan 합의 정의와 원분 다항식의 로그 미분만을 사용하여 항등식 $ \frac{\Phi_n'(x)}{\Phi_n(x)} = \sum_{k=1}^{n} c_n(k)x^{k-1} $를 정의로부터 직접 재증명한다.
• 로그의 급수 전개를 통해 유도된 지수 공식 $ \Phi_n(x) = \exp\left( -\sum_{k=1}^{\infty} \frac{c_n(k)}{k}x^k \right) $는 $ |x| < 1 $ 및 $ n > 1 $ 조건에서 유효하다.
• 모든 $ n \geq 1 $에 대해 $ R_{2n}(x) = (1 - x^n)R_n(-x) $를 만족하며, $ R_n(x) $는 $ (1 - x) $로 나누어지며, 이는 한 주기 동안 Ramanujan 합의 합과 관련이 있다.
• 홀수 $ n $에 대해 $ T_{2n}(x) = (1 + x^n)T_n(x) $의 항등식이 성립하며, $ n $이 짝수이고 $ n/2 $가 홀수일 경우 $ T_n(x) $는 $ (1 + x^{n/2}) $로 나누어진다.
• 모든 짝수 $ n \geq 2 $에 대해 원분 다항식 $ \Phi_n(x) $는 $ T_n(x) $를 나눈다. 이는 절대 Ramanujan 합 다항식과 원분 인수 사이에 깊은 구조적 연결 고리가 있음을 시사한다.
• $ n = 20 $까지의 $ R_n(x) $와 $ T_n(x) $에 대한 명시적 표는 일관된 인수분해 패턴을 드러내며, 이는 $ (1 \pm x^d) $, $ (1 + x + x^2) $, $ (1 + x^{2^k}) $의 곱으로 이루어져 있다. $ T_n(x) $는 일반적으로 팰린드롬 또는 대칭 다항식으로 분해된다.