🤖 AI Summary
This work investigates low-regret learning in stochastic Lipschitz bandits under dual constraints: limited memory, quantified by state width \(W\), and batch commitment depth, capped at \(B\) sequential batches. We demonstrate that state width and update depth are not interchangeable and, for the first time, characterize the minimax regret frontier featuring a novel penalty term reflecting these constraints. By integrating information-routing limitations, entropy-based bounds, and a streaming analysis framework with piecewise validation, we devise a matching strategy that preserves a safety-aware active-set mask. Under the condition \(W \gtrsim_d \log(eT)\), our approach achieves a minimax expected pseudo-regret bound tight up to logarithmic factors, thereby unifying special cases such as full-sequence and purely batched settings.
📝 Abstract
Adaptive learning needs both a state that preserves what observations imply and opportunities to act on that state. We study this width--depth tradeoff in stochastic Lipschitz bandits. After each pull, the learner retains at most $W$ bits of live reward-dependent state and organizes its pulls into at most $B$ committed batches. For $W\gtrsim_d\log(eT)$, we characterize minimax expected pseudo-regret up to logarithmic factors; the lower bounds hold for every $W$. Besides the classical sequential and unrestricted-memory batch costs, the frontier contains the new penalty \[
T^{\frac{d+2}{d+3}}
\bigl(1+(B-1)W\bigr)^{-\frac1{d(d+3)}}, \] proving that state width and update depth are not interchangeable. The interaction is an information-routing constraint: at regional scale $s$, low regret forces the committed action transcript to encode $Θ_d(s^{-d})$ regional decisions, while the collected boundary states carry at most $(B-1)W$ bits of entropy. Matching policies stream and erase verification statistics while retaining a mask of a safe active set, either in memory or fragment by fragment. The theorem recovers the full-dimensional worst-case batch-only frontier and logarithmic-memory achievability in the fully sequential specialization; static batch boundaries match predictable adaptive ones.