Conjectured unification of short-interval Goldbach and twin-prime results

Let LL denote the logarithm parameter used in the paper, and let AA and BB be fixed positive constants. For integers rr and qq, let S(r,q,a)\mathfrak{S}(r,q,a) denote the relevant Goldbach singular series, and let the starred maximum range over reduced residue classes a(modq)a\pmod q satisfying (ar,q)=1(a-r,q)=1. There exist absolute constants 0<θ,θ1,θ2<10<\theta,\theta_{1},\theta_{2}<1 such that, whenever

X1RX1θ1,X2YX2θ2,RYθ,X_{1}\geq R\gg X_{1}^{\theta_{1}},\qquad X_{2}\geq Y\gg X_{2}^{\theta_{2}},\qquad R\ll Y^{\theta},

Conjectured unification. The estimate

r[X1,X1+R]2rqQ\sidesetmaxa(q)(ar,q)=1p2[X2,X2+Y]p2a(q)p2+p3=rlogp2logp3S(r,q,a)YRYLA\sum_{\substack{r\in [X_{1},X_1+R]\\2\mid r}} \sum_{q\leq Q} \: \sideset{}{^{\displaystyle *}}\max_{\substack{a \:(q) \\ (a-r,q)=1}} \Big| \sum_{\substack{p_2\in [X_{2},X_2+Y] \\ p_2\equiv a\;(q) \\ p_2+p_3=r }} \log p_2\log p_3 - \mathfrak{S}(r,q,a)Y \Big|\ll \frac{RY}{L^A}

holds for all QYX21/2LBQ\ll YX_{2}^{-1/2}L^{-B}. Here rr and p2p_{2} range over short intervals of lengths RR and YY, respectively; the Goldbach equation p2+p3=rp_2+p_3=r may instead be replaced by the twin equation p2p3=rp_2-p_3=r. This proposed estimate would unify the paper's two classes of results, but the source gives no resolution and describes it as apparently beyond current methods.

Sources & referencesView supporting material

Primary source

Karin Halupczok, “Goldbach's problem with primes in arithmetic progressions and in short intervals”, arXiv:1212.4406 (2012).

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.