Table of Contents
Fetching ...

Global Convergence for Average Reward Constrained MDPs with Primal-Dual Actor Critic Algorithm

Yang Xu, Swetha Ganesh, Washim Uddin Mondal, Qinbo Bai, Vaneet Aggarwal

TL;DR

This work addresses infinite-horizon average-reward CMDPs under general policy parameterizations by introducing a Primal-Dual Natural Actor-Critic (PDNAC) algorithm. The method combines a primal-dual update on policy parameters with MLMC-based estimators for the critic and natural policy gradient directions, enabling efficient handling of average-reward objectives and average-cost constraints. The authors prove global convergence with rates matching the MDP lower bound: $ ilde{\mathcal{O}}(1/\sqrt{T})$ when the mixing time $τ_{mix}$ is known, and $ ilde{\mathcal{O}}(1/T^{0.5-\varepsilon})$ without such knowledge at the cost of larger horizon, $T$. These results significantly improve over prior general-parameterization CMDP rates and establish near-optimal performance benchmarks while avoiding explicit mixing-time oracles.

Abstract

This paper investigates infinite-horizon average reward Constrained Markov Decision Processes (CMDPs) with general parametrization. We propose a Primal-Dual Natural Actor-Critic algorithm that adeptly manages constraints while ensuring a high convergence rate. In particular, our algorithm achieves global convergence and constraint violation rates of $\tilde{\mathcal{O}}(1/\sqrt{T})$ over a horizon of length $T$ when the mixing time, $τ_{\mathrm{mix}}$, is known to the learner. In absence of knowledge of $τ_{\mathrm{mix}}$, the achievable rates change to $\tilde{\mathcal{O}}(1/T^{0.5-ε})$ provided that $T \geq \tilde{\mathcal{O}}\left(τ_{\mathrm{mix}}^{2/ε}\right)$. Our results match the theoretical lower bound for Markov Decision Processes and establish a new benchmark in the theoretical exploration of average reward CMDPs.

Global Convergence for Average Reward Constrained MDPs with Primal-Dual Actor Critic Algorithm

TL;DR

This work addresses infinite-horizon average-reward CMDPs under general policy parameterizations by introducing a Primal-Dual Natural Actor-Critic (PDNAC) algorithm. The method combines a primal-dual update on policy parameters with MLMC-based estimators for the critic and natural policy gradient directions, enabling efficient handling of average-reward objectives and average-cost constraints. The authors prove global convergence with rates matching the MDP lower bound: when the mixing time is known, and without such knowledge at the cost of larger horizon, . These results significantly improve over prior general-parameterization CMDP rates and establish near-optimal performance benchmarks while avoiding explicit mixing-time oracles.

Abstract

This paper investigates infinite-horizon average reward Constrained Markov Decision Processes (CMDPs) with general parametrization. We propose a Primal-Dual Natural Actor-Critic algorithm that adeptly manages constraints while ensuring a high convergence rate. In particular, our algorithm achieves global convergence and constraint violation rates of over a horizon of length when the mixing time, , is known to the learner. In absence of knowledge of , the achievable rates change to provided that . Our results match the theoretical lower bound for Markov Decision Processes and establish a new benchmark in the theoretical exploration of average reward CMDPs.

Paper Structure

This paper contains 20 sections, 18 theorems, 125 equations, 1 figure, 1 table, 1 algorithm.

Key Result

Lemma 4.6

If the policy parameters, $\{(\theta_k, \lambda_k)\}_{k=1}^K$ are updated via eq:update and assumptions assump:function_approx_error-assump:FND_policy hold, then the following inequality is satisfied where $KL(\cdot \|\cdot)$ is the Kullback-Leibler divergence, $\pi^*$ is the optimal policy for eq:unparametrized_formulation and $\omega^*_k \coloneqq \omega^*_{\theta_k,\lambda_k}$ is the exact NPG

Figures (1)

  • Figure : Primal-Dual Natural Actor-Critic (PDNAC)

Theorems & Definitions (27)

  • Definition 2.3
  • Lemma 4.6
  • Theorem 4.7
  • Theorem 4.8
  • Theorem 4.9
  • Theorem 4.10
  • Theorem B.1
  • proof
  • Lemma B.2
  • Lemma B.3: Lemma 1, beznosikov2023first
  • ...and 17 more