{"id":"arxiv/2609.27348","url":"https://arxiv.org/abs/2609.27348","tags":["math.OC","math.AP","math.NA"],"score":0,"title":"Relative Primal--Dual Gap Certificates for Operator-Composite Trust-Region Methods","domain":"math.OC","source":"arxiv","authors":["Harbir Antil"],"reviews":0,"subject":"math.OC","summary":"We study trust-region minimization of a smooth, possibly nonconvex functional plus a convex functional composed with a bounded linear operator. A relative primal--dual gap condition controls both the error in an approximate proximal-gradient step and its linear-model decrease. Together with a computable absolute stationarity test, it yields a finite Cauchy search, convergence of the proximal stationarity measure to zero, and an $O(\\varepsilon^{-2})$ bound on outer trials. The outer analysis allows the linear operator to take values in a Banach space and does not require dual attainment. When…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}