{"id":"arxiv/2605.10854","url":"https://arxiv.org/abs/2605.10854","tags":["math.NA","math.OC"],"score":0,"title":"Relaxation via Separable Estimators: Arithmetic and Implementation","domain":"math.NA","source":"arxiv","authors":["Yanlin Zha","Mario Eduardo Villanueva","Boris Houska","Benoît Chachuat"],"reviews":0,"subject":"math.NA","summary":"This article presents an arithmetic, called superposition relaxation, for bracketing the graph of a multivariate factorable function on a compact domain between a pair of underestimating and overestimating functions that are both separable. Propagation rules are established for affine and nonlinear composition operations, with a focus on exploiting global monotonicity and convexity properties in the composition. The local convergence properties of this arithmetic are also analyzed in both the pointwise and Hausdorff sense, including conditions under which quadratic pointwise convergence…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}