Tag Archive

You are currently browsing the tag archive for the ‘dispersion method’ tag.

An improved Type I estimate

27 July, 2013 in math.NT, polymath | Tags: , , , , | by | 63 comments

As in all previous posts in this series, we adopt the following asymptotic notation: {x} is a parameter going off to infinity, and all quantities may depend on {x} unless explicitly declared to be “fixed”. The asymptotic notation {O(), o(), \ll} is then defined relative to this parameter. A quantity {q} is said to be of polynomial size if one has {q = O(x^{O(1)})}, and bounded if {q=O(1)}. We also write {X \lessapprox Y} for {X \ll x^{o(1)} Y}, and {X \sim Y} for {X \ll Y \ll X}.

The purpose of this (rather technical) post is both to roll over the polymath8 research thread from this previous post, and also to record the details of the latest improvement to the Type I estimates (based on exploiting additional averaging and using Deligne’s proof of the Weil conjectures) which lead to a slight improvement in the numerology.

In order to obtain this new Type I estimate, we need to strengthen the previously used properties of “dense divisibility” or “double dense divisibility” as follows.

Definition 1 (Multiple dense divisibility) Let {y \geq 1}. For each natural number {k \geq 0}, we define a notion of {k}-tuply {y}-dense divisibility recursively as follows:

  • Every natural number {n} is {0}-tuply {y}-densely divisible.
  • If {k \geq 1} and {n} is a natural number, we say that {n} is {k}-tuply {y}-densely divisible if, whenever {i,j \geq 0} are natural numbers with {i+j=k-1}, and {1 \leq R \leq n}, one can find a factorisation {n = qr} with {y^{-1} R \leq r \leq R} such that {q} is {i}-tuply {y}-densely divisible and {r} is {j}-tuply {y}-densely divisible.

We let {{\mathcal D}^{(k)}_y} denote the set of {k}-tuply {y}-densely divisible numbers. We abbreviate “{1}-tuply densely divisible” as “densely divisible”, “{2}-tuply densely divisible” as “doubly densely divisible”, and so forth; we also abbreviate {{\mathcal D}^{(1)}_y} as {{\mathcal D}_y}.

Given any finitely supported sequence {\alpha: {\bf N} \rightarrow {\bf C}} and any primitive residue class {a\ (q)}, we define the discrepancy

\displaystyle \Delta(\alpha; a \ (q)) := \sum_{n: n = a\ (q)} \alpha(n) - \frac{1}{\phi(q)} \sum_{n: (n,q)=1} \alpha(n).

We now recall the key concept of a coefficient sequence, with some slight tweaks in the definitions that are technically convenient for this post.

Definition 2 A coefficient sequence is a finitely supported sequence {\alpha: {\bf N} \rightarrow {\bf R}} that obeys the bounds

\displaystyle |\alpha(n)| \ll \tau^{O(1)}(n) \log^{O(1)}(x) \ \ \ \ \ (1)

for all {n}, where {\tau} is the divisor function.

  • (i) A coefficient sequence {\alpha} is said to be located at scale {N} for some {N \geq 1} if it is supported on an interval of the form {[cN, CN]} for some {1 \ll c < C \ll 1}.
  • (ii) A coefficient sequence {\alpha} located at scale {N} for some {N \geq 1} is said to obey the Siegel-Walfisz theorem if one has

    \displaystyle | \Delta(\alpha 1_{(\cdot,q)=1}; a\ (r)) | \ll \tau(qr)^{O(1)} N \log^{-A} x \ \ \ \ \ (2)

    for any {q,r \geq 1}, any fixed {A}, and any primitive residue class {a\ (r)}.

  • (iii) A coefficient sequence {\alpha} is said to be smooth at scale {N} for some {N > 0} is said to be smooth if it takes the form {\alpha(n) = \psi(n/N)} for some smooth function {\psi: {\bf R} \rightarrow {\bf C}} supported on an interval of size {O(1)} and obeying the derivative bounds

    \displaystyle |\psi^{(j)}(t)| \lesssim \log^{O(1)} x \ \ \ \ \ (3)

    for all fixed {j \geq 0} (note that the implied constant in the {O()} notation may depend on {j}).

Note that we allow sequences to be smooth at scale {N} without being located at scale {N}; for instance if one arbitrarily translates of a sequence that is both smooth and located at scale {N}, it will remain smooth at this scale but may not necessarily be located at this scale any more. Note also that we allow the smoothness scale {N} of a coefficient sequence to be less than one. This is to allow for the following convenient rescaling property: if {n \mapsto \psi(n)} is smooth at scale {N}, {q \geq 1}, and {a} is an integer, then {n \mapsto \psi(qn+a)} is smooth at scale {N/q}, even if {N/q} is less than one.

Now we adapt the Type I estimate to the {k}-tuply densely divisible setting.

Definition 3 (Type I estimates) Let {0 < \varpi < 1/4}, {0 < \delta < 1/4+\varpi}, and {0 < \sigma < 1/2} be fixed quantities, and let {k \geq 1} be a fixed natural number. We let {I} be an arbitrary bounded subset of {{\bf R}}, let {P_I := \prod_{p \in I} p}, and let {a\ (P_I)} a primitive congruence class. We say that {Type^{(k)}_I[\varpi,\delta,\sigma]} holds if, whenever {M, N \gg 1} are quantities with

\displaystyle M N \sim x \ \ \ \ \ (4)

and

\displaystyle x^{1/2-\sigma} \lessapprox N \lessapprox x^{1/2-2\varpi-c} \ \ \ \ \ (5)

for some fixed {c>0}, and {\alpha,\beta} are coefficient sequences located at scales {M,N} respectively, with {\beta} obeying a Siegel-Walfisz theorem, we have

\displaystyle \sum_{q \in {\mathcal S}_I \cap {\mathcal D}_{x^\delta}^{(k)}: q \leq x^{1/2+2\varpi}} |\Delta(\alpha * \beta; a\ (q))| \ll x \log^{-A} x \ \ \ \ \ (6)

for any fixed {A>0}. Here, as in previous posts, {{\mathcal S}_I} denotes the square-free natural numbers whose prime factors lie in {I}.

The main theorem of this post is then

Theorem 4 (Improved Type I estimate) We have {Type^{(4)}_I[\varpi,\delta,\sigma]} whenever

\displaystyle \frac{160}{3} \varpi + 16 \delta + \frac{34}{9} \sigma < 1

and

\displaystyle 64\varpi + 18\delta + 2\sigma < 1.

In practice, the first condition here is dominant. Except for weakening double dense divisibility to quadruple dense divisibility, this improves upon the previous Type I estimate that established {Type^{(2)}_I[\varpi,\delta,\sigma]} under the stricter hypothesis

\displaystyle 56 \varpi + 16 \delta + 4 \sigma < 1.

As in previous posts, Type I estimates (when combined with existing Type II and Type III estimates) lead to distribution results of Motohashi-Pintz-Zhang type. For any fixed {\varpi, \delta > 0} and {k \geq 1}, we let {MPZ^{(k)}[\varpi,\delta]} denote the assertion that

\displaystyle \sum_{q \in {\mathcal S}_I \cap {\mathcal D}_{x^\delta}^{(k)}: q \leq x^{1/2+2\varpi}} |\Delta(\Lambda 1_{[x,2x]}; a\ (q))| \ll x \log^{-A} x \ \ \ \ \ (7)

for any fixed {A > 0}, any bounded {I}, and any primitive {a\ (P_I)}, where {\Lambda} is the von Mangoldt function.

Corollary 5 We have {MPZ^{(4)}[\varpi,\delta]} whenever

\displaystyle \frac{600}{7} \varpi + \frac{180}{7} \delta < 1 \ \ \ \ \ (8)

Proof: Setting {\sigma} sufficiently close to {1/10}, we see from the above theorem that {Type^{(4)}_{II}[\varpi,\delta]} holds whenever

\displaystyle \frac{600}{7} \varpi + \frac{180}{7} \delta < 1

and

\displaystyle 80 \varpi + \frac{45}{2} \delta < 1.

The second condition is implied by the first and can be deleted.

From this previous post we know that {Type^{(4)}_{II}[\varpi,\delta]} (which we define analogously to {Type'_{II}[\varpi,\delta], Type''_{II}[\varpi,\delta]} from previous sections) holds whenever

\displaystyle 68 \varpi + 14 \delta < 1

while {Type^{(4)}_{III}[\varpi,\delta,\sigma]} holds with {\sigma} sufficiently close to {1/10} whenever

\displaystyle 70 \varpi + 5 \delta < 1.

Again, these conditions are implied by (8). The claim then follows from the Heath-Brown identity and dyadic decomposition as in this previous post. \Box

As before, we let {DHL[k_0,2]} denote the claim that given any admissible {k_0}-tuple {{\mathcal H}}, there are infinitely many translates of {{\mathcal H}} that contain at least two primes.

Corollary 6 We have {DHL[k_0,2]} with {k_0 = 632}.

This follows from the Pintz sieve, as discussed below the fold. Combining this with the best known prime tuples, we obtain that there are infinitely many prime gaps of size at most {4,680}, improving slightly over the previous record of {5,414}.

Read the rest of this entry »

Estimation of the Type I and Type II sums

12 June, 2013 in math.NT, polymath | Tags: , , , , , | by | 75 comments

This is one of the continuations of the online reading seminar of Zhang’s paper for the polymath8 project. (There are two other continuations; this previous post, which deals with the combinatorial aspects of the second part of Zhang’s paper, and a post to come that covers the Type III sums.) The main purpose of this post is to present (and hopefully, to improve upon) the treatment of two of the three key estimates in Zhang’s paper, namely the Type I and Type II estimates.

The main estimate was already stated as Theorem 16 in the previous post, but we quickly recall the relevant definitions here. As in other posts, we always take {x} to be a parameter going off to infinity, with the usual asymptotic notation {O(), o(), \ll} associated to this parameter.

Definition 1 (Coefficient sequences) A coefficient sequence is a finitely supported sequence {\alpha: {\bf N} \rightarrow {\bf R}} that obeys the bounds

\displaystyle |\alpha(n)| \ll \tau^{O(1)}(n) \log^{O(1)}(x) \ \ \ \ \ (1)

for all {n}, where {\tau} is the divisor function.

  • (i) If {\alpha} is a coefficient sequence and {a\ (q) = a \hbox{ mod } q} is a primitive residue class, the (signed) discrepancy {\Delta(\alpha; a\ (q))} of {\alpha} in the sequence is defined to be the quantity

    \displaystyle \Delta(\alpha; a \ (q)) := \sum_{n: n = a\ (q)} \alpha(n) - \frac{1}{\phi(q)} \sum_{n: (n,q)=1} \alpha(n). \ \ \ \ \ (2)

  • (ii) A coefficient sequence {\alpha} is said to be at scale {N} for some {N \geq 1} if it is supported on an interval of the form {[(1-O(\log^{-A_0} x)) N, (1+O(\log^{-A_0} x)) N]}.
  • (iii) A coefficient sequence {\alpha} at scale {N} is said to obey the Siegel-Walfisz theorem if one has

    \displaystyle | \Delta(\alpha 1_{(\cdot,q)=1}; a\ (r)) | \ll \tau(qr)^{O(1)} N \log^{-A} x \ \ \ \ \ (3)

    for any {q,r \geq 1}, any fixed {A}, and any primitive residue class {a\ (r)}.

  • (iv) A coefficient sequence {\alpha} at scale {N} is said to be smooth if it takes the form {\alpha(n) = \psi(n/N)} for some smooth function {\psi: {\bf R} \rightarrow {\bf C}} supported on {[1-O(\log^{-A_0} x), 1+O(\log^{-A_0} x)]} obeying the derivative bounds

    \displaystyle \psi^{(j)}(t) = O( \log^{j A_0} x ) \ \ \ \ \ (4)

    for all fixed {j \geq 0} (note that the implied constant in the {O()} notation may depend on {j}).

In Lemma 8 of this previous post we established a collection of “crude estimates” which assert, roughly speaking, that for the purposes of averaged estimates one may ignore the {\tau^{O(1)}(n)} factor in (1) and pretend that {\alpha(n)} was in fact {O( \log^{O(1)} n)}. We shall rely frequently on these “crude estimates” without further citation to that precise lemma.

For any {I \subset {\bf R}}, let {{\mathcal S}_I} denote the square-free numbers whose prime factors lie in {I}.

Definition 2 (Singleton congruence class system) Let {I \subset {\bf R}}. A singleton congruence class system on {I} is a collection {{\mathcal C} = (\{a_q\})_{q \in {\mathcal S}_I}} of primitive residue classes {a_q \in ({\bf Z}/q{\bf Z})^\times} for each {q \in {\mathcal S}_I}, obeying the Chinese remainder theorem property

\displaystyle a_{qr}\ (qr) = (a_q\ (q)) \cap (a_r\ (r)) \ \ \ \ \ (5)

whenever {q,r \in {\mathcal S}_I} are coprime. We say that such a system {{\mathcal C}} has controlled multiplicity if the

\displaystyle \tau_{\mathcal C}(n) := |\{ q \in {\mathcal S}_I: n = a_q\ (q) \}|

obeys the estimate

\displaystyle \sum_{C^{-1} x \leq n \leq Cx: n = a\ (r)} \tau_{\mathcal C}(n)^2 \ll \frac{x}{r} \tau(r)^{O(1)} \log^{O(1)} x + x^{o(1)}. \ \ \ \ \ (6)

for any fixed {C>1} and any congruence class {a\ (r)} with {r \in {\mathcal S}_I}.

The main result of this post is then the following:

Theorem 3 (Type I/II estimate) Let {\varpi, \delta, \sigma > 0} be fixed quantities such that

\displaystyle 11 \varpi + 3\delta + 2 \sigma < \frac{1}{4} \ \ \ \ \ (7)

and

\displaystyle 29\varpi + 5 \delta < \frac{1}{4} \ \ \ \ \ (8)

and let {\alpha,\beta} be coefficient sequences at scales {M,N} respectively with

\displaystyle x \ll MN \ll x \ \ \ \ \ (9)

and

\displaystyle x^{\frac{1}{2}-\sigma} \ll N \ll M \ll x^{\frac{1}{2}+\sigma} \ \ \ \ \ (10)

with {\beta} obeying a Siegel-Walfisz theorem. Then for any {I \subset [1,x^\delta]} and any singleton congruence class system {(\{a_q\})_{q \in {\mathcal S}_I}} with controlled multiplicity we have

\displaystyle \sum_{q \in {\mathcal S}_I: q< x^{1/2+2\varpi}} |\Delta(\alpha \ast \beta; a_q)| \ll x \log^{-A} x.

The proof of this theorem relies on five basic tools:

  • (i) the Bombieri-Vinogradov theorem;
  • (ii) completion of sums;
  • (iii) the Weil conjectures;
  • (iv) factorisation of smooth moduli {q \in {\mathcal S}_I}; and
  • (v) the Cauchy-Schwarz and triangle inequalities (Weyl differencing and the dispersion method).

For the purposes of numerics, it is the interplay between (ii), (iii), and (v) that drives the final conditions (7), (8). The Weil conjectures are the primary source of power savings ({x^{-c}} for some fixed {c>0}) in the argument, but they need to overcome power losses coming from completion of sums, and also each use of Cauchy-Schwarz tends to halve any power savings present in one’s estimates. Naively, one could thus expect to get better estimates by relying more on the Weil conjectures, and less on completion of sums and on Cauchy-Schwarz.

Read the rest of this entry »

Archives