scholarly journals R-Regularity of Set-Valued Mappings Under the Relaxed Constant Positive Linear Dependence Constraint Qualification with Applications to Parametric and Bilevel Optimization

2021 ◽  
Author(s):  
Patrick Mehlitz ◽  
Leonid I. Minchenko
Keyword(s):  
Linear Dependence ◽  
Constraint Qualification ◽  
Parametric Optimization ◽  
Optimization Problems ◽  
Sufficient Conditions ◽  
Bilevel Optimization ◽  
Regularity Property ◽  
Constant Rank Constraint Qualification ◽  
Existence Criterion ◽  
Set Valued Mappings

AbstractThe presence of Lipschitzian properties for solution mappings associated with nonlinear parametric optimization problems is desirable in the context of, e.g., stability analysis or bilevel optimization. An example of such a Lipschitzian property for set-valued mappings, whose graph is the solution set of a system of nonlinear inequalities and equations, is R-regularity. Based on the so-called relaxed constant positive linear dependence constraint qualification, we provide a criterion ensuring the presence of the R-regularity property. In this regard, our analysis generalizes earlier results of that type which exploited the stronger Mangasarian–Fromovitz or constant rank constraint qualification. Afterwards, we apply our findings in order to derive new sufficient conditions which guarantee the presence of R-regularity for solution mappings in parametric optimization. Finally, our results are used to derive an existence criterion for solutions in pessimistic bilevel optimization and a sufficient condition for the presence of the so-called partial calmness property in optimistic bilevel optimization.

Improved Convergence Properties of the Relaxation Schemes of Kadrani et al. and Kanzow and Schwartz for MPEC

2018 ◽  
Vol 35 (01) ◽  
pp. 1850008
Author(s):  
Na Xu ◽  
Xide Zhu ◽  
Li-Ping Pang ◽  
Jian Lv
Keyword(s):  
Linear Dependence ◽  
Constraint Qualification ◽  
Constraint Qualifications ◽  
Accumulation Point ◽  
Stationary Points ◽  
Nondegeneracy Condition ◽  
Equilibrium Constraints ◽  
Convergence Properties ◽  
Constant Rank Constraint Qualification ◽  
Relaxation Schemes

This paper concentrates on improving the convergence properties of the relaxation schemes introduced by Kadrani et al. and Kanzow and Schwartz for mathematical program with equilibrium constraints (MPEC) by weakening the original constraint qualifications. It has been known that MPEC relaxed constant positive-linear dependence (MPEC-RCPLD) is a class of extremely weak constraint qualifications for MPEC, which can be strictly implied by MPEC relaxed constant rank constraint qualification (MPEC-RCRCQ) and MPEC relaxed constant positive-linear dependence (MPEC-rCPLD), of course also by the MPEC constant positive-linear dependence (MPEC-CPLD). We show that any accumulation point of stationary points of these two approximation problems is M-stationarity under the MPEC-RCPLD constraint qualification, and further show that the accumulation point can even be S-stationarity coupled with the asymptotically weak nondegeneracy condition.

Preservation of Supermodularity in Parametric Optimization: Necessary and Sufficient Conditions on Constraint Structures

2020 ◽  
Author(s):  
Xin Chen ◽  
Daniel Zhuoyu Long ◽  
Jin Qi
Keyword(s):  
Operations Research ◽  
Parametric Optimization ◽  
Optimization Problems ◽  
Lattice Structure ◽  
Sufficient Conditions ◽  
Comparative Statics ◽  
Necessary And Sufficient Conditions ◽  
Objective Functions ◽  
New Concepts ◽  
Necessary And Sufficient

The concept of supermodularity has received considerable attention in economics and operations research. It is closely related to the concept of complementarity in economics and has also proved to be an important tool for deriving monotonic comparative statics in parametric optimization problems and game theory models. However, only certain sufficient conditions (e.g., lattice structure) are identified in the literature to preserve the supermodularity. In this article, new concepts of mostly sublattice and additive mostly sublattice are introduced. With these new concepts, necessary and sufficient conditions for the constraint structures are established so that supermodularity can be preserved under various assumptions about the objective functions. Furthermore, some classes of polyhedral sets that satisfy these concepts are identified, and the results are applied to assemble-to-order systems.

scholarly journals Calmness and Calculus: Two Basic Patterns

2021 ◽  
Author(s):  
Matúš Benko ◽  
Patrick Mehlitz
Keyword(s):  
Optimization Problems ◽  
Sufficient Conditions ◽  
Necessary Optimality Conditions ◽  
Generalized Derivatives ◽  
Minimax Optimization ◽  
Cartesian Products ◽  
Calculus Rules ◽  
Set Valued Mappings ◽  
The One ◽  
Derivatives Of

AbstractWe establish two types of estimates for generalized derivatives of set-valued mappings which carry the essence of two basic patterns observed throughout the pile of calculus rules. These estimates also illustrate the role of the essential assumptions that accompany these two patters, namely calmness on the one hand and (fuzzy) inner calmness* on the other. Afterwards, we study the relationship between and sufficient conditions for the various notions of (inner) calmness. The aforementioned estimates are applied in order to recover several prominent calculus rules for tangents and normals as well as generalized derivatives of marginal functions and compositions as well as Cartesian products of set-valued mappings under mild conditions. We believe that our enhanced approach puts the overall generalized calculus into some other light. Some applications of our findings are presented which exemplary address necessary optimality conditions for minimax optimization problems as well as the calculus related to the recently introduced semismoothness* property.

scholarly journals ON THE PROBLEMS OF BILEVEL OPTIMIZATION UNDER RCPLD CONSTRAINT QUALIFICATIONS

Doklady BGUIR ◽  
2019 ◽  
pp. 86-92
Author(s):  
L. I. Minchenko ◽  
S. I. Sirotko
Keyword(s):  
Complex Systems ◽  
Bilevel Programming ◽  
Optimization Problems ◽  
Constraint Qualifications ◽  
Sufficient Conditions ◽  
Bilevel Optimization ◽  
Multivalued Mappings ◽  
Partial Calmness ◽  
Bilevel Problems ◽  
Bilevel Programming Problems

Multilevel optimization problems often arise in various applications (in economics, ecology, power engineering and other areas) when modeling complex systems with a hierarchical structure associated with independent actions of subsystems. The difficulty of analyzing such complex systems requires first of all the study of bilevel models, the management of which would be an integral part of the analysis of more complex systems. In solving bilevel programming problems, an important role is played by the property of partial calmness, the presence of which allows us to reduce the bilevel problem to the classical nonlinear programming problem with a nonsmooth objective function. It is known that linear bilevel programming problems are partially stable. The proof of this property for more complex problems meets difficulties. In particular, our article shows the inaccuracy of some results in this area. The goal of the paper is to obtain some new results in the partial calmness of bilevel programming. In particular, new sufficient conditions for bilevel problems are proved. The results are obtained on the base of Lipschitz-like properties for multivalued mappings. In the paper we propose new sufficient conditions for partial calmness which are based on some modification of the known constraint qualification RCPLD which have been proposed by the researches Andreani, Haeser, Schuverdt and Silva.

scholarly journals Convergence rate analysis of an iterative algorithm for solving the multiple-sets split equality problem

2019 ◽  
Vol 2019 (1) ◽  
Author(s):  
Shijie Sun ◽  
Meiling Feng ◽  
Luoyi Shi
Keyword(s):  
Convergence Rate ◽  
Iterative Algorithm ◽  
Sufficient Conditions ◽  
Linear Convergence ◽  
Regularity Property ◽  
Step Size ◽  
Bounded Linear ◽  
Split Equality Problem ◽  
Linear Convergence Rate ◽  
Equality Problem

Abstract This paper considers an iterative algorithm of solving the multiple-sets split equality problem (MSSEP) whose step size is independent of the norm of the related operators, and investigates its sublinear and linear convergence rate. In particular, we present a notion of bounded Hölder regularity property for the MSSEP, which is a generalization of the well-known concept of bounded linear regularity property, and give several sufficient conditions to ensure it. Then we use this property to conclude the sublinear and linear convergence rate of the algorithm. In the end, some numerical experiments are provided to verify the validity of our consequences.

scholarly journals Oscillation and non-oscillation of some neutral differential equations of odd order

1992 ◽  
Vol 15 (3) ◽  
pp. 509-515 ◽  
Author(s):  
B. S. Lalli ◽  
B. G. Zhang
Keyword(s):  
Differential Equation ◽  
Differential Equations ◽  
Sufficient Conditions ◽  
Nonoscillatory Solution ◽  
Neutral Differential Equation ◽  
Neutral Differential Equations ◽  
Neutral Term ◽  
Odd Order ◽  
Existence Criterion ◽  
Oscillation Of Solutions

An existence criterion for nonoscillatory solution for an odd order neutral differential equation is provided. Some sufficient conditions are also given for the oscillation of solutions of somenth order equations with nonlinearity in the neutral term.

scholarly journals An Augmented Lagrangian Method for Cardinality-Constrained Optimization Problems

2021 ◽  
Author(s):  
Christian Kanzow ◽  
Andreas B. Raharja ◽  
Alexandra Schwartz
Keyword(s):  
Constrained Optimization ◽  
Numerical Experiments ◽  
Penalty Method ◽  
Augmented Lagrangian ◽  
Constraint Qualification ◽  
Optimization Problems ◽  
Augmented Lagrangian Method ◽  
Constrained Optimization Problems ◽  
Strongly Stationary ◽  
Type Constraint

AbstractA reformulation of cardinality-constrained optimization problems into continuous nonlinear optimization problems with an orthogonality-type constraint has gained some popularity during the last few years. Due to the special structure of the constraints, the reformulation violates many standard assumptions and therefore is often solved using specialized algorithms. In contrast to this, we investigate the viability of using a standard safeguarded multiplier penalty method without any problem-tailored modifications to solve the reformulated problem. We prove global convergence towards an (essentially strongly) stationary point under a suitable problem-tailored quasinormality constraint qualification. Numerical experiments illustrating the performance of the method in comparison to regularization-based approaches are provided.

scholarly journals The trouble with the second quantifier

4OR ◽  
2021 ◽  
Author(s):  
Gerhard J. Woeginger
Keyword(s):  
Computational Complexity ◽  
Robust Optimization ◽  
Complexity Theory ◽  
Operational Research ◽  
Optimization Problems ◽  
Bilevel Optimization ◽  
Theoretical Background ◽  
Research Community ◽  
Universal Quantifier ◽  
Computational Complexity Theory

AbstractWe survey optimization problems that allow natural simple formulations with one existential and one universal quantifier. We summarize the theoretical background from computational complexity theory, and we present a multitude of illustrating examples. We discuss the connections to robust optimization and to bilevel optimization, and we explain the reasons why the operational research community should be interested in the theoretical aspects of this area.

scholarly journals Pointwise observation of the state given by complex time lag parabolic system

2017 ◽  
Vol 27 (1) ◽  
pp. 77-89
Author(s):  
Adam Kowalewski
Keyword(s):  
Boundary Condition ◽  
Parabolic System ◽  
Neumann Boundary Condition ◽  
Optimization Problems ◽  
Time Lag ◽  
Sufficient Conditions ◽  
Neumann Boundary ◽  
The State ◽  
Constant Time ◽  
Time Lags

AbstractVarious optimization problems for linear parabolic systems with multiple constant time lags are considered. In this paper, we consider an optimal distributed control problem for a linear complex parabolic system in which different multiple constant time lags appear both in the state equation and in the Neumann boundary condition. Sufficient conditions for the existence of a unique solution of the parabolic time lag equation with the Neumann boundary condition are proved. The time horizon T is fixed. Making use of the Lions scheme [13], necessary and sufficient conditions of optimality for the Neumann problem with the quadratic performance functional with pointwise observation of the state and constrained control are derived. The example of application is also provided.

scholarly journals Exact Penalization in Stochastic Programming—Calmness and Constraint Qualification

2014 ◽  
Vol 2014 ◽  
pp. 1-6
Author(s):  
Martin Branda
Keyword(s):  
Stochastic Programming ◽  
Error Bound ◽  
Constraint Qualification ◽  
Sufficient Conditions ◽  
Discrete Distributions ◽  
Exact Penalty ◽  
Asymptotic Equivalence ◽  
Exact Penalization ◽  
Local Minimizers ◽  
Constrained Problems

We deal with the conditions which ensure exact penalization in stochastic programming problems under finite discrete distributions. We give several sufficient conditions for problem calmness including graph calmness, existence of an error bound, and generalized Mangasarian-Fromowitz constraint qualification. We propose a new version of the theorem on asymptotic equivalence of local minimizers of chance constrained problems and problems with exact penalty objective. We apply the theory to a problem with a stochastic vanishing constraint.

Sign in / Sign up

Export Citation Format

Share Document