[論文レビュー] The Equivalence of Giuga's and Agoh's Conjectures

Bernd C. Kellner|ArXiv.org|Sep 15, 2004

Analytic Number Theory Research参考文献 6被引用数 12

ひとこと要約

本稿は、ベルヌーイ数と第二種スターリング数を用いて、原始的性質に関するギウーガの予想とアゴーの予想の直接的同等性を確立する。両予想が素因数の和を含む単一の合同式と同等であることを証明し、任意の反例が9個以上の素因数を持つ合成的で、奇数で平方因子のない数であり、同時にギウーガ数かつカーマイケル数でなければならないことを示す。

ABSTRACT

In this paper we show the equivalence of the conjectures of Giuga and Agoh in a direct way which leads to a combined conjecture. This conjecture is described by a sum of fractions from which all conditions can be derived easily.

研究の動機と目的

• ベルヌーイ数を用いて、原始的性質のテストに関するギウーガの予想とアゴーの予想の直接的同等性を確立すること。
• ベルヌーイ数や累乗和に依存しない、nの素因数に関する和を用いた統合的予想の再定式化。
• 数論的性質を用いて、ギウーガ＝アゴー予想の潜在的反例の構造を特徴づけること。
• 第二種スターリング数とp進合同式を用いて、クラウゼン＝フォン・ショウトの定理を系として導出すること。
• 非自明な解がギウーガ数かつカーマイケル数でなければならないことを示すこと。

提案手法

• 累乗和 $ S_n(m) $ を第二種スターリング数を介して $ m $ の多項式として表現するため、母関数およびベルヌーイ多項式の性質を用いる。
• 恒等式 $ S_n(x) = \sum_{k=1}^n \left\{ n \atop k \right\} \binom{x}{k+1} $ を適用し、ここで $ \left\{ n \atop k \right\} $ は第二種スターリング数を表す。
• ベルヌーイ数とスターリング数を結ぶ式 $ B_n = \sum_{k=1}^n \left\{ n \atop k \right\} \frac{(-1)^k}{k+1} $ を用いる。
• 特に $ \binom{rp-1}{\nu} \equiv (-1)^\nu \pmod{p} $ であるような、素数を法とする二項係数の合同式を用いて、$ S_n(m) \mod m $ の構造を分析する。
• 補題1.3を適用し、$ c \equiv c' \mod a $ のとき、$ c \cdot \frac{m}{a} \mod m $ の形の式を簡略化する。
• 偶数 $ n $ に対して、$ S_n(m) \equiv -\sum_{p|m,\, p-1|n} \frac{m}{p} \pmod{m} $ という主要な合同式を導出する。この合同式が両予想を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ギウーガの予想とアゴーの予想は同等であるか。もしそうならば、どのような正確な代数的形で同等であるか？
• RQ2 ギウーガ＝アゴー予想の合成的反例が満たすべき構造的性質は何か？
• RQ3 ベルヌーイ数に関する先行結果に依存せずに、同等性を直接証明できるか？
• RQ4 ギウーガ＝アゴー予想とカーマイケル数やギウーガ数の構造との間に何の関係があるか？
• RQ5 主要な合同式からクラウゼン＝フォン・ショウトの定理を系として導出できるか？

主な発見

• ギウーガの予想とアゴーの予想は、恒等式 $ S_{n-1}(n) - nB_{n-1} \equiv \begin{cases} n/2 & \text{if } n \equiv 2 \pmod{4}, n > 2 \\ 0 & \text{otherwise} \end{cases} \pmod{n} $ を通じて同等である。
• 統合されたギウーガ＝アゴー予想は、ベルヌーイ数に依存しない形で $ \sum_{p|n,\, p-1|n-1} \frac{n}{p} \equiv 1 \pmod{n} $ と同等である。
• ギウーガ＝アゴー予想の非自明な解は、合成的で、奇数で、平方因子がなく、少なくとも9個の素因数を持つ必要がある。
• ギウーガ＝アゴー予想の反例は、同時にギウーガ数かつカーマイケル数でなければならない。
• クラウゼン＝フォン・ショウトの定理は系として導かれる：$ B_n + \sum_{p-1|n} \frac{1}{p} \in \mathbb{Z} $ であり、$ \text{denom}(B_n) = \prod_{p-1|n} p $ である。
• 偶数 $ n $ に対して、$ \left\{ n \atop p-1 \right\} \equiv -1 \pmod{p} $ が $ p-1|n $ のとき成り立ち、それ以外の場合は0であり、これが主要な合同式の根拠となる。