Two-weight problem for one-sided Hardy–Littlewood maximal operators

For every 1<p<∞1<p<\infty and every integer d≥3d\ge 3, does the natural two-weight Muckenhoupt condition Ap,d+(w,v)<∞A_{p,d}^+(w,v)<\infty characterize the weak-type estimate for the one-sided Hardy--Littlewood maximal operator Md+M_d^+ on Rd\mathbb{R}^d, namely ∥Md+∥Lp(v)→Lp,∞(w)<∞\|M_d^+\|_{L^p(v)\to L^{p,\infty}(w)}<\infty? Equivalently, is Ap,d+(w,v)<∞A_{p,d}^+(w,v)<\infty sufficient for this weak-type bound for all weights ww and vv? The cited source claims that the answer is negative: for every 1<p<∞1<p<\infty and d≥3d\ge 3, there exist weights ww and vv such that Ap,d+(w,v)<∞A_{p,d}^+(w,v)<\infty but ∥Md+∥Lp(v)→Lp,∞(w)=∞\|M_d^+\|_{L^p(v)\to L^{p,\infty}(w)}=\infty.

References

Progress summary

Refreshed
Claimed solved

A new report claims the proposed rule fails in three or more dimensions, while the two-dimensional case is already understood.

The problem asks for a characterization of the weight pairs governing weak-type bounds for the non-dyadic one-sided maximal operator. The two-dimensional theory is known; the corresponding question in dimensions n≥3n \ge 3 was previously open.

Known results

  • Forzani, Martín-Reyes, and Ombrosi characterized the two-weight weak-type problem in R2\mathbb{R}^2; their geometric argument was not known to extend to n≥3n \ge 3.

September 2026 claimed disproof

A report dated September 8, 2026, says the proposed characterization is disproved in every dimension n≥3n \ge 3, obstructing a direct extension of the one- and two-dimensional theory. This claim is not independently verified in the retrieved material.

Current status (as of September 2026): The two-dimensional characterization is established, while the proposed characterization for n≥3n \ge 3 is claimed to be false but remains unverified.

Sources

Solutions 0

No solutions have been posted yet.