Establish a matching minimax upper bound

Establish a minimax upper bound matching the lower bound of order $(n\sigma^d)^{-1}$ for estimating the finite-scale FLIPD field $T_\sigma(\cdot;f)$ on a fixed smooth manifold over the scale range considered in the paper.

Background

The paper proves a minimax squared-risk lower bound of order (nσd)1(n\sigma^d)^{-1} for estimating the finite-scale diffusion-based local intrinsic dimension field Tσ(;f)T_\sigma(\cdot;f) from nn observations, for scales satisfying n1/(2α+d)σσ0n^{-1/(2\alpha+d)}\lesssim\sigma\le\sigma_0. The result quantifies the statistical difficulty of recovering the scale-dependent population functional, rather than the zero-noise manifold dimension.

The authors explicitly state that the lower bound is not accompanied by a matching upper bound. Consequently, whether the lower-bound rate is minimax-optimal remains unresolved, even in the fixed smooth-manifold setting analyzed in the paper.

References

Our lower bound concerns estimation of the finite-scale field on a fixed smooth manifold; it is not a minimax result for recovering an unknown manifold dimension, and we do not establish a matching upper bound in the present work.

Minimax Lower Bound for Estimating Diffusion-based Local Intrinsic Dimension  (2609.04822 - Seo et al., 4 Sep 2026) in Section Conclusion