[논문 리뷰] Values of coefficients of cyclotomic polynomials II

Chun-Gang Ji, Wei-Ping Li외 1명|arXiv (Cornell University)|2007. 11. 30.

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

한 줄 요약

이 논문은 임의의 양의 정수 $ m $에 대해, $ n $이 양의 정수를 빈도로 변화할 때, 순환다항식 $ \Phi_{mn}(x) $의 계수들과 그 역수 $ 1/\Phi_{mn}(x) $의 계수들이 모든 정수 값을 취함을 증명한다. 증명은 모비우스 역전개의 성질, 산술급수 내 소수에 관한 딜라클레 정리, 생성함수의 모듈로 전개를 이용하여 계수 집합 $ S(m) $와 $ R(m) $이 $ \mathbb{Z} $와 동일함을 보이며, 이는 이전의 소수 거듭제곱에 대한 결과를 모든 정수 $ m $로 일반화한다.

ABSTRACT

Let a(n,k) be the kth coefficient of the nth cyclotomic polynomial. The first two authors showed in part I that if m is a prime power and n and k range over the non-negative integers, then a(mn,k) assumes every integer value. Here this result is extended to the case where m is arbitrary. The proof use some properties of reciprocal cyclotomic polynomials (see arXiv:0709.1570).

연구 동기 및 목표

• 소수 거듭제곱의 경우에만 성립했던 순환다항식 계수 집합이 모든 정수를 포함한다는 결과를 임의의 양의 정수로 일반화하는 것.
• 고정된 $ m $에 대해 $ \Phi_{mn}(x) $와 $ 1/\Phi_{mn}(x) $의 계수 $ a(mn,k) $와 $ c(mn,k) $의 집합이 $ \mathbb{Z} $와 동일함을 입증하는 것.
• 스즈끼(1997)의 결과( $ m=1 $에 대해), 제1·제2저자( $ m = p^e $에 대해), 모레의 결과(역계수에 대해)를 통합하고 일반화하는 것.
• 모듈로 전개와 산술급수 내 소수 분포를 이용한 통일된 증명 전략을 제시하여 이전 연구에서 나타난 짝수/홀수 또는 소인수 개수 기반의 경우 나누기를 피하는 것.

제안 방법

• 모비우스 역전개를 이용해 $ \Phi_n(x) $를 $ (1 - x^d)^{\mu(n/d)} $의 곱으로 표현함으로써 모듈로 분석이 가능하도록 한다.
• 보조정리 1을 적용하여 $ c(n,k) $가 $ k \mod n $에만 의존함을 보이고, 이는 역계수의 주기성을 보장한다.
• 보조정리 2와推론 1을 이용해 문제를 제곱무리수인 $ m $로 축소함. $ S(m) = S(\kappa(m)) $ 및 $ R(m) = R(\kappa(m)) $ 이므로.
• 정량적 딜라클레 정리(보조정리 3)를 활용하여 구간 $ (n, 15n/8) $ 내에서 $ t $개의 소수 $ p_j \equiv 1 \mod m $를 찾음으로써 충분한 밀도 확보.
• 소수들의 곱 $ m_1 $을 구성함(가능한 한 개의 추가 소수 $ q > 2p_1 $ 포함). 이때 $ \mu(m_1) = -1 $이 되도록 하여 $ \Phi_{m_1 m}(x) \mod x^{2p_1} $의 전개를 제어 가능하게 한다.
• 식 $ a(m_1 m, k) = c(m,k) - \mu(m)t c(m,k-1) $를 이용해 $ a(m_1 m, k) $에 대한 재귀식 유도. $ p_t \leq k < 2p_1 $ 범위에서 분석하며, $ \mu(m) = \pm 1 $에 따른 경우 분석 수행.

실험 결과

연구 질문

• RQ1 임의의 고정된 양의 정수 $ m $에 대해, 계수 집합 $ S(m) = \{ a(mn,k) \mid n \geq 1, k \geq 0 \} $이 소수 거듭제곱 외의 경우에도 모든 정수 $ \mathbb{Z} $를 포함할 수 있는가?
• RQ2 역계수 집합 $ R(m) = \{ c(mn,k) \mid n \geq 1, k \geq 0 \} $도 $ m=1 $ 및 $ m=p^e $의 경우 외에도 $ \mathbb{Z} $와 동일한가?
• RQ3 이전 연구에서 나타난 $ m $의 홀짝성 또는 소인수 개수 기반의 경우 나누기를 피할 수 있는 통일된 증명 전략을 확보할 수 있는가?
• RQ4 산술급수 내 소수의 밀도는 계수 성장과 모든 정수 값의 도달을 제어하는 데 얼마나 유용한가?

주요 결과

• 임의의 고정된 $ m \geq 1 $에 대해, $ \Phi_{mn}(x) $의 계수 $ a(mn,k) $ 집합은 모든 정수를 포함한다: $ S(m) = \mathbb{Z} $이며, 이는 이전의 소수 거듭제곱에 대한 결과를 일반화한다.
• 마찬가지로, $ 1/\Phi_{mn}(x) $의 계수 $ c(mn,k) $ 집합 역시 모든 정수를 포함한다: $ R(m) = \mathbb{Z} $.
• 증명은 $ \mu(m) = 1 $인 경우, 계수 $ a(m_1 m, p_t + 1) = 1 - t $ 및 $ a(m_1 m, p_t + q_2) = t - 1 $임을 보이며, $ t $가 변화함에 따라 모든 정수를 커버함을 보여준다.
• $ \mu(m) = -1 $인 경우, 계수 $ a(m_1 m, p_t) = -1 + t $ 및 $ a(m_1 m, p_t + 1) = -t $ 또는 $ 1 - t $이며, $ t \to \infty $일 때 다시 $ \mathbb{Z} $를 커버한다.
• $ x^{2p_1} $-모듈로 전개의 사용은 이전 연구 대비 증명을 단순화하였으며, $ m $의 홀짝성 기반의 경우 나누기가 필요 없어졌다.
• 구간 길이에 나타나는 상수 $ 15/8 $은 임의의 $ \epsilon > 0 $에 대해 $ 2 - \epsilon $로 대체 가능하며, 이에 따라 $ n $의 하한값도 적절히 조정된다.