Table of Contents
Fetching ...

Introduction to Interpolation-Based Optimization

Lindon Roberts

TL;DR

This paper presents interpolation-based optimization (IBO) as a principled, derivative-free local optimization framework that replaces gradient-based Taylor models with interpolation-based surrogates within a trust-region setting. It develops the theory and algorithms for fully linear and fully quadratic interpolation models, derives worst-case convergence and complexity results for both first- and second-order optimality, and explains how to construct and manage interpolation sets to ensure model accuracy. The work extends IBO to constrained and noisy settings, introducing feasible interpolation models, poisedness concepts, and self-correcting geometry to maintain accuracy while remaining within feasible regions or handling bounded/noisy evaluations. Collectively, these results provide a rigorous foundation for practical IBO methods, showing how to achieve reliable convergence guarantees while balancing the costs of evaluating expensive, black-box objective functions.

Abstract

The field of derivative-free optimization (DFO) studies algorithms for nonlinear optimization that do not rely on the availability of gradient or Hessian information. It is primarily designed for settings when functions are black-box, expensive to evaluate and/or noisy. A widely used and studied class of DFO methods for local optimization is interpolation-based optimization (IBO), also called model-based DFO, where the general principles from derivative-based nonlinear optimization algorithms are followed, but local Taylor-type approximations are replaced with alternative local models constructed by interpolation. This document provides an overview of the basic algorithms and analysis for IBO, covering worst-case complexity, approximation theory for polynomial interpolation models, and extensions to constrained and noisy problems.

Introduction to Interpolation-Based Optimization

TL;DR

This paper presents interpolation-based optimization (IBO) as a principled, derivative-free local optimization framework that replaces gradient-based Taylor models with interpolation-based surrogates within a trust-region setting. It develops the theory and algorithms for fully linear and fully quadratic interpolation models, derives worst-case convergence and complexity results for both first- and second-order optimality, and explains how to construct and manage interpolation sets to ensure model accuracy. The work extends IBO to constrained and noisy settings, introducing feasible interpolation models, poisedness concepts, and self-correcting geometry to maintain accuracy while remaining within feasible regions or handling bounded/noisy evaluations. Collectively, these results provide a rigorous foundation for practical IBO methods, showing how to achieve reliable convergence guarantees while balancing the costs of evaluating expensive, black-box objective functions.

Abstract

The field of derivative-free optimization (DFO) studies algorithms for nonlinear optimization that do not rely on the availability of gradient or Hessian information. It is primarily designed for settings when functions are black-box, expensive to evaluate and/or noisy. A widely used and studied class of DFO methods for local optimization is interpolation-based optimization (IBO), also called model-based DFO, where the general principles from derivative-based nonlinear optimization algorithms are followed, but local Taylor-type approximations are replaced with alternative local models constructed by interpolation. This document provides an overview of the basic algorithms and analysis for IBO, covering worst-case complexity, approximation theory for polynomial interpolation models, and extensions to constrained and noisy problems.

Paper Structure

This paper contains 47 sections, 75 theorems, 262 equations, 2 figures, 1 table, 12 algorithms.

Key Result

Proposition 2.2

Suppose $\bm{x}^*\in\mathbb{R}^n$ and $f:\mathbb{R}^n\to\mathbb{R}$ is continuously differentiable. Then,

Figures (2)

  • Figure 1.1: Single iteration of IBO.
  • Figure 6.1: Demonstration of Algorithm \ref{['alg_geom_improvement']} for linear interpolation in $B(\bm{0},1)\subset\mathbb{R}^2$. (a) Initial interpolation set is $\bm{x}_1=(0,0)$, $\bm{x}_2=(1,0)$ and $\bm{x}_3=(0.95,0.07)$. The value $\Lambda_{\infty}\approx 14.3$ comes from Lagrange polynomial associated with $\bm{x}_3$ at point $\bm{x}_4=(0,1)$. (b) New set is $\bm{x}_1$, $\bm{x}_2$ and $\bm{x}_4$. The value $\Lambda_{\infty}\approx 2.41$ comes from Lagrange polynomial associated with $\bm{x}_1$ at point $\bm{x}_5 \approx (-0.707, -0.707)$. (c) New set is $\bm{x}_2$, $\bm{x}_4$ and $\bm{x}_5$.

Theorems & Definitions (157)

  • Example 1.1: Calibrating Climate Models Tett2022
  • Example 1.2: Quantum Optimization Abbas2023
  • Definition 2.1
  • Proposition 2.2: Theorems 2.2--2.4, Nocedal2006
  • Lemma 2.4: Theorem A.8.1, Cartis2022
  • Proposition 3.1
  • proof
  • Lemma 3.2: Theorem 6.3.1, Conn2000
  • Theorem 3.5
  • proof
  • ...and 147 more