Linear Bellman Completeness Suffices for Efficient Online Reinforcement Learning with Few Actions
Noah Golowich, Ankur Moitra
TL;DR
The paper addresses online reinforcement learning with linear function approximation under linear Bellman completeness, a setting where statistically efficient algorithms traditionally rely on nonconvex optimism. It introduces PSDP-UCB, a polynomial-time algorithm that achieves near-optimal policies when the number of actions is fixed, by engineering exploration bonuses whose Bellman backups are linear (Bellman-linear). The key contributions include a novel truncation-based bonus construction that preserves Bellman-linearity, a detailed analysis using concentration and elliptical potential tools, and a demonstration that local optimism suffices for computational efficiency in this broad setting. This work bridges the gap between statistical tractability and computational efficiency in RL with linear function approximation and opens avenues for further improvements with larger action sets or weaker completeness assumptions.
Abstract
One of the most natural approaches to reinforcement learning (RL) with function approximation is value iteration, which inductively generates approximations to the optimal value function by solving a sequence of regression problems. To ensure the success of value iteration, it is typically assumed that Bellman completeness holds, which ensures that these regression problems are well-specified. We study the problem of learning an optimal policy under Bellman completeness in the online model of RL with linear function approximation. In the linear setting, while statistically efficient algorithms are known under Bellman completeness (e.g., Jiang et al. (2017); Zanette et al. (2020)), these algorithms all rely on the principle of global optimism which requires solving a nonconvex optimization problem. In particular, it has remained open as to whether computationally efficient algorithms exist. In this paper we give the first polynomial-time algorithm for RL under linear Bellman completeness when the number of actions is any constant.
