Lehmer's conjecture for Ramanujan's tau function - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T18:29:37Z http://mathoverflow.net/feeds/question/32620 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32620/lehmers-conjecture-for-ramanujans-tau-function Lehmer's conjecture for Ramanujan's tau function Wadim Zudilin 2010-07-20T11:52:03Z 2010-07-22T00:17:09Z <p>Lehmer's conjecture for Ramanujan's tau function, $$\Delta(q)=q\prod_{n=1}^\infty(1-q^n)^{24}=\sum_{m=1}^\infty\tau(m)q^m,$$ asserts that $\tau(m)$ never vanishes for $m=1,2,\dots$. In the <a href="http://mathoverflow.net/questions/31058/" rel="nofollow">recent question</a> it was asked why it is important to have the nonvanishing.</p> <p>I am wondering whether there are upper bounds, unconditional or conditional (modulo some other known conjectures), in terms of $x\in\mathbb R_+$ for the number of integers $m\le x$ satisfying $\tau(m)=0$ (maybe better, for the number of primes $p\le x$ satisfying $\tau(p)=0$)?</p> <p>It looks like the series $\Delta(q)$ is very far from being "lacunary". But besides Deligne's upper bound $|\tau(m)|\le d(m)m^{11/2}$ (where $d(\ )$ counts the number of divisors) and the lower bound $$\operatorname{card}\lbrace\tau(n):n\le x\rbrace\ge \operatorname{const}\cdot x^{1/2}e^{-4\log x/\log\log x}$$ from <a href="http://dx.doi.org/10.1007/s00013-007-2246-8" rel="nofollow">[M.Z. Garaev, V.C. Garcia, and S.V. Konyagin, A note on the Ramanujan $\tau$-function, <em>Arch. Math. (Basel)</em> <strong>89</strong>:5 (2007) 411--418]</a> for the distribution of tau values, I cannot find any quantitative progress towards Lehmer's original question.</p> http://mathoverflow.net/questions/32620/lehmers-conjecture-for-ramanujans-tau-function/32642#32642 Answer by Matt Young for Lehmer's conjecture for Ramanujan's tau function Matt Young 2010-07-20T14:28:48Z 2010-07-20T14:28:48Z <p>There's a nice paper by Kowalski, Robert, and Wu that discusses this problem. It's on the arxiv <a href="http://front.math.ucdavis.edu/math.NT/0507001" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/32620/lehmers-conjecture-for-ramanujans-tau-function/32643#32643 Answer by David Hansen for Lehmer's conjecture for Ramanujan's tau function David Hansen 2010-07-20T14:33:26Z 2010-07-20T14:33:26Z <p>One of the canonical references for questions like this is Serre's "Quelques applications du theoreme de densite de Chebotarev", Publ. Math. IHES 54. He proves, for example, that the number of primes $0\leq p \leq X$ with $\tau(p)=0$ is $\ll X (\log{X})^{-3/2}$ unconditionally, and is $\ll X^{\frac{3}{4}}$ under GRH.</p> http://mathoverflow.net/questions/32620/lehmers-conjecture-for-ramanujans-tau-function/32872#32872 Answer by SandeepJ for Lehmer's conjecture for Ramanujan's tau function SandeepJ 2010-07-22T00:17:09Z 2010-07-22T00:17:09Z <p>Lehmer's conjecture has an equivalent result in the theory of <a href="http://en.wikipedia.org/wiki/Mock_modular_form" rel="nofollow">Harmonic Maass forms</a>. The non-vanishing of the tau function is equivalent to the <strong>irrationality</strong> of the coefficients of Harmonic Maass forms. </p> <p>Specifically there is a correspondence between the spaces $\zeta_{2-k} : H_{2-k}(N, \chi) \rightarrow S_k(N, \chi)$. where </p> <ol> <li>$\zeta_{2-k}$ is a differential operator</li> <li>H = Harmonic Maass forms</li> <li>S = cusp forms (referred to as the shadow of the Maass form)</li> </ol> <p>The discriminant function $\Delta(z)$ is the shadow of the Harmonic Maass form $\frac{1}{11!} Q^+(-1, 12, 1; z)$ </p> <p>See Theorem 12.5 in the paper <a href="http://projecteuclid.org/euclid.cdm/1254748659" rel="nofollow">Unearthing the visions of a master: harmonic Maass forms and number theory by Ken Ono</a>. Also see <a href="http://www.math.wisc.edu/~ono/reprints/110.pdf" rel="nofollow">Algebraicity of Harmonic Maass forms</a></p>