[論文レビュー] Multiple Harmonic Series I: Generalizations of Wolstenholme's Theorem

Jianqiang Zhao|arXiv (Cornell University)|Jan 22, 2003

Advanced Mathematical Identities参考文献 31被引用数 7

ひとこと要約

本稿は、Wolstenholmeの定理を多重調和和へ一般化し、素数 $ p $ に関する特定の条件下で、同次および非同次の和の $ p $-整除性を確立する。$ p \geq l+2 $ のとき、$ H({s}^l; p-1) \equiv 0 \pmod{p^{rak{p}(ls-1)}} $ が成り立つことを証明し、より高い整除性は不規則素数およびベルヌーイ数と関連している。

ABSTRACT

In this paper we will study the p-divisibility of partial sums of multiple zeta value series. In particular we provide some generalizations of the classical Wolstenholme's Theorem.

研究の動機と目的

• Wolstenholmeの定理を、特に長さおよび重みの高い同次和を含む多重調和和へ拡張すること。
• 素数 $ p $ に対する多重ゼータ値の部分和の $ p $-整除性を調査し、予想される次数を超える整除性が生じる場合を特に検討すること。
• 多重調和和の $ p $-整除性と、ベルヌーイ数の分子の整除性によって定義される不規則素数の不規則性との関係を探索すること。
• 無限に多くの不規則対 $ (p, t) $、特に $ (p, p-3) $ の存在についての証拠を提示し、予想を提示すること。この対は、より高い $ p $-冪整除性に関連している。
• 数論における古典的結果に類似した多重調和和の算術的構造を特定するための枠組みを構築すること。

提案手法

• 多重調和和 $ H(s_1, \dots, s_l; n) $ および $ S(s_1, \dots, s_l; n) $ を、それぞれ $ 1 \leq k_1 < \cdots < k_l \leq n $ および $ 1 \leq k_1 \leq \cdots \leq k_l \leq n $ の入れ子インデックスに関する部分和として定義する。
• ベルヌーイ数の性質およびAgohの関数を用いて、特に $ p $-進付値を考慮した $ p^k $ での合同式を導出する。
• 素数 $ p $ がベルヌーイ数 $ B_t $ の分子を割り切るような不規則対 $ (p, t) $ の概念を適用し、調和和におけるより高い $ p $-冪整除性を予測する。
• 組合せ的恒等式および $ p $-進解析を用いて、Wolstenholmeの定理やBruckの予想といった古典的結果を多重調和和へ一般化する。
• 1200万未満の不規則素数に関する計算データを用い、$ p - t \mod 3 $ の分布を統計的に分析し、均等分布に関する予想を支持する。
• 同次多重調和和 $ H(\{s\}^l; p-1) $ の概念を導入し、$ p $, $ s $, $ l $ に関する条件の下で $ p^{\frak{p}(ls-1)} $ での合同式を導出する。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $ p $ に対して、$ H(\{s\}^l; p-1) \equiv 0 \pmod{p^{\frak{p}(ls-1)}} $ が成り立つ条件は何か？
• RQ2 多重調和和におけるより高い $ p $-冪整除性（例：$ p^3 $）は、不規則素数およびベルヌーイ数の分子と関連づけられるか？
• RQ3 $ p^3 $ が $ S(p,2) $ を割り切るような素数 $ p $ は無限に存在するか？これは不規則対 $ (p, p-3) $ に対応する。
• RQ4 $ p - t \mod 3 $ の値は不規則対 $ (p, t) $ の間でどのように分布しているか？この分布は、より深い算術的パターンを支持するか？
• RQ5 定理3.5を、本稿でカバーされた場合を除く任意のインデックスタプル $ \mathbf{s} $ へ一般化することは可能か？

主な発見

• 任意の奇素数 $ p \geq l+2 $ および正の整数 $ s, l $ に対して、$ p-1 $ が $ ls $ や $ ks+1 $（$ k=1,\dots,l $）を割り切らない場合、$ H(\{s\}^l; p-1) \equiv 0 \pmod{p^{\frak{p}(ls-1)}} $ が成り立つ。ここで $ \frak{p}(m) = 1 $（$ m $ が奇数のとき）、$ 2 $（$ m $ が偶数のとき）。
• 条件が満たされていなくても、$ p \geq ls + 3 $ のとき、同次多重調和和におけるより高い $ p $-冪整除性が保証される。
• $ p = 16843 $ および $ p = 2124679 $ に対して、$ p^3 $ が $ S(p,2) $ を割り切る。1200万未満の素数の中で、この性質を持つのはこれら2つだけであり、両方とも $ B_{p-3} $ の分子を割り切る。
• 1200万未満の不規則素数の統計的分析から、$ p - t \mod 3 $ は $ 0, 1, 2 $ の間でほぼ一様に分布しており、不規則対における均等分布の予想を支持する。
• 最初の30,000個のインデックス1の不規則素数において、$ p - t \mod 3 $ の分布は33.2%〜33.7%の範囲に収まり、ほぼ均等であることが示された。
• インデックス4および5の不規則素数に対しても、分布は均等に近く、割合は32%〜35%の範囲で変動しており、$ p $-進性質と関連する深い算術的対称性を示唆している。