---
title: Non-Stochastic Infinite-Armed Bandit
url: https://www.emergentmind.com/topics/non-stochastic-infinite-armed-bandit
type: topic
---

# Non-Stochastic Infinite-Armed Bandit

A non-stochastic infinite-armed bandit is an online learning problem in which the decision maker faces an infinite set of possible actions (arms). Each arm, when first selected, draws its initial mean reward independently from a reservoir distribution. Unlike the stochastic setting, in the non-stationary and adversarial variant, arm rewards can evolve adaptively or adversarially over time, with the constraint that only arms pulled at a given time (the rested model) can change their value. This setting generalizes stationary and rotting infinite-armed bandits and introduces new challenges regarding exploration, exploitation, and managing dynamically shifting reward distributions [2502.00108].

## 1. Formal Definition and Problem Structure

Let $\mathcal{A} = \{1,2,\ldots\}$ denote the infinite set of arms and $T$ the time horizon. At round $t \in \{1,\ldots,T\}$, the learner either draws a new arm $a_t \in \mathcal{A}$ from the reservoir or selects one of the previously sampled arms to play. The initial mean reward $\mu_0(a) \in [0,1]$ for each freshly drawn arm is sampled i.i.d. from a reservoir distribution, unknown to the learner and assumed to be $\beta$-regular. Subsequently, the individual reward processes $\{Y_t(a)\}$, and thus the means $\mu_t(a)$, evolve according to an adaptive or adversarial process, but only for arms that are actually played at each step.

The performance metric is cumulative regret, defined as:
$$
R_T = \sum_{t=1}^T \delta_t(a_t), \quad \delta_t(a) = 1 - \mu_t(a)
$$
where $\delta_t(a)$ is the instantaneous gap of arm $a$ at time $t$.

Non-stationarity is captured along the play path $\{a_t\}$ via:
- Total (realized) variation: $V = \sum_{t=2}^T |\mu_t(a_{t-1}) - \mu_{t-1}(a_{t-1})|$
- Total rotting variation: $V_R = \sum_{t=2}^T [\mu_{t-1}(a_{t-1}) - \mu_t(a_{t-1})]_+$

Reservoir regularity assumes the existence of $\kappa_1,\kappa_2>0$ and $\beta>0$ such that for all $x \in [0,1]$:
$$
\kappa_1 x^\beta \leq \Pr[\mu_0(a) > 1-x] \leq \kappa_2 x^\beta
$$

## 2. Parameter-Free Blackbox Conversion for Non-Stationary Infinite-Armed Bandits

A central methodological innovation is a blackbox conversion scheme which reduces the infinite-armed non-stationary bandit problem to a sequence of finite-armed bandit instances. The approach proceeds as follows:

- Subsample a finite set $\mathcal{A}_0$ of $K$ arms from the reservoir.
- Run a gap-dependent finite-armed MAB base algorithm on $\mathcal{A}_0$ in doubling time blocks.
- Monitor empirical regret within each block; trigger parameter-free resets/restarts if empirical regret exceeds a controlled threshold.

The decomposition of regret for such a strategy is:
$$
\sum_t \delta_t(a_t) = \sum_t \min_{a \in \mathcal{A}_0} \delta_t(a) + \sum_t [\mu_t(a^\star) - \mu_t(a_t)]
$$
where $a^\star = \arg\min_{a \in \mathcal{A}_0} \delta_t(a)$. The first term represents "missed-arm" regret, arising from only subsampling $K$ arms, and can be controlled by the reservoir's $\beta$-regularity as $T \cdot K^{-1/\beta}$. The second term corresponds to the static regret for the finite-armed problem.

Resets are governed by empirical regret thresholds, ensuring that if the base algorithm remains effective, regret is bounded; otherwise, significant non-stationarity or base algorithm suboptimality is detected, triggering re-exploration.

## 3. Regret Analysis and Main Theoretical Results

Regret bounds are established with high probability (w.h.p., i.e., with probability at least $1-\mathcal{O}(1/T)$). For realized count $L$ (number of detected resets/changes) and variation $V$, the following hold:
- For $\beta \geq 1$ and block sizes $S_m \approx 2^{m\beta/(\beta+1)}$:
  $$
  R_T = \tilde{\mathcal{O}}\left( (L+1)^{1/(\beta+1)} T^{\beta/(\beta+1)} \wedge [ V^{1/(\beta+2)} T^{(\beta+1)/(\beta+2)} + T^{\beta/(\beta+1)} ] \right)
  $$
- For $\beta < 1$ and $S_m \approx 2^{m\beta/2}$:
  $$
  R_T = \tilde{\mathcal{O}}\left( \sqrt{(L+1)\,T} \wedge [ V^{1/3} T^{2/3} + \sqrt{T} ] \right)
  $$
Here, $(L+1)^{1/(\beta+1)} T^{\beta/(\beta+1)}$ characterizes the cost of resets; $V^{1/(\beta+2)} T^{(\beta+1)/(\beta+2)}$ corresponds to total-variation regret bounds.

This approach achieves minimax-optimal and parameter-free regret rates for all $\beta$ regimes, even without knowledge of $L$, $V$, or other non-stationarity parameters [2502.00108].

## 4. Significant Shift Measures

A refined measure of non-stationarity is the "significant shift" count $S_T$, which seeks to only capture shifts that force a restart or re-exploration. Informally, an interval $[s_1,s_2]$ is safe if there exists an arm among the first $(s_2-s_1+1)^{\beta/(\beta+1)}$ sampled at the start, whose cumulative regret on the block does not exceed $\kappa_1^{-1} (s_2 - s_1 + 1)^{\beta/(\beta+1)}$.

Epochs between significant shifts are defined recursively: set $\tau_0=1$, and then $\tau_{i+1}$ is the first $t > \tau_i$ where no safe arm exists for $[\tau_i, t]$. $S_T$ is the largest $i$ with $\tau_i \leq T$. Crucially, $S_T \leq \min(L_R, L)$ w.h.p., emphasizing that $S_T$ discounts regime changes that do not affect exploration policy.

The main theoretical result with respect to this metric for the randomized elimination algorithm is:
$$
R_T = \tilde{\mathcal{O}}\left( (S_T + 1)^{1/(\beta+1)} T^{\beta/(\beta+1)} \wedge [ V_R^{1/(\beta+2)} T^{(\beta+1)/(\beta+2)} + T^{\beta/(\beta+1)} ] \right)
$$
 demonstrating that regret depends adaptively on the truly significant non-stationarity [2502.00108].

## 5. Randomized Elimination and Adaptive Algorithms

The randomized elimination variant replaces the base finite-armed algorithm with a uniform sampling and importance-weighted elimination strategy within each block. For each block $m$:
- Draw a subsample $\mathcal{A}_m$ of $S_m$ arms.
- Maintain an active set $G$. For each $t$ in the block, play $a_t \sim \text{Uniform}(G)$ and observe $Y_t$.
- Compute importance-weighted losses $w_t(a) = \mathbb{I}(a=a_t)(1-Y_t)/\Pr(a_t=a)$. Eliminate $a \in G$ if the cumulative weight exceeds a threshold.

This mechanism provides direct detection of significant shifts—via elimination of all arms in $G$—while avoiding overreaction to mild variation. The resulting regret bound is shift-adaptive, incurring no penalty for non-critical regime changes.

## 6. Connections to Prior Work and Advances

Prior foundational results on stationary infinite-armed bandits (Berry & Fristedt, Wang et al., Carpentier & Locatelli) achieve regret $R_T = \Theta(T^{\beta/(\beta+1)})$ under the assumption $\mu_t(a) \equiv \mu_0(a)$. Non-stationary results were previously limited to monotone (rotting rewards) settings, often requiring explicit knowledge of regularity or rotting parameters and restricted to certain non-stationarity regimes (Kim et al. 2022, 2024).

The non-stochastic paradigm investigated here achieves several advances [2502.00108]:
- Fully adversarial, adaptive reward evolution for played arms.
- Parameter-free algorithms applicable to all $\beta > 0$.
- Regret rates depending only on realized non-stationarity and significant shifts, not on global knowledge of variation parameters.
- Introduction of the significant-shift measure $S_T$.
- High probability regret guarantees and adaptivity in the presence of arbitrary non-stationarity.

A plausible implication is that shift-adaptive methodologies could inform robust exploration in large-scale, open-world online learning applications where the reward landscape evolves adversarially and arm discovery is unbounded.

Source: https://www.emergentmind.com/topics/non-stochastic-infinite-armed-bandit