# Strong duality for the GROW criterion

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 23 Jun 2026.

## Built on by (most cited first, 1 of 1)

- [A complete characterization of sequential testability and change detectability in i.i.d. models](https://mlsanity.com/paper/2609.05752/) (2026)

## Abstract (arXiv)

This paper presents general strong duality results when testing hypotheses by betting against them. A bet is an e-variable for a composite null hypothesis Pcal: a nonnegative random variable X whose expected value is at most one under every P ∈ mathcal P. Following Kelly, Breiman, Cover, Shafer, and Grunwald et al. (2024), we study a natural minimax log-optimality criterion: given a composite alternative Qcal, we characterize the ``GROW value'' supX infQ EQ[log X]. This paper generalizes the results of Larsson et al. (2025) from (arbitrary mathcal P and) simple mathcal Q to arbitrary mathcal Q. We prove that there always exists a minimizing information-projection pair between the weak-* closures of the convex hulls of arbitrary mathcal P and mathcal Q, and show that the GROW value for bounded e-variables always equals their relative entropy. We also prove a similarly general strong duality for the REGROW criterion with bounded e-variables and arbitrary bounded offsets. Under various assumptions our results extend to unbounded e-variables, and examples show that without any assumptions such extensions fail. Our results are analogous to those in Larsson et al. (2026), swapping tests for bounded e-variables, minimax risk for the GROW criterion, and total variation for relative entropy.
