English

A $p$-adic ($p\equiv 3\!\!\pmod 4$) depth-$5$ supercongruence for Gaussian $p$-th power sums over a square

General Mathematics 2026-02-04 v2

Abstract

Let pp be an odd prime. Define the Gaussian power sum Gn(p)=a=1p1b=1p1(a+bi)nZ[i]. G_n(p)=\sum_{a=1}^{p-1}\sum_{b=1}^{p-1}(a+bi)^n\in\mathbb Z[i]. We determine Gp(p)G_p(p) modulo high powers of pp: if p1(mod4)p\equiv 1\pmod 4 then Gp(p)p2(1+i)(modp3),G_p(p)\equiv p^2(1+i)\pmod{p^3}, while for p3(mod4),p7p\equiv 3\pmod 4, p\ge 7 we prove the supercongruence Gp(p)p512(p1)2(p2)Bp3(1i)(modp6), G_p(p)\equiv -\frac{p^5}{12}(p-1)^2(p-2)\,B_{p-3}\,(1-i)\pmod{p^6}, where BmB_m denotes the mm-th Bernoulli number. We also formulate several conjectures suggested by extensive computations.

Keywords

Cite

@article{arxiv.2602.00206,
  title  = {A $p$-adic ($p\equiv 3\!\!\pmod 4$) depth-$5$ supercongruence for Gaussian $p$-th power sums over a square},
  author = {Nikita Kalinin and Faith Shadow Zottor},
  journal= {arXiv preprint arXiv:2602.00206},
  year   = {2026}
}