Progression-free sets in Z_4^n are exponentially small

Ernie Croot, Vsevolod Lev, Peter Pach

We show that for integer $n>0$, any subset $A\subset Z_4^n$ free of three-term arithmetic progressions has size $|A|<4^{cn}$, with an absolute constant $c\approx 0.926$.