Risk-Averse Learning Algorithms

• Risk-averse learning algorithms are methods that explicitly quantify tail risk using measures like CVaR.
• They employ both gradient-based and zeroth-order techniques to adapt to time-varying risk and environmental changes.
• Theoretical dynamic regret bounds and empirical evaluations confirm their robust performance in uncertain, safety-critical domains.

Risk-averse learning algorithms are a class of methods in online optimization and machine learning that explicitly account for the tail risk of losses—i.e., the probability and impact of incurring significantly high costs—rather than merely optimizing expected performance. By employing coherent risk measures such as Conditional Value-at-Risk (CVaR), these algorithms provide tools for robust decision-making in dynamic, uncertain, and safety-critical environments, especially when the level of risk aversion itself may vary over time (Wang et al., 28 Dec 2025).

1. Problem Formulation and Risk Measure Framework

Risk-averse learning algorithms operate in settings where the learner makes sequential decisions $x_t \in \mathcal X \subseteq \mathbb R^d$, after which a stochastic cost $J_t(x_t, \xi)$ is incurred, with $\xi \sim \mathcal D_t$ representing possibly nonstationary, time-varying environmental noise (Wang et al., 28 Dec 2025). The distinctive feature is the use of CVaR at time-varying confidence levels $\alpha_t$, which quantifies the expected cost in the worst-case $(1-\alpha_t)$-fraction of outcomes:

$$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$

This risk-centric formulation contrasts with classical risk-neutral learning, which minimizes expected losses. When $J_t(x,\xi)$ is convex and Lipschitz in $x$, $C_t(x)$ inherits these properties.

2. Nonstationarity and Variation Metrics

To systematically capture the environment's nonstationarity, two variation metrics are introduced:

• Function Variation ($V_f$): Measures temporal drift in the expected cost function:

$J_t(x_t, \xi)$0

• Risk-Level Variation ($J_t(x_t, \xi)$1): Measures cumulative change in the risk-aversion parameter:

$J_t(x_t, \xi)$2

The aggregate $J_t(x_t, \xi)$3 quantifies overall nonstationarity, and sublinear growth (i.e., $J_t(x_t, \xi)$4) indicates a mildly nonstationary scenario where adaptation is feasible (Wang et al., 28 Dec 2025).

3. Algorithmic Approaches

Risk-averse learning under time-varying objectives and risk levels is facilitated by two algorithmic frameworks, distinguished by the type of feedback available:

3.1 First-Order (Gradient-Based) Algorithm

Applicable when both function values and gradients can be sampled. At each step:

1. Collect $J_t(x_t, \xi)$5 i.i.d. samples $J_t(x_t, \xi)$6, compute $J_t(x_t, \xi)$7, $J_t(x_t, \xi)$8.
2. Compute empirical VaR, $J_t(x_t, \xi)$9, as the minimizer in the empirical CVaR expression.
3. Form the gradient estimator:

$\xi \sim \mathcal D_t$0

1. Update the decision by projected gradient descent:

$\xi \sim \mathcal D_t$1

This estimator leverages the CVaR gradient identity, which requires knowledge of the underlying quantile; the empirical substitute introduces statistical error controlled via sample size (Wang et al., 28 Dec 2025).

3.2 Zeroth-Order (Bandit) Algorithm

Targeted at settings where only function evaluations are accessible (bandit feedback). The algorithm performs:

1. One-point smoothing: sample a direction $\xi \sim \mathcal D_t$2, perturb $\xi \sim \mathcal D_t$3 to $\xi \sim \mathcal D_t$4.
2. Query $\xi \sim \mathcal D_t$5 function evaluations at perturbed points, estimate empirical CVaR.
3. Construct the gradient estimator via:

$\xi \sim \mathcal D_t$6

where $\xi \sim \mathcal D_t$7 is the problem dimension.

1. Update with projection onto the feasible set (or a shrunken version thereof).

This smoothing approach yields an unbiased estimator for the gradient of the CVaR-smoothed cost, enabling zeroth-order optimization of risk-averse objectives (Wang et al., 28 Dec 2025).

4. Regret Analysis and Theoretical Guarantees

Performance is measured by dynamic regret: $\xi \sim \mathcal D_t$8

Regret Bounds

Letting the number of samples per round $\xi \sim \mathcal D_t$9 satisfy $\alpha_t$0 for some $\alpha_t$1:

• First-Order Algorithm:

$\alpha_t$2

When $\alpha_t$3, the regret is dominated by the first term.

• Zeroth-Order Algorithm:

$\alpha_t$4

if $\alpha_t$5, this simplifies to

$\alpha_t$6

If $\alpha_t$7 and the sample budget is sufficiently large, both frameworks guarantee sublinear dynamic regret, meaning average per-round regret vanishes as $\alpha_t$8 (Wang et al., 28 Dec 2025).

5. Empirical Evaluation and Observations

A dynamic parking-price problem with abrupt changes in both the environmental objective and risk level is used to empirically assess the algorithms. Key findings:

• Both first-order and zeroth-order methods successfully track the time-varying optimal solution; the first-order method exhibits faster convergence and greater stability.
• Regret increases as $\alpha_t$9 or $(1-\alpha_t)$0 grows, validating theoretical dependence on the nonstationarity budget.
• Increasing per-round sample count reduces the CVaR estimation error and regret, consistent with the sample-complexity term in the theoretical bounds.
• Benchmarks that ignore either form of variation (function or risk-level) incur much larger regret, demonstrating the necessity of dual adaptation for dynamic, risk-sensitive settings (Wang et al., 28 Dec 2025).

6. Assumptions, Limitations, and Extensions

The algorithms and bounds are derived under:

• Convexity and Lipschitz continuity of $(1-\alpha_t)$1 in $(1-\alpha_t)$2 (uniform in $(1-\alpha_t)$3),
• Bounded gradients,
• Uniformly positive density of $(1-\alpha_t)$4 around relevant quantiles.

Potential extensions and open problems include:

• Generalizing to non-convex CVaR objectives, or relaxing smoothness constraints,
• Studying online games with agent-specific, time-varying risk preferences and analyzing the tracking of dynamic Nash equilibria,
• Extending to distributionally robust risk-averse learning where the ambiguity set over the cost distribution itself evolves,
• Leveraging variance-reduced CVaR gradient estimators or employing accelerated smoothing strategies for tighter theoretical guarantees, especially in the bandit regime.

7. Summary Table of Core Quantities and Algorithms

Quantity / Step	First-Order Algorithm	Zeroth-Order (Bandit) Algorithm
Feedback	$(1-\alpha_t)$5, $(1-\alpha_t)$6	$(1-\alpha_t)$7
CVaR Gradient Estimation	Empirical CVaR plug-in with empirical quantile	One-point finite-difference with isotropic random direction
Regret Bound ($(1-\alpha_t)$8)	$(1-\alpha_t)$9	$$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$0
Adaptation to Nonstationarity	Both $$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$1 and $$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$2	Both $$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$3 and $$C_t(x) := \mathrm{CVaR}_{\alpha_t}[J_t(x, \xi)] = \inf_\nu \left\{ \nu + \frac{1}{\alpha_t} \mathbb E\left[(J_t(x,\xi)-\nu)_+\right] \right\}.$$4

All formal claims, design steps, and numerical patterns above are directly present in (Wang et al., 28 Dec 2025).

---

In summary, risk-averse learning algorithms with time-varying risk levels deliver provable robustness and adaptability in nonstationary environments by quantifying and tracking both functional and risk-level drift. These approaches leverage empirical CVaR gradient estimators within online convex optimization, and, under sublinear environment drift and sufficient sampling, yield dynamic regret bounds assuring that adaptation to both environmental and risk-preference changes remains theoretically sound and practically viable (Wang et al., 28 Dec 2025).