ON SUPREMA OF AUTOCONVOLUTIONS WITH AN APPLICATION TO SIDON SETS

Let f be a nonnegative function supported on (- 1/4, 1/4). We show that sup (x is an element of R)integral(R) f(t) f(x - t) dt >= 1.28 (integral(1/ 4)(-1/ 4) f(x) dx)(2), where 1.28 improves on a series of earlier results. The inequality arises naturally in additive combinatorics in the study of Sidon sets. We derive a relaxation of the problem that reduces to a finite number of cases and yields slightly stronger results. Our approach should be able to prove lower bounds that are arbitrary close to the sharp result. Currently, the bottleneck in our approach is runtime: new ideas might be able to significantly speed up the computation.