English

On the Eldan-Gross inequality

Functional Analysis 2025-12-02 v2 Classical Analysis and ODEs Probability

Abstract

A recent discovery of Eldan and Gross states that there exists a universal C>0C>0 such that for all Boolean functions f:{1,1}n{1,1}f:\{-1,1\}^n\to \{-1,1\}, {1,1}nsf(x)dμ(x)CVar(f)log(1+1j=1nInfj(f)2) \int_{\{-1,1\}^n}\sqrt{s_f(x)}d\mu(x) \ge C\text{Var}(f)\sqrt{\log \left(1+\frac{1}{\sum_{j=1}^{n}\text{Inf}_j(f)^2}\right)} where sf(x)s_f(x) is the sensitivity of ff at xx, Var(f)\text{Var}(f) is the variance of ff, Infj(f)\text{Inf}_j(f) is the influence of ff along the jj-th variable, and μ\mu 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 \'Emery.

Keywords

Cite

@article{arxiv.2407.17864,
  title  = {On the Eldan-Gross inequality},
  author = {Paata Ivanisvili and Haonan Zhang},
  journal= {arXiv preprint arXiv:2407.17864},
  year   = {2025}
}

Comments

Minor changes based on the referee's comments

R2 v1 2026-06-28T17:53:15.157Z