The Jacobi-symbol conjecture for the integers cpc_p

From papers

Let pp be an odd prime. For δ{0,1}\delta\in\{0,1\}, define

Dp(δ)(w)=(j2k2p)+(jkp)wδj,k(p1)/2(j2k2p)δj,k(p1)/2.D_p^{(\delta)}(w)=\left|\left(\frac{j^2-k^2}{p}\right)+\left(\frac{jk}{p}\right)w\right|_{\delta\leqslant j,k\leqslant(p-1)/2}-\left|\left(\frac{j^2-k^2}{p}\right)\right|_{\delta\leqslant j,k\leqslant(p-1)/2}.

For p1(mod4)p\equiv1\pmod4, let cpc_p be the positive odd integer whose existence is asserted by the preceding theorem through Dp(0)(w)=w((p1)cp/2)2D_p^{(0)}(w)=-w((p-1)c_p/2)^2; for p3(mod4)p\equiv3\pmod4, let cpc_p be the positive odd integer whose existence is asserted through Dp(1)(w)=w(cpk=1(p1)/2(kp))2D_p^{(1)}(w)=w(c_p\sum_{k=1}^{(p-1)/2}(\frac{k}{p}))^2.

Jacobi-symbol conjecture for cpc_p. For any odd prime pp,

(pcp)=1,\left(\frac{p}{c_p}\right)=1,

where (pcp)(\frac{p}{c_p}) is the Jacobi symbol.

The conjecture is based on numerical values of cpc_p listed in the source. The supplied text gives no resolution or proof, so its status remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Deyi Chen and Zhi-Wei Sun, “On determinants involving (j^2-k^2p) and (jkp)”, arXiv:2408.14401 (2024).

Solutions 0

No solutions have been posted yet.