 Solution

Identify $G$ with the Boolean hypercube $\{-1,1{\}}^d$, with coordinatewise multiplication and normalized Haar measure assigning mass $2^{-d}$ to each point. Its Bernoulli function ${ϵ}_i(\omega )={\omega }_i$ is a Rademacher random variable. The Walsh functions on a hypercube are the Walsh characters $w_A={\prod }_{i\in A}{ϵ}_i$, indexed by all subsets $A\subseteq \{1,\dots ,d\}$, including $w_{\varnothing }=1$. Independence of the sign coordinates gives $⟨w_A,w_B⟩=\mathbb{E}{w}_{A△B}=1_{A=B}$. There are $2^d$ characters, equal to the dimension of $L^2(G)$, so they form an orthonormal basis.

Flipping coordinate $i$ negates $w_A$ exactly when $i\in A$. Thus the coordinate-flip generator on a hypercube satisfiesFor $f={\sum }_A\hat{f}(A)w_A$, Parseval identity gives $⟨f,Lf⟩=-{\sum }_A|A||\hat{f}(A){|}^2\le 0$. Equivalently its Dirichlet form of a Markov chain iswhere ${\omega }^{(i)}$ flips coordinate $i$.

Set $S(\omega )={\sum }_i{a}_i{ϵ}_i(\omega )$ and $F(\omega )=\Vert S(\omega )\Vert$. Since $F(-\omega )=F(\omega )$, its Walsh expansion contains only sets $A$ of even size. Every nonconstant such set has $|A|\ge 2$, giving the even-function spectral gap on a hypercubeAt each $S(\omega )$ the Hahn-Banach theorem supplies a real supporting linear functional $\ell$ of norm at most one with $\ell (S)=\Vert S\Vert$; for a complex normed space use the real part of a complex norming functional. At $S=0$ take $\ell =0$. Convexity of the norm gives $F({\omega }^{(i)})-F(\omega )\ge \ell (S({\omega }^{(i)})-S(\omega ))$. Since $LS=-S$, sum these inequalities to get $LF\ge -F$. Therefore $\mathcal{E}(F)=-\mathbb{E}[FLF]\le \mathbb{E}{F}^2$. Combining the two bounds yields the sharp Rademacher second-moment inequalityNo smoothness of the norm is required. The constant $2$ is sharp: two equal nonzero real coefficients give modulus $0$ or $2|a|$ with equal probabilities. This is the second-versus-first moment case of the Kahane-Khintchine inequality for arbitrary normed vector spaces.

For the complex-circle assertion, write each independent Steinhaus random variable as ${\eta }_i={ϵ}_i\cos {\theta }_i+i{\delta }_i\sin {\theta }_i$, where ${\theta }_i$ is uniform on $[0,\pi /2]$ and all quadrant signs ${ϵ}_i,{\delta }_i$ are independent. Conditional on the angles, ${\sum }_i{a}_i{\eta }_i$ is a Rademacher sum with $2d$ complex coefficients $a_i\cos {\theta }_i$ and $i{a}_i\sin {\theta }_i$. Its conditional second moment is ${\sum }_i|a_i{|}^2$, independent of the angles. The preceding inequality gives its conditional first moment at least $\sqrt{\frac{1}{2}{\sum }_i|a_i{|}^2}$. Average over the angles and square to obtain the Steinhaus first-moment lower bound