1
$\begingroup$

In the paper "exponential sums with multiplicative coefficients", Maier claims that the Chebyshev function in arithmetic progression satisfies $$\theta(x, r, a) = x/(r-1) +O(x^{1-1/r^\epsilon})$$ for sufficently large prime $r$ and arbitrary small $\epsilon>0$.

Is this an error?

See Helmut Maier, Exponential sums with multiplicative coefficients over smooth integers Funct. Approx. Comment. Math. Volume 35 (2006), 209-218. Link to paper at Projeteuclid (unrestricted access).

$\endgroup$
1
  • $\begingroup$ The last item in the proof of Lemma 3.7 is what you ALMOST typed, in that it should be an equals sign (as I edited in) and the hypothesis $x \geq r$ is part of the lemma, and not something you typed. Also the order is x,r,a. $\endgroup$
    – Will Jagy
    Nov 5, 2011 at 22:20

3 Answers 3

6
$\begingroup$

I feel like this is an error. It is true that $1-1/r^\epsilon$ is a known upper bound for the real zeros of Dirichlet $L$-functions corresponding to characters $\chi\pmod r$ (for $r$ sufficiently large in terms of $\epsilon$). However, no constant less than $1$ is known to be an upper bound for the real parts of all the zeros; the zero-free region is similar to the classical one for the Riemann $\zeta$ function, so that the best we know for zeros $\beta+i\gamma$ of $L(s,\chi)$ is something like $\beta \le 1-c/\log rt$ for some positive constant $c$. This would give something like $\theta(x;r,a) = x/(r-1) + O_r(x \exp(-c\sqrt{\log x}))$, which is weaker than what is claimed.

$\endgroup$
3
  • $\begingroup$ see projecteuclid.org/euclid.facm/1229442624 $\endgroup$
    – Will Jagy
    Nov 6, 2011 at 20:03
  • $\begingroup$ I see the claimed result in the paper you linked to. I still don't see why the claimed result should be true. But I'm willing to be convinced by a mathematical argument. $\endgroup$ Nov 7, 2011 at 6:31
  • $\begingroup$ No question the claimed result is false, but perhaps Maier doesn't need it. The bound is OK for $x$ not too large, see my response. I think Will Jagy wants someone to read Maier's paper and sort this out. $\endgroup$
    – GH from MO
    Nov 7, 2011 at 18:10
5
$\begingroup$

Greg Martin is right: Maier's claim is in error. Precisely, the following can be said (cf. Corollaries 11.15 and 11.20 in Montgomery-Vaughan: Multiplicative number theory I):

Theorem (Siegel-Walfisz with a twist). Let $\epsilon>0$ be fixed. Let $q\geq q_0(\epsilon)$ be sufficiently large in terms of $\epsilon$. There is an absolute constant $c>0$ such that $$\theta(x,q,a)=\frac{x}{\varphi(q)}+O(x^{1-cq^{-\epsilon}})\qquad\text{for}\qquad x\leq e^{q^{2\epsilon}},$$ and $$\theta(x,q,a)=\frac{x}{\varphi(q)}+O(x e^{-c\sqrt{\log x}})\qquad\text{for}\qquad x>e^{q^{2\epsilon}}.$$ The implied constants are absolute.

Perhaps Maier only needs the range $x\leq\exp(q^{2\epsilon})$, so his final conclusions are OK.

$\endgroup$
2
  • $\begingroup$ see projecteuclid.org/euclid.facm/1229442624 $\endgroup$
    – Will Jagy
    Nov 6, 2011 at 20:03
  • $\begingroup$ GH, I see your comment below Greg's answer. It is true it would be nice if someone straightened out the whole business. Wrong claims are an irritant, even in a field about which I know nothing. However, the reason I put three copies of the link is that users are notified of comments below their own answers (in time, anyway), but not typically notified of comments elsewhere, or of edits to the original question. Mostly I was annoyed that the OP mistyped the relation and then failed to give any motivation. $\endgroup$
    – Will Jagy
    Nov 7, 2011 at 20:35
0
$\begingroup$

To Will Jagy: Sorry about the typing errors. The motivation is that it can be used to get a zero-free region of L-function better than anything on the literature, as discussed by Greg martin, and everything is elementary number theory.

Maier claims that it holds for all x => r, and said that the proof is a simple, see the paper. So the answer posted by G. H. should be for all x => r.

$\endgroup$
1
  • $\begingroup$ The claimed result would be fantastic but it is not known unfortunately. In particular, it is certainly not a "simple consequence of Siegel-Walfisz". I explained what Siegel-Walfisz means and that is the best result known almost 80 years after Siegel-Walfisz. More precisely, Vinogradov improved on the error term a little, but it is nothing like what Maier claims. Just because a famous researcher makes a claim, it does not make it valid. $\endgroup$
    – GH from MO
    Nov 12, 2011 at 22:37

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.