Abstract: There is a common theme to some research questions in additive combinatorics and noise stability. Both study the following basic question: Let be a probability distribution over a space with all marginals equal. Let where be random vectors such that for every coordinate the tuples are i.i.d. according to . A central question that is addressed in both areas is: - Does there exist a function independent of such that for every with : �egin{align*} mathrm{E} left[ prod_{j=1}^ell f(X^{(j)})
ight] ge c(mu) > 0 , ? end{align*} Instances of this question include the finite field model version of Roth's and Szemer'edi's theorems as well as Borell's result about the optimality of noise stability of half-spaces. Our goal in this paper is to interpolate between the noise stability theory and the finite field additive combinatorics theory and address the question above in further generality than considered before. In particular, we settle the question for and when and has bounded correlation . Under the same conditions we also characterize the _obstructions_ for similar lower bounds in the case of different functions. Part of the novelty in our proof is the combination of analytic arguments from the theories of influences and hyper-contraction with arguments from additive combinatorics.
