Small gaps in coefficients of \(L\)-functions and \({\mathfrak B}\)-free numbers in short intervals (Q997820)

This paper is concerned with the frequency of non-vanishing Fourier coefficients of the Fourier expansion of holomorphic cusp forms. Equivalently, this can be viewed as the non-vanishing of the coefficients of the corresponding \(L\)-series attached to the cusp form. The authors main goal is to go significantly beyond lacunarity. They achieve this by tailoring some arguments that already exist in literature. In this way they obtain a variety of short interval results on this problem. The authors are unaware of the paper [\textit{E. Alkan} and \textit{A. Zaharescu}, ``Nonvanishing of the Ramanujan tau function in short intervals'', Int. J. Number Theory 1, No. 1, 45--51 (2005; Zbl 1075.11035)] which gives the best short interval result in the special case of the Ramanujan tau function that forms the Fourier coefficients of delta function; the unique normalized cusp form of weight 12. As their main technical machinery, the authors obtain results on the existence of B-free numbers in short intervals. Here they again follow methods introduced in earlier papers with some minuscule modifications, the only exception to this is a nice method of Filaseta and Trifonov for finding square-free numbers in short intervals. Unfortunately, the authors are also unaware of a gap that arises when extending their short interval results from newforms to general cusp forms. There seems to be a spacing problem when one applies Lemma 2.4 over short intervals. The paper [\textit{E. Alkan} and \textit{A. Zaharescu}, ``On the gaps in the Fourier expansion of cusp forms'', Ramanujan J. 16, No. 1, 41--52 (2008; Zbl 1213.11100)] gives a further discussion on this gap and partially repairs it.