{"id":"arxiv/2605.14345","url":"https://arxiv.org/abs/2605.14345","tags":["math.OC"],"score":0,"title":"Convergence of difference inclusions: a diameter criterion and step-size conditions","domain":"math.OC","source":"arxiv","authors":["Lexiao Lai","Mingzhi Song"],"reviews":0,"subject":"math.OC","summary":"We study bounded realizations of discrete difference inclusions with set-valued increments and additive errors. Our results have two parts. First, we give a general convergence criterion in which changes in a convergent scalar quantity control the diameters of local sequence segments near an accumulation point. We also develop a stratified descent framework for verifying this control. For convergent realizations, the framework yields a stationarity condition for the limit from outer limits of the scaled update map. When applied to first-order methods for minimizing locally Lipschitz…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}