Andrew J. Young,Henry D. Pfister
Abstract:We show that any sequence of well-behaved (e.g. bounded and non-constant) real-valued functions of $n$ boolean variables $\{f_n\}$ admits a sequence of coordinates whose $L^1$ influence under the $p$-biased distribution, for any $p\in(0,1)$, is $\Omega(\text{var}(f_n) \frac{\ln n}{n})$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of lower bound estimation of L1 - influence of real - valued Boolean functions. Specifically, the authors explore the relationship between the influence of coordinates and the variance of functions in a series of well - behaved real - valued Boolean functions (such as bounded and non - constant ones) under the p - biased distribution.
### Core of the problem
The main goal of the paper is to prove that for any sequence of real - valued Boolean functions $\{f_n\}$ composed of $n$ Boolean variables, under the p - biased distribution, there exists a coordinate whose L1 - influence is at least $\Omega\left(\frac{\text{var}(f_n)\ln n}{n}\right)$. The key points here are:
1. **L1 - influence**: Defined as the influence of the $i$-th variable on the function $f$, that is, the L1 - norm of the difference between $f$ and its conditional expectation on the $i$-th coordinate.
2. **p - biased distribution**: Refers to the probability that each Boolean variable takes $- 1$ or $1$ being $1 - p$ and $p$ respectively.
### Main results
The main results of the paper can be summarized in the following theorem:
\[ \liminf_{n\rightarrow\infty}\max_i\frac{\|f_n^{(i)}\|_1}{\text{var}(f_n)\frac{\ln n}{n}}\geq\frac{C_0}{M_0}, \]
where:
- $f_n^{(i)}=f_n - E_i[f_n]$
- $M_0=\limsup_{n\rightarrow\infty}\max_{i: f_n^{(i)}\neq0}\frac{\|f_n^{(i)}\|_2^2}{\|f_n^{(i)}\|_1}$
- $C_0=\sup_{\alpha > 0}\frac{\tanh(\frac{\alpha}{2})}{\alpha-\ln\rho_2(\alpha)^2}$
- $\rho_2(\alpha)=\rho(e^\alpha + 1)$, $\rho$ is the smoothing parameter in Theorem 2
### Significance and applications
This result is of great significance for studying the sharp thresholds of Boolean functions. It generalizes the classical KKL theorem (Kahn, Kalai, and Linial), which is only applicable to Boolean - valued functions, and provides results for a broader class of functions (including real - valued Boolean functions). In addition, this result also reveals the behavioral characteristics of Boolean functions under different distributions through Rossignol's generalization of the Margulis and Russo lemma.
### Related work
Previous research mainly focused on the classical influence definition of Boolean - valued functions, while this paper extends to the L1 - influence of real - valued Boolean functions and is applicable to any p - biased distribution with $p\in(0, 1)$. This makes the result more general and provides new perspectives and tools for subsequent research.
In conclusion, this paper aims to provide a broader framework for understanding the influence properties of Boolean functions, especially their performance in real - valued cases and under different probability distributions.