-
Hoffman constant of the argmin map** in linear optimization
Authors:
J. Camacho,
M. J. Cánovas,
H. Gfrerer,
J. Parra
Abstract:
The main contribution of this paper consists of providing an explicit formula to compute the Hoffman constant of the argmin map** in linear optimization. The work is developed in the context of right-hand side perturbations of the constraint system as the Hoffman constant is always infinite when we perturb the objective function coefficients, unless the left-hand side of the constraints reduces…
▽ More
The main contribution of this paper consists of providing an explicit formula to compute the Hoffman constant of the argmin map** in linear optimization. The work is developed in the context of right-hand side perturbations of the constraint system as the Hoffman constant is always infinite when we perturb the objective function coefficients, unless the left-hand side of the constraints reduces to zero. In our perturbation setting, the argmin map** is a polyhedral map** whose graph is the union of convex polyhedral sets which assemble in a so nice way that global measures of the stability (Hoffman constants) can be computed through semilocal and local ones (as Lipschitz upper semicontinuity and calmness moduli, whose computation has been developed in previous works). Indeed, we isolate this nice behavior of the graph in the concept of well-connected polyhedral map**s and, in a first step, the paper focuses on Hoffman constant for these multifunctions. When confined to the optimal set, some specifics on directional stability are also presented.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Feasibility problems via paramonotone operators in a convex setting
Authors:
J. Camacho,
M. J. Cánovas,
J. E. Martínez-Legaz,
J. Parra
Abstract:
This paper is focused on some properties of paramonotone operators on Banach spaces and their application to certain feasibility problems for convex sets in a Hilbert space and convex systems in the Euclidean space. In particular, it shows that operators that are simultaneously paramonotone and bimonotone are constant on their domains, and this fact is applied to tackle two particular situations.…
▽ More
This paper is focused on some properties of paramonotone operators on Banach spaces and their application to certain feasibility problems for convex sets in a Hilbert space and convex systems in the Euclidean space. In particular, it shows that operators that are simultaneously paramonotone and bimonotone are constant on their domains, and this fact is applied to tackle two particular situations. The first one, closely related to simultaneous projections, deals with a finite amount of convex sets with an empty intersection and tackles the problem of finding the smallest perturbations (in the sense of translations) of these sets to reach a nonempty intersection. The second is focused on the distance to feasibility; specifically, given an inconsistent convex inequality system, our goal is to compute/estimate the smallest right-hand side perturbations that reach feasibility. We advance that this work derives lower and upper estimates of such a distance, which become the exact value when confined to linear systems.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
From calmness to Hoffman constants for linear semi-infinite inequality systems
Authors:
Jesús Camacho,
María Josefa Cánovas,
Juan Parra
Abstract:
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 map** associated with linear semi-infinite inequality systems (finitely many variables and possibly infinitely many constr…
▽ More
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 map** 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 map**. 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.
△ Less
Submitted 20 March, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Subdifferentials and Stability Analysis of Feasible Set and Pareto Front Map**s in Linear Multiobjective Optimization
Authors:
María J. Cánovas,
Marco A. López,
Boris Mordukhovich,
Juan Parra
Abstract:
The paper concerns multiobjective linear optimization problems in R^n that are parameterized with respect to the right-hand side perturbations of inequality constraints. Our focus is on measuring the variation of the feasible set and the Pareto front map**s around a nominal element while paying attention to some specific directions. This idea is formalized by means of the so-called epigraphical…
▽ More
The paper concerns multiobjective linear optimization problems in R^n that are parameterized with respect to the right-hand side perturbations of inequality constraints. Our focus is on measuring the variation of the feasible set and the Pareto front map**s around a nominal element while paying attention to some specific directions. This idea is formalized by means of the so-called epigraphical multifunction, which is defined by adding a fixed cone to the images of the original map**. Through the epigraphical feasible and Pareto front map**s we describe the corresponding vector subdifferentials, and employ them to verifying Lipschitzian stability of the perturbed map**s with computing the associated Lipschitz moduli. The particular case of ordinary linear programs is analyzed, where we show that the subdifferentials of both multifunctions are proportional subsets. We also provide a method for computing the optimal value of linear programs without knowing any optimal solution. Some illustrative examples are also given in the paper.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Lipschitz modulus of linear and convex systems with the Hausdorff metric
Authors:
Gerald Beer,
María J. Cánovas,
Marco A. López,
Juan Parra
Abstract:
This paper analyzes the Lipschitz behavior of the feasible set in two parametric settings, associated with linear and convex systems in R^n. To start with, we deal with the parameter space of linear (finite/semi-infinite) systems identified with the corresponding sets of coefficient vectors, which are assumed to be closed subsets of R^(n+1). In this framework, where the Hausdorff distance is used…
▽ More
This paper analyzes the Lipschitz behavior of the feasible set in two parametric settings, associated with linear and convex systems in R^n. To start with, we deal with the parameter space of linear (finite/semi-infinite) systems identified with the corresponding sets of coefficient vectors, which are assumed to be closed subsets of R^(n+1). In this framework, where the Hausdorff distance is used to measure the size of perturbations, an explicit formula for computing the Lipschitz modulus of the feasible set map** is provided. As direct antecedent, we appeal to its counterpart in the parameter space of all linear systems with a fixed index set, T, where the Chebyshev (pseudo) distance was considered to measure the perturbations. Indeed, the stability (and, particularly, Lipschitz properties) of linear systems in the Chebyshev framework has been widely analyzed in the literature. Here, through an appropriate indexation strategy, we take advantage of previous results to derive the new ones in the Hausdorff setting. In a second stage, the possibility of perturbing directly the set of coefficient vectors of a linear system allows us to provide new contributions on the Lipschitz behavior of convex systems via linearization techniques.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Calmness modulus of linear semi-infinite programs
Authors:
M. J. Canovas,
A. Y. Kruger,
M. A. Lopez,
J. Parra,
M. A. Thera
Abstract:
Our main goal is to compute or estimate the calmness modulus of the argmin map** of linear semi-infinite optimization problems under canonical perturbations, i.e., perturbations of the objective function together with continuous perturbations of the right-hand-side of the constraint system (with respect to an index ranging in a compact Hausdorff space). Specifically, we provide a lower bound on…
▽ More
Our main goal is to compute or estimate the calmness modulus of the argmin map** of linear semi-infinite optimization problems under canonical perturbations, i.e., perturbations of the objective function together with continuous perturbations of the right-hand-side of the constraint system (with respect to an index ranging in a compact Hausdorff space). Specifically, we provide a lower bound on the calmness modulus for semi-infinite programs with unique optimal solution which turns out to be the exact modulus when the problem is finitely constrained. The relationship between the calmness of the argmin map** and the same property for the (sub)level set map** (with respect to the objective function), for semi-infinite programs and without requiring the uniqueness of the nominal solution, is explored too, providing an upper bound on the calmness modulus of the argmin map**. When confined to finitely constrained problems, we also provide a computable upper bound as it only relies on the nominal data and parameters, not involving elements in a neighborhood. Illustrative examples are provided.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Quantitative Stability of Linear Infinite Inequality Systems under Block Perturbations with Applications to Convex Systems
Authors:
M. J. Cánovas,
M. A. LóPez,
B. S. Mordukhovich,
J. Parra
Abstract:
The original motivation for this paper was to provide an efficient quantitative analysis of convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional (resp. finite-dimensional) Banach spaces and that are indexed by an arbitrary fixed set $J$. Parameter perturbations on the right-hand side of the inequalities are required to be merely bound…
▽ More
The original motivation for this paper was to provide an efficient quantitative analysis of convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional (resp. finite-dimensional) Banach spaces and that are indexed by an arbitrary fixed set $J$. Parameter perturbations on the right-hand side of the inequalities are required to be merely bounded, and thus the natural parameter space is $l_{\infty}(J)$. Our basic strategy consists of linearizing the parameterized convex system via splitting convex inequalities into linear ones by using the Fenchel-Legendre conjugate. This approach yields that arbitrary bounded right-hand side perturbations of the convex system turn on constant-by-blocks perturbations in the linearized system. Based on advanced variational analysis, we derive a precise formula for computing the exact Lipschitzian bound of the feasible solution map of block-perturbed linear systems, which involves only the system's data, and then show that this exact bound agrees with the coderivative norm of the aforementioned map**. In this way we extend to the convex setting the results of [3] developed for arbitrary perturbations with no block structure in the linear framework under the boundedness assumption on the system's coefficients. The latter boundedness assumption is removed in this paper when the decision space is reflexive. The last section provides the aimed application to the convex case.
△ Less
Submitted 9 February, 2011;
originally announced February 2011.
-
Quantitative Stability and Optimality Conditions in Convex Semi-Infinite and Infinite Programming
Authors:
M. J. CÁnovas,
M. A. LÓpez,
B. S. Mordukhovich,
J. Parra
Abstract:
This paper concerns parameterized convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional Banach (resp. finite-dimensional) spaces and that are indexed by an arbitrary fixed set T . Parameter perturbations on the right-hand side of the inequalities are measurable and bounded, and thus the natural parameter space is $l_{\infty}(T)$. Based…
▽ More
This paper concerns parameterized convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional Banach (resp. finite-dimensional) spaces and that are indexed by an arbitrary fixed set T . Parameter perturbations on the right-hand side of the inequalities are measurable and bounded, and thus the natural parameter space is $l_{\infty}(T)$. Based on advanced variational analysis, we derive a precise formula for computing the exact Lipschitzian bound of the feasible solution map, which involves only the system data, and then show that this exact bound agrees with the coderivative norm of the aforementioned map**. On one hand, in this way we extend to the convex setting the results of [4] developed in the linear framework under the boundedness assumption on the system coefficients. On the other hand, in the case when the decision space is reflexive, we succeed to remove this boundedness assumption in the general convex case, establishing therefore results new even for linear infinite and semi-infinite systems. The last part of the paper provides verifiable necessary optimality conditions for infinite and semi-infinite programs with convex inequality constraints and general nonsmooth and nonconvex objectives. In this way we extend the corresponding results of [5] obtained for programs with linear infinite inequality constraints.
△ Less
Submitted 4 February, 2011;
originally announced February 2011.