Difference between revisions of "DicksonHardyLittlewood theorems"
(New page: For any integer <math>k_0 \geq 2</math>, let <math>DHL[k_0,2]</math> denote the assertion that given any admissible <math>k_0</math>tuple <math>{\mathcal H}</math>, that infinitely many t...) 
(No difference)

Revision as of 22:51, 25 June 2013
For any integer [math]k_0 \geq 2[/math], let [math]DHL[k_0,2][/math] denote the assertion that given any admissible [math]k_0[/math]tuple [math]{\mathcal H}[/math], that infinitely many translates of [math]{\mathcal H}[/math] contain at least two primes. Thus for instance [math]DHL[2,2][/math] would imply the twin prime conjecture. The acronym DHL stands for "DicksonHardyLittlewood", and originates from this paper of Pintz.
It is known how to deduce results [math]DHL[k_0,2][/math] from three classes of estimates:
 ElliottHalberstam estimates [math]EH[\theta][/math] for some [math]1/2 \lt \theta \lt 1[/math].
 MotohashiPintzZhang estimates [math]MPZ[\varpi,\delta][/math] for some [math]0 \lt \varpi \lt 1/4[/math] and [math]0 \lt \delta \lt 1/4+\varpi[/math].
 MotohashiPintzZhang estimates [math]MPZ'[\varpi,\delta][/math] for densely divisible moduli for some [math]0 \lt \varpi \lt 1/4[/math] and [math]0 \lt \delta \lt 1/4+\varpi[/math].
The ElliottHalberstam estimates are the simplest to use, but unfortunately no estimate of the form [math]EH[\theta][/math] for nay [math]\theta \gt 1/2[/math] is known unconditionally at present. Zhang was the first to establish a result of the form [math]MPZ[\varpi,\theta][/math], which is weaker than [math]EH[1/2+2\varpi][/math], for some [math]\varpi,\theta\gt0[/math]. More recently, we have switched to using [math]MPZ'[\varpi,\theta][/math], an estimate of intermediate strength between [math]MPZ[\varpi,\delta][/math] and [math]EH[1/2+2\varpi][/math], as the conversion of this estimate to a [math]DHL[k_0,2][/math] result is more efficient in the [math]\delta[/math] parameter.
Converting EH to DHL
In the breakthrough paper of Goldston, Pintz, and Yildirim, it was shown that [math]EH[\theta][/math] implied [math]DHL[k_0,2][/math] whenever
 [math]2\theta \gt (1 + \frac{1}{2l_0+1}) (1 + \frac{2l_0+1}{k_0})[/math]
for some positive integer [math]l_0[/math]. Actually (as noted here), there is nothing preventing the argument for working for noninteger [math]l_0 \gt 0[/math] as well, so we can optimise this condition as
 [math]2\theta \gt (1 + \frac{1}{\sqrt{k_0}})^2[/math].
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
 [math]2\theta \gt \frac{j_{k_01}^2}{k_0(k_01)}[/math]
was obtained, where [math]j_{k_01}=j_{k_01,1}[/math] is the first positive zero of the Bessel function [math]J_{k_01}[/math]. See for instance this post for details.