Summary
This paper investigates the implicit regularization effects of weighted pretrained features. It establishes a path of equivalence between different weighting matrices and ridge regularization with matching effective degrees of freedom. The study extends results to structured features and ensembles, providing theoretical validation for random and kernel features, and proposes an efficient cross-validation method to finetune subsampled pretrained representations in practice.
Strengths
- Table 1 provides a clear overview of the previous works, along with the contributions and organization of this paper.
- The theoretical results are comprehensive and strong in terms of relaxed assumptions on the features and weights.
- The theoretical results bring insights into designing a practical cross-validation algorithm, whose effectiveness is supported by experiments.
Weaknesses
- While Table 1 and the summary of results provide a relatively clear view of the theoretical contributions, the abstract and the motivation part of the introduction read somewhat confusing. For example, the "path of equivalence" is repeatedly mentioned in the abstract and introduction as one of the main contributions, but without a clear explanation/intuition of what it means until later.
- The problem setup and notations are not clearly stated before being used. For example, in terms of setup, in Assumption A, it's unclear what the convergence refers to in "$W^\top W$ and $\Phi \Phi^\top/n$ converge almost surely to bounded operators". In terms of notations, $\|\cdot\|_{tr}$ and $\overline{tr}(\cdot)$ are used without clear definitions for reference.
- Overall, the layout of the results is a little bit hard to follow, partially due to the lack of clear problem setup and notations mentioned before, and partially due to presuming prior knowledge of specific technical tools like free probability theory.
Questions
- In Definition A, what's the precise definition of $\overline{tr}(\cdot)$? What does it mean by saying "$W^\top W$ and $\Phi \Phi^\top/n$ converge almost surely to bounded operators"? If it refers to the convergence as $n \to \infty$, then does it mean the analysis is conducted in the asymptotic regime?
- In line 196, if (5) implies $\lambda < \mu$, isn't the regularization level $\lambda$ of the subsampled estimator lower (instead of higher) than that of the full estimator $\mu$?
- It's somehow counter-intuitive that the equivalence path results depend only on the subsample fraction $k/n$ under the "general" data assumption. Common analyses in the asymptotic regime reduce data properties to the subsample ratio $k/n$ usually based on strong assumptions on the data distribution like Gaussian, while data-agnostic subsampling on adversarial data should bring inevitable compromise compared to full data (e.g., with a direction that is only learnable through a single data point). It seems that the "infinitesimally freeness" in Assumption A implicitly circumvents this issue, but it's unclear in the current discussion. For example:
- Whether Assumption A enforces a "nice" data distribution, a "good" subsampling strategy, or both?
- If Assumption A implies a "good" subsampling strategy, can such subsampling matrix $W$ be efficiently constructed in practice?
Limitations
Limitations are well-discussed in the Conclusion. Some further limitations are mentioned in Weaknesses and Questions.