Nearly Optimal Algorithms for Level Set Estimation

TL;DR

This paper introduces nearly optimal algorithms for level set estimation of unknown functions using adaptive sampling, leveraging RKHS-based methods, and provides theoretical guarantees that match lower bounds in the linear setting.

Contribution

It relates level set estimation to adaptive experimental design in RKHS, offering the first non-asymptotic bounds matching information-theoretic lower bounds.

Findings

Bounds are nearly optimal in the linear (kernel) setting.

First non-asymptotic, instance-dependent upper bounds matching lower bounds.

Algorithms work for both explicit and implicit threshold cases.

Abstract

The level set estimation problem seeks to find all points in a domain ${\cal X}$ where the value of an unknown function $f:{\cal X}\rightarrow \mathbb{R}$ exceeds a threshold $\alpha$. The estimation is based on noisy function evaluations that may be acquired at sequentially and adaptively chosen locations in ${\cal X}$. The threshold value $\alpha$ can either be \emph{explicit} and provided a priori, or \emph{implicit} and defined relative to the optimal function value, i.e. $\alpha = (1-\epsilon)f(x_\ast)$ for a given $\epsilon > 0$ where $f(x_\ast)$ is the maximal function value and is unknown. In this work we provide a new approach to the level set estimation problem by relating it to recent adaptive experimental design methods for linear bandits in the Reproducing Kernel Hilbert Space (RKHS) setting. We assume that $f$ can be approximated by a function in the RKHS up to an unknown misspecification and provide novel algorithms for both the implicit and explicit cases in this setting with strong theoretical guarantees. Moreover, in the linear (kernel) setting, we show that our bounds are nearly optimal, namely, our upper bounds match existing lower bounds for threshold linear bandits. To our knowledge this work provides the first instance-dependent, non-asymptotic upper bounds on sample complexity of level-set estimation that match information theoretic lower bounds.