Policy Mirror Descent with Temporal Difference Learning: Sample Complexity under Online Markov Data
Wenye Li, Hongxu Chen, Jiacai Liu, Ke Wei
TL;DR
This work analyzes policy mirror descent (PMD) in reinforcement learning under online Markov data with temporal-difference (TD) learning. It introduces two TD-based PMD variants—Expected TD-PMD (off-policy) and Approximate TD-PMD (mixed-policy)—and proves competitive sample complexities: a standard $ ilde{O}(rac{1}{ ho^2})$ for average-time $ ext{ε}$-optimality and an $O(rac{1}{ε^2})$ last-iterate rate using adaptive policy-update steps, all in the tabular setting. A key novelty is bounding stochastic bias without inner-loop critic refinement by employing adaptive batch sizes and a weighted Bellman operator, yielding an $O(rac{1}{ε^2})$ sample complexity free of polylog factors. The results extend known PMD/TD-PMD analyses to practical Markov data scenarios, closely matching generative-model performance and offering a batch-Q-learning equivalence under special mirror maps. Together, the findings advance understanding of sample efficiency for PMD-type methods in online RL with TD criticism and provide actionable guidance for adaptive-step strategies.
Abstract
This paper studies the policy mirror descent (PMD) method, which is a general policy optimization framework in reinforcement learning and can cover a wide range of policy gradient methods by specifying difference mirror maps. Existing sample complexity analysis for policy mirror descent either focuses on the generative sampling model, or the Markovian sampling model but with the action values being explicitly approximated to certain pre-specified accuracy. In contrast, we consider the sample complexity of policy mirror descent with temporal difference (TD) learning under the Markovian sampling model. Two algorithms called Expected TD-PMD and Approximate TD-PMD have been presented, which are off-policy and mixed policy algorithms respectively. Under a small enough constant policy update step size, the $\tilde{O}(\varepsilon^{-2})$ (a logarithm factor about $\varepsilon$ is hidden in $\tilde{O}(\cdot)$) sample complexity can be established for them to achieve average-time $\varepsilon$-optimality. The sample complexity is further improved to $O(\varepsilon^{-2})$ (without the hidden logarithm factor) to achieve the last-iterate $\varepsilon$-optimality based on adaptive policy update step sizes.
