Mixing Makes Markovian Contexts Cheap for Linear Bandits
Organizations: University of California, Los Angeles · Meta, Superintelligence Lab
Abstract
Recent work shows that when contexts are drawn i.i.d., linear contextual bandits can be reduced to single-context linear bandits. This ``contexts are cheap'' perspective is highly advantageous, as it allows for sharper finite-time analyses and leverages mature techniques from the linear bandit literature, such as those for misspecification and adversarial corruption. However, this reduction crucially relies on the independence of contexts and does not extend to settings with temporally correlated (e.g., Markovian) contexts, which arise frequently in practice. Motivated by applications with temporally correlated availability, we extend this perspective to linear bandits with Markovian context processes, where the action set evolves via an exogenous Markov chain. Our main contribution is a reduction that applies under uniform geometric ergodicity. We construct a stationary surrogate action set to solve the problem using a standard linear bandit oracle, employing a delayed-update scheme to control the bias induced by the nonstationary conditional context distributions. We further provide a phased algorithm for unknown stationary distributions that learns the surrogate mapping online. In both settings, we obtain a high-probability worst-case regret bound matching that of the underlying linear bandit oracle in sufficiently fast mixing regimes. We then validate our results on a real-world instance, where we show practical gains over a LinUCB baseline.
Figures & tables
Appendix figures & tables7 assets
Supplementary material from the paper’s appendix.
Appendix
| Known best bound | Our Markovian reduction | |||
|---|---|---|---|---|
| Variant | Bound | Type | Bound | Type |
| Base | [ Abbasi-Yadkori et al., 2011 ] | w.h.p. | w.h.p. | |
| Misspecified | [ Foster et al., 2020 ] | exp. | w.h.p. | |
| Adv. corrupt. | [ Wei et al., 2022 ] | w.h.p. | w.h.p. | |
| Object | Symbol | Definition | Value |
| Nodes | sensing nodes | ||
| Actions | selected subset size | ||
| Utility | distance scale in | ||
| weights on sorted selected-node distances | |||
| Context | features per node |
| Tower | Input | Hidden widths | Nonlinear layers | Output |
|---|---|---|---|---|
| Context tower | LayerNorm after the first hidden layer; ReLU after both hidden layers | |||
| Action tower | LayerNorm after the first hidden layer; ReLU after both hidden layers |
| Object | Symbol | Construction | Value |
| Replay | original real-data contexts | ||
| replay horizon | |||
| effective time step between replayed contexts | sec. | ||
| State proxy | PCA dimension before clustering | ||
| number of -means clusters after PCA | |||
| Mixing proxy | fitted prefactor in ( 1 ) |
| Object | Symbol | Role | Value |
| Instance | number of available actions per context | ||
| finite bank size of surrogate directions | |||
| Delay | delayed-feedback setting | ||
| no-delay ablation | |||
| Algorithm 2 | epoch growth factor | ||
| LinUCB | regularization, used by baseline and reduced subroutines |