Non-negative subtheories and quasiprobability representations of qubits

Negativity in a quasiprobability representation is typically interpreted as an indication of nonclassical behavior. However, this does not preclude states that are non-negative from exhibiting phenomena typically associated with quantum mechanics-the single qubit stabilizer states have non-negative Wigner functions and yet play a fundamental role in many quantum information tasks. We seek to determine what other sets of quantum states and measurements of a qubit can be non-negative in a quasiprobability distribution, and to identify nontrivial groups of unitary transformations that permute the states in such a set. These sets of states and measurements are analogous to the single qubit stabilizer states. We show that no quasiprobability representation of a qubit can be non-negative for more than two bases in any plane of the Bloch sphere. Furthermore, there is a unique set of four bases that can be non-negative in an arbitrary quasiprobability representation of a qubit. We provide an exhaustive list of the sets of single qubit bases that are non-negative in some quasiprobability distribution and are also closed under a group of unitary transformations. This list includes two nontrivial families of three bases that both include the single qubit stabilizer states as a special case. For qudits, we prove that there can be no more than 2(d2) states in non-negative bases of a d-dimensional Hilbert space in any quasiprobability representation. Furthermore, these bases must satisfy certain symmetry constraints, corresponding to requiring the bases to be sufficiently different from each other.