{"id":"arxiv/2605.14409","url":"https://arxiv.org/abs/2605.14409","tags":["math.OC"],"score":0,"title":"On the Nature of Regularity Assumptions in Bilevel Optimization with Constrained Lower-level Problem","domain":"math.OC","source":"arxiv","authors":["Xiaotian Jiang","Chang He","Mingyi Hong","Shuzhong Zhang"],"reviews":0,"subject":"math.OC","summary":"In this paper, we study the regularity assumptions commonly adopted in bilevel optimization with constrained lower-level problems, including the linear independence constraint qualification, the strict complementary slackness condition, and the second-order sufficient condition. These conditions are typically required to hold for the lower-level problem at every upper-level variable $x$. We first show that the requirement that these conditions hold at every upper-level variable $x$ is strong, in the sense that it is non-prevalent: there exist problems for which no sufficiently small…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}