Papers › Sparse Regression at Scale: Branch-and-Bound rooted in First-Order Optimization

Sparse Regression at Scale: Branch-and-Bound rooted in First-Order Optimization

13 Apr 2020arXiv:2004.06152archive 2025-07-28

Hussein Hazimeh, Rahul Mazumder, Ali Saab

We consider the least squares regression problem, penalized with a combination of the ℓ₀ and squared ℓ₂ penalty functions (a.k.a. ℓ₀ ℓ₂ regularization). Recent work shows that the resulting estimators are of key importance in many high-dimensional statistical settings. However, exact computation of these estimators remains a major challenge. Indeed, modern exact methods, based on mixed integer programming (MIP), face difficulties when the number of features p ∼10⁴. In this work, we present a new exact MIP framework for ℓ₀ℓ₂-regularized regression that can scale to p ∼10⁷, achieving speedups of at least $5000$x, compared to state-of-the-art exact methods. Unlike recent work, which relies on modern commercial MIP solvers, we design a specialized nonlinear branch-and-bound (BnB) framework, by critically exploiting the problem structure. A key distinguishing component in our framework lies in efficiently solving the node relaxations using a specialized first-order method, based on coordinate descent (CD). Our CD-based method effectively leverages information across the BnB nodes, through using warm starts, active sets, and gradient screening. In addition, we design a novel method for obtaining dual bounds from primal CD solutions, which certifiably works in high dimensions. Experiments on synthetic and real high-dimensional datasets demonstrate that our framework is not only significantly faster than the state of the art, but can also deliver certifiably optimal solutions to statistically challenging instances that cannot be handled with existing methods. We open source the implementation through our toolkit L0BnB.

PaperPDFCodeCode Syntology ran

In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.

For agents, Syntology's MCP tool lists every function and class Syntology harvested from this paper and whether it ran (how to connect): get_harvested_code_for_paper(arxiv_id="2004.06152")

Code

Syntology Ran 0 of 18 code samples harvested from 2 repositories linked to this paper; 18 have no recorded run.

By repository: official repository: 11 samples from 1 repository, 0 ran; community (archive-listed): 7 samples from 1 repository, 0 ran. The run record, sample by sample. “Ran” means executed on a synthesized input, not that the code is correct or reproduces the paper.

alisaab/l0bnb officialmentioned in papermentioned on GitHubMIT report
rahulmaz/L0BnB mentioned on GitHubMIT report

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

18 samples harvested; 0 ran; 0 honoured the contract we drafted; 18 have no recorded run. Read from Syntology's graph 2026-09-24; that is when this build read the record, not when the samples ran.

18unverified

Licence: 0 of the 18 samples are pointer only, meaning Syntology does not serve that copy's text. This page shows no code text for any sample; each one links to its file in the repository.

Harvested from 2 repositories linked to this paper, official or community; each sample names its own and says which. “Ran” means the sample executed on a synthesized input. It does not mean the output is correct, and nothing here reproduces the paper's results. “Honoured” and “violated” refer to a contract Syntology drafted from the code itself; “our draft was wrong” and “fixture could not drive it” are failures of Syntology's instrument, not of the code.

Each sample ends with its code_sha256, Syntology's identity for that exact code. An agent fetches the stored sample with Syntology's MCP tool get_code(code_sha256="…") (how to connect); click an identity to copy that call.

Repository labels, per sample. official repository: The archive marks this repository official for the paper. named in the paper: The archive records that the paper mentions this repository; it is not marked official. community (archive-listed): In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper. found in paper text by Syntology: Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted. community: Not in the archive's code links for this paper; a community repository Syntology harvested. Samples from a repository marked official are listed first. Licence labels name the repository's licence as recorded at harvest. “Pointer only” means Syntology does not serve that copy's text, for one of four reasons: no licence file was found; the licence was not identified; the licence is recorded as permissive but that copy's record is not marked cleared; or the licence is outside the permissive list Syntology serves text under (MIT, Apache-2.0, BSD and similar). Some licences outside that list permit redistribution, such as WTFPL, and GPL-3.0 under its conditions; they are simply not on the list. Hover a licence label for the reason. File links open the file on GitHub at the default branch, which may have changed since the harvest.

fit_path alisaab/l0bnb/l0bnb/regpath.py official repository unverified MIT (permissive) · 74d912504d7fd043 · report
gen_synthetic alisaab/l0bnb/l0bnb/gensynthetic.py official repository unverified MIT (permissive) · 978c558c7627b9e9 · report
gen_synthetic_2 alisaab/l0bnb/l0bnb/gensynthetic.py official repository unverified MIT (permissive) · f8967c94dfd3e170 · report
get_active_components alisaab/l0bnb/l0bnb/relaxation/_utils.py official repository unverified MIT (permissive) · 66b42348cb4bb6d3 · report
is_integral alisaab/l0bnb/l0bnb/relaxation/core.py official repository unverified MIT (permissive) · 2f811ae2b259699c · report
is_integral alisaab/l0bnb/l0bnb/utilities.py official repository unverified MIT (permissive) · 39442d5f7d0c8fff · report
l0gurobi alisaab/l0bnb/l0bnb/relaxation/gurobi.py official repository unverified MIT (permissive) · 66a2bcf680baf71d · report
max_fraction_branching alisaab/l0bnb/l0bnb/utilities.py official repository unverified MIT (permissive) · 17c8f5a1d22ccc5d · report
new_z alisaab/l0bnb/l0bnb/utilities.py official repository unverified MIT (permissive) · 6edb5ed14eaf4651 · report
process_data alisaab/l0bnb/l0bnb/regpath.py official repository unverified MIT (permissive) · b621fc226310f0ff · report
upper_bound_solve alisaab/l0bnb/l0bnb/node/_utils.py official repository unverified MIT (permissive) · d2130c83f5944cdf · report
fit_path rahulmaz/L0BnB/l0bnb/regpath.py community (archive-listed) unverified MIT (permissive) · 1ec18a0ab8dc9db6 · report
is_integral rahulmaz/L0BnB/l0bnb/utilities.py community (archive-listed) unverified MIT (permissive) · 5d543829beddd546 · report
l0gurobi rahulmaz/L0BnB/l0bnb/_third_party.py community (archive-listed) unverified MIT (permissive) · 830425539c1d8a53 · report
l0mosek rahulmaz/L0BnB/l0bnb/_third_party.py community (archive-listed) unverified MIT (permissive) · bbd8a1d3965ddb2d · report
max_fraction_branching rahulmaz/L0BnB/l0bnb/utilities.py community (archive-listed) unverified MIT (permissive) · 38ece7d2872d4edb · report
new_z rahulmaz/L0BnB/l0bnb/utilities.py community (archive-listed) unverified MIT (permissive) · ddcdc2422cf06418 · report
profile rahulmaz/L0BnB/profiler.py community (archive-listed) unverified MIT (permissive) · 7359de55f733ea7b · report

Tasks

Sparse Learningregression

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections