Skip to main content
2 of 4
added 6 characters in body
anon
  • 303
  • 1
  • 8

Slightly generalized formulation of Maynard-Tao theorem

In the paper http://arxiv.org/pdf/1311.5319v1.pdf the author states the following theorem, which he attributes to Maynard and Tao.

For any integer $m > 2$, there exists an integer $k = k(m)$ such that the following holds. If $g_1x+h_1, . . . , g_kx+h_k$ is an admissible $k$-tuple, then for infinitely many integers $n$, there exist $m$ or more primes among $g_1n + h_1, . . . , g_kn + h_k$.

Now, Maynard's paper and Tao's blog posts only deal with the case $g_1 = \ldots = g_k = 1$. The author cites the stronger statement from Granville's article http://www.dms.umontreal.ca/~andrew/CEBBrochureFinal.pdf, where a result is stated for "every admissible $k$-tuple of linear forms" (Theorem 6.2). It is unclear to me if Granville really means to allow tuples of the form $m_i n + h_i$, or if he means only $n+ h_i$. The proof he gives is certainly in the latter case only, but I was thinking that it might be possible to extend it without much difficulty - I'll come back to this later. My reason for confusion is that on the bottom of page 5, Granville states the theorem for forms like $n+h_i$ only.

I've studied Maynard's paper a bit and it does not seem to me that the arguments go through in a straightforward way at this level of generality. The step that seems to break down to me is in Maynard's Lemma 5.2, where one is estimating

$$ S_2^{(m)} = \sum_{\substack{d_1, \ldots, d_k \\ e_1, \ldots, e_k}} \lambda_{d_1, \ldots, d_k} \lambda_{e_1, \ldots, e_k} \sum_{\substack{N \leq n < 2N \\ n \equiv \nu_0 \pmod{W} \\ [d_i, e_i \mid n+h_i \forall i}} \chi(n+h_m)$$.

The natural way to generalize this is to replace the inner sum with

$$\sum_{\substack{N \leq n < 2N \\ n \equiv \nu_0 \pmod{W} \\ [d_i, e_i \mid g_in+h_i \forall i}} \chi(g_m n+h_m)$$

This sum essentially counts the number of primes in the range $[g_mN+h_m, 2g_m N + h_m]$ satisfying a congruence condition modulo $g_m W \prod [d_i, e_i]$. So if we try to apply Bombieri-Vinogradov, we would get roughly the same main term but the error term would be a sum over moduli of the form $g_m q$, like

$$\sum_{q = 1}^{ N} E( g_m N, g_m q). $$

By Bombieri-Vinogradov we can say that this is $\ll \frac{g_m N}{(\log g_m N)^A}$, but if we are allowing the $g_m$ to become arbitrarily large, this error term could swamp the main term. I was thinking that perhaps there is a stronger form of Bombieri-Vinogradov saying that we could divided by $g_m$ in the estimate above, since we are only interested in $\frac{1}{g_m}$ of the moduli, but unfortunately this question seems to already have been asked and answered in the negative at The Bombieri Vinogradov Theorem restricted to moduli divisible by $k$.

All I can salvage for now is a statement like the quoted theorem when one has an a priori bound $|g_i | < B$ (for any $B$), and I am wondering if there is a way to get the full strength of it.

anon
  • 303
  • 1
  • 8