Heuristics of instability and stabilization in model selection

In model selection, usually a "best" predictor is chosen from a collection (, s) of predictors where (, s) is the minimum least-squares predictor in a collection Uₛ of predictors. Here s is a complexity parameter; that is, the smaller s, the lower dimensional/smoother the models in Uₛ. If L is the data used to derive the sequence (, s), the procedure is called unstable if a small change in L can cause large changes in (, s). With a crystal ball, one could pick the predictor in (, s) having minimum prediction error. Without prescience, one uses test sets, cross-validation and so forth. The difference in prediction error between the crystal ball selection and the statistician's choice we call predictive loss. For an unstable procedure the predictive loss is large. This is shown by some analytics in a simple case and by simulation results in a more complex comparison of four different linear regression methods. Unstable procedures can be stabilized by perturbing the data, getting a new predictor sequence ' (, s) and then averaging over many such predictor sequences.