cs.LGMar 14, 2026

Few Batches or Little Memory, But Not Both: Simultaneous Space and Adaptivity Constraints in Stochastic Bandits

Authors: Ruiyuan Huang, Zicheng Lyu, Xiaoyi Zhu, Zengfeng Huang

Organizations: School of Data Science, Fudan University · School of Data Science, Fudan University Shanghai Innovation Institute

Abstract

We study stochastic multi-armed bandits under simultaneous constraints on space and adaptivity: the learner interacts with the environment in BB batches and has only WW bits of persistent memory. Prior work shows that each constraint alone is surprisingly mild: near-minimax regret O~(KT)\widetilde{O}(\sqrt{KT}) is achievable with O(log⁡T)O(\log T) bits of memory under fully adaptive interaction, and with a KK-independent O(log⁡log⁡T)O(\log\log T)-type number of batches when memory is unrestricted. We show that this picture breaks down in the simultaneously constrained regime. We prove that any algorithm with a WW-bit memory constraint must use at least Ω(K/W)Ω(K/W) batches to achieve near-minimax regret O~(KT)\widetilde{O}(\sqrt{KT}), even under adaptive grids. In particular, logarithmic memory rules out O(K1−ε)O(K^{1-\varepsilon}) batch complexity. Our proof is based on an information bottleneck. We show that near-minimax regret forces the learner to acquire Ω(K)Ω(K) bits of information about the hidden set of good arms under a suitable hard prior, whereas an algorithm with BB batches and WW bits of memory allows only O(BW)O(BW) bits of information. A key ingredient is a localized change-of-measure lemma that yields probability-level arm exploration guarantees, which is of independent interest. We also give an algorithm that, for any bit budget WW with Ω(log⁡T)≤W≤O(Klog⁡T)Ω(\log T) \le W \le O(K\log T), uses at most WW bits of memory and O~(K/W)\widetilde{O}(K/W) batches while achieving regret O~(KT)\widetilde{O}(\sqrt{KT}), nearly matching our lower bound up to polylogarithmic factors.

Explore similar work

Aug 8, 2026

Memory--Batch Tradeoffs in Lipschitz Bandits

Lipschitz bandits admit near-optimal regret O~d(T(d+1)/(d+2))\widetilde O_d(T^{(d+1)/(d+2)}) with little memory under full adaptivity, or with few batches under unrestricted memory. We characterize the minimax expected pseudo-regret over TT rounds with WW bits of memory and at most BB batches in dimension dd. For every memory budget WW, we prove a lower bound of order Td+2d+3(1+(B−1)W)−1d(d+3)T^{\frac{d+2}{d+3}} (1+(B-1)W)^{-\frac{1}{d(d+3)}}. When W≳dlog⁡(eT)W\gtrsim_d\log(eT), algorithms with fixed batch boundaries attain, up to logarithmic factors, the larger of this bound and the optimal BB-batch regret with unrestricted memory. The analysis separates fine-scale comparisons from the regional information needed to allocate their samples at low regret. Attaining O~d(T(d+1)/(d+2))\widetilde O_d(T^{(d+1)/(d+2)}) regret requires both B=Ωd(log⁡log⁡T)B=Ω_d(\log\log T) and (B−1)W=Ω~d(Td/(d+2))(B-1)W=\widetildeΩ_d(T^{d/(d+2)}). With one bit of memory, minimax regret is Θ~d(TB−1/(d+2))\widetildeΘ_d(TB^{-1/(d+2)}) under adaptive batch boundaries while Θd(T)Θ_d(T) under fixed boundaries.
May 29, 2026

Batched Stochastic Linear Bandits with 1-Bit Communication Constraints

We study stochastic linear bandits under a natural combination of batching and communication constraints: the time horizon is partitioned into batches of equal size BB, and during each batch the learner sends BB requested arm pulls to an agent, who then observes the corresponding BB rewards and responds with a single bit of feedback to the learner. For each batch, the learner specifies the 1-bit quantization rule the agent uses, which may depend on all previously received bits but not on any past rewards directly. This setting addresses a significant yet unexplored ``middle ground'' between previous models having per-round quantization only or total bit budgets only. We establish a minimax lower bound showing that Ω(Bmin⁡{d,log⁡∣A∣})Ω(B\min\{d,\log\lvert \mathcal{A} \rvert\}) regret is unavoidable due to the 1-bit communication bottleneck, even in the absence of noise. Combined with standard statistical limits, this yields a general lower bound of Ω~(Bmin⁡{d,log⁡∣A∣}+dTmin⁡{d,log⁡∣A∣})\widetildeΩ(B\min\{d,\log\lvert \mathcal{A} \rvert\} + \sqrt{dT \min\{d,\log\lvert \mathcal{A} \rvert\}}). We develop two phased-elimination algorithms based on GG-optimal designs and 1-bit mean estimation. The first achieves O~(dB+dT)\widetilde{O}(dB + d\sqrt{T}) regret, matching the lower bound up to logarithmic factors when ∣A∣=exp⁡(Ω(d))\lvert \mathcal{A} \rvert = \exp(Ω(d)), and the second incorporates a safe-arm identification and warm-start procedure to obtain O~(Blog⁡∣A∣+d3/2B+dTlog⁡∣A∣)\widetilde{O}(B\log\lvert \mathcal{A} \rvert + d^{3/2}\sqrt{B} + \sqrt{dT\log\lvert \mathcal{A} \rvert}) regret, which is near-optimal in broad scaling regimes of (∣A∣,B,d,T)(\lvert \mathcal{A} \rvert, B, d, T). Together, our results demonstrate that a single bit of feedback per batch suffices to nearly match the minimax regret of unconstrained linear bandits in broad scaling regimes, even for batch sizes as large as Θ(T)Θ(\sqrt{T}).
Sep 29, 2026

Bandits with Multiple Optimal Arms: Minimax Regret and Non-Adaptivity

We study multi-armed bandits (MAB) with multiple optimal arms, motivated by the fact that many practical decision making problems admit multiple correct answers. For KK-armed bandits with AA optimal arms, we first provide a sharper analysis of previous sub-sampling algorithms (De Heide et al., 2021; Zhu and Nowak, 2020), establishing a O~(K−AKAT)\tilde{O}\Big(\frac{K-A}{\sqrt{KA}}\sqrt{T} \Big) minimax regret, where TT is the total number of interactions and O~(⋅)\tilde O(\cdot) drops all constant and logarithmic factors, improving the previous O~(KT/A)\tilde{O}(\sqrt{KT/A}) regret. We then provide a matching lower bound up to logarithmic factors, indicating that our established rate is nearly minimax-optimal. We further show that the knowledge of AA up to O~(1)\tilde{O}(1) factors is necessary to achieve near-optimal regret, as near-optimal algorithms for one number of optimal arms must incur substantially larger regret than optimal regret for a smaller number. Overall, our results provide a comprehensive minimax characterization of KK-armed bandits with AA over the entire range of 1≤A≤K−11 \leq A \leq K-1.