{"id":"arxiv/2607.08954","url":"https://arxiv.org/abs/2607.08954","tags":["math.OC","cs.LG","stat.ML"],"score":0,"title":"Nonconvex Composite Functional Constraints via First-Order Augmented Lagrangian Methods under Local Regularity","domain":"math.OC","source":"arxiv","authors":["Linglingzhi Zhu","Jiajin Li"],"reviews":0,"subject":"math.OC","summary":"We study nonasymptotic convergence of primal-dual methods for a class of nonconvex constrained optimization problems under local multiplier regularity. Both the objective and functional inequality constraints are compositions of convex Lipschitz outer functions with smooth nonlinear mappings. Unlike existing analyses requiring regularity globally or along the entire iterate sequence, we impose multiplier regularity only near the feasible set. Using an auxiliary minimax problem with a compact dual set, we derive Lyapunov estimates that identify nearly feasible iterates under feasible…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}