{"id":"arxiv/2608.16684","url":"https://arxiv.org/abs/2608.16684","tags":["math.OC"],"score":0,"title":"On the Absence of Identifiable Manifolds in Finite-Max Composite Optimization","domain":"math.OC","source":"arxiv","authors":["Yifan Wang","Jianhao Ma","Salar Fattahi"],"reviews":0,"subject":"math.OC","summary":"In nonsmooth optimization, identifiable sets describe the local region eventually reached by sequences converging to a prescribed critical point. When such a set is a $C^2$ manifold on which the objective restricts to a $C^2$ function, it is called an identifiable manifold. Their appeal lies in what they enable: many first-order methods identify these manifolds in finitely many iterations, after which the iterates enter a region in which the problem is effectively smooth. Consequently, many powerful tools and guarantees from smooth optimization transplant naturally to the nonsmooth setting.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}