---
title: Bandit Mirror Descent Overview
url: https://www.emergentmind.com/topics/bandit-mirror-descent
type: topic
---

# Bandit Mirror Descent Overview

Bandit mirror descent is the application of mirror descent to online learning with partial, bandit, or zeroth-order feedback, where the learner updates a decision distribution or point using an estimated loss or gradient and a Bregman divergence rather than a Euclidean metric. In the literature it appears as online stochastic mirror descent for adversarial finite-armed bandits, as two-point or multi-point bandit mirror descent for bandit convex optimization and games, and as a modular wrapper for delayed, distributed, and inference-aware settings. Taken together, these works suggest that bandit mirror descent is best understood as a geometry-sensitive framework for partial-information online optimization rather than a single canonical algorithm [2009.12228, 2301.10500, 2508.04654].

## 1. Foundations and geometric interpretation

Mirror descent is specified by a strictly convex potential and its associated Bregman divergence. A standard form is
\[
\theta_{t+1} = \arg\min_{\theta \in \Theta} \left\{ \langle \theta, \nabla f_t(\theta_t) \rangle + \frac{1}{\alpha_t} D_G(\theta, \theta_t) \right\},
\]
with
\[
D_G(\theta, \theta') = G(\theta) - G(\theta') - \langle \nabla G(\theta'), \theta - \theta' \rangle.
\]
Raskutti and Mukherjee prove that mirror descent induced by Bregman divergences is equivalent to natural gradient descent on the dual Riemannian manifold induced by the convex conjugate, and conclude that mirror descent is the steepest descent direction on that dual manifold [1310.7780].

This geometric viewpoint matters directly in bandit settings because the mirror map determines both feasible exploration and the scale of stability terms in the regret analysis. The literature uses negative entropy for simplex-based bandits, Tsallis entropy for adversarial finite-armed bandits, log-barrier regularization when strict positivity and stability are required, Euclidean geometry in standard convex domains, entropy on the simplex, and \(\|x\|_p^2/2\) on the cross-polytope [1905.11817, 2603.10184, 2508.04654]. A common simplification is to identify bandit mirror descent with EXP3 alone; the literature does not support that identification, since EXP3 is only one stochastic mirror descent instance within a broader class [2603.10184].

## 2. Partial-information updates and estimator design

The canonical bandit mirror descent pattern replaces the true gradient or loss vector by an estimator constructed from the observed feedback. In the adversarial bandit setting, one form of the update is
\[
Q_{t+1} = \operatorname*{argmin}_{q \in \mathcal{A}} \left\{ \langle q, \hat\ell_t \rangle + \frac{1}{\eta} D(q, Q_t) \right\},
\]
where \(\hat\ell_t\) is an importance-weighted estimate derived from the played action and observed signal. The 2020 analysis of “exploration by optimisation” emphasizes that, to attain optimal rates, the exploration distribution and the loss estimator must be tightly coupled and are chosen by solving a convex optimization problem at each step [2009.12228].

For finite-armed bandits, importance weighting is the basic mechanism. In delayed multi-armed bandits, for example, the estimator may take the familiar form
\[
\widehat{l}_{t,a} = \frac{\mathbb{I}[A_t=a]\,l_{t,a}}{x_{t,a}},
\]
after which the mirror update is applied when feedback becomes available rather than necessarily when the action is played [2301.10500]. In the Tsallis-entropy analysis of adversarial \(k\)-armed bandits, shifted estimators are used to reduce variance, and the worst-case variance is reported to decrease by a factor of \(4\) [1905.11817].

In bandit convex optimization and distributed zeroth-order optimization, the estimator is built from function values rather than arm-wise losses. For two-point bandit feedback in distributed composite optimization, the estimator is
\[
g_{i,t} = \frac{d}{2\delta}\left( \ell_{i,t}(x_{i,t} + \delta u_{i,t}) - \ell_{i,t}(x_{i,t} - \delta u_{i,t}) \right)u_{i,t},
\]
which is unbiased for the gradient of a smoothed version of the loss [2004.00837]. In non-stationary bandit convex optimization, the proposed algorithm samples \(s_t \sim \mathrm{Unif}(\partial \mathbb{B}_1^d)\), queries \(x_t^\pm = x_t \pm \mu s_t\), and uses
\[
g_t = \frac{d}{2\mu}\,[f_t(x_t^+) - f_t(x_t^-)] \cdot \operatorname{sign}(s_t),
\]
with the stated advantage that the variance depends only logarithmically on the dimension when using the \(\ell_1\)-sphere [2508.04654].

Game-theoretic variants use multi-point pseudo-gradient estimates. In merely coherent games, each player performs an optimistic mirror descent update and then forms a centered multi-point estimator
\[
G_k^i = \frac{n^i}{\delta_k T_k}\sum_{t=1}^{T_k}\big(J^i(\hat X_{k+1/2,t}) - J^i(\hat X_{k+1/2,0})\big)u_{k,t}^i,
\]
whose bias is \(O(\delta_k)\) and variance is \(O(1/T_k)\) [2303.16430].

## 3. Regret analysis, stability, and the information ratio

A central development in the modern theory is the formal connection between mirror-descent stability terms and information-theoretic information-ratio arguments. One form of the online stochastic mirror descent regret bound is
\[
R_n \leq \frac{\mathrm{diam}_F(\mathcal{A})}{\eta} + \frac{\eta}{2}\,\mathbb{E}\!\left[\sum_{t=1}^n \mathrm{stab}_t(X_t;\eta)\right],
\]
which yields
\[
R_n \leq \sqrt{2\,\mathrm{diam}_F(\mathcal{A})\,\mathrm{stab}(\mathcal{A})\,n}
\]
after optimizing the learning rate [1905.11817]. The corresponding 2020 paper shows that bounds on the information ratio imply bounds on the mirror-descent stability term, thereby translating Bayesian-information arguments into explicit adversarial algorithms [2009.12228].

This connection produces sharp finite-armed guarantees. With a suitable Tsallis entropy mirror map and a shifted loss estimator, OSMD achieves
\[
R_n \leq \sqrt{2kn} + O(k)
\]
for \(k\)-armed adversarial bandits [1905.11817]. The “exploration by optimisation” construction goes further and gives an efficient algorithm for adversarial bandits with
\[
R_n \leq \sqrt{2dn},
\]
matching exactly the best known information-theoretic upper bound in the finite-armed case [2009.12228]. The same line of work also improves bounds for bandits with graph feedback and for online linear optimization on \(\ell_p\)-balls [1905.11817].

A useful distinction follows from these analyses. In regret theory, “stability” refers to the per-round control of the mirror-descent variance term or its information-ratio analogue. In later inference-oriented work, the same word is used in a different sense, namely stability of the sampling frequencies under adaptive data collection. The two notions are related by regularization and averaging, but they are not identical [1905.11817, 2603.10184].

## 4. Major regimes and representative guarantees

Bandit mirror descent now spans finite-armed adversarial learning, delayed feedback, distributed zeroth-order optimization, and non-stationary bandit convex optimization. The main guarantees reported in the supplied literature are summarized below.

| Setting | Representative construction | Reported guarantee |
|---|---|---|
| \(k\)-armed adversarial bandits | Tsallis-entropy OSMD; exploration by optimisation | \(R_n \leq \sqrt{2kn}+O(k)\); \(R_n \leq \sqrt{2dn}\) |
| Delayed adversarial MAB and linear bandits | Banker-OMD | \(\widetilde{\mathcal O}(\sqrt{KT}+\sqrt{KD})\); \(\widetilde{\mathcal O}(n^{3/2}\sqrt{T}+n^2\sqrt{D})\) |
| Distributed composite optimization with bandit feedback | \(\mathsf{BanODCMD}\) | \(O(d/\sqrt{T})\) in the Euclidean case; \(O(d\sqrt{d}/\sqrt{T})\) in \(\ell_p\) settings |
| Non-stationary two-point bandit convex optimization | BMD and PBMD | \(O(\sqrt{dT(1+\mathcal P_{T,2})})\) in Euclidean space; \(O(\sqrt{d\log(d)\,T(1+\mathcal P_{T,1})})\) on the simplex |

These guarantees show that the framework is not confined to static regret on the simplex. In distributed online composite optimization, bandit mirror descent achieves the same average regularized regret order as the full-information algorithm while using only two function values per node per round [2004.00837]. In non-stationary bandit convex optimization, the parameter-free PBMD meta-algorithm runs an ensemble of BMD base learners over a geometric grid of step sizes and adapts to unknown path variation without tuning to \(\mathcal P_{T,p}\) [2508.04654]. This suggests that the main source of variation across applications is not the mirror-descent principle itself, but the estimator, geometry, and comparator class [2004.00837, 2508.04654, 1905.11817, 2009.12228, 2301.10500].

## 5. Delays, regularization, and statistical inference

Delayed feedback historically disrupted the telescoping argument underlying ordinary mirror-descent analyses. Banker Online Mirror Descent addresses this by almost completely decoupling delay handling from task-specific OMD design. Its central device is a “banking” mechanism that tracks pending updates corresponding to actions whose feedback has not yet arrived; when feedback is revealed, the accumulated “debt” is applied to the underlying OMD update. In the detailed exposition, the new action is formed as a convex combination in the dual space of previously unlocked savings, optionally supplemented by an overdraft from a default distribution when savings are insufficient [2301.10500].

The resulting guarantees have the characteristic delayed form
\[
\widetilde{\mathcal O}(\sqrt{T}+\sqrt{D}),
\]
where \(T\) is the horizon and \(D\) is the total feedback delay. The framework is reported to yield \(\widetilde{\mathcal O}(\sqrt{K}L(\sqrt{T}+\sqrt{D}))\) regret for delayed scale-free adversarial MAB and the first delayed adversarial linear bandit algorithm with \(\widetilde{\mathcal O}(\mathrm{poly}(n)(\sqrt{T}+\sqrt{D}))\) regret; the detailed exposition states the linear-bandit bound as \(\widetilde{\mathcal O}(n^{3/2}\sqrt{T}+n^2\sqrt{D})\) [2301.10500]. A related presentation emphasizes delayed adversarial MAB, delayed adversarial linear bandits, and a delayed best-of-both-worlds MAB setting, with nearly-optimal performance in all three [2106.08943].

Regularization has also been used to make bandit mirror descent statistically inferentially tractable under adaptive sampling. The 2026 paper on regularized stochastic mirror descent establishes a general criterion: if the average iterates converge in ratio to a non-random probability vector,
\[
\frac{\overline{x}_{T,a}}{x^\star_{T,a}} \to 1 \qquad \forall a,
\]
then the induced bandit algorithm is stable in the Lai–Wei sense [2603.10184]. Using a log-barrier regularizer and Tsallis-family mirror maps, the authors prove that regularized-EXP3 satisfies this criterion, that Wald-type confidence intervals for linear functionals of the mean parameter achieve nominal coverage, and that the same algorithms attain minimax-optimal regret guarantees up to logarithmic factors [2603.10184]. They further show robustness to corruption: a modified variant preserves asymptotic normality of empirical arm means even under \(o(T^{1/2})\) adversarial corruptions, in contrast to UCB, which is said to suffer linear regret even under logarithmic levels of corruption [2603.10184].

## 6. Games, actual-play convergence, and broader roles

Bandit mirror descent is also used beyond single-agent regret minimization. In merely coherent games, optimistic mirror descent combined with multi-point pseudo-gradient estimates produces almost sure convergence of both the iterate sequence and the actual sequence of play to a critical point, provided the query radius \(\delta_k\) and sample size \(T_k\) are chosen so that \(\sum_k \delta_k < \infty\) and \(\sum_k 1/T_k < \infty\). The paper explicitly stresses that this is achieved without extra Tikhonov regularization terms or additional norm conditions [2303.16430].

In atomic congestion games under partial information, players observe only the cost of the path they actually played. The proposed bandit mirror-descent family therefore uses episodes with a fixed mixed strategy inside each episode, empirical path-cost estimates,
\[
\hat g_i^{(\tau,s)} = \frac{1}{|\mathcal T_i^{(\tau,s)}|}\sum_{t \in \mathcal T_i^{(\tau,s)}} c_s(X^t),
\]
and a mirror-descent update
\[
x_i^{(\tau+1)} = \arg\min_{z_i \in \mathcal K_i} \left\{ \eta_i \langle \hat g_i^\tau, z_i \rangle + B_{R_i}(z_i, x_i^\tau) \right\}.
\]
The reported guarantee is that, after sufficiently many episodes and with high probability, the potential satisfies \(\Phi(x^{(\tau)}) \le \Phi(q)+\Delta\), which yields an approximate Nash equilibrium and approximate social-cost guarantees [1605.07774].

A broader implication is that mirror descent with bandit feedback can also operate at the meta-algorithmic level. The Corral master algorithm combines multiple bandit algorithms using OMD with the log-barrier mirror map
\[
\psi_t(p) = -\sum_{i=1}^M \frac{\ln p_i}{\eta_{t,i}},
\]
together with importance weighting and base-wise adaptive learning rates. The stated purpose is to prevent starvation of base algorithms that initially look poor but later outperform the rest, and the regret bounds are designed to track the best base algorithm up to the master’s exploration cost [1612.06246]. These results suggest that bandit mirror descent is not merely a direct optimization routine; it is also a general control mechanism for exploration, coordination, and robustness across heterogeneous partial-information learners.

Source: https://www.emergentmind.com/topics/bandit-mirror-descent