Discrete Wigner Formalism for Qubits and Non-Contextuality of Clifford Gates on Qubit Stabilizer States

Abstract

We show that qubit stabilizer states can be represented by non-negative quasi-probability distributions associated with a Wigner-Weyl-Moyal formalism where Clifford gates are positive state-independent maps. This is accomplished by generalizing the Wigner-Weyl-Moyal formalism to three generators instead of two---producing an exterior, or Grassmann, algebra---which results in Clifford group gates for qubits that act as a permutation on the finite Weyl phase space points naturally associated with stabilizer states. As a result, a non-negative probability distribution can be associated with each stabilizer state's three-generator Wigner function, and these distributions evolve deterministically to one another under Clifford gates. This corresponds to a hidden variable theory that is non-contextual and local for qubit Clifford gates while Clifford (Pauli) measurements have a context-dependent representation. Equivalently, we show that qubit Clifford gates can be expressed as propagators within the three-generator Wigner-Weyl-Moyal formalism whose semiclassical expansion is truncated at order ${\hslash }^0$ with a finite number of terms. The $T$-gate, which extends the Clifford gate set to one capable of universal quantum computation, require a semiclassical expansion of the propagator to order ${\hslash }^1$. We compare this approach to previous quasi-probability descriptions of qubits that relied on the two-generator Wigner-Weyl-Moyal formalism and find that the two-generator Weyl symbols of stabilizer states result in a description of evolution under Clifford gates that is state-dependent, in contrast to the three-generator formalism. We have thus extended Wigner non-negative quasi-probability distributions from the odd $d$-dimensional case to $d=2$ qubits, which describe the non-contextuality of Clifford gates and contextuality of Pauli measurements on qubit stabilizer states.

References in corpus (7)

• Negativity and contextuality are equivalent notions of nonclassicality
• Wigner function negativity and contextuality in quantum computation on rebits
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Framed Hilbert space: hanging the quasi-probability pictures of quantum theory
• Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation
• Quasiprobability distribution functions for periodic phase-spaces: I. Theoretical Aspects
• Nonnegative subtheories and quasiprobability representations of qubits

Cited by in corpus (13)

• Critical behaviors of non-stabilizerness in quantum spin chains
• Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding
• Quantifying dynamical magic with completely stabilizer preserving operations as free
• The role of cohomology in quantum computation with magic states
• QED as a many-body theory of worldlines: I. General formalism and infrared structure
• How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of $\mathrm{SL}(2,\mathbb{C})$
• Hidden variable model for quantum computation with magic states on qudits of any dimension
• Extending Classically Simulatable Bounds of Clifford Circuits with Nonstabilizer States via Framed Wigner Functions
• Harvesting Contextuality from the Vacuum
• Improved Strong Simulation of Universal Quantum Circuits
• Simulation of quantum computation with magic states via Jordan-Wigner transformations
• Noncontextual Pauli Hamiltonians
• Differential Geometry of Contextuality