cs.LGJul 30, 2026

Fast Rates for Swap-Agnostic Learning of Proper Losses

Authors: Princewill Okoroafor

Organizations: Harvard University

Abstract

Swap-agnostic learning strengthens classical agnostic learning by allowing the comparator to select a different hypothesis on each level set of the learner's predictions. This benchmark captures prediction-dependent postprocessing, but appears to require solving a separate agnostic-learning problem for every possible prediction value. We show that, for proper losses, these prediction-level comparisons can instead be controlled jointly. Our main result is an offline swap-agnostic learner for any fixed proper loss. For a finite hypothesis class HH and any fixed smooth proper loss, the excess risk from mm i.i.d. samples is O~((logH/m)2/3)\widetilde{O}((\log |H|/m)^{2/3}), with a corresponding online swap-regret bound of O~(T1/3(logH)2/3)\widetilde{O}(T^{1/3}(\log |H|)^{2/3}). We also give algorithms whose predictions are simultaneously swap-agnostic for entire families of losses. For all proper losses bounded in [1,1][-1,1], we obtain online and offline rates of O~(TlogH)\widetilde{O}(\sqrt{T\log |H|}) and O~(logH/m)\widetilde{O}(\sqrt{\log |H|/m}), respectively. For convex, 11-Lipschitz proper losses, these rates improve to O~(T1/3(logH)2/3)\widetilde{O}(T^{1/3}(\log |H|)^{2/3}) online and O~((logH/m)2/3)\widetilde{O}((\log |H|/m)^{2/3}) offline. These bounds are tight up to logarithmic factors and improve upon the O~(T2/3(logH)1/3)\widetilde{O}(T^{2/3}(\log |H|)^{1/3}) rate implied by the swap-omniprediction guarantee of Luo et al. (2025). Our main technical contribution is a reduction from swap-agnostic learning to a second-order form of multicalibration, obtained via Blackwell approachability with a Bernstein-style variance correction.

Explore similar work

May 17, 2026cs.LG

Calibeating for general proper losses: A Bregman divergence approach

This work introduces a general framework for calibeating based on regret minimization. As compared to Foster and Hart's seminal calibeating work which had specialized treatments of Brier score (squared loss) and log loss, we consider a large family of proper losses that includes αα-Tsallis losses (for α[1,2]α\in [1, 2]) and Lipschitz losses. Our results for Tsallis losses also hold for an unscaled version of Tsallis loss that recovers log loss. Our analysis is oriented around the Bregman divergence view of a proper loss. Technically, our results for the family of Tsallis losses that we consider are U-calibration results, simultaneously obtaining logarithmic regret for all losses in this family while having a weaker dependence on the dimension compared to previous results. Of potential independent interest, we also show a new regret equality for the regret of Be The Regularized Leader. This regret equality holds for general proper losses and itself is based on two results related to online updating formulas for the generalized variance, the latter being a previously introduced generalization of variance based on Bregman divergences.
Maximilian Fichtl, Cristóbal Guzmán, Nishant A. Mehta
Jun 28, 2026cs.GT

Improved Multi-Dimensional Forecasting for Swap Regret

We study the problem of forecasting for an arbitrary number of downstream agents with unknown objectives, each of whom best responds to the forecaster's predictions. We seek a single forecaster that guarantees sublinear swap regret for all downstream agents simultaneously. For two-dimensional outcome spaces, we give a polynomial time algorithm that guarantees O~(kT)\tilde{O}(\sqrt{kT}) swap regret for any downstream agent with kk actions. This improves over the previously known bound of O~(kT5/8)\tilde{O}(kT^{5/8}) and avoids the exponential in TT runtime of prior algorithms in this setting. Our algorithm extends nicely to other low dimensional environments, retaining O~(T)\tilde{O}(\sqrt{T}) downstream swap regret while the exponent of kk in the regret bound and the exponent of TT in the running time both grow with dimension. For arbitrary dimension dd, we give a forecasting algorithm that guarantees O~(dkT)\tilde{O}(d\sqrt{kT}) swap regret, assuming the forecaster knows an upper bound kk on the number of actions available to any downstream agent, albeit with a much longer runtime. This improves upon previous high dimensional guarantees that had O~(T2/3)\tilde{O}(T^{2/3}) dependence and required additional behavioral assumptions.
Joey Rivkin, Ramiro N. Deo-Campo Vuong, Robert Kleinberg +3
Aug 7, 2026cs.LG

Dirichlet Follow-the-Leader Closes the Gap in Simultaneous Multiclass U-Calibration

Can one forecaster attain the optimal regret rate for every bounded proper loss and also adapt to every smooth proper loss? Recent work answered this up to a dimension gap. Its self-concordant perturbation gives roughly K5/4TK^{5/4}\sqrt{T} worst-case regret and incurs an additional βKlogKβ\sqrt{K}\log K for ββ-smooth losses. We close both gaps with a one-line forecaster. After observing class counts ct1c_{t-1}, draw the next prediction from Dir(ct1)\operatorname{Dir}(c_{t-1}), on the face of classes seen so far. This is a fresh Bayesian bootstrap of the outcomes. The analysis rests on an exact identity: averaging any bounded proper loss under Dir(α)\operatorname{Dir}(α) equals a discrete derivative of its Dirichlet-averaged Bayes risk. The identity makes the be-the-perturbed-leader term telescope to a nonpositive Jensen gap. A one-count likelihood ratio then bounds stability by the inverse square root of that class's count. The resulting single, horizon-free algorithm satisfies supEReg4STT4KT\sup_{\ell}\mathbb{E}\operatorname{Reg}_{\ell}\leq 4\sqrt{S_T T}\leq 4\sqrt{K T} and EReg52β(1+logT)\mathbb{E}\operatorname{Reg}_{\ell}\leq \frac{5}{2}β(1+\log T) for every ββ-smooth proper loss. Here STS_T is the number of observed classes. Known lower bounds show that both rates are optimal in their nontrivial regimes. The proof covers nondifferentiable losses and changes of the active simplex face.
Pahan Dewasurendra