Paper
The Erdos discrepancy problem
Authors
Terence Tao
Abstract
We show that for any sequence taking values in
, the discrepancy of is infinite. This answers a question of Erd\H{o}s. In
fact the argument also applies to sequences 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 is replaced by a (stochastic)
completely multiplicative function . The second is a logarithmically
averaged version of the Elliott conjecture, established recently by the author,
which effectively reduces to the case when 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.