%0 Journal Article
%T Global optimization for sparse solution of least squares problems
%+ Laboratoire des Sciences du Numérique de Nantes (LS2N)
%+ Equipe Models and AlgoriThms for pRocessIng and eXtracting information (Lab-STICC_MATRIX)
%+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
%A Ben Mhenni, Ramzi
%A Bourguignon, Sébastien
%A Ninin, Jordan
%< avec comité de lecture
%@ 1055-6788
%J Optimization Methods and Software
%I Taylor & Francis
%V 37
%N 5
%8 2022
%D 2022
%R 10.1080/10556788.2021.1977809
%K Homotopy continuation
%K Continuous relaxation
%K Branch-and-bound
%K Cardinality constraint
%K Sparse approximation
%Z Computer Science [cs]/Operations Research [cs.RO]
%Z Mathematics [math]/Optimization and Control [math.OC]Journal articles
%X Finding solutions to least-squares problems with low cardinality has found many applications, including portfolio optimization, subset selection in statistics, and inverse problems in signal processing. Although most works consider local approaches that scale with high-dimensional problems, some others address its global optimization via mixed integer programming (MIP) reformulations. We propose dedicated branch-and-bound methods for the exact resolution of moderate-size, yet difficult, sparse optimization problems, through three possible formulations: cardinality-constrained and cardinality-penalized least-squares, and cardinality minimization under quadratic constraints. A specific tree exploration strategy is built. Continuous relaxation problems involved at each node are reformulated as (Formula presented.) -norm-based optimization problems, for which a dedicated algorithm is designed. The obtained certified solutions are shown to better estimate sparsity patterns than standard methods on simulated variable selection problems involving highly correlated variables. Problem instances selecting up to 24 components among 100 variables, and up to 15 components among 1000 variables, can be solved in less than 1000 s. Unguaranteed solutions obtained by limiting the computing time to 1s are also shown to provide competitive estimates. Our algorithms strongly outperform the CPLEX MIP solver as the dimension increases, especially for quadratically-constrained problems. The source codes are made freely available online.
%G English
%2 https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03419540v2/document
%2 https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03419540v2/file/OMS_def_23082021.pdf
%L hal-03419540
%U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03419540
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ EC-NANTES
%~ ENSTA-BRETAGNE-STIC
%~ INSMI
%~ UNAM
%~ ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ LS2N
%~ LS2N-SIMS
%~ INSTITUTS-TELECOM
%~ LAB-STICC_MATRIX
%~ LAB-STICC_DMID
%~ NANTES-UNIVERSITE