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 countswhere 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 giveswhere . This is an upper bound regardless of the signs of the weights.
Here is the optimization. On the permitted squarefree integers putThe identitycan be checked one prime at a time: a prime in both and gives the factor . ThusFinite Möbius inversion gives , and in particular the condition becomes . The Cauchy-Schwarz inequality now yieldsEquality is attained by . Inverting again gives the explicit optimizing weightsThey 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 givesUse , , and sieve the indices for which has no prime factor at most . The local weights areWe claim . The following truncated-product argument supplies the necessary lower bound. Put , and consider all squarefree integers on the primes at most , with total weightGive such an integer probability . Prime inclusion is independent with probability , soby 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 givesIndeed it is , and the contribution of has a finite limiting constant with tail . Expanding the logarithm of now givesThe 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 . HenceThe number of surviving indices is thereforeEvery pair of primes with survives, since both its prime factors exceed . The exceptional pairs with number at most . With we obtainThis 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
There are currently no matching articles.