The Selberg upper-bound sieve replaces a difficult coprimality indicator by a nonnegative square whose coefficients can be optimized. Let , and suppose a finite sequence has divisibility counts
where is multiplicative on squarefree integers and . Choose real Selberg sieve weights supported on with . If an entry has no prime factor in , its only weighted divisor is , so its indicator is bounded above by the square of the divisor sum. Summing gives
where . This is an upper bound regardless of the signs of the weights.
Here is the optimization. On the permitted squarefree integers put
The identity
can be checked one prime at a time: a prime in both and gives the factor . Thus
Finite Möbius inversion gives , and in particular the condition becomes . The Cauchy-Schwarz inequality now yields
Equality is attained by . Inverting again gives the explicit optimizing weights
They satisfy . To see this, multiply out . The numerator becomes the sum of over distinct permitted integers with and , a subset of the terms in . We therefore have a main term and a controllable remainder. This proves the basic Selberg sieve diagonalization and the useful bound on the weights, rather than merely asserting an optimized density.
Apply it to the polynomial for . If is the number of roots of modulo squarefree , the Chinese remainder theorem gives
Use , , and sieve the indices for which has no prime factor at most . The local weights are
We claim . The following truncated-product argument supplies the necessary lower bound. Put , and consider all squarefree integers on the primes at most , with total weight
Give such an integer probability . Prime inclusion is independent with probability , so
by the Mertens first theorem, absorbing the prime separately. For sufficiently large , this is at most . The Markov inequality shows that at least half of lies on , all of which are terms in .
Moreover, partial summation applied to the Mertens first theorem gives
Indeed it is , and the contribution of has a finite limiting constant with tail . Expanding the logarithm of now gives
The error is bounded since . Consequently , proving the claim. The exponent two reflects the two forbidden classes at almost every prime.
For the remainder use and the simple bound . Hence
The number of surviving indices is therefore
Every pair of primes with survives, since both its prime factors exceed . The exceptional pairs with number at most . With we obtain
This is the twin-prime upper bound from a quadratic sieve. The method constructs a majorant and bounds the sifted set; it does not give a positive lower bound for twin primes.

Articles by others on the same topic (0)

There are currently no matching articles.