Finite-sample certification of coverage regret for budgeted document selection under adaptive stratified auditing BH3R0BA3PC

URI	`m2://res/BH3R0BA3PC`
Kind	preprint
Creators	Nora Serdyukova
Date	2026-10-13
MSC	62-XX
Subjects	arxiv math.ST, arxiv cs.AI, arxiv stat.TH
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Single-fragment swap and activity	statement	lemma 5	arxiv
Simultaneously estimated activity factors	statement	proposition 6	arxiv
Conditional Bernstein increment	statement	lemma 1	arxiv
Uniform residual-second-moment upper bounds	statement	lemma 3	arxiv
Pathwise extension to several swaps	statement	proposition 7	arxiv
Empirical Bernstein inequality for a single mean	statement	lemma 2	arxiv
Pooled Bennett bound with certified residual moments	statement	proposition 4	arxiv
Uncertainty in unknown context proportions	statement	lemma 4	arxiv
A conservative pilot screening rule	statement	proposition 2	arxiv
Reduced universe versus original corpus	statement	corollary 2	arxiv
One-stage empirical-Bernstein multiscale certificate	statement	theorem 3	arxiv
Postselection certification without variance calibration	statement	corollary 1	arxiv
A weighted, unique-edge simultaneous inequality	statement	proposition 3	arxiv
Honest postselection regret certificate	statement	theorem 4	arxiv
Pre-audit comparison network	definition	definition 1	arxiv
Uniformly bounded relevance errors	statement	corollary 3	arxiv
Monotonicity and submodularity	statement	proposition 1	arxiv
Rare-query obstruction to sample-only uniform envelopes	statement	proposition 5	arxiv
Observable simultaneous chaining radius	statement	theorem 2	arxiv
Conditional simultaneous multiscale Bernstein bound	statement	theorem 1	arxiv
Two-level improvement over a flat Bernstein union bound	statement	corollary 4	arxiv