At this point we have established that if $f : \{-1,1\} \to {\mathbb R}$ then for any $p \leq 2 \leq q$, \[ \|\mathrm{T}_{\sqrt{p-1}} f\|_2 \leq \|f\|_p, \qquad \|\mathrm{T}_{1/\sqrt{q-1}} f\|_q \leq \|f\|_2. \] We would like to extend these facts to the case of general $f : \{-1,1\}^n \to {\mathbb R}$; i.e., establish the $(p,2)$- [...]

## Recent comments

Ohad Klein: In 26, in the "Affine subspace partition" definition, "may b...Ohad Klein: In the very end of prop 12, I think there should be an index...Ohad Klein: In 25 (also in the book) "one one child".Noam Lifshitz: In corollary 17, should it be $\widehat{\mathrm{Maj}_n}(S) =...Ohad Klein: In 49 (56 in the book), it looks like a typo: $E[f_i(y^(j))]...Ryan O'Donnell: Hope so; I'm quite happy with it so far. (Thanks to all who...Yi Zhang: I got it now!!