Pure reversed-prime circle-method asymptotic

Let b2b\geq 2 and k2k\geq 2 be fixed. Define

R0,k(N)=p1,,pkNp1++pk=N(p1pk,b3b)=1(logp1)(logpk)\mathcal{R}_{0,k}(N)=\sum_{\substack{\overleftarrow{p_1},\ldots,\overleftarrow{p_k}\leq N\overleftarrow{p_1}+\cdots+\overleftarrow{p_k}=N\\(\overleftarrow{p_1}\cdots\overleftarrow{p_k},b^3-b)=1}}(\log p_1)\cdots(\log p_k)

and

S0,k(N):=n1,,nkN 1++nk=N(n1nk,b)=11.\mathcal{S}_{0,k}(N):=\sum_{\substack{n_1,\ldots,n_k\leq N\ _1+\cdots+n_k=N\\(\overleftarrow{n_1}\cdots\overleftarrow{n_k},b)=1}}1.

Let

Sk(N):=pb3b\pN(1(1p1)k1)pb3b\pN(1(1p1)k).\mathfrak{S}_k(N):=\prod_{\substack{p\mid b^3-b\p\mid N}}\left(1-\left(\frac{-1}{p-1}\right)^{k-1}\right)\prod_{\substack{p\mid b^3-b\p\nmid N}}\left(1-\left(\frac{-1}{p-1}\right)^k\right).

Pure reversed-prime asymptotic conjecture. For every A>0A>0,

R0,k(N)=Sk(N)S0,k(N)+Ob,A(Nk1(logN)A).\mathcal{R}_{0,k}(N)=\mathfrak{S}_k(N)\mathcal{S}_{0,k}(N)+O_{b,A}\left(\frac{N^{k-1}}{(\log N)^A}\right).

This is a major-arc circle-method prediction for sums of kk reversed primes. The source identifies minor-arc estimates as the key barrier; the binary case is especially out of reach.

Sources & referencesView supporting material

Primary source

Michael Harm and Daniel R. Johnston, “The reverse Goldbach problem and a refined Zsiflaw–Legeis theorem”, arXiv:2605.21876 (2026).

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.