Table of Contents
Fetching ...

Non-Myopic Multi-Objective Bayesian Optimization

Syrine Belakaria, Alaleh Ahmadianshalchi, Barbara Engelhardt, Stefano Ermon, Janardhan Rao Doppa

TL;DR

The paper tackles finite-horizon sequential experimental design for multi-objective optimization with expensive black-box functions. It introduces a non-myopic MOBO framework by casting the multi-objective reward as hypervolume improvement $HVI$, enabling a Bellman-like lower bound to guide lookahead decisions under a budget $T$, and develops three acquisition functions: $NMMO$-Nested, $NMMO$-Joint, and $BINOM$, which integrate $EHVI$ and $BEHVI$ components to balance accuracy and computation. The approach is validated on six real-world MO problems, showing substantial improvements over state-of-the-art myopic baselines and providing scalable options for budget-constrained materials design and engineering optimization; code is released. This work demonstrates that incorporating lookahead via $HVI$-based rewards can significantly enhance Pareto front exploration under tight experimental budgets, with flexibility to accommodate alternative scalarizations beyond $HVI$.$HV$, $HVI$, $EHVI$, and $BEHVI$ are central to the formulation and are used to quantify and optimize future improvements in the Pareto front.

Abstract

We consider the problem of finite-horizon sequential experimental design to solve multi-objective optimization (MOO) of expensive black-box objective functions. This problem arises in many real-world applications, including materials design, where we have a small resource budget to make and evaluate candidate materials in the lab. We solve this problem using the framework of Bayesian optimization (BO) and propose the first set of non-myopic methods for MOO problems. Prior work on non-myopic BO for single-objective problems relies on the Bellman optimality principle to handle the lookahead reasoning process. However, this principle does not hold for most MOO problems because the reward function needs to satisfy some conditions: scalar variable, monotonicity, and additivity. We address this challenge by using hypervolume improvement (HVI) as our scalarization approach, which allows us to use a lower-bound on the Bellman equation to approximate the finite-horizon using a batch expected hypervolume improvement (EHVI) acquisition function (AF) for MOO. Our formulation naturally allows us to use other improvement-based scalarizations and compare their efficacy to HVI. We derive three non-myopic AFs for MOBO: 1) the Nested AF, which is based on the exact computation of the lower bound, 2) the Joint AF, which is a lower bound on the nested AF, and 3) the BINOM AF, which is a fast and approximate variant based on batch multi-objective acquisition functions. Our experiments on multiple diverse real-world MO problems demonstrate that our non-myopic AFs substantially improve performance over the existing myopic AFs for MOBO.

Non-Myopic Multi-Objective Bayesian Optimization

TL;DR

The paper tackles finite-horizon sequential experimental design for multi-objective optimization with expensive black-box functions. It introduces a non-myopic MOBO framework by casting the multi-objective reward as hypervolume improvement , enabling a Bellman-like lower bound to guide lookahead decisions under a budget , and develops three acquisition functions: -Nested, -Joint, and , which integrate and components to balance accuracy and computation. The approach is validated on six real-world MO problems, showing substantial improvements over state-of-the-art myopic baselines and providing scalable options for budget-constrained materials design and engineering optimization; code is released. This work demonstrates that incorporating lookahead via -based rewards can significantly enhance Pareto front exploration under tight experimental budgets, with flexibility to accommodate alternative scalarizations beyond ., , , and are central to the formulation and are used to quantify and optimize future improvements in the Pareto front.

Abstract

We consider the problem of finite-horizon sequential experimental design to solve multi-objective optimization (MOO) of expensive black-box objective functions. This problem arises in many real-world applications, including materials design, where we have a small resource budget to make and evaluate candidate materials in the lab. We solve this problem using the framework of Bayesian optimization (BO) and propose the first set of non-myopic methods for MOO problems. Prior work on non-myopic BO for single-objective problems relies on the Bellman optimality principle to handle the lookahead reasoning process. However, this principle does not hold for most MOO problems because the reward function needs to satisfy some conditions: scalar variable, monotonicity, and additivity. We address this challenge by using hypervolume improvement (HVI) as our scalarization approach, which allows us to use a lower-bound on the Bellman equation to approximate the finite-horizon using a batch expected hypervolume improvement (EHVI) acquisition function (AF) for MOO. Our formulation naturally allows us to use other improvement-based scalarizations and compare their efficacy to HVI. We derive three non-myopic AFs for MOBO: 1) the Nested AF, which is based on the exact computation of the lower bound, 2) the Joint AF, which is a lower bound on the nested AF, and 3) the BINOM AF, which is a fast and approximate variant based on batch multi-objective acquisition functions. Our experiments on multiple diverse real-world MO problems demonstrate that our non-myopic AFs substantially improve performance over the existing myopic AFs for MOBO.

Paper Structure

This paper contains 21 sections, 1 theorem, 22 equations, 7 figures, 2 tables, 1 algorithm.

Key Result

Lemma 1

We denote $HVI_t$ the hypervolume improvement at $t$ with $t\in[1,T]$ and $HVI_{total}$ be total hypervolume improvement collected at iteration $T$. The additivity condition is satisfied because the total hypervolume collected at iteration $T$ can be decomposed as a summation of the intermediate hyp

Figures (7)

  • Figure 1: Hypervolume results on real-world problems: Non-myopic methods vs. EHVI and JESMO.
  • Figure 2: Hypervolume results for NMMO-Joint with lookahead horizon $H \in \{2, 4, 6, 8\}$.
  • Figure 3: Hypervolume results for BINOM with lookahead horizon $H \in \{2, 4, 6, 8\}$.
  • Figure 4: Hypervolume results for BINOM with MESMO (BINOM-MES) , JESMO (BINOM-JES), and EHVI (BINOM) acquisition functions with lookahead horizon $H \in \{2, 4, 6\}$.
  • Figure 5: With respect to the ZDT3 problem, Figure \ref{['fig:zdt3-appendix-hv']} shows the comparison of all baselines, Figure \ref{['fig:zdt3-appendix-binom']} shows the hypervolume comparison for BINOM with varying horizon lengths, and Figure \ref{['fig:zdt3-appendix-nmmo']} depicts the hypervolume comparison for NMMO-joint with different horizon lengths.
  • ...and 2 more figures

Theorems & Definitions (1)

  • Lemma 1