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

arXiv: https://arxiv.org/abs/2608.06656 · HTML: https://mlsanity.com/paper/2608.06656/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 6 of its 12 references that are in the map.
- First posted on arXiv 7 Aug 2026.

## Builds on (most cited first, 6 of 6)

- [U-Calibration: Forecasting for an Unknown Agent](https://mlsanity.com/paper/2307.00168/) (2023)
- [General Bayesian Updating and the Loss-Likelihood Bootstrap](https://mlsanity.com/paper/1709.07616/) (2017)
- [Forecasting for Swap Regret for All Downstream Agents](https://mlsanity.com/paper/2402.08753/) (2024)
- [Optimal Multiclass U-Calibration Error and Beyond](https://mlsanity.com/paper/2405.19374/) (2024)
- [Calibeating Made Simple](https://mlsanity.com/paper/2603.22167/) (2026)
- [Toward Simultaneously Optimal Regret in U-Calibration](https://mlsanity.com/paper/2606.18527/) (2026)

## Abstract (arXiv)

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/4√T worst-case regret and incurs an additional β√Klog K for β-smooth losses. We close both gaps with a one-line forecaster. After observing class counts ct-1, draw the next prediction from operatornameDir(ct-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 operatornameDir(α) 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 supℓmathbbEoperatornameRegℓ≤ 4√ST T≤ 4√K T and mathbbEoperatornameRegℓ≤ frac52β(1+log T) for every β-smooth proper loss. Here ST 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.
