cs.LGOct 25, 2026

Minimax Regret for Sobolev Kernel-Based Reinforcement Learning

Authors: Haichen Hu, David Simchi-Levi

Organizations: Center for Computational Science and Engineering, MIT · Department of Civil and Environmental Engineering, MIT · Institute for Data, Systems, and Society, MIT

Abstract

We study the minimax regret rate for episodic kernel-based reinforcement learning, where the expected reward and transition density belong to a Sobolev reproducing kernel Hilbert space, with continuous state and action spaces, and adversarial initial states. For Sobolev smoothness parameter ν>0ν>0, state dimension dSd_S, and action dimension dAd_A, we prove that the minimax expected regret over TT episodes is Θ~(Tmax⁡{eA,eB})\widetildeΘ(T^{\max\{e_A,e_B\}}), where eA=ν+dA2ν+dAe_A=\frac{ν+d_A}{2ν+d_A}, eB=ν+dA+3dS/22ν+dA+2dSe_B=\frac{ν+d_A+3d_S/2}{2ν+d_A+2d_S} with the other model parameters fixed. The two exponents reflect the distinct difficulties of action selection and learning across states. We introduce Sobolev Optimal Value Iteration (SOVI), which attains this rate from observed rewards and transitions. For fixed smoothness and reference-kernel lengthscale, its regret bound has a prefactor polynomial in the state-action dimension d=dS+dAd=d_S+d_A, horizon HH, transition and reward RKHS norm bounds u,Bru,B_r, and kernel norm-comparison factor ΛΛ, up to logarithmic factors. The algorithm separates initial action selection from continuation-value estimation and combines local polynomial approximation with the shared RKHS structure of the approximation errors. Our matching upper and lower bounds determine the optimal dependence on the number of episodes for Sobolev kernel-based reinforcement learning. Thus, we partially address the open problem in Vakili(2024) under the condition of the Sobolev kernel setup.

Explore similar work

May 8, 2026

Improved Model-based Reinforcement Learning with Smooth Kernels

For continuous state-action space scenarios, classical reinforcement learning (RL) theory predominantly focuses on low-rank Markov decision processes (MDPs), which provide sample-efficient guarantees at the expense of restrictive structural assumptions. Kernel smoothing model-based approaches offer a promising alternative paradigm that instead leverages the smoothness of the MDP and employs non-parametric kernel smoothing estimates of transition dynamics. This paper proposes a new kernel-smoothing model-based approach for online reinforcement learning in finite-horizon settings under Lipschitz continuity assumptions on the MDP. By incorporating a Bernstein-style exploration bonus into the kernel smoothing framework, our method achieves a regret bound which improves upon the state-of-the-art regret bound in its dependence on the horizon. The theoretical advancement relies on a delicate analysis of the synergy between Bernstein-style bonuses and kernel smoothing, where a new tight Bernstein-type concentration inequality for martingales may be of independent interest.
Oct 8, 2026

A General Ω~(TγT)\widetildeΩ(\sqrt{T γ_T}) Lower Bound for Kernel Bandits

The kernel bandit problem consists of sequentially optimizing an unknown function with noisy feedback, where the function has bounded norm in a given Reproducing Kernel Hilbert Space (RKHS). A central quantity in the regret analysis of kernel bandits is the maximum information gain γTγ_T. In particular, the best existing upper bounds scale as TγT\sqrt{Tγ_T} up to log factors, and nearly-matching lower bounds have been derived for specific kernels such as squared exponential and Matérn. However, lower bounds for general kernels are lacking, thus making it unclear in what generality the upper bounds are near-optimal. In this paper, we establish a general Ω(TγT/log⁡T)Ω(\sqrt{Tγ_T/\log T}) minimax regret lower bound for non-constant continuous kernels on compact domains, establishing near-optimality (within log factors) in a very general sense. We show that the log factor appearing in this bound is unavoidable in general, but that it can be removed under certain conditions. Among other things, our findings imply that the minimax-optimal scaling is exactly Θ(TγT)Θ(\sqrt{Tγ_T}) (i.e., within constant factors) for the Matérn-νν kernel with ν∈(0,2)ν\in (0,2), γγ-exponential kernel with γ∈(0,2)γ\in (0,2), and certain piecewise-polynomial kernels.
May 26, 2026

Near-Optimal Regret in Adversarial Kernel Bandits

We study the adversarial kernel bandit problem, in which the loss at each round is induced by an arbitrary bounded element of a reproducing kernel Hilbert space (RKHS). We propose an exponential-weights algorithm built on a regularized importance-weighted loss estimator, together with an explicit correction term that cancels the bias introduced by the regularization. Our main result bounds the regret by O~(T d∗(λ) log⁡∣X∣)\widetilde{O}\big(\sqrt{T\, d_*(λ)\,\log|{X}|}\big), where d∗(λ)d_*(λ) is a widely-adopted notion of effective dimension that captures the complexity of the kernel. Up to logarithmic factors, this matches the known rate achieved in the related stochastic kernel bandit problem. A notable application is the Matérn(ν,d)(ν,d) kernel with smoothness parameter νν on Rd\mathbb{R}^d, for which our bound specializes to O~(T(ν+d)/(2ν+d))\widetilde{O}\big(T^{(ν+d)/(2ν+d)}\big), improving over the best-known prior rate of Chatterji et al. [2019] while simultaneously removing the rank-one adversary assumption required by their analysis. Moreover, this rate is the same as the known optimal rate for stochastic kernel bandits, and also matches a lower bound from concurrent work up to a log⁡T\log T factor.