[논문 리뷰] Numerical semigroups, cyclotomic polynomials and Bernoulli numbers

Pieter Moree|arXiv (Cornell University)|2013. 08. 19.

Analytic Number Theory Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 수치적 반군, 이진 순환다항식, 베르누이 수 사이의 깊은 연결 고리를 확립한다. 두 서로소 정수 $ p $와 $ q $에 의해 생성되는 수치적 반군의 반군다항식이 순환다항식 $ \Phi_{pq}(x) $와 일치함을 증명함으로써, $ \Phi_{pq}(x) $의 갭 구조에 대한 개념적 증명을 제공한다. 이는 비제로 단항식 지수 간의 최대 갭이 $ \min\{p,q\} - 1 $임을 보여주며, 포함-배제 다항식과 LLL 다이어그램 프레임워크를 사용하여 이 결과를 일반화한다.

ABSTRACT

We give two proofs of a folkore result relating numerical semigroups of embedding dimension two and binary cyclotomic polynomials and explore some consequences. In particular, we give a more conceptual reproof of a result of Hong et al. (2012) on gaps between the exponents of non-zero monomials in a binary cyclotomic polynomial. The intent of the author with this expositional paper is to better unify the various results within the cyclotomic polynomial and numerical semigroup communities.

연구 동기 및 목표

• 이진 순환다항식에 관한 전당의 결과를 증명함으로써 수치적 반군과 순환다항식 간의 결과를 통합한다.
• 특히 $ p < q $인 홀수 소수 $ p $에 대해 $ g(\Phi_{pq}) = p-1 $임을 보여주는 $ \Phi_{pq}(x) $의 갭 구조에 대한 개념적 증명을 제공한다.
• 포함-배제 다항식과 LLL 다이어그램을 사용하여 이 갭 구조 결과를 일반적인 수치적 반군으로 일반화한다.
• 재귀 관계를 통해 순환다항식 계수와 베르누이 수 사이의 연결 고리를 탐색한다.
• 반군다항식 $ P_S(x) $ 가 Frobenius 수와 갭 정보를 $ g(P_S(x)) = m(S) - 1 $를 통해 어떻게 코딩하는지 보여준다.

제안 방법

• 수치적 반군 $ S $의 힐베르트 급수 $ H_S(x) $를 사용하여 반군다항식 $ P_S(x) = (1 - x)H_S(x) $를 정의한다.
• 포함-배제 구성법을 적용하여 일반화된 순환다항식 유사 다항식 $ Q_\rho(x) $를 정의하며, $ Q_{\{p,q\}}(x) = \frac{(x^{pq}-1)(x-1)}{(x^p-1)(x^q-1)} $임을 확인한다.
• 특히 $ p $와 $ q $가 서로 다른 소수일 경우 $ P_{S(p,q)}(x) = \Phi_{pq}(x) $임을 증명함으로써, 수치적 반군과 순환다항식 간의 직접적 연결 고리를 확립한다.
• LLL 다이어그램을 사용하여 $ S(p,q) $ 내의 요소와 갭의 분포를 시각화하고 분석하며, 특히 $ 0 $에서 $ pq-1 $ 사이의 범위에 중점을 둔다.
• 반군다항식 $ P_S(x) $의 계수 수준 분석을 적용하여 비제로 계수가 $ 1 $과 $ -1 $ 사이를 번갈아가며 나타나며, 이는 갭 블록 구조를 이끈다.
• 반군 $ S(4,7) $의 구조를 이용하여 베르누이 수의 재귀 관계를 유도함으로써, 반군 갭과 수론적 항등식 간의 연결 고리를 맺는다.

실험 결과

연구 질문

• RQ1 수치적 반군 $ S(p,q) $의 반군다항식과 순환다항식 $ \Phi_{pq}(x) $ 사이의 정확한 관계는 무엇인가?
• RQ2 $ \Phi_{pq}(x) $의 비제로 단항식 지수 간 최대 갭이 $ \min\{p,q\} - 1 $와 일치하는 이유는 무엇인가?
• RQ3 LLL 다이어그램을 어떻게 사용하여 $ S(p,q) $의 구조와 관련 다항식을 체계적으로 분석할 수 있는가?
• RQ4 반군다항식 $ P_S(x) $의 계수 구조를 활용하여 베르누이 수의 새로운 항등식을 도출할 수 있는가?
• RQ5 순환다항식 $ \Phi_n(x) $의 갭 구조는 일반적인 수치적 반군으로 어떻게 일반화될 수 있는가?

주요 결과

• 서로 다른 소수 $ p $와 $ q $일 경우 반군다항식 $ P_{S(p,q)}(x) $는 $ \Phi_{pq}(x) $와 일치하며, 이는 수치적 반군과 순환다항식 간의 직접적 연결 고리를 확립한다.
• 순환다항식 $ \Phi_{pq}(x) $의 비제로 단항식 지수 간 최대 갭은 $ \min\{p,q\} - 1 $이며, 이는 수치적 반군을 통한 개념적 증명을 통해 홍 등이 이전에 확보한 결과를 확인한다.
• 반군다항식 $ P_S(x) $의 갭 구조는 $ g(P_S(x)) = m(S) - 1 $를 만족하며, 여기서 $ m(S) $는 반군 $ S $의 다중도이다.
• 다항식 $ Q_{\{p,q\}}(x) $의 비제로 계수들은 $ 1 $과 $ -1 $ 사이를 번갈아가며 나타나며, 이는 LLL 다이어그램 내 요소와 갭의 교차 블록 구조를 반영한다.
• $ S(p,q) $ 내의 요소 블록과 갭 블록의 수는 $ \rho\sigma - 1 $이며, 여기서 $ \rho $와 $ \sigma $는 기본 영역 내 갭과 요소의 수이다.
• 반군 $ S(4,7) $를 이용하여 베르누이 수의 재귀 관계를 도출하였으며, 계수들은 $ S(4,7) $에 속하지 않는 정수들과 대응되며, 이는 반군 갭과 수론적 항등식 간의 연결 고리를 맺는다.