Manuscript Psy03-C@1 · Psy03-C-v1.tex · corollary · d3380b90
Corollary: Simultaneous battery radius
Battery and longitudinal effect certificates › Simultaneous fixed-checkpoint assessment · lines 1380–1402 · proof included or linked
Psy03-C@1#cor:battery
Condition on checkpoints independent of the assessment blocks. For predeclared probe means, each estimated from independent example blocks,
is a simultaneous accuracy radius with confidence at least .
Noise repetitions within one example may first be averaged. They do not multiply the independent population sample count. Within-example dependence across checkpoints or probes is allowed.
Proof.
Apply the bounded-example-block evaluation interface in
Psy03-A thm:evaluation and allocate its union bound
over all means
CheungPsy03A,Hoeffding.
Displayed formulas in this passage
unlabeled · line 1386