REVIEW 4 major objections 4 minor 32 references
This paper shows that peak-cost constrained MDPs may have a strictly positive duality gap, so Lagrangian or primal-dual methods can miss the safe optimum.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
Peak-cost constrained MDPs can have a nonzero duality gap, and a robust surrogate RL method enforces worst-case peak-cost constraints in perturbed simulations.
T0 review reviewed 2026-08-01 challenge →
load-bearing objection The two-state duality-gap counterexample is correct and genuinely new; the surrogate guarantee's proof is wrong as printed, but the paper is worth refereeing if the proof is repairable. the 4 major comments →
Robust Peak-cost Constrained Reinforcement Learning
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The paper's key discovery is a counterexample: a discounted two-state, two-action MDP with discount factor 0.9 and cost budget 0.4 where the optimal constrained reward is 180/7 ≈ 25.71 but the Lagrangian dual value is 64.8, giving a strictly positive duality gap. The cause is that the peak-cost constraint becomes nonconvex in the state-action occupancy measure. The paper further claims that a surrogate problem, which replaces the hard peak constraint with a max of normalized reward and a soft violation penalty, achieves the same robust reward as the original robust problem and violates the peak constraint by at most epsilon when the penalty parameter satisfies beta ≥ C_max/epsilon.
What carries the argument
The peak-cost value recursion V_c,peak(s,a) = (1−γ)c(s) + γ max{ c(s), E[V_c,peak(s′)] }, which replaces additive accumulation with a trajectory-wise maximum. The surrogate objective max{ max_P J_r/β, max_{P,s} V_c,peak(s) − b }, which turns constraint satisfaction into a soft penalty. The IPM-based robust Bellman operator L^P V = (1−γ)c + γ V + ρ‖w_{2:d}‖₂, which handles transition uncertainty under linear function approximation.
Load-bearing premise
The epsilon-violation guarantee for the surrogate relies on the discounted cumulative reward J_r being bounded by the same constant C_max that bounds per-step costs; if C_max is only a per-step bound, the required beta scales like C_max/((1−γ)ε), and the proof's inequality directions in the appendix must be corrected to justify the claim.
What would settle it
Reproduce the two-state MDP and compute the Lagrangian dual value for several budgets b in (0,0.5); a zero duality gap for any budget other than the one shown would weaken the claim. Separately, run the proposed surrogate with beta set to C_max/ε on a simple bandit-like MDP where the peak-cost constraint is active, and check whether the actual peak violation ever exceeds ε by a nontrivial margin.
If this is right
- If the counterexample is correct, Lagrangian or primal-dual methods applied directly to peak-cost constraints can converge to strictly suboptimal policies even when Slater's condition holds.
- If the surrogate guarantee holds, a single penalty parameter is enough to recover near-optimal robust reward while keeping peak violation within epsilon.
- The IPM-based robust critics provide a tractable way to estimate worst-case peak-cost values under rectangular transition uncertainty.
- The results motivate direct policy-space optimization or surrogate-based methods instead of relying on primal-dual updates for reachability-style safety objectives.
- The epsilon-violation bound supports practical schemes that adjust the penalty beta during training, as long as beta meets the stated threshold.
Where Pith is reading between the lines
- The nonconvexity mechanism behind the two-state gap likely extends to finite-horizon and continuous-state problems, suggesting that any peak-cost constraint needs specialized treatment, not just a Lagrangian patch.
- The surrogate reward bound in Proposition 1 may require scaling beta by 1/(1−γ) if the reward-critic bound is not a discounted-cumulative bound; if so, the beta values used in the experiments could be smaller than the stated guarantee needs.
- The IPM-based peak-cost critic could be adapted to other distributionally robust safety constraints, such as worst-case conditional value at risk or constraints over perturbed state-visitation frequencies, with similar closed-form robust Bellman operators.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies robust reinforcement learning with peak-cost constraints, in which safety is measured by the maximum (or a discounted recursive proxy of the maximum) cost encountered along a trajectory. The authors first claim that, unlike standard CMDPs, a peak-cost constrained MDP can fail to admit zero duality gap even under Slater's condition; Theorem 1 proves this with an explicit two-state discounted MDP. They then formulate a robust counterpart under an IPM-based uncertainty set and propose a surrogate objective (6), for which Proposition 1 claims the surrogate solution has at least the optimal robust reward and violates the peak constraint by at most ε when β ≥ C_max/ε. An actor–critic algorithm with robust TD errors is developed and evaluated on CartPole and MuJoCo environments.
Significance. The duality-gap counterexample, if correctly scoped, is a valuable negative result: it shows that Lagrangian/primal-dual methods cannot be applied to peak-style constraints without additional justification, in contrast to standard CMDPs. The surrogate-optimization direction is a reasonable response, and the paper is honest that convergence analysis is left for future work. The explicit, self-contained computation in Theorem 1 — P*=180/7, D*=64.8, gap=1368/35 — is a reproducible strength. However, the proof of Proposition 1, which is the theoretical basis for Algorithm 1, contains a reversed inequality, an invalid inference in Eq. (24), and an inconsistent reward-sign convention. As printed, the claimed ε-violation and reward-equivalence guarantees do not follow. The experiments are illustrative but heuristic, with no code or detailed ablations. The central theoretical contribution is therefore only partially established.
major comments (4)
- [Appendix A, Proposition 1 proof, Eq. (21)] Since π̂* is a minimizer of the surrogate objective (6), the correct inequality is S(π̂*) ≤ S(π*) for every feasible π*, not the reverse. Equation (21) asserts S(π̂*) ≥ max_P J_r^{π*,P}/β, which is the opposite of minimization. The subsequent inequalities (22)–(23) inherit this wrong direction, and the conclusion that the constraint term alone is at least max_P J_r^{π*}/β does not follow. This is load-bearing: Proposition 1 is the stated theoretical justification for the surrogate approach used by Algorithm 1. The proof must be rewritten with the correct ordering and the consequences re-derived.
- [Appendix A, Eq. (24)] Even after correcting the inequality direction, Eq. (24) is a non sequitur. The boundedness of V_{c,peak} and J_r by C_max does not imply max_{P,s} V_{c,peak} - b ≤ C_max/β; the preceding equation gives a lower bound on the violation, not an upper bound. Moreover, C_max is introduced as a per-step cost bound; a discounted cumulative reward can be as large as C_max/(1−γ), so J_r ≤ C_max is not valid if C_max is per-step. The assumptions and constants in Proposition 1 need to be restated precisely, and the ε-violation claim re-proved.
- [Section II-A vs. Theorem 1 and Proposition 1] The manuscript defines V_r and J_r as discounted negative reward and formulates the objective as min_π J_r. In Theorem 1, however, J_r is treated as the positive discounted reward and is maximized, and Proposition 1 states 'Ĵr ≥ Jπ*r' in a way that is ambiguous under the negative-reward convention. This inconsistency propagates into the surrogate objective (6) and Algorithm 1, where A=(1/|D_t|)Σ V_r/β is compared with a cost violation. Please choose a single convention — e.g., define positive reward-to-go R = −V_r and maximize, or keep negative costs and adjust all inequalities — and restate Proposition 1 with unambiguous inequalities.
- [Theorem 1, formal statement] The formal statement claims that the recursive peak value in Eq. (16) is 'the same' as the peak cost over the trajectory for this MDP. This is not true for γ=0.9. For example, under π_{0.2}, the trajectory almost surely reaches the self-loop action a1 and incurs cost 0.5 at least once, so the literal trajectory maximum is 0.5, while the computed V is 0.4. Thus Theorem 1 as stated is a duality-gap result for the recursive peak-value constraint in Eq. (2)/(16), not for the literal maximum-cost constraint described in Section II-B. The authors should state the theorem specifically for the recursive value, or discuss the γ→1 limit in which the recursive value approaches the peak. This affects the scope of the abstract's claim that 'peak-cost constrained MDPs may not admit zero duality gap.'
minor comments (4)
- [Proposition 1 statement] The desired bound should be written as (max_{P,s} V_{c,peak}^{π,P}(s) − b)_+ ≤ ε, with an explicit positive-part operator. There is also a typo in the condition: 'β≥C_max/ε' appears as 'β≥C max/ϵ' or similar in places.
- [Equation (5)] The notation L_P in Eq. (5) conflicts with the uncertainty set P, and the term ∥w_{c,2:d}∥_2 is not defined in the text. Please clarify how w_{c,2:d} relates to the linear parametrization V_{c,peak}^{π}(s)=Ψ(s)^T w^{π,c}.
- [Algorithms 1 and 2] The selector F = arg max{A,B} does not specify what value is returned (0 or 1), and Algorithm 2's branches 'if F=0' and 'else if F=1' are consequently unclear. The pseudocode also appears to update the reward critic inside the F=1 branch; please reconcile.
- [Throughout] There are several typos and inconsistencies: 'copnsider' (Section IV-A), 'peak-constained' (Section I-A), and inconsistent 'Mujoco'/'MuJoCo' capitalization. Please proofread.
Circularity Check
No circular reduction: duality-gap counterexample is self-contained; the surrogate proposition is adapted from a self-citation but not by construction.
full rationale
The central claim, Theorem 1, is a two-state numerical counterexample. Its proof uses only the Bellman equation, the fixed-point expression for V_{c,peak}, and direct evaluation of the Lagrangian dual; no author-overlapping result or fitted input is used. The surrogate problem (6) is introduced as 'Inspired from [17]' and Proposition 1 is 'adapted from Proposition 1 in [17]', where [17] shares authors with this paper. That is a self-citation, but it is not a definitional circularity: the paper attempts an independent proof in Appendix A rather than merely asserting equivalence, and the surrogate objective is not constructed to be equal to the original problem. The Appendix proof has genuine validity gaps (Eq. (21) uses the wrong inequality for a minimizer; Eq. (24) does not follow from the preceding bounds), but those are correctness defects, not reductions of outputs to inputs. The IPM robust operator is credited to external work [28], and the experiments are RL training comparisons, not fitted predictions. The paper itself notes in the Conclusion that convergence guarantees are 'left for the future,' a stated limitation but not a circularity. Under the rule that self-citation only counts when load-bearing and unverified, this single adaptation is minor and non-load-bearing for the paper's headline result; hence score 2.
Axiom & Free-Parameter Ledger
free parameters (4)
- β (surrogate weight) =
25 in experiments
- ρ_r (IPM reward radius) =
not reported
- ρ_c (IPM peak-cost radius) =
not reported
- warm start episodes =
300
axioms (4)
- standard math The peak-cost Bellman operator in Eq. (1) is a γ-contraction for γ<1, so V_{c,peak} can be computed by fixed-point iteration.
- domain assumption There exists at least one feasible policy from the initial distribution (Slater-type condition).
- domain assumption The IPM uncertainty set combined with linear value-function approximation yields the closed-form robust Bellman update in Eq. (5) and the TD regularizers in Eqs. (7)-(8).
- ad hoc to paper Costs are bounded in [0, C_max] and, implicitly, the reward objective satisfies J^{π,P}_r ≤ C_max.
Cite this review
Pith. "Pith review of Robust Peak-cost Constrained Reinforcement Learning." pith.science (2026). https://pith.science/paper/DY6SHWTI
@misc{pith2026260715457,
author = {Pith},
title = {Pith review of: Robust Peak-cost Constrained Reinforcement Learning},
year = {2026},
howpublished = {\url{https://pith.science/paper/DY6SHWTI}},
note = {Machine review of arXiv:2607.15457}
}
read the original abstract
We study robust peak-cost constrained reinforcement learning (RP-CRL), where the objective is to maximize expected reward while controlling the maximum cost encountered along a trajectory. This setting is motivated by safety-critical applications in which a single large violation can be catastrophic and therefore cannot be adequately captured by the standard CMDP framework based on expected cumulative cost. Existing reachability-constrained RL methods adopt Lagrangian-based approaches, yet the underlying duality properties of peak-cost constrained MDPs remain unclear. We show that, unlike standard CMDPs, peak-cost constrained MDPs may not admit zero duality gap. We further consider a robust formulation to address simulator-to-real-world mismatch in the transition dynamics. To solve this problem, we develop a surrogate optimization framework and a robust value estimation method based on integral probability metrics. We prove that, with appropriate hyperparameter choices, the surrogate solution attains the same robust reward value as the original problem while violating the constraint by at most epsilon. Experiments show that the proposed method effectively enforces safety under dynamics perturbations while retaining strong reward performance.
Figures
Reference graph
Works this paper leans on
-
[1]
Altman,Constrained Markov decision processes
E. Altman,Constrained Markov decision processes. Routledge, 2021
2021
-
[2]
Towards achieving sub-linear regret and hard constraint violation in model-free rl,
A. Ghosh, X. Zhou, and N. Shroff, “Towards achieving sub-linear regret and hard constraint violation in model-free rl,” inInternational Conference on Artificial Intelligence and Statistics. PMLR, 2024, pp. 1054–1062
2024
-
[3]
Achieving sub-linear regret in infinite horizon average reward constrained mdp with linear function approximation,
——, “Achieving sub-linear regret in infinite horizon average reward constrained mdp with linear function approximation,” inThe Eleventh International Conference on Learning Representations, 2023
2023
-
[4]
Reward constrained policy optimization,
C. Tessler, D. J. Mankowitz, and S. Mannor, “Reward constrained policy optimization,” inInternational Conference on Learning Repre- sentations
-
[5]
Reachability constrained rein- forcement learning,
D. Yu, H. Ma, S. Li, and J. Chen, “Reachability constrained rein- forcement learning,” inInternational conference on machine learning. PMLR, 2022, pp. 25 636–25 655
2022
-
[6]
Iterative reachability estimation for safe reinforcement learning,
M. Ganai, Z. Gong, C. Yu, S. Herbert, and S. Gao, “Iterative reachability estimation for safe reinforcement learning,”Advances in Neural Information Processing Systems, vol. 36, pp. 69 764–69 797, 2023
2023
-
[7]
Safe policies for reinforcement learning via primal-dual methods,
S. Paternain, M. Calvo-Fullana, L. F. Chamon, and A. Ribeiro, “Safe policies for reinforcement learning via primal-dual methods,”IEEE Transactions on Automatic Control, vol. 68, no. 3, pp. 1321–1336, 2022
2022
-
[8]
Responsive safety in reinforce- ment learning by pid lagrangian methods,
A. Stooke, J. Achiam, and P. Abbeel, “Responsive safety in reinforce- ment learning by pid lagrangian methods,” inInternational conference on machine learning. PMLR, 2020, pp. 9133–9143
2020
-
[9]
Constrained upper confidence reinforcement learning,
L. Zheng and L. Ratliff, “Constrained upper confidence reinforcement learning,” inLearning for Dynamics and Control. PMLR, 2020, pp. 620–629
2020
-
[10]
Natural policy gradient primal-dual method for constrained markov decision pro- cesses,
D. Ding, K. Zhang, T. Basar, and M. Jovanovic, “Natural policy gradient primal-dual method for constrained markov decision pro- cesses,”Advances in Neural Information Processing Systems, vol. 33, pp. 8378–8390, 2020
2020
-
[11]
Crpo: A new approach for safe reinforcement learning with convergence guarantee,
T. Xu, Y . Liang, and G. Lan, “Crpo: A new approach for safe reinforcement learning with convergence guarantee,” inInternational Conference on Machine Learning. PMLR, 2021, pp. 11 480–11 491
2021
-
[12]
Constrained policy optimization,
J. Achiam, D. Held, A. Tamar, and P. Abbeel, “Constrained policy optimization,” inInternational conference on machine learning. Pmlr, 2017, pp. 22–31
2017
-
[13]
A lyapunov-based approach to safe reinforcement learning,
Y . Chow, O. Nachum, E. Duenez-Guzman, and M. Ghavamzadeh, “A lyapunov-based approach to safe reinforcement learning,”Advances in neural information processing systems, vol. 31, 2018
2018
-
[14]
Robust constrained reinforcement learning,
Y . Wang, F. Miao, and S. Zou, “Robust constrained reinforcement learning,”arXiv preprint arXiv:2209.06866, 2022
Pith/arXiv arXiv 2022
-
[15]
Dis- tributionally robust constrained reinforcement learning under strong duality,
Z. Zhang, K. Panaganti, L. Shi, Y . Sui, A. Wierman, and Y . Yue, “Dis- tributionally robust constrained reinforcement learning under strong duality,”arXiv preprint arXiv:2406.15788, 2024
Pith/arXiv arXiv 2024
-
[16]
Near-optimal policy identification in robust constrained markov decision processes via epigraph form,
T. Kitamura, T. Kozuno, W. Kumagai, K. Hoshino, Y . Hosoe, K. Kasaura, M. Hamaya, P. Parmas, and Y . Matsuo, “Near-optimal policy identification in robust constrained markov decision processes via epigraph form,” inThe Thirteenth International Conference on Learning Representations
-
[17]
Efficient policy optimization in robust constrained mdps with iteration com- plexity guarantees,
S. Ganguly, K. Panaganti, A. Ghosh, and A. Wierman, “Efficient policy optimization in robust constrained mdps with iteration com- plexity guarantees,” inThe Thirty-ninth Annual Conference on Neural Information Processing Systems
-
[18]
Safe learning in robotics: From learning-based control to safe reinforcement learning,
L. Brunke, M. Greeff, A. W. Hall, Z. Yuan, S. Zhou, J. Panerati, and A. P. Schoellig, “Safe learning in robotics: From learning-based control to safe reinforcement learning,”Annual Review of Control, Robotics, and Autonomous Systems, vol. 5, no. 1, pp. 411–444, 2022
2022
-
[19]
Robust control barrier–value functions for safety-critical control,
J. J. Choi, D. Lee, K. Sreenath, C. J. Tomlin, and S. L. Herbert, “Robust control barrier–value functions for safety-critical control,” in 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 2021, pp. 6814–6821
2021
-
[20]
Learning barrier certificates: Towards safe rein- forcement learning with zero training-time violations,
Y . Luo and T. Ma, “Learning barrier certificates: Towards safe rein- forcement learning with zero training-time violations,”Advances in Neural Information Processing Systems, vol. 34, pp. 25 621–25 632, 2021
2021
-
[21]
Joint synthesis of safety certificate and safe control policy using constrained reinforce- ment learning,
H. Ma, C. Liu, S. E. Li, S. Zheng, and J. Chen, “Joint synthesis of safety certificate and safe control policy using constrained reinforce- ment learning,” inLearning for Dynamics and Control Conference. PMLR, 2022, pp. 97–109
2022
-
[22]
Hamilton-jacobi reachability: A brief overview and recent advances,
S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, “Hamilton-jacobi reachability: A brief overview and recent advances,” in2017 IEEE 56th annual conference on decision and control (CDC). IEEE, 2017, pp. 2242–2253
2017
-
[23]
A general safety framework for learning-based control in uncertain robotic systems,
J. F. Fisac, A. K. Akametalu, M. N. Zeilinger, S. Kaynama, J. Gillula, and C. J. Tomlin, “A general safety framework for learning-based control in uncertain robotic systems,”IEEE Transactions on Automatic Control, vol. 64, no. 7, pp. 2737–2752, 2018
2018
-
[24]
Bridging hamilton-jacobi safety analysis and reinforcement learning,
J. F. Fisac, N. F. Lugovoy, V . Rubies-Royo, S. Ghosh, and C. J. Tomlin, “Bridging hamilton-jacobi safety analysis and reinforcement learning,” in2019 International Conference on Robotics and Automation (ICRA). IEEE, 2019, pp. 8550–8556
2019
-
[25]
Solving minimum-cost reach avoid using reinforcement learning,
O. So, C. Ge, and C. Fan, “Solving minimum-cost reach avoid using reinforcement learning,”Advances in Neural Information Processing Systems, vol. 37, pp. 30 951–30 984, 2024
2024
-
[26]
Con- strained reinforcement learning has zero duality gap,
S. Paternain, L. Chamon, M. Calvo-Fullana, and A. Ribeiro, “Con- strained reinforcement learning has zero duality gap,”Advances in Neural Information Processing Systems, vol. 32, 2019
2019
-
[27]
Robust dynamic programming,
G. N. Iyengar, “Robust dynamic programming,”Mathematics of Op- erations Research, vol. 30, no. 2, pp. 257–280, 2005
2005
-
[28]
Natural actor-critic for robust reinforcement learning with function approximation,
R. Zhou, T. Liu, M. Cheng, D. Kalathil, P. Kumar, and C. Tian, “Natural actor-critic for robust reinforcement learning with function approximation,”Advances in neural information processing systems, vol. 36, pp. 97–133, 2023
2023
-
[29]
Integral probability metrics and their generating classes of functions,
A. M ¨uller, “Integral probability metrics and their generating classes of functions,”Advances in applied probability, vol. 29, no. 2, pp. 429– 443, 1997
1997
-
[30]
Proximal policy optimization algorithms,
J. Schulman, F. Wolski, P. Dhariwal, A. Radford, and O. Klimov, “Proximal policy optimization algorithms,”arXiv preprint arXiv:1707.06347, 2017
Pith/arXiv arXiv 2017
-
[31]
G. Brockman, V . Cheung, L. Pettersson, J. Schneider, J. Schul- man, J. Tang, and W. Zaremba, “Openai gym,”arXiv preprint arXiv:1606.01540, 2016. APPENDIX A. Proof of Theorem 1and Proposition 1 Formal Statement of Theorem 1: Consider a discounted MDP with discount factorγ= 0.9, one nonterminal states, and one absorbing terminal state⊥. At states, there ar...
Pith/arXiv arXiv 2016
-
[32]
Since 1−p 2 ≤ 1 2 for allp∈[0,1], this is self-consistent
Then max{ 1 2 , V(p)}= 1 2 , and thus V(p) = (1−p) 0.05 + 0.9· 1 2 = (1−p)· 1 2 = 1−p 2 . Since 1−p 2 ≤ 1 2 for allp∈[0,1], this is self-consistent. Therefore, V πp c (s) = 1−p 2 ,∀p∈[0,1]. We now solve the primal problem max p∈[0,1] Jr(πp)s.t. 1−p 2 ≤0.4. The constraint is equivalent to 1−p≤0.8⇐ ⇒p≥0.2. Moreover, Jr(πp) = 8−4p 0.1+0.9p , and differentiat...
This paper was first reviewed by deepseek-v4-flash on August 1, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.