A Congruence Conjecture of Z.-W. Sun for Reciprocal Central Binomial Sums

Dian-Wang Hu

In the authors' words

Let $p > 5$ be a prime. We prove a conjecture of Z.-W. Sun asserting that $\sum_{k = 1}^{p - 1} \frac{1}{k ^{4} ( k 2 k )} \equiv \frac{H _{p - 1}}{p ^{3}} - \frac{7}{45} p B_{p - 5} (mod p^{2}) .$ As a consequence, we obtain $\sum_{k = 1}^{p - 1} \frac{H _{k - 1}^{(2)}}{k ^{2} ( k 2 k )} \equiv \frac{H _{p - 1}}{3 p ^{3}} + \frac{26}{135} p B_{p - 5} (mod p^{2}),$ an equivalent conjecture of K. Hessami Pilehrood and T. Hessami Pilehrood. Here $H_{n}^{(m)}$ denotes the generalized harmonic numbers of order $m$ , with $H_{n} = H_{n}^{(1)}$ , and $B_{n}$ denotes the $n$ th Bernoulli number. The proof combines $p$ -adic congruences involving harmonic numbers, finite-sum identities, and complex residue calculations via the residue theorem.

Main resultThe abstract does not state a limitation.

A Congruence Conjecture of Z.-W. Sun for Reciprocal Central Binomial Sums

In the authors' words

More on Algebra & number theory that day

Asymptotic completions of preordered semirings

The Robust Thompson's Conjecture for Alternating Groups

A Proof of the Second brick-Brauer-Thrall Conjecture for E-infinite algebras

Symmetry and solvability: Galois groups of equivariant enumerative problems

Irreducible rootless unimodular lattices generated by vectors of norm 3

A Proof of the Second brick-Brauer-Thrall Conjecture for $E$ -infinite algebras

Irreducible rootless unimodular lattices generated by vectors of norm $3$