Full-range sharp local maximal bounds in higher dimensions or for matrix weights

Establish the quantitative bound \eqref{eq-bound-maxloc-1} with its sharp exponent for the local maximal operator M_r throughout the full range p\in(1,\infty) when either the dimension n exceeds one or the matrix size m exceeds one.

Background

Theorem 4.1 proves the sharp local maximal-operator estimate in the one-dimensional scalar setting, namely n=m=1, for every p\in(1,\infty). The authors explain that the proof uses separation of weights and operators, interpolation, and the total ordering of the real line.

Those structural features are unavailable in higher-dimensional or matrix-valued settings. The authors therefore explicitly identify the extension of the sharp estimate to these settings as unresolved, even for the ordinary local maximal operator M_r.