On the Eldan–Gross inequality

A recent discovery of Eldan and Gross states that there exists a universal C > 0 such that for all Boolean functions f : { − 1 , 1 } n → { − 1 , 1 } , ∫ { − 1 , 1 } n s f ( x ) d μ ( x ) ≥ C Var ( f ) log ⁡ ( 1 + 1 ∑ j = 1 n Inf j ( f ) 2 ) where s f ( x ) is the sensitivity of f at x , Var ( f ) is the variance of f , Inf j ( f ) is the influence of f along the j -th variable, and μ is the uniform probability measure. In this note, we give an alternative proof that applies to biased discrete hypercube, and spaces having positive Ricci curvature lower bounds in the sense of Bakry and Émery.