About the Cover
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.