-
Existence of Solutions in Bi-level Stochastic Linear Programming with Integer Variables
Authors:
Johanna Burtscheidt,
Matthias Claus
Abstract:
The addition of lower level integrality constraints to a bi-level linear program is known to result in significantly weaker analytical properties. Most notably, the upper level goal function in the optimistic setting lacks lower semicontinuity and the existence of an optimal solution cannot be guaranteed under standard assumptions. In this paper, we study a setting where the right-hand side of the…
▽ More
The addition of lower level integrality constraints to a bi-level linear program is known to result in significantly weaker analytical properties. Most notably, the upper level goal function in the optimistic setting lacks lower semicontinuity and the existence of an optimal solution cannot be guaranteed under standard assumptions. In this paper, we study a setting where the right-hand side of the lower level constraint system is affected by the leader's choice as well as the realization of some random vector. Assuming that only the follower decides under complete information, we employ a convex risk measure to assess the upper level outcome. Confining the analysis to the cases where the lower level feasible set is finite, we provide sufficient conditions for Hölder continuity of the leader's risk functional and draw conclusions about the existence of optimal solutions. Finally, we examine qualitative stability with respect to perturbations of the underlying probability measure. Considering the topology of weak convergence, we prove joint continuity of the objective function with respect to both the leader's decision and the underlying probability measure.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
A Pessimistic Bilevel Stochastic Problem for Elastic Shape Optimization
Authors:
Johanna Burtscheidt,
Matthias Claus,
Sergio Conti,
Martin Rumpf,
Josua Sassen,
Rüdiger Schultz
Abstract:
We consider pessimistic bilevel stochastic programs in which the follower maximizes over a fixed compact convex set a strictly convex quadratic function, whose Hessian depends on the leader's decision. The resulting random variable is evaluated by a convex risk measure. Under assumptions including real analyticity of the lower-level goal function, we prove existence of optimal solutions. We discus…
▽ More
We consider pessimistic bilevel stochastic programs in which the follower maximizes over a fixed compact convex set a strictly convex quadratic function, whose Hessian depends on the leader's decision. The resulting random variable is evaluated by a convex risk measure. Under assumptions including real analyticity of the lower-level goal function, we prove existence of optimal solutions. We discuss an alternate model where the leader hedges against optimal lower-level solutions, and show that in this case solvability can be guaranteed under weaker conditions both in a deterministic and in a stochastic setting. The approach is applied to a mechanical shape optimization problem in which the leader decides on an optimal material distribution to minimize a tracking-type cost functional, whereas the follower chooses forces from an admissible set to maximize a compliance objective. The material distribution is considered to be stochastically perturbed in the actual construction phase. Computational results illustrate the bilevel optimization concept and demonstrate the interplay of follower and leader in shape design and testing.
△ Less
Submitted 29 November, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Bilevel Optimization under Uncertainty
Authors:
Johanna Burtscheidt,
Matthias Claus
Abstract:
We consider bilevel linear problems, where the right-hand side of the lower level problems is stochastic. The leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which gives rise to a broad spectrum of models involving coherent or convex risk measures and stochastic dominance constra…
▽ More
We consider bilevel linear problems, where the right-hand side of the lower level problems is stochastic. The leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which gives rise to a broad spectrum of models involving coherent or convex risk measures and stochastic dominance constraints. We outline Lipschitzian properties, conditions for existence and optimality, as well as stability results. Moreover, for finite discrete distributions, we discuss the special structure of equivalent deterministic bilevel programs and its potential use to mitigate the curse of dimensionality.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Risk-Averse Models in Bilevel Stochastic Linear Programming
Authors:
J. Burtscheidt,
M. Claus,
S. Dempe
Abstract:
We consider bilevel linear problems, where some parameters are stochastic, and the leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which we evaluate based on some law-invariant convex risk measure. A qualitative stability result under perturbations of the underlying probability d…
▽ More
We consider bilevel linear problems, where some parameters are stochastic, and the leader has to decide in a here-and-now fashion, while the follower has complete information. In this setting, the leader's outcome can be modeled by a random variable, which we evaluate based on some law-invariant convex risk measure. A qualitative stability result under perturbations of the underlying probability distribution is presented. Moreover, for the expectation, the expected excess, and the upper semideviation, we establish Lipschitz continuity as well as sufficient conditions for differentiability. Finally, for finite discrete distributions, we reformulate the bilevel stochastic problems as standard bilevel problems and propose a regularization scheme for bilevel linear problems.
△ Less
Submitted 31 January, 2019;
originally announced January 2019.
