Logarithmic bump conditions and the two-weight boundedness of Calderón-Zygmund operators (Q2445935)

Let \(M\) be the Hardy-Littlewood maximal operator and \(u,v\) be weights. Muckenhoupt and Wheeden conjectured the following: if \[ M: L^p(v) \to L^p(u) \quad (1) \quad \text{and} \quad M: L^{p'}(u^{1-p'}) \to L^{p'}(v^{1-p'}), \quad(2) \] then a singular integral operator \(T\) (in particular, the Hilbert transform) is bounded from \(L^p(v)\) to \(L^p(u)\). \textit{C. Pérez} [Proc. Lond. Math. Soc. (3) 71, No. 1, 135--157 (1995; Zbl 0829.42019)] proved that if the pair of \((u,v)\) satisfies the \(A_p\) bump conditions \[ \sup_Q \| u^{1/p}\|_{p,Q} \| v^{-1/p}\|_{B,Q} < \infty \quad (3) \quad \text{and}\quad \sup_Q \| u^{1/p}\|_{A,Q} \| v^{-1/p}\|_{p',Q} < \infty \quad(4), \] where \(\| \cdot \|_{A,Q}\) is the Luxemburg norm on \(Q\), then (1) and (2) hold. Recently \textit{M. C. Reguera} and \textit{J. Scurry} [Proc. Am. Math. Soc. 141, No. 5, 1705--1717 (2013; Zbl 1268.42027)] showed that the Muckenhoupt-Wheeden conjecture is false. The authors conjecture that if the complementary functions fulfil \(\overline{A} \in B_{p'}\) and \(\overline{B} \in B_p\) and \((u,v)\) satisfies (3) and (4), then every Calderón-Zygmund operator is bounded from \(L^p(v)\) to \(L^p(u)\). They prove this conjecture in the special case when \(A,B\) are log bumps: \[ A(t) = t^p \log (e+t)^{p-1+\delta} \quad \text{and}\quad B(t) = t^{p'} \log (e+t)^{p'-1+\delta}, \] where \(\delta >0\).