The average-reward setting for reinforcement learning is challenging because its Bellman operator is known to contract in span only when the underlying Markov chain is mixing. Whereas existing work typically assumes a contraction property, e.g., through environment mixing, we consider the setting where we are given a reward-agnostic m-step mixing policy, and we control the contraction and exploration properties of the learned policy by regularizing toward the mixing policy. We provide finite-time analysis of Q-learning algorithms that can be instantiated with multiple choices of regularization, with guarantees measured with respect to the regularized fixed point. Our framework exposes novel regularizer-dependent objects that control contraction, exploration, and operator bias. In the one-step setting, our rates match the best known rates for Q-iteration and synchronous Q-learning, and for m-step mixing we derive new rates. We also study Q-planning variants, and show that planning acts as time-localized learning, where the planning horizon H trades off the bias from the boundary value against the sample complexity. Finally, we present numerical studies validating the analysis: (i) knowledge of a strong mixing policy improves convergence and exploration, and its advantage increases with bottleneck severity and, (ii) our theory predicts the convergence and bias rankings of regularizers from the α-divergence family.
Figures & tables
general α
reverse KL
forward KL
Hellinger
χ2
α=1
α=0
α=21
α=2
Ωα,s(π)
Dα(π∥μs)
KL(π∥μs)
KL(μs∥π)
2∥π−μs∥22
21χ2(π∥μs)
strong convexity
μmin(1−α)+ if α≤2
1
μmin
μmin
1
πΩ,Q(a∣s)/μa
[1+τ(α−1)(Qa−ζs)]+α−11
∑bμbeQb/τeQa/τ
(1+τζs−Qa)−1
(1+2τζs−Qa)−2
[1+τQa−ζs]+
γΩ(R)≥
exp2−α(−R/τ)
e−R/τ
τ+Rτ
(1+2τR)−2
[1−τR]+
ΛΩ(R)≤
τα(α−1)μmin1−α−1 if α>0
τlogμmin1
τ(1+log+τR)
4τ(1−μmin)
2τ(μmin1−1)
Table 1: The α -divergence regularizers
Figure 1: Empirical results on the Two-Rooms MDP. Biasing the reference policy μ towards the bottleneck improves both convergence (b) and exploration (c).
Figure 2: Comparison of regularizers from the α -divergence family on the RiverSwim MDP. As predicted by the theory, convergence slows as α increases at equal bias level.
Table 2: Sample complexity of average-reward methods, in sampled transitions and up to logarithmic factors; for Q -iteration we count evaluations of p(s′∣s,a) . Let tmix be the mixing time, K the worst expected hitting time of a reference state, and θ<1 a span-contraction factor. Whereas other methods target Q∗ , we target the regularized fixed point QΩ∗ .
Appendix figures & tables3 assets
Supplementary material from the paper’s appendix.
Appendix
MDP and kernels
S , A , p , r
finite state and action sets, transition kernel, deterministic reward
Pπ(⋅∣s0=s) , Eπ[⋅∣s0=s]
law and expectation of the chain started at s , with at∼π(⋅∣st) and st+1∼p(⋅∣st,at)
P
rectangular kernel (s,a)↦p(⋅∣s,a) , from S×A to S
Pπ
state kernel Pπ(s′∣s)=∑aπ(a∣s)p(s′∣s,a) , acting on RS
Kπ
state-action kernel Kπ(s′,a′∣s,a)=p(s′∣s,a)π(a′∣s′) , acting on RS×A
Kπ1:πm , Kμm
m -step state-action kernels, ( G.2 ); Kμm(s′∣s,a) is the state marginal
Appendix
Table 3: Notation used across sections.
Figure 3: Bias ∥QΩ∗−Q∗∥sp on Two Rooms against μ(DOOR) , exact. Dotted line: uniform μ .
Figure 4: The objects of Definition 2 for the α -divergences to a uniform μ over two actions, and the resulting bias. (a) Domination profile γΩ and (b) regularization modulus ΛΩ/τ , both functions of R/τ only. (c) The pair (ΛΩ/τ,γΩ) as R/τ grows.
Reinforcement learning studies how agents learn sequential decisions from rewards and interaction, balancing exploration, performance, safety, and adaptation.
We study the finite-sample convergence of Q-learning algorithms for the average-reward formulation of Reinforcement Learning (RL) with options. While options allow temporarily extended and hierarchical actions, the average-reward formulation incorporates continual tasks beyond discounted and episodic RL. We establish the first O~(1/iterations) convergence guarantees, in the mean-square sense, for average-reward option Q-learning algorithms in both the inter- and intra-option settings. First, we prove that both inter- and intra-option Bellman operators satisfy multi-step span contractions under unichain assumptions. Then, we propose synchronous estimators of these multi-step option Bellman operators leading to two variants of option Q-learning. Finally, we extend the stochastic approximation framework to prove convergence rates of these two algorithms under the minimal assumptions used in the literature.
Kintan Saha, Ahana Deb, Anders Jonsson +1
Indian Institute of Science · Universitat Pompeu Fabra · Univ. Lille, Inria, CNRS- CRIStAL, Centrale Lille
We present the first regret bound for classical online Q-learning in infinite-horizon discounted Markov decision processes (MDPs), without relying on optimism or bonus terms. We first analyze Boltzmann Q-learning with decaying temperature and show that its regret depends critically on the suboptimality gap of the MDP: for sufficiently large gaps, the regret is sublinear, while for small gaps it deteriorates and can approach linear growth. To address this limitation, we study a Smoothed εn-Greedy exploration scheme that combines εn-greedy and Boltzmann exploration, for which we prove a gap-robust regret bound of near-O~(N9/10). We also obtain sample complexity guarantees, with both regret and sample complexity bounds holding with high probability. To analyze these algorithms, we develop a high-probability concentration bound for contractive Markovian stochastic approximation with iterate- and time-dependent transition dynamics. This bound may be of independent interest as the contraction factor in our framework is allowed to converge to one asymptotically.
Rahul Singh, Siddharth Chandak, Eric Moulines +2
MBZUAI, UAE · Stanford University, USA · EPITA, France +1
We study model-free methods for distributionally robust infinite-horizon average-reward Markov decision processes (MDPs). We present non-asymptotic convergence analyses of Q-learning and actor-critic algorithms for robust average-reward MDPs under contamination, total-variation distance, and Wasserstein uncertainty sets. A key ingredient of our analysis is showing that the optimal robust Bellman operator is a strict contraction with respect to a carefully designed semi-norm. This property enables a stochastic approximation update that learns the optimal robust Q-function with O~(ε−2) dependence on the target accuracy. We also establish robust TD convergence bounds whose constants are uniform over all stationary policies, yielding an efficient data-driven routine for robust critic estimation. Building on this, we introduce an actor-critic algorithm that learns an ε-optimal robust policy with O~(ε−2) dependence on the target accuracy. We provide numerical simulations to illustrate the qualitative behavior of the proposed algorithms. Our results contribute to the theoretical foundations of robust planning under model misspecification and to model-free approaches for building robust long-run policies directly from simulation data.
Yang Xu, Swetha Ganesh, Vaneet Aggarwal
Purdue University, West Lafayette, Indiana, USA 47907