We compare the instance-wise, finite-sample risks of monotone spectral filters for linear regression, a broad class of estimators including principal component regression (PCR), gradient descent (GD), and ridge regression. We show that PCR dominates all monotone spectral filters: compared to any such filter, the risk of optimally tuned PCR is no bigger by a constant factor for all problems. Furthermore, the dominance is strong if the filter is separated from step functions (e.g., GD and ridge): there exist problem instances for which the risk of PCR is smaller by a polynomial factor in sample size dependence. Our comparison results show that PCR is optimal and thus admissible among monotone filters, significantly extending Wu et al. (2026)'s result that GD strongly dominates ridge. From a technical perspective, we establish new upper and lower bounds for general spectral filters, which are instance-wise sharp when specialized to ridge or GD, recovering or improving the best-known bounds.
Figures & tables
well-specified linear regression problems (L)
GD≺Lridge
Wu et al. (2026)
PCR≺LGD
Theorem 2.3
Gaussian linear regression problems (G)
PCR⪯G all monotone filters PCR≺G all non-step monotone filters
Theorem 2.1 Theorem 2.2
Table 1: Dominance results for linear regression. For a problem class P , we say algorithm A dominates B , or A⪯PB , if its (excess) risk is never more than a constant multiple of B ’s on every problem instance in P . We say A strongly dominates B , or A≺PB , if additionally its risk is polynomially smaller (w.r.t. sample size) for some instances. We establish that for all well-specified linear regression problems L ( 4 ) with bounded signal-to-noise ratio, PCR strongly dominates GD; previous work showed that GD strongly dominates ridge in the same class ( Wu et al., 2026 ) . Thus, GD and ridge are both inadmissible. For all linear regression problems with Gaussian design G ( 2 ), a subset of L , we prove that PCR dominates all monotone spectral filters, a wide class of regularization-based methods including GD and ridge ( Definition 1 ). Thus, PCR is optimal and hence admissible among all such filters. We further prove that PCR strongly dominates all monotone filters that are uniformly separated from step functions (e.g., Example 1 ).
Research Center for Computer Science and Information Technologies, Macedonian Academy of Sciences and Arts, Bul. Krste Misirkov 2, 1000 Skopje, Macedonia