Notes on an inequality by Pisier for functions on the discrete cube (Q2702154)

The author studies functions \(f: \{-1,1\}^n\to B\) from the discrete cube \(\{-1,1\}^n\) to a linear normed space \(B\). For such function \(f\) we define \[ |\nabla f|_p(x)= \Biggl(\int_{y_i\in \{-1,1\}^n} \Biggl\|\sum^n_{i= 1} y_i D_if(x)\Biggr\|^p_B\Biggr)^{1/p}, \] where \(D_if(x)\) is the vector \({f(x)- f(x^i)\over 2}\), where \(x^i\) has the same coordinates as \(x\) except at the \(i\)th place. \textit{G. Pisier} [Lect. Notes Math. 1206, 167-241 (1986; Zbl 0606.60008)] proved that for every \(1\leq p\leq +\infty\), \[ \|f(x)- f(y)\|_{L_p(B)}\leq C\cdot\log n\cdot\||\nabla f|_p(x)\|_{L_p(B)}. \] The main result of the present paper is the following theorem: Let \(f: \{-1,1\}^n\to B\). Then \[ \max_{x,y\in \{-1,1\}^n} \|f(x)- f(y)\|_B\leq 2\cdot \max_{x\in \{-1,1\}^n} |\nabla f|_\infty(x). \] For the entire collection see [Zbl 0949.00025].