Sparse High-Dimensional Linear Regression. Algorithmic Barriers and a Local Search Algorithm

MaRDI QIDQ6293931zbMATH OpenFDO

Authors David Gamarnik, Ilias Zadik

Publication date 14 November 2017

Abstract: We consider a sparse high dimensional regression model where the goal is to recover a $k$-sparse unknown vector $$ from $n$ noisy linear observations of the form $$ where $Xinmathbb{R}^{nimesp}$ has iid $N(0,1)$ entries and $Winmathbb{R}^n$ has iid $N(0,sigm{a}^2)$ entries. Under certain assumptions on the parameters, an intriguing assymptotic gap appears between the minimum value of $n$, call it $n^{\ast }$, for which the recovery is information theoretically possible, and the minimum value of $n$, call it $n_{mathrmalg}$, for which an efficient algorithm is known to provably recover $$. In cite{gamarnikzadik} it was conjectured that the gap is not artificial, in the sense that for sample sizes $nin[n^{\ast },n_{mathrmalg}]$ the problem is algorithmically hard. We support this conjecture in two ways. Firstly, we show that the optimal solution of the LASSO provably fails to $el{l}_2$-stably recover the unknown vector $$ when $nin[n^{\ast },c{n}_{mathrmalg}]$, for some sufficiently small constant $c>0$. Secondly, we establish that $n_{mathrmalg}$, up to a multiplicative constant factor, is a phase transition point for the appearance of a certain Overlap Gap Property (OGP) over the space of $k$-sparse vectors. The presence of such an Overlap Gap Property phase transition, which originates in statistical physics, is known to provide evidence of an algorithmic hardness. Finally we show that if $n>C{n}_{mathrmalg}$ for some large enough constant $C>0$, a very simple algorithm based on a local search improvement rule is able both to $el{l}_2$-stably recover the unknown vector $$ and to infer correctly its support, adding it to the list of provably successful algorithms for the high dimensional linear regression problem.

This page was built for publication: Sparse High-Dimensional Linear Regression. Algorithmic Barriers and a Local Search Algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6293931)