Table of Contents
Fetching ...

Admissibility Breakdown in High-Dimensional Sparse Regression with L1 Regularization

Guo Liu

TL;DR

This paper investigates tuning the Lasso in high-dimensional sparse regression and shows that the conventional non-asymptotic tuning $\lambda \sim \sigma\sqrt{\log(p)/n}$ can be inadmissible with respect to mean squared prediction error. By constructing a Lasso–Ridge refinement and decomposing the risk via a DMSE framework, the authors derive explicit lower bounds that demonstrate prediction improvements over a broad range of $\lambda_L$, provided the second-stage penalty uses $\lambda_R = c|E|$ with $c>2$. The analysis leverages a detailed KKT-based decomposition, Gaussian maxima bounds, and projections onto the active subspace, revealing how design structure and approximate support containment drive inadmissibility. Extensions to Dantzig selector and Adaptive Lasso indicate the approach's broader relevance to $\ell_1$-based methods, offering a theoretical explanation for empirical gains from smaller tuning in correlated designs and suggesting practical refinements for non-asymptotic regimes.

Abstract

The choice of the tuning parameter in the Lasso is central to its statistical performance in high-dimensional linear regression. Classical consistency theory identifies the rate of the Lasso tuning parameter, and numerous studies have established non-asymptotic guarantees. Nevertheless, the question of optimal tuning within a non-asymptotic framework has not yet been fully resolved. We establish tuning criteria above which the Lasso becomes inadmissible under mean squared prediction error. More specifically, we establish thresholds showing that certain classical tuning choices yield Lasso estimators strictly dominated by a simple Lasso-Ridge refinement. We also address how the structure of the design matrix and the noise vector influences the inadmissibility phenomenon.

Admissibility Breakdown in High-Dimensional Sparse Regression with L1 Regularization

TL;DR

This paper investigates tuning the Lasso in high-dimensional sparse regression and shows that the conventional non-asymptotic tuning can be inadmissible with respect to mean squared prediction error. By constructing a Lasso–Ridge refinement and decomposing the risk via a DMSE framework, the authors derive explicit lower bounds that demonstrate prediction improvements over a broad range of , provided the second-stage penalty uses with . The analysis leverages a detailed KKT-based decomposition, Gaussian maxima bounds, and projections onto the active subspace, revealing how design structure and approximate support containment drive inadmissibility. Extensions to Dantzig selector and Adaptive Lasso indicate the approach's broader relevance to -based methods, offering a theoretical explanation for empirical gains from smaller tuning in correlated designs and suggesting practical refinements for non-asymptotic regimes.

Abstract

The choice of the tuning parameter in the Lasso is central to its statistical performance in high-dimensional linear regression. Classical consistency theory identifies the rate of the Lasso tuning parameter, and numerous studies have established non-asymptotic guarantees. Nevertheless, the question of optimal tuning within a non-asymptotic framework has not yet been fully resolved. We establish tuning criteria above which the Lasso becomes inadmissible under mean squared prediction error. More specifically, we establish thresholds showing that certain classical tuning choices yield Lasso estimators strictly dominated by a simple Lasso-Ridge refinement. We also address how the structure of the design matrix and the noise vector influences the inadmissibility phenomenon.
Paper Structure (12 sections, 17 theorems, 105 equations)

This paper contains 12 sections, 17 theorems, 105 equations.

Key Result

Proposition 2.2

The KKT conditions for the Lasso estimator follow from subdifferential calculus geer2016estimation. They can be expressed as where $\bar{z} \in \partial \|\hat{\beta}_{\mathrm{L}}\|_1$, with the $i$-th component given by Also, notice that: Here, $\mathrm{sign}(\cdot)$ denotes the sign function. In addition, the KKT condition on the active block derives

Theorems & Definitions (32)

  • Definition 2.1
  • Proposition 2.2
  • Proposition 2.4: Uniqueness of the Lasso
  • Remark 2.5
  • Definition 2.6
  • Proposition 2.7
  • Proposition 2.8
  • Definition 2.9
  • Definition 2.10
  • Definition 2.11: Projection operators
  • ...and 22 more