  We use Grothendieck theorem to prove a structure theorem for multicorrelation
sequences of length two, associated with two (not necessarily commuting)
measure preserving actions on a probability space. We use this to deduce a
multiple recurrence result concerning products of linear terms, and a partition
regularity result of certain systems of quadratic equations, building on the
work of Frantzikinakis and Host.
