Abstract:This paper is concerned with the value function approach to multiobjective bilevel optimization which exploits a lower-level frontier-type mapping in order to replace the hierarchical model of two interdependent multiobjective optimization problems by a single-level multiobjective optimization problem. As a starting point, different value-function-type reformulations are suggested and their relations are discussed. Here, we focus on the situations where the lower-level problem is solved up to efficiency or weak efficiency, and an intermediate solution concept is suggested as well. We study the graph-closedness of the associated efficiency-type and frontier-type mappings. These findings are then used for two purposes. First, we investigate existence results in multiobjective bilevel optimization. Second, for the derivation of necessary optimality conditions via the value function approach, it is inherent to differentiate frontier-type mappings in a generalized way. Here, we are concerned with the computation of upper coderivative estimates for the frontier-type mapping associated with the setting where the lower-level problem is solved up to weak efficiency. We proceed in two ways, relying, on the one hand, on a weak domination property and, on the other hand, on a scalarization approach. Illustrative examples visualize our findings and some flaws in the related literature.

What problem does this paper attempt to address?

The paper primarily focuses on the value function approach in Multiobjective Bilevel Optimization Problems and explores some key challenges and solutions encountered in solving these problems. ### Research Background - **Multiobjective Bilevel Optimization Problems**: These problems involve two levels of decision-makers, each with multiple objective functions to optimize. The Upper-Level Problem aims to optimize a vector-valued function \(F\), while the Lower-Level Problem involves the optimization of another vector-valued function \(f\). - **Value Function Approach**: This approach uses the optimal value function of the Lower-Level Problem to transform the bilevel problem into a single-level problem, thereby simplifying the solution process. However, in the context of multiobjective optimization, this approach faces new challenges. ### Main Contributions 1. **Value Function Reformulation**: The authors propose several value function-based methods to reformulate multiobjective bilevel optimization problems and discuss the relationships between these reformulations. - **Efficiency and Weak Efficiency Mappings**: The study examines the scenarios when the Lower-Level Problem is solved to efficiency or weak efficiency and proposes a solution concept that lies between the two. - **Graph Closedness Analysis**: The paper analyzes the graph closedness properties related to efficiency and frontier mappings. This helps in studying the existence and necessary optimality conditions. 2. **Existence Results**: Based on the above analysis, the paper provides existence results for multiobjective bilevel optimization problems. Specifically, when solving the Lower-Level Problem to weak efficiency, the existence of an effective solution can be guaranteed under milder assumptions. 3. **Optimality Conditions**: To derive necessary optimality conditions via the value function approach, the paper considers the generalized differentiation of frontier mappings. Specifically, it focuses on the computation of upper subdifferential estimates of the relevant frontier mappings when solving the Lower-Level Problem to weak efficiency. 4. **Examples and Literature Comparison**: The paper provides examples to illustrate their findings and points out some deficiencies in related literature. ### Solutions - **Closedness of Efficiency and Weak Efficiency Mappings**: When solving the Lower-Level Problem to weak efficiency, the related mappings are more likely to have closed graphs, which facilitates the study of effective and weakly effective points in the Upper-Level Problem. - **Derivation of Necessary Optimality Conditions**: The paper computes upper subdifferential estimates of frontier mappings in two ways: - Methods based on weak dominance properties. - Methods based on scalarization, using weighted sum scalarization for the Lower-Level Problem in convex cases. In summary, the paper delves into the value function approach for multiobjective bilevel optimization problems and provides effective solutions to the key challenges within.

Notes on the value function approach to multiobjective bilevel optimization

Duality-based single-level reformulations of bilevel optimization problems

A Value-Function-Based Exact Approach for the Bilevel Mixed-Integer Programming Problem

On the Relationship Between the Value Function and the Efficient Frontier of a Mixed Integer Linear Optimization Problem

Duality theory for optimistic bilevel optimization

Bilevel Optimization based on Iterative Approximation of Multiple Mappings

Bilevel optimization with a multi-objective lower-level problem: Risk-neutral and risk-averse formulations

Bilevel Optimization without Lower-Level Strong Convexity from the Hyper-Objective Perspective

Barrier Function for Bilevel Optimization with Coupled Lower-Level Constraints: Formulation, Approximation and Algorithms

Robust Bilevel Optimization for Near-Optimal Lower-Level Solutions

Bilevel Optimization: Theory, Algorithms, Applications and a Bibliography

Theoretical smoothing frameworks for general nonsmooth bilevel problems

On the Complexity of Inverse Bivariate Multi-unit Assignment Valuation Problems

A Survey on Mixed-Integer Programming Techniques in Bilevel Optimization

Solving Bilevel Programs Based on Lower-Level Mond-Weir Duality

Semismooth Newton-type method for bilevel optimization: Global convergence and extensive numerical experiments

Equilibrium modeling and solution approaches inspired by nonconvex bilevel programming

A novel interactive intuitionistic fuzzy approach to find satisfactory Pareto-optimal solutions for general bilevel multi-followers programming

Near-Optimal Convex Simple Bilevel Optimization with a Bisection Method

A framework for bilevel optimization that enables stochastic and global variance reduction algorithms