Pith. sign in

REVIEW

New congruences involving harmonic numbers

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1407.8465 v5 pith:HW27QSY6 submitted 2014-07-31 math.NT

New congruences involving harmonic numbers

classification math.NT
keywords binomequivpmodcongruencesdegreefracgatherinteger
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Let $p>3$ be a prime. For any $p$-adic integer $a$, we determine $$\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k,\ \ \sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k^{(2)},\ \ \sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}k\frac{H_k^{(2)}}{2k+1}$$ modulo $p^2$, where $H_k=\sum_{0<j\le k}1/j$ and $H_k^{(2)}=\sum_{0<j\le k}1/j^2$. In particular, we show that \begin{gather*}\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k\equiv(-1)^{\langle a\rangle_p}\,2\left(B_{p-1}(a)-B_{p-1}\right)\pmod p, \\\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}kH_k^{(2)}\equiv -E_{p-3}(a)\pmod p, \\(2a-1)\sum_{k=0}^{p-1}\binom{-a}k\binom{a-1}k\frac{H_k^{(2)}}{2k+1}\equiv B_{p-2}(a)\pmod p, \end{gather*} where $\langle a\rangle_p$ stands for the least nonnegative integer $r$ with $a\equiv r\pmod{p}$, and $B_n(x)$ and $E_n(x)$ denote the Bernoulli polynomial of degree $n$ and the Euler polynomial of degree $n$ respectively. We also pose some new conjectures on congruences.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.