🔖 [1509.05363] The Erdos discrepancy problem by Terence Tao | arXiv

Bookmarked [1509.05363] The Erdos discrepancy problem by Terence TaoTerence Tao (arxiv.org)

We show that for any sequence f:N‚Üí{‚ąí1,+1} taking values in {‚ąí1,+1}, the discrepancy
supn,d‚ąąN‚ą£‚ą£‚ą£‚ą£‚ąĎj=1nf(jd)‚ą£‚ą£‚ą£‚ą£
of f is infinite. This answers a question of ErdŇĎs. In fact the argument also applies to sequences f taking values in the unit sphere of a real or complex Hilbert space. The argument uses three ingredients. The first is a Fourier-analytic reduction, obtained as part of the Polymath5 project on this problem, which reduces the problem to the case when f is replaced by a (stochastic) completely multiplicative function g. The second is a logarithmically averaged version of the Elliott conjecture, established recently by the author, which effectively reduces to the case when g usually pretends to be a modulated Dirichlet character. The final ingredient is (an extension of) a further argument obtained by the Polymath5 project which shows unbounded discrepancy in this case.

Leave a Reply

Your email address will not be published. Required fields are marked *