The generalized Mangasarian-Fromowitz constraint qualification and optimality conditions for bilevel programs

We consider the optimal value reformulation of the bilevel programming problem. It is shown that the Mangasarian-Fromowitz constraint qualification in terms of the basic generalized differentiation constructions of Mordukhovich, which is weaker than the one in terms of Clarke’s nonsmooth tools, fails without any restrictive assumption. Some weakened forms of this constraint qualification are then suggested, in order to derive Karush-Kuhn-Tucker type optimality conditions for the aforementioned problem. Considering the partial calmness, a new characterization is suggested and the link with the previous constraint qualifications is analyzed

Solving ill-posed bilevel programs

This paper deals with ill-posed bilevel programs, i.e., problems admitting multiple lower-level solutions for some upper-level parameters. Many publications have been devoted to the standard optimistic case of this problem, where the difficulty is essentially moved from the objective function to the feasible set. This new problem is simpler but there is no guaranty to obtain local optimal solutions for the original optimistic problem by this process. Considering the intrinsic non-convexity of bilevel programs, computing local optimal solutions is the best one can hope to get in most cases. To achieve this goal, we start by establishing an equivalence between the original optimistic problem an a certain set-valued optimization problem. Next, we develop optimality conditions for the latter problem and show that they generalize all the results currently known in the literature on optimistic bilevel optimization. Our approach is then extended to multiobjective bilevel optimization, and completely new results are derived for problems with vector-valued upper- and lower-level objective functions. Numerical implementations of the results of this paper are provided on some examples, in order to demonstrate how the original optimistic problem can be solved in practice, by means of a special set-valued optimization problem

Advancing stability analysis of mean-risk stochastic programs: Bilevel and two-stage models

Measuring and managing risk has become crucial in modern decision making under stochastic uncertainty. In two-stage stochastic programming, mean-risk models are essentially defined by a parametric recourse problem and a quantification of risk. The thesis addresses sufficient conditions for weak continuity of the resulting objective functions with respect to perturbations of the underlying probability measure. The approach is based on so called psi-weak topologies that are finer than the topology of weak convergence and allows to unify and extend known results for a comprehensive class of risk measures and recourse problems. In particular, stability of mean-risk models with mixed-integer quadratic and general mixed-integer convex recourse problems is derived for any law-invariant, convex and nondecreasing quantification of risk. From a conceptual point of view, two-stage stochastic programs and bilevel problems under stochastic uncertainty are closely related. Assuming that only the follower can observe the realization of the randomness, the optimistic and pessimistic setting give rise to two-stage problems where only optimal solutions of the lower level are feasible for the recourse problem. So far, stability in stochastic bilevel programming has only been examined for a specific model based on a quantile criterion. The novel approach allows to identify sufficient conditions for stability of stochastic bilevel problems with quadratic lower level and is applicable for a comprehensive class of risk measures.Die Bewertung und das Management von Risken sind ein wesentlicher Aspekt von Entscheidungsproblemen unter stochastischer Unsicherheit. Zielfunktionsbasierte risikoaverse Modelle der zweistufigen stochastischen Optimierung lassen sich im Wesentlichen durch ihr parametrisches Zweitstufenproblem und das betrachtete Risikomaß charakterisieren. Die Arbeit befasst sich mit hinreichenden Bedingungen für Stetigkeit der resultierenden Zielfunktion unter Störungen des zu Grunde liegenden Wahrscheinlichkeitsmaßes bezüglich der Topologie schwacher Konvergenz. Der Ansatz basiert auf so genannten psi-schwachen Topologien, die feiner als die Topologie schwacher Konvergenz sind. Für eine umfassende Klasse von Risikomaßen und Zweitstufenproblemen werden so bestehende Resultate vereinheitlicht und erweitert. Insbesondere lassen sich für jedes verteilungsinvariante, konvexe und nichtfallende Risikomaß Stabilitätsaussagen für Aufgaben mit quadratischem oder konvexem gemischt-ganzzahligen Zweitstufenproblem treffen. Aus konzeptioneller Sicht sind zweistufige stochastische Programme und Bilevel Probleme unter stochastischer Unsicherheit eng miteinander verbunden. Unter der Annnahme, dass nur der Entscheider auf der unteren Ebene die Realisierung des Zufalls beobachten kann, führen sowohl der optimistische als auch der pessimistische Ansatz auf ein zweistufiges stochastisches Programm. Bei diesem sind nur die Optimallösungen der unteren Ebene zulässig für das Zweitstufenproblem. Bisher ist die Stabilität solcher Aufgaben nur für Modelle mit einem speziellen Quantilkriterium untersucht worden. Der neue Ansatz erlaubt es, hinreichende Bedingungen für die Stabilität von stochastischen Bilevel Problemen mit quadratischem Nachfolgerproblem zu identifizieren und ist auf eine reichhaltige Klasse von Risikomaßen anwendbar