[論文レビュー] New harmonic number identities with applications

Roberto Tauraso|ArXiv.org|Dec 13, 2009

Advanced Mathematical Theories and Applications参考文献 7被引用数 7

ひとこと要約

この論文は、合計重み5までの同次多重調和和（MHS）の積の和に対して明示的な閉形式の公式を導出し、スタッフル積を用いた再帰的展開および和分規則を用いる。これらの恒等式を応用して、$\sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ の $p^6$ における新しい合同式を証明し、既存の結果を拡張するとともに、$\sum_{k=1}^{p-1}\frac{1}{k}\binom{2k}{k}$ の $p^4$-合同式を精緻化する。

ABSTRACT

We determine the explicit formulas for the sum of products of homogeneous multiple harmonic sums $\sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{λ_j})$ when $\sum_{j=1}^r λ_j\leq 5$. We apply these identities to the study of two congruences modulo a power of a prime.

研究の動機と目的

• 合計重み ≤ 5 である同次多重重調和和（MHS）の積の和について、明示的な閉形式の式を導出すること。
• スタッフル積および再帰的和分規則に基づいた、このような恒等式を生成するアルゴリズム的手順を開発すること。
• これらの恒等式を応用して、素数の高次のべきを法とする二項係数を含む合同式を研究すること。
• 既存の $p^6$ における $\sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ の合同式を拡張・精緻化すること。

提案手法

• スタッフル積を用いて、MHSの積をより高い重みのMHSの非負整数係数の組み合わせに再帰的に展開する。
• 再帰的和分規則を適用し、$\sum_{k=1}^n H_k(\mathbf{s})$ を $H_n(\mathbf{s}')$ および $H_n(\mathbf{s}'', s_d-1)$ に表現する。これは、最後の重みに依存する。
• スタッフル積の恒等式を用いて、得られた式を項をまとめる形で簡略化する。
• 既知の組合せ的恒等式を用いて、同次MHS $H_n(\{1\}^d)$ を深さ1のMHSの積に表現する。
• 素数のべきを法とする調和和の既知の合同式を用いて、$k=1$ から $p-1$ までの和を評価する。
• すべての要素を組み合わせ、パrameter $a$ を持つ二項和について、$p^6$ を法とする最終的な合同式を導出する。

実験結果

リサーチクエスチョン

• RQ1 合計重み $\sum_{j=1}^r \lambda_j \leq 5$ のとき、和 $\sum_{k=1}^n \prod_{j=1}^r H_k(\{1\}^{\lambda_j})$ の明示的閉形式式は何か？
• RQ2 スタッフル積および再帰的和分規則をどのように体系的に適用して、このような式を導出できるか？
• RQ3 素数 $p>5$ に対して、和 $\sum_{k=0}^{p-1}(-1)^{ak}\binom{p-1}{k}^a$ が $p^6$ を法として満たす合同式は何か？
• RQ4 既知の $p^3$-合同式 $\sum_{k=1}^{p-1}\frac{1}{k}\binom{2k}{k}$ を、これらの恒等式を用いて $p^4$ に改善できるか？
• RQ5 ベルヌーイ数および $X_p = \frac{B_{p-3}}{p-3} - \frac{B_{2p-4}}{4p-8}$ の組み合わせは、これらの調和和の合同式にどのように現れるか？

主な発見

• 合計重み5までの和 $\sum_{k=1}^n H_k(1)$, $\sum_{k=1}^n H_k(\{1\}^2)$, $\sum_{k=1}^n H_k^2(1)$ およびそれ以上の積について、明示的な公式が導出された。
• $\sum_{k=1}^{p-1} H_k(1)$ は、素数 $p>5$ に対して $\equiv -(p-1) + 2p^3 X_p \pmod{p^5}$ を満たす。ここで $X_p = \frac{B_{p-3}}{p-3} - \frac{B_{2p-4}}{4p-8}$ である。
• $\sum_{k=1}^{p-1} H_k(\{1\}^2)$ は、$\equiv (p-1) + (4-2p)p^2 X_p \pmod{p^4}$ を満たす。
• $\sum_{k=1}^{p-1} H_k^2(1)$ は、$\equiv 2(p-1) + (2-4p)p^2 X_p \pmod{p^4}$ を満たす。
• $\sum_{k=1}^{p-1} H_k(1)H_k(\{1\}^2)$ は、$\equiv -3(p-1) -6p p X_p \pmod{p^3}$ を満たす。
• $\sum_{k=1}^{p-1} \frac{1}{k}\binom{2k}{k} \equiv -\frac{16}{3}p^2 X_p \pmod{p^4}$ であり、既知の $p^3$-合同式が改善された。