# Dickson-Hardy-Littlewood theorems

### From Polymath1Wiki

(→Converting EH to DHL) |
Current revision (02:53, 28 July 2013) (view source) (→Converting MPZ to DHL) |
||

Line 138: | Line 138: | ||

There is a variant of <math>MPZ'</math> which we call <math>MPZ''</math> in which dense divisibility is replaced by the stronger condition of double dense divisibility; see [Distribution of primes in smooth moduli] for details. <math>MPZ''[\varpi,\delta]</math> is weaker than <math>MPZ'[\varpi,\delta]</math> but stronger than <math>MPZ[\varpi,\delta]</math>. It turns out (details [http://terrytao.wordpress.com/2013/06/30/bounded-gaps-between-primes-polymath8-a-progress-report/#comment-237306 here]) that one can also deduce <math>DHL[k_0,2]</math> from <math>MPZ''[\varpi,\delta]</math> with an almost identical numerology to the previous section, except that <math>\tilde \theta</math> is increased to | There is a variant of <math>MPZ'</math> which we call <math>MPZ''</math> in which dense divisibility is replaced by the stronger condition of double dense divisibility; see [Distribution of primes in smooth moduli] for details. <math>MPZ''[\varpi,\delta]</math> is weaker than <math>MPZ'[\varpi,\delta]</math> but stronger than <math>MPZ[\varpi,\delta]</math>. It turns out (details [http://terrytao.wordpress.com/2013/06/30/bounded-gaps-between-primes-polymath8-a-progress-report/#comment-237306 here]) that one can also deduce <math>DHL[k_0,2]</math> from <math>MPZ''[\varpi,\delta]</math> with an almost identical numerology to the previous section, except that <math>\tilde \theta</math> is increased to | ||

- | :<math> \tilde \theta := \min( \frac{\delta' - \delta + \varpi}{1/4 + \varpi}, 1).</math> | + | :<math> \tilde \theta := \min( \frac{\delta' - \delta/2 + \varpi}{1/4 + \varpi}, 1).</math> |

So the Maple code is now changed slightly to the following: | So the Maple code is now changed slightly to the following: | ||

Line 148: | Line 148: | ||

A := [INSERT VALUE HERE]; | A := [INSERT VALUE HERE]; | ||

theta := deltap / (1/4 + varpi); | theta := deltap / (1/4 + varpi); | ||

- | thetat := min( ((deltap - delta) + varpi) / (1/4 + varpi), 1); | + | thetat := min( ((deltap - delta/2) + varpi) / (1/4 + varpi), 1); |

deltat := delta / (1/4 + varpi); | deltat := delta / (1/4 + varpi); | ||

j := BesselJZeros(k0-2,1); | j := BesselJZeros(k0-2,1); | ||

Line 162: | Line 162: | ||

eps2 := 2*(kappa1+kappa2+kappa3); | eps2 := 2*(kappa1+kappa2+kappa3); | ||

# we win if eps2 < eps | # we win if eps2 < eps | ||

+ | |||

+ | More generally, to deduce <math>DHL[k_0,2]</math> from <math>MPZ^{(k)}[\varpi,\delta]</math>, we need to use | ||

+ | |||

+ | :<math> \tilde \theta := \min( \frac{k\delta'/2 - \delta/2 + \varpi}{1/4 + \varpi}, 1).</math> |

## Current revision

For any integer , let *D**H**L*[*k*_{0},2] denote the assertion that given any admissible *k*_{0}-tuple , that infinitely many translates of contain at least two primes. Thus for instance *D**H**L*[2,2] would imply the twin prime conjecture. The acronym DHL stands for "Dickson-Hardy-Littlewood", and originates from this paper of Pintz.

It is known how to deduce results *D**H**L*[*k*_{0},2] from three classes of estimates:

- Elliott-Halberstam estimates
*E**H*[θ] for some 1 / 2 < θ < 1. - Motohashi-Pintz-Zhang estimates for some and .
- Motohashi-Pintz-Zhang estimates for densely divisible moduli for some and .

The Elliott-Halberstam estimates are the simplest to use, but unfortunately no estimate of the form *E**H*[θ] for any θ > 1 / 2 is known unconditionally at present. Zhang was the first to establish a result of the form , which is weaker than , for some . More recently, we have switched to using , an estimate of intermediate strength between and , as the conversion of this estimate to a *D**H**L*[*k*_{0},2] result is more efficient in the δ parameter. The precise definition of the *M**P**Z*, *M**P**Z*' and *M**P**Z*'' estimates can be found at the page on distribution of primes in smooth moduli.

## Contents |

## Converting EH to DHL

In the breakthrough paper of Goldston, Pintz, and Yildirim, it was shown that *E**H*[θ] implied *D**H**L*[*k*_{0},2] whenever

for some positive integer *l*_{0}. Actually (as noted here), there is nothing preventing the argument for working for non-integer *l*_{0} > 0 as well, so we can optimise this condition as

- .

Some further optimisation of this condition was performed in the paper of Goldston, Pintz, and Yildirim by working with general polynomial weights rather than monomial weights. In this paper of Farkas, Pintz, and Revesz, the optimal weight was found (coming from a Bessel function), and the optimised condition

was obtained, where is the first positive zero of the Bessel function . See for instance this post for details. Note that even if the full Elliott-Halberstam conjecture was obtained, one could not reduce *k*_{0} to below 6 by this criterion (and similarly for the variants of this implication given below), so *D**H**L*[6,2] is the limit of this method.

## Converting MPZ to DHL

The observation that *D**H**L*[*k*_{0},2] could be deduced from if *k*_{0} was sufficiently large depending on was first made in the literature by Motohashi and Pintz. In the paper of Zhang, an explicit implication was established: implies *D**H**L*[*k*_{0},2] whenever there exists an integer *l*_{0} > 0 such that

where

The value of δ_{2} was lowered to in these notes. Subsequently, the values of κ_{1},κ_{2} were improved to

where

- ;

again, see these notes. As before, *l*_{0} can be taken to be non-integer.

The constraint was then improved further in this post to deduce *D**H**L*[*k*_{0},2] from whenever

where

- .

Using the optimal Bessel weight, this condition was improved to

- ;

again, see this post.

A variant of this criterion was developed using the elementary Selberg sieve in this post, but never used. A subsequent refined criterion was established in this post, namely that

where

A slight refinement in this comment allows the condition in the definition of κ' to be raised to .

An argument of Pintz yields the following improved values of κ,κ' in the above criterion:

- κ: = 0

- κ': = 2κ
_{1}+ 2κ_{2}

- .

## Converting MPZ' to DHL

An efficient argument of Pintz, based on the elementary Selberg sieve, allows one to deduce *D**H**L*[*k*_{0},2] from with almost no loss with respect to the δ parameter. As currently optimised, the criterion takes the form

where

and *A* > 0 and are parameters one is free to optimise over.

Here is some simple Maple code to verify the above criterion for given choices of :

k0 := [INSERT VALUE HERE]; varpi := [INSERT VALUE HERE]; delta := [INSERT VALUE HERE]; deltap := [INSERT VALUE HERE]; A := [INSERT VALUE HERE]; theta := deltap / (1/4 + varpi); thetat := ((deltap - delta)/2 + varpi) / (1/4 + varpi); deltat := delta / (1/4 + varpi); j := BesselJZeros(k0-2,1); eps := 1 - j^2 / (k0 * (k0-1) * (1+4*varpi)); kappa1 := int( (1-t)^((k0-1)/2)/t, t = theta..1, numeric); kappa2 := (k0-1) * int( (1-t)^(k0-1)/t, t=theta..1, numeric); alpha := j^2 / (4 * (k0-1)); e := exp( A + (k0-1) * int( exp(-(A+2*alpha)*t)/t, t=deltat..theta, numeric ) ); gd := (j^2/2) * BesselJ(k0-3,j)^2; tn := sqrt(thetat)*j; gn := (tn^2/2) * (BesselJ(k0-2,tn)^2 - BesselJ(k0-3,tn)*BesselJ(k0-1,tn)); kappa3 := (gn/gd) * e; eps2 := 2*(kappa1+kappa2+kappa3); # we win if eps2 < eps

## Converting *M**P**Z*'' to DHL

There is a variant of *M**P**Z*' which we call *M**P**Z*'' in which dense divisibility is replaced by the stronger condition of double dense divisibility; see [Distribution of primes in smooth moduli] for details. is weaker than but stronger than . It turns out (details here) that one can also deduce *D**H**L*[*k*_{0},2] from with an almost identical numerology to the previous section, except that is increased to

So the Maple code is now changed slightly to the following:

k0 := [INSERT VALUE HERE]; varpi := [INSERT VALUE HERE]; delta := [INSERT VALUE HERE]; deltap := [INSERT VALUE HERE]; A := [INSERT VALUE HERE]; theta := deltap / (1/4 + varpi); thetat := min( ((deltap - delta/2) + varpi) / (1/4 + varpi), 1); deltat := delta / (1/4 + varpi); j := BesselJZeros(k0-2,1); eps := 1 - j^2 / (k0 * (k0-1) * (1+4*varpi)); kappa1 := int( (1-t)^((k0-1)/2)/t, t = theta..1, numeric); kappa2 := (k0-1) * int( (1-t)^(k0-1)/t, t=theta..1, numeric); alpha := j^2 / (4 * (k0-1)); e := exp( A + (k0-1) * int( exp(-(A+2*alpha)*t)/t, t=deltat..theta, numeric ) ); gd := (j^2/2) * BesselJ(k0-3,j)^2; tn := sqrt(thetat)*j; gn := (tn^2/2) * (BesselJ(k0-2,tn)^2 - BesselJ(k0-3,tn)*BesselJ(k0-1,tn)); kappa3 := (gn/gd) * e; eps2 := 2*(kappa1+kappa2+kappa3); # we win if eps2 < eps

More generally, to deduce *D**H**L*[*k*_{0},2] from , we need to use