Skip to content
Preprint

Where Does the Union Bound Go? Best-Arm Identification and Strong FWER Control

Aug 2026 · 0 citations · 14 references
Mathematics Computer Science

Abstract

In fixed-confidence best-arm identification, proofs often use a union bound across the competing arms. From a multiple-testing point of view this can look puzzling: if the best arm is unique, only one hypothesis of the form ``arm $i$ is best''can be true. Why then should there be a Bonferroni-type factor of $K-1$? The answer is that there are two natural ways to orient the hypotheses. In one orientation, best-arm identification is literally a strong familywise-error-rate (FWER) problem with $K-1$ true nulls. In the opposite orientation, exactly one null is true, but a pairwise implementation can falsely reject that one null through any of $K-1$ comparisons. Thus the multiplicity has not disappeared; it just pops up in different places. This note makes the equivalence explicit in the terminology of both communities.

View source

Similar papers

Preprint Aug 2026

The Price of Decentralization in Top-$K$ Arm Identification

Change-of-measure lower bounds show that shared-reward identification is optimal up to one universal logarithmic factor, and that the entire statistical price of removing communication is a multiplicative $\rho^2$ in sample complexity.

Larissa Xu, Jasmine Nguyen, William Chang · 0 citations
Preprint Aug 2026

Does 1/2-Tsallis-INF Also Work Well for Best-Arm Identification?

A Lyapunov function is constructed for the gap process between the estimated cumulative loss of the optimal arm and that of the best competing arm, and establishes a lower bound on the exponent of $\operatorname{Err}_t$ for any $\rho>0$, showing that the exponent $2$ is essentially tight.

Jing-Xin Zhan, Yuze Han, Zhi-Hua Zhang · 0 citations
#machine learning Preprint Aug 2026

Type-II Error Bounds for Test Supermartingales from Lower-Tail Hypotheses

In safe hypothesis testing with test supermartingals, Ville's inequality provides anytime-valid type-I error guarantees for every significance level $\alpha\in(0,1]$, if one rejects the null hypothesis whenever the wealth process first exceeds $\frac{1}{\alpha}$. Due to an inherent asymmetry, the type-II error does not...

Patrick Forré · 2 citations
Preprint Sep 2026

Is the regression $F$-test doubly robust?

We study the robustness of the $F$-test in random design linear models, and reach a somewhat nuanced conclusion. On the positive side, one of our main results is that the size of the test is close to its nominal level as soon as either the distribution of the normalised error vector is close to uniform on the unit sphe...

Lucy Xia, Oliver Y. Feng, Yang Feng et al. · 0 citations
Preprint Sep 2026

How Wrong Can a Rank-Based Sample-Size Calculation Be? A Sharp Bound of 16/9 for Ordinal Outcomes

Rank-based tests need no distributional assumptions to be valid, but the sample size they require does depend on the shapes of the two outcome distributions, which are unknown at the design stage. Standard practice substitutes a variance calibrated under the null. We ask how wrong that substitution can be. Writing $\Pi...

Akarin Phaibulpanich · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.