An optimal elimination algorithm for learning a best arm

We consider the classic problem of (?, d)-PAC learning a best arm where the goal is to identify with confidence 1 - d an arm whose mean is an ?-approximation to that of the highest mean arm in a multi-armed bandit setting. This problem is one of the most fundamental problems in statistics and learning theory, yet somewhat surprisingly its worst case sample complexity is not well understood. In this paper we propose a new approach for (?, d)-PAC learning a best arm. This approach leads to an algorithm whose sample complexity converges to exactly the optimal sample complexity of (?, d)-learning the mean of n arms separately and we complement this result with a conditional matching lower bound. More specifically: • The algorithm’s sample complexity converges to exactly ₂ⁿ ?₂ log ¹_d as n grows and d = _n¹ ; • We prove that no elimination algorithm obtains sample complexity arbitrarily lower than ₂ⁿ ?₂ log ¹_d . Elimination algorithms is a broad class of (?, d)-PAC best arm learning algorithms that includes many algorithms in the literature. When n is independent of d our approach yields an algorithm whose sample complexity converges to ^{2 ? n}₂ log ¹_d as n grows.