TCSLib

330 Boolean Analysis — Threshold Functions — Polynomial

330.1 Overview

Walsh coefficient families evaluate to multilinear cube functions with the same Fourier coefficients. Their degree, correlation, norm, and threshold identities follow in this representation.

330.2 Declarations

Lemma 330.1 Fourier coefficients recover polynomial coefficients
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). For every \(S\subseteq [n]\), \(\widehat P(S)=a_S\).

Lemma 330.2 Coefficient degree bounds Fourier degree
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). If \(k\ge 0\) is an integer and \(a_S=0\) whenever \(|S|\gt k\), then \(\widehat P(S)\ne 0\) implies \(|S|\le k\).

Lemma 330.3 Parseval identity for a Walsh polynomial
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). Then \(\mathbb E[P(x)P(x)]=\sum _{S\subseteq [n]}a_S^2\).

Lemma 330.4 Polynomial second moment from coefficients
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). The second moment satisfies \(\mathbb E[P^2]=\sum _{S\subseteq [n]}a_S^2\).

Lemma 330.5 Correlation with an arbitrary cube function
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). For every real cube function \(u\), \(\mathbb E[Pu]=\sum _{S\subseteq [n]}a_S\widehat u(S)\).

Lemma 330.6 Coefficient bound by the absolute first moment
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). For every \(S\subseteq [n]\), \(|a_S|\le \mathbb E|P|\).

Lemma 330.7 Positive coefficient energy for a nonzero polynomial
✓

Let \(n\ge 0\) and let \((a_S)_{S\subseteq [n]}\) be real coefficients that are not all zero. Then \(\sum _{S\subseteq [n]}a_S^2\gt 0\).

Lemma 330.8 Threshold correlation equals the absolute first moment
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). If \(f(x)=1\) when \(P(x)\ge 0\) and \(f(x)=-1\) when \(P(x)\lt 0\), then \(\mathbb E|P|=\mathbb E[Pf]\).

Lemma 330.9 Explicit affine form on sign inputs
✓

Let \(n\ge 0\) and equip \(\{ 0,1\} ^n\) with its uniform probability measure; write \(\mathbb E\) for uniform expectation. For \(S\subseteq [n]\), put \(\chi _S(x)=\prod _{i\in S}(-1)^{x_i}\) and \(\widehat h(S)=\mathbb E[h\chi _S]\) for real cube functions \(h\). Let \(P(x)=\sum _{S\subseteq [n]}a_S\chi _S(x)\) with real coefficients \(a_S\). If \(a_S=0\) for \(|S|\gt 1\), then \(P(x)=a_\varnothing +\sum _{i=1}^n a_{\{ i\} }(-1)^{x_i}\) for every \(x\in \{ 0,1\} ^n\).