English

On the Hardness of the $L_1-L_2$ Regularization Problem

Optimization and Control 2025-11-19 v2

Abstract

The sparse linear reconstruction problem is a core problem in signal processing which aims to recover sparse solutions to linear systems. The original problem regularized by the total number of nonzero components (also known as L0L_0 regularization) is well-known to be NP-hard. The relaxation of the L0L_0 regularization by using the L1L_1 norm offers a convex reformulation, but is only exact under certain conditions (e.g., restricted isometry property) which might be NP-hard to verify. To overcome the computational hardness of the L0L_0 regularization problem while providing tighter results than the L1L_1 relaxation, several alternate optimization problems have been proposed to find sparse solutions. One such problem is the L1L2L_1-L_2 minimization problem, which is to minimize the difference of the L1L_1 and L2L_2 norms subject to linear constraints. This paper proves that solving the L1L2L_1-L_2 minimization problem is NP-hard. Specifically, we prove that it is NP-hard to minimize the L1L2L_1-L_2 regularization function subject to linear constraints. Moreover, it is also NP-hard to solve the unconstrained formulation that minimizes the sum of a least squares term and the L1L2L_1-L_2 regularization function. Furthermore, restricting the feasible set to a smaller one by adding nonnegative constraints does not change the NP-hardness nature of the problems.

Keywords

Cite

@article{arxiv.2411.03216,
  title  = {On the Hardness of the $L_1-L_2$ Regularization Problem},
  author = {Yuyuan Ouyang and Kyle Yates},
  journal= {arXiv preprint arXiv:2411.03216},
  year   = {2025}
}

Comments

22 pages, 0 figures

R2 v1 2026-06-28T19:49:06.539Z