Generality of finite-dimensional data-driven error underestimation

Determine whether the observed tendency of the finite-dimensional estimator \(\ell^{(p)}/\theta_j^{(p)}\) to underestimate the true finite-dimensional out-of-subspace error \(\sin^2\angle_p(h_j,\mathcal B)\) is generic beyond the reported simulation experiment.

Background

The paper proves that the data-driven ratio ℓ(p)/θj(p)\ell^{(p)}/\theta_j^{(p)} and the true out-of-subspace error have the same limit as the number of variables tends to infinity. The finite-dimensional values need not coincide, however.

In the reported simulation, the estimator tended to underestimate the realized out-of-subspace error for moderate values of pp. The authors explicitly state that they have not determined whether this behavior is generic, leaving its generality unresolved.

References

However, we have not explored the extent to which this effect is generic.

— Principal component error in high-dimensional factor models  (2609.20550 - Bernstein et al., 17 Sep 2026) in Section 7.2, final paragraph before Figure 3