arXiv++ Combinatorics

Talagrand initiated a quantitative program by lower-bounding the correlation of any two increasing Boolean functions in terms of their influences, thereby capturing how strongly the functions depend on the exact coordinates. We strengthen this line of results by proving Talagrand-type correlation lower bounds that hold whenever the increasing functions additionally satisfy super/submodularity. In particular, under super/submodularity, we establish the ``dream inequality'' $$\mathbb{E}[fg]-\mathbb{E}[f]\mathbb{E}[g]\ge \frac{1}{4}\cdot\sum\limits_{i=1}^n\mathrm{Inf}_i[f]\mathrm{Inf}_i[g].$$ Thereby confirming a conjectural direction suggested by Kalai--Keller--Mossel. Our results also clarify the connection to the antipodal strengthening considered by Friedgut, Kahn, Kalai, and Keller, who showed that a famous Chvátal's conjecture is equivalent to a certain reinforcement of Talagrand-type correlation inequality when one function is antipodal. Thus, our inequality verifies the Friedgut--Kahn--Kalai--Keller conjectural bound in this structured regime (super/submodular). Our approach uses two complementary methods: (1) a semigroup proof based on a new heat-semigroup representation via second-order discrete derivatives, and (2) an induction proof that avoids semigroup argument entirely.