  Quantitative formulations of Fefferman's counterexample for the ball
multiplier are naturally linked to square function and vector-valued estimates
for directional singular integrals. The latter are usually referred to as
Meyer-type lemmas and are traditionally attacked by combining weighted
inequalities with sharp estimates for maximal directional averaging operators.
This classical approach fails to give sharp bounds. In this article we develop
a novel framework for square function estimates, based on directional Carleson
embedding theorems and multi-parameter time-frequency analysis, which overcomes
the limitations of weighted theory. In particular we prove the sharp form of
Meyer's lemma, namely a sharp operator norm bound for vector-valued directional
singular integrals, in both one and two parameters, in terms of the cardinality
of the given set of directions. Our sharp Meyer lemma implies an improved
quantification of the reverse square function estimate for tangential
$\delta\times \delta^2$-caps on $\mathbb S^1$. We also prove sharp square
function estimates for conical and radial multipliers. A suitable combination
of these estimates yields a new and currently best known bound for the Fourier
restriction to a $N$-gon, improving on previous results of A. C\'ordoba.
