삼진 사이클로토믹 다항식의 높이와 직경 완전 해석

초록

이 논문은 홀수 소수 p와 정수 h(1 ≤ h ≤ (p+1)/2) 에 대해, 높이 A(pqr)=h 를 갖는 삼진 사이클로토믹 다항식 Φ_{pqr} 를 만들 수 있는 충분히 큰 소수 q, r 가 무한히 존재함을 증명한다. 또한 같은 조건에서 직경 D(pqr) 가 2h 혹은 2h‑1 중 하나가 됨을 보이며, 직경 값들의 다양성에 대한 새로운 결과도 제시한다.

상세 분석

논문은 사이클로토믹 다항식 Φ_n 의 계수 절대값 최대값을 높이 A(n), 최대값과 최소값 차이를 직경 D(n)이라 정의한다. 기존 연구에서는 k=3(삼진)인 경우에만 제한적인 높이값이 알려졌으며, 모든 자연수 h 가 어떤 Φ_n 의 높이로 나타날 수 있는지는 미해결이었다. 저자는 먼저 포함‑배제 다항식 Q_{p,q,r}(x) 를 도입하여 Φ_{pqr} 와 동형인 구조를 이용한다. 핵심은 정수 t (1≤t≤p‑1, (t,p)=1) 와 그 역원 s 를 선택하고, q, r, r′ 를 다음과 같은 동시 합동식
 q ≡ t (mod p), r·t ≡ 1 (mod pq), r′·t ≡ –1 (mod pq)
을 만족하도록 무한히 많은 소수로 구성할 수 있다는 점이다. 이때 Q_{p,q,r} 와 Q_{p,q,r′} 의 계수 집합은 부호가 반대임을 보이며, 따라서 A±(p,q,r) 를 정확히 계산할 수 있다.
Theorem 3은 t와 s의 관계에 따라 네 가지 경우를 제시한다.
(i) t=s=1이면 A=1(평탄)이며,
(ii) t>1, s<t이면 A = s+1,
(iii) t>1, s≥t, (t,s)가 (t,s) 혹은 (p‑t,p‑s) 형태이면 A = s+1,
(iv) t>1, s≥t, (t,s)가 (t,p‑s) 혹은 (p‑t,s) 형태이면 역시 A = s+1이지만 부호 구성이 달라 직경이 2s+1이 된다.
이 결과를 이용해 h = s+1 로 두고 s = h‑1 (또는 적절히 변형) 를 선택하면, 주어진 h 에 대해 A(pqr)=h 를 만족하는 q, r 가 존재함을 보인다. 특히 h ≤ (p+1)/2 인 모든 정수에 대해 가능한데, 이는 Conjecture 1(모든 h 가 어떤 Φ_{pqr} 의 높이로 실현) 의 강력한 부분 증명이다.

직경에 관해서는 D(pqr)=A⁺–A⁻ 를 계산하면 경우에 따라 2s+2 혹은 2s+1 이 된다. t와 s 를 다양한 쌍으로 선택하면 2 ≤ d ≤ p 중 절반 이상, 구체적으로 (p+1)/2 개의 서로 다른 직경값을 얻을 수 있다. Corollary 6·7 은 이를 정량화하여, 짝수 직경 2h (3≤h<√p) 와 p‑2k (1≤k<√p/2‑1) 등 다양한 값을 구현함을 보여준다.

이 논문의 기술적 기여는 (1) 기존의 복잡한 분석을 피하고, 단순한 합동조건과 Dirichlet 정리를 이용해 무한히 많은 소수 쌍을 구성함으로써 높이와 직경을 정확히 제어한다는 점, (2) 높이 문제를 완전 해결에 한 걸음 다가가게 하는 구체적 구성법을 제공한다는 점, (3) 직경 값들의 분포에 대한 새로운 하한을 제시해 기존 연구와 차별화된 결과를 얻었다는 점이다. 또한 포함‑배제 다항식이라는 조합론적 시각을 도입함으로써 사이클로토믹 다항식 연구에 새로운 도구를 제공한다는 학문적 의의도 크다.