A New Constant-Rank-Type Condition Related to MFCQ and Local Error Bounds
本文提出一种新的约束规格（CRSC），它允许通过删除冗余约束将可行集描述修改为满足Mangasarian-Fromovitz约束规格（MFCQ），并保证局部误差界性质，适用于非线性规划中的最优性条件分析。
Abstract Constraint qualifications (CQs) are fundamental for understanding the geometry of feasible sets and for ensuring the validity of optimality conditions in nonlinear programming. A known idea is that constant-rank type CQs allow one to modify the description of the feasible set, by eliminating redundant constraints, so that the Mangasarian-Fromovitz CQ (MFCQ) holds. Traditionally, such modifications, called reductions here, have served primarily as auxiliary tools to connect existing CQs. In this work, we adopt a different viewpoint: we treat the very existence of such reductions as a CQ in itself. We study these “reduction-induced” CQs in a general framework, relating them not only to MFCQ, but also to arbitrary CQs. Moreover, we establish their connection with the local error bound (LEB) property. Building on this, we introduce a relaxed variant of the constant rank CQ known as constant rank of the subspace component (CRSC). This new CQ preserves the main geometric features of CRSC, guarantees LEB and the existence of reductions to MFCQ.