Definition 1.15. Given A,B⊆G we define the additive energy between A and B to be
We refer to the quadruples (a,a′,b,b′) such that a+b=a′+b′ as additive quadruples.