  We prove a polynomial bound in the "true complexity" problem of Gowers and
Wolf. The proof uses only repeated applications of the Cauchy--Schwarz
inequality, answering negatively a question posed by Gowers and Wolf.
  To choose and reason about the sequence of Cauchy--Schwarz steps needed, we
need to introduce several layers of formalism and theory. The highest level of
abstraction in this framework concerns building what we term "arithmetic
circuits" encoding computations in multilinear algebra.
  It is plausible this machinery could be used to generate arithmetic
inequalities in greater generality, and we state some conjectures along these
lines.
