Determining $x$ or $y$ mod $p^2$ with $p=x^2+dy^2$

TL;DR

This paper develops methods to determine specific coefficients x or y modulo p^2 in representations of primes p as x^2+dy^2 for d in {2,3,7}, using sum identities involving binomial coefficients and character sums.

Contribution

It introduces explicit sum formulas and congruences to compute x or y modulo p^2 in prime representations p=x^2+dy^2, extending previous results with new sum identities.

Findings

Derived congruences for x and y modulo p^2 in specific prime representations

Established sum identities involving binomial coefficients and character sums

Provided explicit formulas for sums involving binomial coefficients and powers for various m

Abstract

Let $p$ be an odd prime and let $d\in\{2,3,7\}$. When $(\frac{-d}p)=1$ we can write $p=x^2+dy^2$ with $x,y\in\mathbb Z$; in this paper we aim at determining $x$ or $y$ modulo $p^2$. For example, when $p=x^2+3y^2$, we show that if $p\equiv x\equiv 1\pmod 4$ then $$\sum_{k=0}^{(p-1)/2}(3[3\mid k]-1)(2k+1)\frac{\binom{2k}k^2}{(-16)^k}\equiv\left(\frac2p\right)2x\pmod{p^2}$$ where $[3\mid k]$ takes $1$ or $0$ according as $3\mid k$ or not, and that if $-p\equiv y\equiv 1\pmod4$ then $$\sum_{k=0}^{(p-1)/2}\left(\frac k3\right)\frac{k\binom{2k}k^2}{(-16)^k} \equiv(-1)^{(p+1)/4}y\equiv\sum_{k=0}^{(p-1)/2}(1-3[3\mid k])\frac{k\binom{2k}k^2}{(-16)^k}\pmod{p^2}.$$ We also determine $$\sum_{k=0}^{p-1}\frac{k\binom{2k}k^3}{m^k}\sum_{k\le j<2k}\frac1j\quad \mbox{mod}\ p$$ for $m=1,-8,16,-64,256,-512,4096$.