Unbounded torsion obstructs uniform control of four-term progressions
ID: unbounded-torsion-obstructs-uniform-control-of-four-term-progressions
A bound tending to zero with one factor's Gowers U3 norm, uniformly over all finite abelian groups, is false. On , choose a random independent sign at each point. A cube with eight distinct vertices has sign product of expectation zero. The probability of a collision among its vertices is at most , since each equality of distinct vertices imposes a nonzero linear equation in the increments. Thus some sign function has . But the four-term arithmetic progression is , so choosing factors gives correlation identically one. As , the norm tends to zero. Bounded torsion, as in cyclic groups, avoids this obstruction.
New to topics? Read the docs here!