On the Eldan-Gross inequality

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ivanisvili, Paata, Zhang, Haonan
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918223088189440
author Ivanisvili, Paata
Zhang, Haonan
author_facet Ivanisvili, Paata
Zhang, Haonan
contents 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\to \{-1,1\}$, $$ \int_{\{-1,1\}^n}\sqrt{s_f(x)}dμ(x) \ge C\text{Var}(f)\sqrt{\log \left(1+\frac{1}{\sum_{j=1}^{n}\text{Inf}_j(f)^2}\right)} $$ where $s_f(x)$ is the sensitivity of $f$ at $x$, $\text{Var}(f)$ is the variance of $f$, $\text{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.
format Preprint
id arxiv_https___arxiv_org_abs_2407_17864
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On the Eldan-Gross inequality
Ivanisvili, Paata
Zhang, Haonan
Functional Analysis
Classical Analysis and ODEs
Probability
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\to \{-1,1\}$, $$ \int_{\{-1,1\}^n}\sqrt{s_f(x)}dμ(x) \ge C\text{Var}(f)\sqrt{\log \left(1+\frac{1}{\sum_{j=1}^{n}\text{Inf}_j(f)^2}\right)} $$ where $s_f(x)$ is the sensitivity of $f$ at $x$, $\text{Var}(f)$ is the variance of $f$, $\text{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.
title On the Eldan-Gross inequality
topic Functional Analysis
Classical Analysis and ODEs
Probability
url https://arxiv.org/abs/2407.17864