The Perfect Local Tb Theorem and Twisted Martingale Transforms

A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We give a new proof of this Theorem in the setting of perfect (dyadic) models of Calder\'on-Zygmund operators, imposing integrability conditions on the b_Q functions that are the weakest possible. The proof is a simple direct argument, based upon a new inequality for transforms of so-called twisted martingale differences.