$\DeclareMathOperator\Inf{Inf}\DeclareMathOperator\unif{unif}$I have been attempting to find a non-Fourier-analytic proof of Poincaré's inequality for Boolean functions over the hypercube. Let's call this Problem P.
Problem P. For all functions $f \colon \{\pm 1\}^n \to \{\pm 1\}$, the total influence of $f$, $\Inf(f)$, is at least the variance of $f$.
Here, $\Inf(f)$ is the sum of influences in the $i$-th co-ordinate, $\Inf_i(f)$, over all co-ordinates $i \in [n]$.
Influence of a Boolean function over the hypercube can be defined in at least three different ways.
Probabilistic definition. $\Inf_i(f) = P_{x \sim \unif(\{\pm 1\}^n)}\left[f(x) \neq f(x^{\oplus i})\right]$, where $x^{\oplus i}$ is $x$ with its $i$-th co-ordinate inverted.
Directional-derivative based definition. $\Inf_{i}(f) = E_{x \sim \unif(\{\pm 1\}^n)}\left[(\partial_i(f))^2\right]$, where $\partial_i(f)$ is defined as $\frac{f(x) - f(x^{\oplus i})}{2}$.
"Fourier-energy"-based definition. $\Inf_{i}(f) = \sum_{S : i \in S} (\widehat{f}(S))^2$. Recall that any real function over the hypercube, $f$, can be uniquely represented as a mulitilinear polynomial, $f = \sum_{S \subseteq [n]} \widehat{f}(S)x_S$. The $\widehat{f}(S)$'s in this definition of $\Inf_i(f)$ correspond to these coefficients of the monomials.
Problem P can be proved in a few lines with Fourier-analytic techniques. I would like to prove it without F.A.-based techniques, to get a better understanding of the "advantage" of this tool for studying properties of functions over the hypercube.
In an attempt to prove Problem P without Fourier methods, to simplify the problem, I introduced the assumption that the function is balanced, i.e., $E_{x \sim \unif(\{\pm 1\}^n)}\left[f\right]=0$. Let us call this new problem, Problem P1.
I attempted to prove Problem P1 for small values of $n$, in hopes of finding a statement that I can prove by induction, and which, perhaps with other observations, implies P1. I have proved P1 for $1 \leq n \leq 4$. I found that the $n = 5$ case has an overwhelmingly large number of cases to analyze, without any additional insights. I could not find a way to "apply induction", i.e. use the fact that I have proved Problem P1 already for $1 \leq n \leq 4$.
I will now describe how I proved Problem P1 for $n=4$. I will assume that P1 is already proven for $1 \leq n \leq 3$. We have two observations.
Observation 1. For all balanced Boolean functions $f \colon \{\pm 1\}^n \to \{\pm 1\}$, for all $i \in [n]$, $\Inf_{i} = \frac{4k}{2^n}$, for some $k \in \mathbb{Z}_{\geq 0}$.
Observation 2. For all Boolean functions $f \colon \{\pm 1\}^n \to \{\pm 1\}$ that has a non-influential co-ordinate $i$ (i.e. $\Inf_i(f) = 0$), $\Inf(f) = \Inf(g)$, where $g \colon \{\pm 1\}^{n-1} \to \{\pm 1\}$ is the mapping $(x_1,\dots,x_{i-1},x_{i+1},\dots,x_n) \mapsto f(x_1,\dots,x_{i-1},1,x_{i+1},\dots,x_n)$. Note that $f(x_1,\dots,x_{i-1},1,x_{i+1},\dots,x_n) = f(x_1,\dots,x_{i-1},-1,x_{i+1},\dots,x_n)$, since $\Inf_i(f) = 0$.
Take an arbitrary balanced function $h$ that maps $\{\pm 1\}^4$ to $\{\pm 1\}$. If $h$ has an influential co-ordinate $i$, then, by Observation 2, $\Inf(h) = \Inf(h_i) \geq 1$, where $h_i$ is the function over three co-ordinates, that is "same as" $h$. $\Inf(h_i) \geq 1$ because we have assumed P1 for $1 \leq n \leq 3$.
Hence, we can assume that for all $i \in [4]$, $\Inf_i(h) \neq 0$. By Observation 1, we have that for all $i \in [4]$, $\Inf_i(h) \geq \frac{4}{16}$. Hence, $\Inf(h) = \sum_{i \in [4]}\Inf_i(h) \geq 1$.
To summarize, my goal is to find a proof of Poincaré's inequality for Boolean functions over the hypercube without applying Fourier analysis.