Definition. Verifier channel and false acceptance [ftip-00E0]
Definition. Verifier channel and false acceptance [ftip-00E0]
A verifier channel is a map \(V:\mathcal Y_x\to \{0,1\}\). Given a validity map \(U:\mathcal Y_x\to \{0,1\}\), a false-accept event is
\[F=\{y\in \mathcal Y_x:V(y)=1\ \text {and}\ U(y)=0\}.\]The event depends on the declared verifier and validity test. It is not identified by a scalar reward unless equivalence with that reward criterion is an explicit assumption.