[論文レビュー] Numerical semigroups, cyclotomic polynomials and Bernoulli numbers

Pieter Moree|arXiv (Cornell University)|Aug 19, 2013

Analytic Number Theory Research参考文献 10被引用数 3

ひとこと要約

本稿は、2つの互いに素な整数 $ p $ と $ q $ によって生成される数値半群 $ S(p,q) $ の半群多項式が、cyclotomic 多項式 $ \Phi_{pq}(x) $ に等しいことを証明することにより、数値半群、2次 cyclotomic 多項式、およびベルヌーイ数の間に深い関係を確立する。$ \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.

研究の動機と目的

• 2次 cyclotomic 多項式に関するフォークロア的結果を証明することで、数値半群と cyclotomic 多項式の間の結果を統一すること。
• 特に、奇素数 $ p < q $ に対して $ g(\Phi_{pq}) = p-1 $ であることを、$ \Phi_{pq}(x) $ のギャップ構造について概念的証明すること。
• 包含除法多項式と LLL 図式を用いて、ギャップ構造の結果を任意の数値半群へ一般化すること。
• 再帰関係を通じて、cyclotomic 多項式の係数とベルヌーイ数の関係を探索すること。
• 半群多項式 $ P_S(x) $ が $ g(P_S(x)) = m(S) - 1 $ を満たすことで、Frobenius 数とギャップ情報がどのように符号化されるかを示すこと。

提案手法

• 数値半群 $ S $ の Hilbert 級数 $ H_S(x) $ を用いて、半群多項式 $ P_S(x) = (1 - x)H_S(x) $ を定義する。
• 包含除法構成を適用して、一般化された cyclotomic 的多項式 $ 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) $ が成り立つことを確立し、数値半群と cyclotomic 多項式の間の直接的な関係を示す。
• LLL 図式を用いて、特に $ 0 $ から $ pq-1 $ の範囲で、$ S(p,q) $ の要素とギャップの分布を視覚化・分析する。
• $ P_S(x) $ の係数レベルの解析を適用し、非ゼロ係数が $ 1 $ と $ -1 $ を交互に繰り返すことを示し、ギャップブロック構造に繋げる。
• 半群 $ S(4,7) $ の構造を用いてベルヌーイ数の再帰関係を導出し、半群のギャップと数論的恒等式を結びつける。

実験結果

リサーチクエスチョン

• RQ1 数値半群 $ S(p,q) $ の半群多項式と cyclotomic 多項式 $ \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) $ に等しくなる。これにより、数値半群と cyclotomic 多項式の間の直接的な関係が確立される。
• $ \Phi_{pq}(x) $ の非ゼロ単項式の指数の間の最大ギャップは $ \min\{p,q\} - 1 $ である。これは、数値半群を用いた概念的証明により、Hong らの結果を確認する。
• $ 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) $ に含まれない整数に対応することから、半群のギャップと数論的恒等式を結びつける。