Two weight inequalities for bilinear forms

TL;DR

This paper characterizes two weight inequalities for bilinear forms involving sparse families, providing new estimates and conjectures that unify existing conjectures in harmonic analysis.

Contribution

It offers a complete characterization of the two weight inequality for a class of bilinear forms and introduces a new conjecture linking key conjectures in the field.

Findings

Derived mixed $A_p$-$A_$ estimates.

Established entropy bounds for the inequalities.

Proposed a new conjecture unifying major existing conjectures.

Abstract

Let $1\le p_0<p,q <q_0\le \infty$. Given a pair of weights $(w,\sigma)$ and a sparse family $\mathcal S$, we study the two weight inequality for the following bi-sublinear form \[ B(f, g)= \sum_{Q\in\mathcal S}\langle |f|^{p_0}\rangle_Q^{\frac 1{p_0}} \langle|g|^{q_0'}\rangle_Q^{\frac 1{q_0'}}\lambda_Q\le \mathcal N\|f\|_{L^{p}(w)}\|g\|_{L^{q'}(\sigma)}. \] When $\lambda_Q=|Q|$ and $p=q$, Bernicot, Frey and Petermichl showed that $B(f,g)$ dominates $\langle Tf, g\rangle$ for a large class of singular non-kernel operators. We give a characterization for the above inequality and then obtain the mixed $A_p$-$A_\infty$ estimates and the corresponding entropy bounds when $\lambda_Q=|Q|$ and $p=q$. We also proposed a new conjecture which implies both the one supremum conjecture and the separated bump conjecture.