arXiv Science⌕ Search

arXiv subjects

Jesús Camacho

Publications and source records attributed to Jesús Camacho.

3 recordsLinked to original sources

Calmness Modulus of Parameterized Convex Constraint Systems: Exact Closed-Form Formulas via Second-Order Admissibility

We resolve the open problem of deriving an exact, closed-form algebraic formula for the calmness modulus of $\mathcal{C}^2$ convex constrained feasible set mappings $\mathcal{F}(b) := \{ x \in \mathbb{R}^n \colon f_t(x) \le b_t, \, \forall t \in T \}$ under right-hand side perturbations at a given pair of the graph $(\bar{b}, \bar{x})$. First, under the condition $0_n \in \mathrm{int}\left(\mathrm{conv}\left\{ \nabla f_t(\bar{x}) ,\; t \in T(\bar{x}) \right\}\right)$, we prove that the calmness modulus coincides with the inverse distance from the origin to the boundary of the nominal subdifferential. Second, for general $\mathcal{C}^2$ convex systems where the previously mentioned interior condition does not hold, we introduce a second-order admissibility filtering over the active indexes. We show that this filtered family, $\mathcal{D}^0_2(\bar{x})$, yields an exact characterization of the calmness modulus relying solely on nominal data.

math.OC↗

Lipschitz upper semicontinuity of linear inequality systems under full perturbations

The present paper is focused on the computation of the Lipschitz upper semicontinuity modulus of the feasible set mapping in the context of fully perturbed linear inequality systems; i.e., where all coefficients are allowed to be perturbed. The direct antecedent comes from the framework of right-hand side (RHS, for short) perturbations. The difference between both parametric contexts, full vs RHS perturbations, is emphasized. In particular, the polyhedral structure of the graph of the feasible set mapping in the latter framework enables us to apply classical results as those of Hoffman [A. J. HOFFMAN, J. Res. Natl. Bur. Stand. 49 (1952), pp. 263--265] and Robinson [S. M. ROBINSON, Math. Progr. Study 14 (1981), pp. 206--214]. In contrast, the graph of the feasible set mapping under full perturbations is no longer polyhedral (not even convex). This fact requires ad hoc techniques to analyze the Lipschitz upper semicontinuity property and its corresponding modulus.

math.OC↗

From calmness to Hoffman constants for linear semi-infinite inequality systems

In this paper we focus on different -- global, semi-local and local -- versions of Hoffman type inequalities expressed in a variational form. In a first stage our analysis is developed for generic multifunctions between metric spaces and we finally deal with the feasible set mapping associated with linear semi-infinite inequality systems (finitely many variables and possibly infinitely many constraints) parameterized by their right-hand side. The Hoffman modulus is shown to coincide with the supremum of Lipschitz upper semicontinuity and calmness moduli when confined to multifunctions with a convex graph and closed images in a reflexive Banach space, which is the case of our feasible set mapping. Moreover, for this particular multifunction a formula -- only involving the system's left-hand side -- of the global Hoffman constant is derived, providing a generalization to our semi-infinite context of finite counterparts developed in the literature. In the particular case of locally polyhedral systems, the paper also provides a point-based formula for the (semi-local) Hoffman modulus in terms of the calmness moduli at certain feasible points (extreme points when the nominal feasible set contains no lines), yielding a practically tractable expression for finite systems.

math.OC↗