Source-linked AI summary

Bayesian Optimization of CVaR with Unknown Hyperparameters

Valentin Margraf, Jonas Hanselle, Viktor Bengs, Serafima Lebedeva, Eyke Hüllermeier, Marcel Wever

arXiv:2610.18306v1cs.LG

TL;DR

CVaR Bayesian optimization with unknown GP hyperparameters is difficult because existing no-regret methods assume the correct surrogate is known, while misspecification can distort tail-risk estimates. HE-CV-UCB eliminates inconsistent models from a finite candidate set and queries where survivors disagree. Its cumulative regret matches CV-UCB’s oracle rate up to candidate-set size, and experiments report significant improvements over competing methods without significant underperformance.

  • Problem

    Existing CVaR BO no-regret algorithms assume a correctly specified GP with known hyperparameters, although limited-data estimation can produce misspecified surrogates and distorted tail-risk estimates.

    Source: §1 · p. 1, §6 · p. 8
  • Method

    HE-CV-UCB maintains a finite candidate set containing a well-specified model, eliminates candidates inconsistent with observations, and queries where survivors disagree.

    Source: §1 · p. 2
  • Results

    HE-CV-UCB’s cumulative regret matches CV-UCB’s oracle rate up to a factor linear in candidate-set size, and it significantly improves on competing methods while never being significantly outperformed.

    Source: §1 · p. 2, §6 · p. 8
  • Takeaways & Limitations

    The method provides no-regret CVaR optimization without knowing the true kernel hyperparameters when the finite candidate set contains a well-specified model.

    Source: §1 · p. 2, §6 · p. 8

    The theoretical guarantee assumes that a correctly specified surrogate is contained in the candidate set.

    Source: §6 · p. 8

Abstract

from arXiv · show

We study Bayesian optimization of the Conditional Value-at-Risk (CVaR) of an expensive black-box function that depends on a decision and an environmental variable. Existing no-regret algorithms assume that the correct Gaussian process (GP) kernel and its hyperparameters are known. In practice, however, they must be estimated from limited data, often yielding a misspecified surrogate. This is especially damaging for CVaR because misspecification can distort the estimated tail-risk and thus lead to catastrophic decisions. We propose HE-CV-UCB, the first no-regret algorithm for CVaR Bayesian optimization with unknown GP hyperparameters. Given a finite candidate set containing a well-specified model, HE-CV-UCB adaptively eliminates those inconsistent with the observed data, actively queries where the survivors disagree, and returns a design that is robust across the surviving candidates. We prove that it attains cumulative regret matching the oracle rate of CV-UCB up to a factor depending only on the candidate set's size. Across synthetic benchmarks and three real-world applications, HE-CV-UCB achieves competitive performance and frequently outperforms existing CVaR Bayesian optimization methods.

1 Introduction

Bayesian optimization uses a probabilistic surrogate and acquisition function to optimize expensive black-box objectives, but environmental uncertainty makes average performance inadequate for safety-critical decisions. HE-CV-UCB addresses the risk of misspecified surrogates in CVaR optimization by eliminating inconsistent candidates and querying where survivors disagree; it has a regret guarantee and performs well empirically.

1 Introduction

  • Surrogate misspecification can distort CVaR estimates and produce unsafe decisions, while existing CVaR BO regret guarantees assume a correctly specified GP.Kernel families are often selected heuristically, and hyperparameters estimated from limited observations can yield misspecified surrogates.Source: §1 · pp. 1–2
  • HE-CV-UCB maintains a finite set of candidate models, eliminates those inconsistent with observations, queries where survivors disagree, and recommends a design robust across them.The candidate set is assumed to contain the true model.Source: §1 · p. 2
  • The regret guarantee recovers CV-UCB’s oracle rate up to a multiplicative factor of |Θ|.The bound is described as cumulative regret.Source: §1 · p. 2
  • Across synthetic benchmarks and three real-world applications, HE-CV-UCB significantly improves on competing methods while never being significantly outperformed.Source: §1 · p. 2

2 Related Work

Prior CVaR Bayesian optimization work provides regret guarantees under known, correctly specified GP surrogates, while work on unknown hyperparameters has focused on expectation-based objectives. HE-CV-UCB extends finite-candidate elimination to CVaR optimization.

Risk-averse Bayesian optimization

  • CV-UCB and CV-TS provide sublinear regret for CVaR BO, but their guarantees rely on a correctly specified GP with known kernel hyperparameters.Earlier CVaR acquisition-function work did not provide regret guarantees.Source: §2 · p. 2

Unknown kernel hyperparameters

  • Unknown-hyperparameter methods for expectation-based BO include posterior marginalization, bounded-misspecification analysis, adaptive lengthscales, and elimination among GP learners.These approaches focus on expectation-based objectives.Source: §2 · p. 2
  • Hyperparameter uncertainty in risk-averse BO remained unexplored; HE-CV-UCB extends Ziomek et al.’s [2025] elimination framework to CVaR, where surrogate uncertainty affects a tail-risk functional.Source: §2 · p. 2

3 CVaR Bayesian Optimization

The section formulates CVaR optimization over designs and environmental scenarios, with noisy queries and cumulative regret measured against the best design. It reviews CV-UCB’s confidence-bound strategy and notes that unknown kernels can undermine its confidence guarantees and risk estimates.

3 CVaR Bayesian Optimization

  • The objective is to minimize CVaR over environmental uncertainty, represented by a known or estimated distribution through a finite set of scenarios.Large function values are treated as undesirable, including loss, runtime, or prediction error.Source: §3 · p. 2
  • CVaR averages outcomes in the worst (1 − α)-fraction, and larger α corresponds to greater risk aversion.As α approaches 0, CVaR recovers the expectation.Source: §3 · p. 3
  • CV-UCB lifts pointwise GP confidence bands into CVaR bounds, selects the optimistic design, and queries an environmental value whose pointwise band gap controls the CVaR gap.Under a well-specified surrogate, CV-UCB achieves sublinear regret.Source: §3 · p. 3
  • In practice, unknown kernels and hyperparameters estimated from finite data can invalidate confidence guarantees, allowing misspecified surrogates to produce inaccurate CVaR estimates and poor decisions.Source: §3 · p. 3

4 CVaR BO with Unknown Hyperparameters

HE-CV-UCB handles unknown hyperparameters by maintaining a finite candidate set containing a correctly specified model, using cross-candidate confidence bounds and elimination to guide queries. Its regret is sublinear and matches the oracle rate up to candidate-set dependence, under the stated well-specified-candidate assumption.

4 CVaR BO with Unknown Hyperparameters

  • HE-CV-UCB assumes a finite candidate set containing the correct GP model and eliminates candidates statistically inconsistent with observations.Its acquisition uses surviving candidates to construct CVaR bounds; optimistic and pessimistic bounds may come from different candidates.Source: §4 · p. 3

4.1 Proposed algorithm

  • The algorithm selects the most optimistic surviving candidate for the design and the most pessimistic candidate to bound that design’s CVaR.The candidates defining these bounds need not coincide.Source: §4.1 · p. 3
  • Its lacing query maximizes the cross-surrogate confidence gap, which captures both within-candidate posterior uncertainty and disagreement between candidates.The gap may be negative because its defining functions need not be pointwise ordered, yet the selected query controls instantaneous regret.Source: §4.1 · p. 4
  • Elimination tests candidates defining the current bounds against residual errors; the guarantee does not require uniquely identifying the true model, only that a correctly specified candidate survives with high probability.Residual errors combine observation noise and model error; the correctly specified candidate is not eliminated with high probability.Source: §4.1 · p. 4

4.2 Regret guarantee

  • With a fixed finite candidate set and the stated well-specified-candidate condition, the cumulative regret bound is sublinear, yielding no-regret learning without known hyperparameters.The candidate-set factor arises from two-sided elimination and interruptions to residual histories.Source: §4.2 · p. 5
  • The regret guarantee concerns queried designs, so sublinear cumulative regret ensures that the best queried design has vanishing instantaneous regret.Source: §4.2 · p. 5
  • After optimization, the recommendation is the explored design minimizing worst-case posterior mean CVaR across surviving candidates.This Γ-maximin recommendation is conservative about remaining model uncertainty, unlike the optimistic acquisition rule.Source: §4.2 · p. 5

5 Experiments

The experiments test oracle recovery and tail-risk robustness on synthetic benchmarks, then evaluate transfer across three real-world tasks and against models fitted from scratch. HE-CV-UCB recovers oracle performance when the correct model is included, handles tail-blind oversmoothing on the synthetic spike task, and performs especially well on the reactor and SAT tasks.

5 Experiments

  • For real-world transfer tasks, the authors fit one GP per source task and compare methods using the same transferred candidate pool for RQ2 and RQ3.For RQ4, they compare against single-task surrogates fitted from scratch on the target.Source: §5 · p. 5

5.1 Toy example (RQ1)

  • With the data-generating GP in the candidate pool, HE-CV-UCB eliminates both oversmoothers while retaining the oracle and converges to its simple-regret performance.The oversmoothers are eliminated after median 4 and 13 iterations, respectively.Source: Figure 2 · p. 6, §5.1 · p. 6

5.2 Synthetic experiment (RQ2)

  • On the synthetic spike function, HE-CV-UCB reaches near-zero CVaR regret while likelihood-based baselines favor regions with poor CVaR performance.Its disagreement-based queries concentrate in the tail, where the candidates differ.Source: Figure 3 · p. 6, §5.2 · p. 6

5.3 Real-world experiments (RQ3)

  • HE-CV-UCB matches the strongest baseline on robot pushing and achieves the lowest final CVaR regret on the reactor and SAT tasks.The three tasks span mild to severe misspecification.Source: §5.3 · pp. 6–7, Figure 4 · p. 7

5.4 Value of transfer models (RQ4).

  • Against from-scratch models, HE-CV-UCB reaches substantially lower final CVaR regret on the reactor and SAT, while CV-TS performs best on robot pushing.The benefit of transfer depends on how difficult the target's tail structure is to identify.Source: Figure 5 · p. 7, §5.4 · p. 7

6 Conclusion

The conclusion presents HE-CV-UCB as a no-regret approach to CVaR Bayesian optimization when kernel hyperparameters are unknown. Its guarantee assumes the candidate set contains a correctly specified surrogate, and the authors identify misspecification-dependent guarantees as future work.

  • Misspecification can distort CVaR tail estimates and lead to poor risk-sensitive decisions, while existing CVaR BO methods typically assume the correct surrogate and hyperparameters are known.Source: §6 · p. 8
  • HE-CV-UCB maintains plausible GP candidates, eliminates those inconsistent with observations, queries where survivors disagree, and returns a decision robust to remaining model uncertainty.Its cumulative regret bound matches the oracle rate of CV-UCB up to a factor linear in candidate-set size.Source: §6 · p. 8
  • The theoretical guarantee assumes a correctly specified surrogate is in the candidate set; regret guarantees that degrade with the best candidate's misspecification remain open.The regret bound also incurs a factor |Θ| from two-sided elimination, whose necessity is unresolved.Source: §6 · p. 8

A Proofs

The proof preserves the correctly specified candidate, bounds regret using its confidence bands, and controls the costs of eliminations and residuals. The experimental details specify a shared finite context set and deterministic posterior CVaR bands.

A Proofs

  • The proof keeps the true candidate θ⋆ in the pool, uses its valid confidence bands to bound per-round regret, and charges at most |Θ| critical elimination rounds at 2B each.The residual sums on non-critical rounds are controlled by elimination thresholds and GP uncertainty widths.Source: A Proofs · pp. 10–12
  • Two-sided elimination can interrupt a candidate’s residual stream when the opposite criterion eliminates another candidate, requiring an additional threshold charge for those gaps.The proof controls the omitted residuals individually; there can be up to |Θ| such rounds.Source: A Proofs · pp. 11–13
  • For a fixed finite candidate set, regret is sublinear when γT = o(T), with βT = O(√γT + 1) and ξT = O(log T) for standard kernels.The theorem’s bound includes a factor depending on |Θ|; the two-sided elimination proof adds a charge for residual-stream gaps.Source: A Proofs · pp. 12–13

B.1 Environmental distribution PW

  • The environmental distribution is represented by fixed shared Sobol atoms, uniform by default and truncated-normal for disturbances concentrated near a nominal operating point.The same atoms define the empirical tail average across designs and iterations.Source: §B.1 · p. 13

B.2 Computing the posterior CVaR bands

  • Posterior CVaR bands are computed analytically from per-atom GP means and standard deviations, so acquisition and elimination comparisons use no posterior sampling or Monte Carlo noise.Each candidate has frozen kernel and hyperparameters; the bands use the empirical CVaR of shifted posterior means over the atoms.Source: §B.2 · p. 13

B.3 Benchmark suite

The benchmark suite spans a synthetic mechanism illustration and transfer tasks in robot pushing, a reactor, and SPEAR. The appendix also gives computational costs and fixed experimental settings.

B.3 Benchmark suite

  • The four benchmarks compare HE-CV-UCB with CV-UCB, CV-TS, ρ-KGapx, and BMA-UCB using the same transfer method set.The reported settings include β=3.0 and ξ=0.5.Source: §B.3 · p. 13
  • The suite covers a synthetic spike testbed and three transfer applications: robot pushing, reactor scale-up, and SPEAR solver configuration.The robot-push sources vary goal location; reactor sources vary scale; SPEAR sources are instance clusters, with one cluster held out as the target.Source: §B.3 · pp. 13–14

B.4 Computational cost

  • Each iteration conditions frozen GP candidates on the observations, with cost growing linearly in candidate-pool size and no per-iteration hyperparameter refit.The stated work includes an O(t^3) Cholesky and O(Mt^2) per-atom posterior evaluations, plus acquisition optimization.Source: §B.4 · p. 14

B.5 Final hyper-parameters

  • Experimental values are fixed across seeds; the default recommender is pessimistic (Γ-maximin), with medoid and Borda-rank alternatives also reported.The listed kernels are Matérn-3/2, Matérn-5/2, and RBF, fitted on offline tasks.Source: §B.5 · p. 14

B.6 Software and hardware

  • Experiments used 2 CPU cores and 8 GiB of RAM, on HPC nodes with two AMD Milan 7763 processors and 256 GiB of memory.Source: §B.6 · p. 14

C.1 Significance tests

Across four benchmarks, paired significance tests found HE-CV-UCB was never significantly outperformed and had the most significant wins under both regret metrics. The Reactor VaR comparison also reports matching method ordering to the CVaR result.

C.1 Significance tests

  • The tests compare final recommended-design CVaR regret and anytime CVaR regret, the average regret of recommended designs over the BO phase.All methods used matched initial designs and GP conditioning on each seed.Source: §C.1 · p. 14
  • 4 final-regret wins and 6 anytime-regret wins: HE-CV-UCB was never significantly outperformed and accumulated the most significant wins across the four benchmarks.Tests were paired two-sided exact Wilcoxon signed-rank tests over seeds 0–9 at α=0.05, without multiplicity correction; BMA-UCB was the strongest baseline overall.Source: §C.1 · p. 14, Table 2 · p. 15
  • Under Reactor VaR0.98, method ordering by VaR regret versus budget matches the CVaR result.The figure reports mean ± 1 SEM.Source: Figure 6 · p. 15

C.2 Robustness to the recommender rule

The reported conclusion is robust to the choice of post-hoc recommender: HE-CV-UCB matches baselines on robot push and has lower CVaR regret on reactor and SPEAR under each rule. Candidate-pool pruning varies by task.

C.2 Robustness to the recommender rule

  • The Γ-maximin, medoid, and Borda-rank rules score queried designs by aggregating posterior mean CVaR across the surviving candidates.The main-text read-out is pessimistic Γ-maximin; changing the post-hoc recommendation does not change which designs were queried.Source: §C.2 · p. 15
  • Across all three recommender rules, HE-CV-UCB matches baselines on robot push and reaches lower CVaR regret on reactor and SPEAR.The advantage is reported regardless of read-out rule.Source: §C.2 · p. 15
  • HE-CV-UCB prunes source surrogates on spike and reactor, while the candidate pool remains essentially intact on robot push and SPEAR.Source: Figure 7 · p. 15

C.3 Ablation over targets and pool budgets (SPEAR)

Across the SPEAR ablations, HE-CV-UCB has the lowest final CVaR regret in every tested target–budget combination. In elimination-dynamics cases, it prunes confidently wrong candidates when possible and otherwise uses a robust recommendation across survivors.

C.3 Ablation over targets and pool budgets (SPEAR)

  • HE-CV-UCB attains the lowest final CVaR regret in all four SPEAR target-cluster and snapshot-budget combinations.The margin is stable across the two target clusters and two budgets.Source: §C.3 · p. 15
  • Single-selection baselines sometimes commit to a source that times out on held-out instances, while HE-CV-UCB hedges over the surviving pool.The reported ablations find that neither target choice nor source-data amount changes this qualitative comparison.Source: §C.3 · p. 15

C.4 Elimination dynamics

  • Elimination prunes confidently tail-blind sources on the spike and reactor, but remains essentially inert on SPEAR and robot push, where every candidate is reasonable for the target.Candidates are removed only when accumulated residuals are statistically inconsistent with the data; a correctly specified candidate is not discarded with high probability.Source: §C.4 · pp. 15–16
  • When elimination is inert, HE-CV-UCB recommends the design that is best in the worst case across survivors, avoiding the commitment required by single-selection baselines.On the spike and reactor, pruning further removes candidates that would otherwise affect the worst-case recommendation.Source: §C.4 · p. 16

C.5 An alternative risk measure: VaR

VaR measures a tail threshold, whereas CVaR measures the average of outcomes beyond that threshold. HE-CV-UCB’s machinery also applies to VaR, and in the reactor experiment it achieves the lowest final VaR regret; a unified guarantee across risk measures is left for future work.

C.5 An alternative risk measure: VaR

  • VaRα is the α-quantile threshold, while CVaRα averages the worst (1 − α) fraction of outcomes conditional on exceeding that threshold.Unlike VaR, CVaR is sensitive to tail shape and is coherent, including subadditivity.Source: §C.5 · p. 16
  • The confidence bands, elimination criteria, and robust recommendation extend to VaR because the risk read-out needs only monotonicity and translation invariance.The paper applies the machinery by replacing CVaRα with VaRα in the bands and acquisition rule.Source: §C.5 · p. 16
  • HE-CV-UCB attains the lowest final VaR regret in the reactor experiment and separates from the baselines.The experiment replaces CVaR0.98 with VaR0.98 while holding other settings fixed.Source: §C.5 · p. 16
  • The regret guarantee is established for CVaR; a VaR analogue is available through V-UCB analysis, but a unified guarantee across risk measures remains future work.The paper attributes the additional guarantee step to a lacing-value construction.Source: §C.5 · p. 16
Loading 2610.18306v1…