{"id":"arxiv/2603.01306","url":"https://arxiv.org/abs/2603.01306","tags":["math.OC","cs.LG"],"score":0,"title":"GPU-friendly and Linearly Convergent First-order Methods for Certifying Optimal $k$-sparse GLMs","domain":"math.OC","source":"arxiv","authors":["Jiachang Liu","Andrea Lodi","Soroosh Shafiee"],"reviews":0,"subject":"math.OC","summary":"We investigate the problem of certifying optimality for sparse generalized linear models (GLMs), where sparsity is enforced through a cardinality constraint. While Branch-and-Bound (BnB) frameworks can certify optimality using perspective relaxations, existing methods for solving these relaxations are computationally intensive, limiting their scalability. To address this challenge, we reformulate the relaxations as composite optimization problems and develop a unified proximal framework that is both linearly convergent and computationally efficient. Under specific geometric regularity…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-01","reactions":{}}