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

Back to manuscript

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

Nearby in this section