Primal-Dual Representation Learning for Low-Rank Constrained MDPs
Organizations: College of Computer Science and Technology, Zhejiang University
Abstract
Representation learning has substantially improved the efficiency of unconstrained continuous-state Markov Decision Processes (MDPs), but its extension to Constrained MDPs (CMDPs) is difficult because the transition representation must be learned while constraint violation is controlled. In this paper, we study representation learning for low-rank CMDPs with continuous state spaces, and propose REP-PD-TEG for the soft cumulative-violation setting. In the feature learning period, the algorithm interacts with the environment using a decaying--greedy mixture execution policy, and uses the collected samples to learn transition features by maximum likelihood. Based on the learned features, it constructs uncertainty bonuses and plans with an optimistic Lagrangian objective to obtain the return policy. We prove regret and soft-violation guarantees for the return policies, and quantify the influence of the decaying--greedy exploration. In particular, REP-PD-TEG achieves the optimal return policy bound, and gives a overall sample bound when exploratory actions are charged. For the stricter hard cumulative violation, where feasibility must be verified episode by episode, we propose REP-PD-H-TEG. It plans under a bonus-corrected lower-confidence utility certificate with the learned representation, and performs a stabilized dual search to obtain the return policy, yielding regret and hard-violation bounds. Together, these results give the first theoretically guaranteed representation-learning method for low-rank continuous-state CMDPs with both soft cumulative guarantees and certified hard-violation control.
Figures & tables
| MDP | Method | Known Feature | Regret | Violation |
| Tabular | Efroni et al. [16] | Yes | ||
| Liu et al. [27] | Yes | 0 | ||
| Linear | Ding et al. [13] | Yes | ||
| Ghosh et al. [17] | Yes | |||
| MDP | Method | Known Feature | Known Safe Action Set | Regret | Violation |
| Tabular | Efroni et al. [16] | Yes | Yes | ||
| Bura et al. [9] | Yes | Yes | 0 | ||
| Linear | Amani et al. [5] | Yes | Yes | 0 | |
| Kitamura et al. [25] | Yes | Yes | 0 | ||
Appendix figures & tables4 assets
Supplementary material from the paper’s appendix.
Appendix
| Environment | Raw Ret. | Raw Cost | REP-PD-NN Ret. | REP-PD-NN Cost |
|---|---|---|---|---|
| PointGoal1 | ||||
| PointPush1 | ||||
| PointPush2 |
| Experiment | Worker | Steps | Runs | Time/run | Total compute |
|---|---|---|---|---|---|
| Job scheduling | CPU ( GB RAM) | – | 1 | min | CPU-hour |
| Safety Gym PointGoal1 | 1 RTX 4090 (24GB) | 6 | 8–20 h | 48–120 GPU-hours | |
| Safety Gym PointPush1 | 1 RTX 4090 (24GB) | 6 | 8–20 h | 48–120 GPU-hours | |
| Safety Gym PointPush2 | 1 RTX 4090 (24GB) | 6 | 8–20 h | 48–120 GPU-hours |
Markov Decision Processes
Markov decision processes model sequential choices under uncertainty, linking actions, state transitions, and rewards to planning and reinforcement learning.
See all 157 papers