Regret Equals Covariance: A Closed-Form Characterization for Stochastic Optimization

arXiv:2605.14019 · econ.EM, cs.LG, math.ST, stat.CO, stat.TH · Submitted 2026-05-13 · Read on arXiv

econ.EM, cs.LG, math.ST, stat.CO, stat.TH

Submitted: 2026-05-13

Updated: 2026-09-27

Comments: 19 pages

License: http://creativecommons.org/licenses/by/4.0/

The gist: Quantifying regret typically involves repeatedly re-solving a stochastic optimization problem across simulated scenarios.

Terminology

Abstract

Quantifying regret typically involves repeatedly re-solving a stochastic optimization problem across simulated scenarios. Such an approach is costly: the cost scales with the number of scenarios and the cost of each solve. We propose that regret can instead be measured using the joint moments of the cost vector c and the optimal decision π*(c). Working with the optimal concave and Lipschitz under only a feasible region value function v(c) = z in Z c z, we show that regret always decomposes as Regret = -Cov(c,π*(c)) - R(c) for a residual R(c). We further show that R(c)=0 when π* is affine in c, which holds for unconstrained and equality-constrained (e.g., budget-constrained Markowitz) quadratic programs and many, but not all, linear programs. For all cases, we give a distribution-free bound Regret D sqrt tr(Σ c) that depends only on the radius of the feasible region and the cost covariance. We also derive concentration and asymptotic-normality results for the empirical regret, the latter under an explicit and checkable non-degeneracy condition.

Sources

Related papers