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 (23)

• Improved Simulation of Stabilizer Circuits
• Hidden Variables and the Two Theorems of John Bell
• Contextuality supplies the magic for quantum computation
• Positive Wigner functions render classical simulation of quantum computation efficient
• Negative Quasi-Probability as a Resource for Quantum Computation
• Hudson's Theorem for finite-dimensional quantum systems
• Negativity and contextuality are equivalent notions of nonclassicality
• Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
• Quasi-probability representations of quantum theory with applications to quantum information science
• Wigner function negativity and contextuality in quantum computation on rebits
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Contextuality and Wigner function negativity in qubit quantum computation
• 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
• The Weyl representation on the torus
• Quasiprobability distribution functions for periodic phase-spaces: I. Theoretical Aspects
• Permutation Symmetry Determines the Discrete Wigner Function
• Nonnegative subtheories and quasiprobability representations of qubits
• A quantum primality test with order finding
• Efficient rate-adaptive reconciliation for continuous-variable quantum key distribution
• Robustness of QMA against witness noise
• Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm
• Semiclassical Formulation of Gottesman-Knill and Universal Quantum Computation

Cited by in corpus (25)

• Simulation of quantum circuits by low-rank stabilizer decompositions
• Measurement reduction in variational quantum algorithms
• Deeply inelastic scattering structure functions on a hybrid quantum computer
• Phase space simulation method for quantum computation with magic states on qubits
• A hidden variable model for universal quantum computation with magic states on qubits
• Symmetric Informationally Complete Measurements Identify the Irreducible Difference between Classical and Quantum Systems
• 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
• Contextuality and The Single-Qubit Stabilizer Formalism
• The role of cohomology in quantum computation with magic states
• Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits
• Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm
• QED as a many-body theory of worldlines: I. General formalism and infrared structure
• Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits
• 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})$
• Measurement Contextuality and Planck's Constant
• The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory
• 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
• Improved Strong Simulation of Universal Quantum Circuits
• Harvesting Contextuality from the Vacuum
• Simulation of quantum computation with magic states via Jordan-Wigner transformations
• Differential Geometry of Contextuality
• Noncontextual Pauli Hamiltonians