Conjecture on the Goldbach explicit-formula remainder under RH

Let NN be a positive integer, let ρ1\rho_1 and ρ2\rho_2 range over the nontrivial zeros of the Riemann zeta function, and let Bx(a,b)B_x(a,b) denote the incomplete beta function. The notation ANA\ll N means that A|A| is bounded by a constant multiple of NN. Goldbach explicit-formula conjecture. Assuming the Riemann hypothesis, one has

ρ1(2N)ρ1(Γ(ρ1)ρ2(2N)ρ2Γ(ρ2)Γ(ρ1+ρ2+1)ρ2(2N)ρ2ρ2(B1/N(ρ2+1,ρ1)+B1/2(ρ1,ρ2+1)))N.\sum_{\rho_{1}}\left(2N\right)^{\rho_{1}}\left(\Gamma\left(\rho_{1}\right)\sum_{\rho_{2}}\frac{\left(2N\right)^{\rho_{2}}\Gamma\left(\rho_{2}\right)}{\Gamma\left(\rho_{1}+\rho_{2}+1\right)}-\sum_{\rho_{2}}\frac{\left(2N\right)^{\rho_{2}}}{\rho_{2}}\left(B_{1/N}\left(\rho_{2}+1,\rho_{1}\right)+B_{1/2}\left(\rho_{1},\rho_{2}+1\right)\right)\right)\ll N.

This estimate is proposed in connection with the explicit formula for Goldbach representations and would imply, together with suitable growth conditions, that sufficiently long intervals contain a Goldbach number. Its resolution is not supplied in the source.

Sources & referencesView supporting material

Primary source

Marco Cantarini, “Explicit formula for the average of Goldbach and prime tuples representations”, arXiv:1801.08475 (2018).

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.