Lasso Universality Under Linearly Dependent Covariates in the Sparse Regime

Soroush Mesforush, Rahul Parhi

Abstract

Throughout the last decade, Gaussian universality has been widely studied for high-dimensional estimation problems. Most of the literature focuses on i.i.d. sensing matrices or accounts for special forms of dependence, such as block dependence or other specific row/column dependencies. More general simultaneous row and column mixing has not yet been fully studied. In this paper, we focus on that setting. We prove a Gaussian universality theorem for the lasso in the sparse regime, where the non- Gaussian covariates have linearly dependent rows and columns. To the best of our knowledge, our setting permits a broader simultaneous row and column dependence structure than those treated in much of the prior universality literature. Numerical illustrations for various sparse profiles support the universality claims of this paper.

Disclosure

“LASSO UNIVERSALITY UNDER LINEARLY DEPENDENT COVARIATES 19 Acknowledgments The authors used ChatGPT (OpenAI) for assistance with exposition, organization, notation, and proof refinement during the preparation of this manuscript. The authors conceived the project, developed the mathematical framework, proved the results, and made all final editor”

PDF page 19
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 31 pdf
Theorems 1 source
Lemmas 5 source
Propositions 2 source
Corollaries 2 source
Definitions 0 source
Displayed equations 144 source
Bibliography entries 89 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file Lasso_Universality_Final.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.