OFFSET
0,6
COMMENTS
Related to Chen's theorem (Chen 1966, 1973) which states that every sufficiently large even number is the sum of a prime and another prime or semiprime. Yamada (2015) has proved that this holds for all even numbers larger than exp(exp(36)).
In terms of this sequence, Chen's theorem with Yamada's bound is equivalent to say that a(2*n) > 0 for all n > 1.7 * 10^1872344071119348 (exponent ~ 1.8*10^15).
Sequence A322007(n) = a(2n) lists the bisection corresponding to even numbers only.
A235645 lists the number of decompositions of 2n into a prime p and a prime or semiprime q; this is less than a(2n) because p + q and q + p is the same decomposition (if q is a prime), but this sequence will count the two distinct primes 2n - q and 2n - p (if q <> p).
REFERENCES
Chen, J. R. (1966). "On the representation of a large even integer as the sum of a prime and the product of at most two primes". Kexue Tongbao. 11 (9): 385-386.
Chen, J. R. (1973). "On the representation of a larger even integer as the sum of a prime and the product of at most two primes". Sci. Sinica. 16: 157-176.
LINKS
Y. C. Cai, Chen's Theorem with Small Primes, Acta Mathematica Sinica 18, no. 3 (2002), pp. 597-604. doi:10.1007/s101140200168.
P. M. Ross, On Chen's theorem that each large even number has the form (p1+p2) or (p1+p2p3), J. London Math. Soc. Series 2 vol. 10, no. 4 (1975), pp. 500-506. doi:10.1112/jlms/s2-10.4.500.
Tomohiro Yamada, Explicit Chen's theorem, preprint arXiv:1511.03409 [math.NT] (2015).
EXAMPLE
a(4) = 1 is the first nonzero term corresponding to 4 = 2 + 2 or, rather, to the prime 2 = 4 - 2.
a(5) = 2 because the primes 2 = 5 - 3 and 3 = 5 - 2 are of the required form n - q where q = 3 resp. q = 2 are primes.
a(6) = 2 because the primes 2 = 6 - 4 and 3 = 6 - 3 are of the required form n - q, since q = 4 is a semiprime and q = 3 is a prime.
PROG
(PARI) A322006(n, s=0)={forprime(p=2, n-2, bigomega(n-p)<3&&s++); s}
CROSSREFS
KEYWORD
nonn
AUTHOR
M. F. Hasler, Jan 06 2019
STATUS
approved