The Jacobi-symbol conjecture for the integers cpc_p

About 2 years old · traced to

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

Dp(δ)(w)=∣(j2−k2p)+(jkp)w∣δ⩽j,k⩽(p−1)/2−∣(j2−k2p)∣δ⩽j,k⩽(p−1)/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 p≡1(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((p−1)cp/2)2D_p^{(0)}(w)=-w((p-1)c_p/2)^2; for p≡3(mod4)p\equiv3\pmod4, let cpc_p be the positive odd integer whose existence is asserted through Dp(1)(w)=w(cp∑k=1(p−1)/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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.