Sharp $L^p$ range for the helical maximal operator

Determine whether the helical maximal operator associated with a smooth nondegenerate curve in $mathbb{R}^n$ is bounded on $L^p(mathbb{R}^n)$ for every $p>n$, thereby establishing whether $p>n$ is the sharp range of exponents.

Background

The paper studies the helical maximal operator Mf(x)=supt>0Atf(x)\mathscr Mf(x)=\sup_{t>0}|A_tf(x)|, where AtA_t averages a function over dilates of a smooth nondegenerate curve in Rn\mathbb{R}^n. The main theorem proves boundedness for p>2n4ϵ0p>2n-4-\epsilon_0 when n5n\geq5, improving the previously known range but not reaching the conjectured optimal threshold.

A standard example gives the necessary condition p>np>n. The authors explicitly state that this necessary condition is conjectured to be sufficient, leaving the sharp maximal estimate unresolved, particularly in dimensions n5n\geq5.

References

A standard example shows that $p>n$ is necessary, and this is conjectured to be the sharp range; see the discussion following Theorem~1.4.

Improved $L^p$ bounds for the helical maximal function in dimensions $n \geq 5$  (2609.17466 - Oh et al., 15 Sep 2026) in Section 1, Introduction