Antidistinguishable quantum states (source code)

= Antidistinguishable quantum states

A finite family of <quantum states> is antidistinguishable if a <quantum measurement> has labelled outcomes such that each outcome has zero probability for its corresponding state, while the outcomes form a complete <quantum measurement>. It can exclude a state without identifying which state was prepared. The <PBR exclusion measurement for zero and plus> supplies a four-state <projective measurement> example.