Quantum verification of group non-membership. Representing group elements on photonic qubits, the superposition of the elements of a subgroup (blue cylinders) can be used to efficiently judge whether an element is not a member of the subgroup. See K. Sun et al., pp. 1745–1751.