Lower Bounds for Learning in Revealing POMDPs
This work addresses a critical gap in theoretical RL by providing tighter lower bounds for learning in revealing POMDPs, which is important for researchers in machine learning and AI theory, though it is incremental as it builds on existing bounds.
The paper tackles the problem of understanding the fundamental limits of reinforcement learning in partially observable Markov decision processes (POMDPs) under a revealing condition, establishing strong PAC and regret lower bounds that scale polynomially with problem parameters and show significant gaps from prior results, such as an Ω(S^{1.5}) dependence on state-space size and Ω(T^{2/3}) regret for multi-step cases.
This paper studies the fundamental limits of reinforcement learning (RL) in the challenging \emph{partially observable} setting. While it is well-established that learning in Partially Observable Markov Decision Processes (POMDPs) requires exponentially many samples in the worst case, a surge of recent work shows that polynomial sample complexities are achievable under the \emph{revealing condition} -- A natural condition that requires the observables to reveal some information about the unobserved latent states. However, the fundamental limits for learning in revealing POMDPs are much less understood, with existing lower bounds being rather preliminary and having substantial gaps from the current best upper bounds. We establish strong PAC and regret lower bounds for learning in revealing POMDPs. Our lower bounds scale polynomially in all relevant problem parameters in a multiplicative fashion, and achieve significantly smaller gaps against the current best upper bounds, providing a solid starting point for future studies. In particular, for \emph{multi-step} revealing POMDPs, we show that (1) the latent state-space dependence is at least $Ω(S^{1.5})$ in the PAC sample complexity, which is notably harder than the $\widetildeΘ(S)$ scaling for fully-observable MDPs; (2) Any polynomial sublinear regret is at least $Ω(T^{2/3})$, suggesting its fundamental difference from the \emph{single-step} case where $\widetilde{O}(\sqrt{T})$ regret is achievable. Technically, our hard instance construction adapts techniques in \emph{distribution testing}, which is new to the RL literature and may be of independent interest.