13
$\begingroup$

Here is a link on the internet: https://www.dropbox.com/s/su3uak2a057yrqv/YitangZhang.pdf

Can someone teach me how to use trivial estimation to reach (6.1) on page 24? Namely, how to impose $(d,P_0)<D_1$ and replace $\theta$ by $\Lambda$ with acceptable O-term?

Thanks a lot!

$\endgroup$

1 Answer 1

10
$\begingroup$

Let me remind some of notations for readers: $$\mathcal{L}=\log x,$$ $$k_0=3.5\times 10^6, \varpi=\frac{1}{1168},$$ $$D_0=\exp(\mathcal{L}^{\frac{1}{k_0}}), P_0=\prod_{p < D_0}p,$$ $$D_1=x^{\varpi},P=\prod_{p < D_1}p,$$

$$D=x^{\frac{1}{4}+\varpi}, D_2 = x^{\frac{1}{2}-\epsilon}$$

Here, the effect of replacing $\theta$ by $\Lambda$ produces an error of $$O(x^{\frac{1}{2}}\mathcal{L}^B),$$ for some positive $B$. So, this change is negligible compared to $O(x\mathcal{L}^{-A})$.

For imposing $(d,P_0)< D_1$, we claim that the following sum is also negligible compared to $O(x\mathcal{L}^{-A})$: $$ \sum_{\substack{{D_2 < d {<} D^2} \\\ {d|P} \\\ {(d,P_0)\geq D_1}}} \sum_{c\in C_i(d)} |\Delta(\Lambda,d,c)| $$ Note that the trivial bound for $|\Delta(\Lambda,d,c)|$ is: $$ |\Delta(\Lambda,d,c)|=O(\frac{x\mathcal{L}}{d})$$

Since we have $(d,P_0)\geq D_1$, the number $w(d)$ of distinct prime divisors of $d$, must satisfy $$ w(d )\geq \mathcal{L}^{\varpi(1-\frac{1}{k_0})}.$$

The sum is bounded by: $$ x\mathcal{L} \sum_{\substack{{ d {<} D^2} \\\ {w(d )\geq \mathcal{L}^{\varpi(1-\frac{1}{k_0})} } }} \frac{\tau_{k_0}(d)}{d }$$

Standard argument now applies, and the sum above is bounded by: $$ \frac{1}{2^{\mathcal{L}^{\varpi(1-\frac{1}{k_0})}}}\sum_{d < D^2} \frac{2^{w(d)}\tau_{k_0}(d)}{d}=O(\frac{\mathcal{L}^B }{2^{\mathcal{L}^{\varpi(1-\frac{1}{k_0})}}}),$$ for some positive constant $B$.

Combining all together, we obtain an upper bound: $$ \sum_{\substack{{D_2 < d {<} D^2} \\\ {d|P} \\\ {(d,P_0)\geq D_1}}} \sum_{c\in C_i(d)} |\Delta(\Lambda,d,c)| =O(\frac{x\mathcal{L}^{B+1}}{2^{\mathcal{L}^{\varpi(1-\frac{1}{k_0})}} })$$

Hence, our claim follows.

$\endgroup$
5
  • 1
    $\begingroup$ It sounds nice, and I just remark that the sum over $c\in C_i(d)$ gives a $\tau_{k_0}(d)$ which can be handled by your method similarly. Thanks! $\endgroup$
    – ericc
    May 29, 2013 at 3:58
  • $\begingroup$ @ericc: Yeah, I missed that. The extra $\tau_{k_0}(d)$ will give extra powers of $\mathcal{L}$ on the numerator. But, my argument still works as you noticed. $\endgroup$ May 29, 2013 at 4:50
  • $\begingroup$ @ericc: Edited. Implemented your correction, and simplified a little. I did not need to have $d=d_0 k$, since what I needed is $d$ having many prime factors. $\endgroup$ May 29, 2013 at 18:41
  • 2
    $\begingroup$ A typographical correction: the character represented by "$\bar w$" is actually $\varpi$ (\varpi). $\endgroup$ Jun 5, 2013 at 1:34
  • 1
    $\begingroup$ I changed $\bar{w}$ to $\varpi$ in this post. $\endgroup$
    – GH from MO
    Jun 6, 2013 at 22:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.