Table of Contents
Fetching ...

List Replicable Reinforcement Learning

Bohan Zhang, Michael Chen, A. Pavan, N. V. Vinodchandran, Lin F. Yang, Ruosong Wang

TL;DR

The paper tackles instability and replicability in reinforcement learning by introducing list replicability within the PAC-RL framework, distinguishing weak and strong forms. It develops two main theoretical pillars: a black-box reduction yielding weakly k-list replicable policies with polynomial list size, and a strongly k-list replicable online algorithm with polynomial sample and trace complexity. Central to the approach is a robust planning technique that uses a random tolerance to bound policy variability and a reachability-based truncation scheme to preserve replicability, enabling controlled, near-optimal outputs. Empirical results across toy and standard RL benchmarks demonstrate the practical stability benefits of incorporating the robust planner into existing RL frameworks, suggesting a viable path to more reliable RL deployments.

Abstract

Replicability is a fundamental challenge in reinforcement learning (RL), as RL algorithms are empirically observed to be unstable and sensitive to variations in training conditions. To formally address this issue, we study \emph{list replicability} in the Probably Approximately Correct (PAC) RL framework, where an algorithm must return a near-optimal policy that lies in a \emph{small list} of policies across different runs, with high probability. The size of this list defines the \emph{list complexity}. We introduce both weak and strong forms of list replicability: the weak form ensures that the final learned policy belongs to a small list, while the strong form further requires that the entire sequence of executed policies remains constrained. These objectives are challenging, as existing RL algorithms exhibit exponential list complexity due to their instability. Our main theoretical contribution is a provably efficient tabular RL algorithm that guarantees list replicability by ensuring the list complexity remains polynomial in the number of states, actions, and the horizon length. We further extend our techniques to achieve strong list replicability, bounding the number of possible policy execution traces polynomially with high probability. Our theoretical result is made possible by key innovations including (i) a novel planning strategy that selects actions based on lexicographic order among near-optimal choices within a randomly chosen tolerance threshold, and (ii) a mechanism for testing state reachability in stochastic environments while preserving replicability. Finally, we demonstrate that our theoretical investigation sheds light on resolving the \emph{instability} issue of RL algorithms used in practice. In particular, we show that empirically, our new planning strategy can be incorporated into practical RL frameworks to enhance their stability.

List Replicable Reinforcement Learning

TL;DR

The paper tackles instability and replicability in reinforcement learning by introducing list replicability within the PAC-RL framework, distinguishing weak and strong forms. It develops two main theoretical pillars: a black-box reduction yielding weakly k-list replicable policies with polynomial list size, and a strongly k-list replicable online algorithm with polynomial sample and trace complexity. Central to the approach is a robust planning technique that uses a random tolerance to bound policy variability and a reachability-based truncation scheme to preserve replicability, enabling controlled, near-optimal outputs. Empirical results across toy and standard RL benchmarks demonstrate the practical stability benefits of incorporating the robust planner into existing RL frameworks, suggesting a viable path to more reliable RL deployments.

Abstract

Replicability is a fundamental challenge in reinforcement learning (RL), as RL algorithms are empirically observed to be unstable and sensitive to variations in training conditions. To formally address this issue, we study \emph{list replicability} in the Probably Approximately Correct (PAC) RL framework, where an algorithm must return a near-optimal policy that lies in a \emph{small list} of policies across different runs, with high probability. The size of this list defines the \emph{list complexity}. We introduce both weak and strong forms of list replicability: the weak form ensures that the final learned policy belongs to a small list, while the strong form further requires that the entire sequence of executed policies remains constrained. These objectives are challenging, as existing RL algorithms exhibit exponential list complexity due to their instability. Our main theoretical contribution is a provably efficient tabular RL algorithm that guarantees list replicability by ensuring the list complexity remains polynomial in the number of states, actions, and the horizon length. We further extend our techniques to achieve strong list replicability, bounding the number of possible policy execution traces polynomially with high probability. Our theoretical result is made possible by key innovations including (i) a novel planning strategy that selects actions based on lexicographic order among near-optimal choices within a randomly chosen tolerance threshold, and (ii) a mechanism for testing state reachability in stochastic environments while preserving replicability. Finally, we demonstrate that our theoretical investigation sheds light on resolving the \emph{instability} issue of RL algorithms used in practice. In particular, we show that empirically, our new planning strategy can be incorporated into practical RL frameworks to enhance their stability.

Paper Structure

This paper contains 53 sections, 35 theorems, 98 equations, 10 figures, 2 tables, 3 algorithms.

Key Result

Theorem 1.1

Given a RL algorithm $\mathbb{A}(\epsilon_0, \delta_0)$ that interacts with an unknown MDP and returns an $\epsilon_0$-optimal policy with probability at least $1 - \delta_0$. There is a weakly $k$-list replicable algorithm (Algorithm alg:weak) with $k = O(|S|^2|A|H^2)$ that makes $|S|H$ calls to $\

Figures (10)

  • Figure 1: Different threhold
  • Figure 2: Namethisgame ( BTR )
  • Figure 3: Robust planner
  • Figure 4: rtrunc illustration
  • Figure 5: Policy
  • ...and 5 more figures

Theorems & Definitions (75)

  • Theorem 1.1: Informal version of Theorem \ref{['thm:weak']}
  • Theorem 1.2: Informal version of Theorem \ref{['thm:full']}
  • Theorem 1.3: Informal version of Theorem \ref{['thm:hardness']}
  • Lemma 5.1
  • Lemma 5.2
  • Corollary 5.3
  • Theorem 6.1
  • Lemma C.1
  • proof
  • proof : Proof of Lemma \ref{['lemma:actionall']}
  • ...and 65 more