Searcharxiv⌕ Search

arXiv subjects

Marco A. López

Publications and source records attributed to Marco A. López.

10 recordsLinked to original sources

Relaxation in infinite convex programming under Slater-type regularity conditions

The main purpose of this paper is to close the gap between the optimal values of an infinite convex program and that of its biconjugate relaxation. It is shown that Slater and continuity-type conditions guarantee such a zero-duality gap. The approach uses calculus rules for the conjugation and biconjugation of the sum and pointwise supremum operations. A second important objective of this work is to exploit these results on relaxation by applying them in the context of duality theory.

math.OC↗

Strong duality in infinite convex optimization

We develop a methodology for closing duality gap and guaranteeing strong duality in infinite convex optimization. Specifically, we examine two new Lagrangian-type dual formulations involving infinitely many dual variables and infinite sums of functions. Unlike the classical Haar duality scheme, these dual problems provide zero duality gap and are solvable under the standard Slater condition. Then we derive general optimality conditions/multiplier rules by applying subdifferential rules for infinite sums established in [13].

math.OC↗

Convex regularization and subdifferential calculus

This paper deals with the regularization of the sum of functions defined on a locally convex spaces through their closed-convex hulls in the bidual space. Different conditions guaranteeing that the closed-convex hull of the sum is the sum of the corresponding closed-convex hulls are provided. These conditions are expressed in terms of some epsilon-subdifferential calculus rules for the sum. The case of convex functions is also studied, and exact calculus rules are given under additional continuity/qualifications conditions. As an illustration, a variant of the proof of the classical Rockafellar theorem on convex integration is proposed.

math.OC↗

Optimality conditions in DC constrained mathematical programming problems

This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain mappings, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections.

math.OC↗

Isolated calmness and sharp minima via Hölder graphical derivatives

The paper utilizes Hölder graphical derivatives for characterizing Hölder strong subregularity, isolated calmness and sharp minimum. As applications, we characterize Hölder isolated calmness in linear semi-infinite optimization and Hölder sharp minimizers of some penalty functions for constrained optimization.

math.OC↗

Relaxed Lagrangian duality in convex infinite optimization: reducibility and strong duality

We associate with each convex optimization problem, posed on some locally convex space, with infinitely many constraints indexed by the set T, and a given non-empty family H of finite subsets of T, a suitable Lagrangian-Haar dual problem. We obtain necessary and sufficient conditions for H-reducibility, that is, equivalence to some subproblem obtained by replacing the whole index set T by some element of H. Special attention is addressed to linear optimization, infinite and semi-infinite, and to convex problems with a countable family of constraints. Results on zero H-duality gap and on H-(stable) strong duality are provided. Examples are given along the paper to illustrate the meaning of the results.

math.OC↗

Subdifferentials and Stability Analysis of Feasible Set and Pareto Front Mappings in Linear Multiobjective Optimization

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 mappings 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 mapping. Through the epigraphical feasible and Pareto front mappings we describe the corresponding vector subdifferentials, and employ them to verifying Lipschitzian stability of the perturbed mappings 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.

math.OC↗

Lipschitz modulus of linear and convex systems with the Hausdorff metric

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 mapping 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.

math.OC↗

Characterizations of robust and stable duality for linearly perturbed uncertain optimization problems

We introduce a robust optimization model consisting in a family of perturbation functions giving rise to certain pairs of dual optimization problems in which the dual variable depends on the uncertainty parameter. The interest of our approach is illustrated by some examples, including uncertain conic optimization and infinite optimization via discretization. The main results characterize desirable robust duality relations (as robust zero-duality gap) by formulas involving the epsilon-minima or the epsilon-subdifferentials of the objective function. The two extreme cases, namely, the usual perturbational duality (without uncertainty), and the duality for the supremum of functions (duality parameter vanishing) are analyzed in detail.

math.OC↗

Characterizing weak solutions for vector optimization problems

This paper provides characterizations of the weak solutions of optimization problems where a given vector function $F,$ from a decision space $X$ to an objective space $Y$, is "minimized" on the set of elements $x\in C$ (where $C\subset X$ is a given nonempty constraint set), satisfying $G\left( x\right) \leqq_{S}0_{Z},$ where $G$ is another given vector function from $X $ to a constraint space $Z$ with positive cone $S$. The three spaces $X,Y,$ and $Z$ are locally convex Hausdorff topological vector spaces, with $Y$ and $Z$ partially ordered by two convex cones $K$ and $S,$ respectively, and enlarged with a greatest and a smallest element. In order to get suitable versions of the Farkas lemma allowing to obtain optimality conditions expressed in terms of the data, the triplet $\left( F,G,C\right) ,$ we use non-asymptotic representations of the $K-$epigraph of the conjugate function of $F+I_{A},$ where $I_{A}$ denotes the indicator function of the feasible set $A,$ that is, the function associating the zero vector of $Y$ to any element of $A$ and the greatest element of $Y$ to any element of $X\diagdown A.$

math.OC↗