arXiv++ Combinatorics

Motivated by a log-convexity question of Bennett and Tao, we consider Gowers-type functionals defined by $L^p$ norms of multiple autocorrelations. We prove sharp bounds in terms of $L^q$ norms and characterise the near-extremisers on Euclidean spaces as well as locally compact abelian groups. We also establish two families of degree-lowering inequalities and study their near-extremisers. As a byproduct of this broader theory, we show that the constant in the log-convexity estimate for Gowers norms is strictly less than unity, confirming the aforementioned conjecture of Bennett and Tao. Finally, we characterise the values of the parameters for which these Gowers-type functionals necessarily satisfy the triangle inequality on nonnegative measurable functions.