The role of cohomology in quantum computation with magic states

Abstract

A web of cohomological facts relates quantum error correction, measurement-based quantum computation, symmetry protected topological order and contextuality. Here we extend this web to quantum computation with magic states. In this computational scheme, the negativity of certain quasiprobability functions is an indicator for quantumness. However, when constructing quasiprobability functions to which this statement applies, a marked difference arises between the cases of even and odd local Hilbert space dimension. At a technical level, establishing negativity as an indicator of quantumness in quantum computation with magic states relies on two properties of the Wigner function: their covariance with respect to the Clifford group and positive representation of Pauli measurements. In odd dimension, Gross' Wigner function -- an adaptation of the original Wigner function to odd-finite-dimensional Hilbert spaces -- possesses these properties. In even dimension, Gross' Wigner function doesn't exist. Here we discuss the broader class of Wigner functions that, like Gross', are obtained from operator bases. We find that such Clifford-covariant Wigner functions do not exist in any even dimension, and furthermore, Pauli measurements cannot be positively represented by them in any even dimension whenever the number of qudits is n>=2. We establish that the obstructions to the existence of such Wigner functions are cohomological.

arXiv comment35 pages

References in corpus (48)

• Fault-tolerant quantum computation by anyons
• Topological quantum memory
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Improved Simulation of Stabilizer Circuits
• Hidden Variables and the Two Theorems of John Bell
• Negativity of the Wigner function as an indicator of nonclassicality
• Contextuality supplies the magic for quantum computation
• Positive Wigner functions render classical simulation of quantum computation efficient
• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• Application of a resource theory for magic states to fault-tolerant quantum computing
• A fault-tolerant one-way quantum computer
• Discrete phase space based on finite fields
• 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
• Trading classical and quantum computational resources
• SIC-POVMs and the Extended Clifford Group
• Contextuality in Measurement-based Quantum Computation
• Estimating outcome probabilities of quantum circuits using quasiprobabilities
• Computational power of correlations
• Multiqubit Clifford groups are unitary 3-designs
• Quasi-probability representations of quantum theory with applications to quantum information science
• Symmetry-protected phases for measurement-based quantum computation
• Wigner function negativity and contextuality in quantum computation on rebits
• Classicality in discrete Wigner functions
• Quantum computation on the edge of a symmetry-protected topological order
• Discrete Wigner functions and quantum computational speedup
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Contextuality and Wigner function negativity in qubit quantum computation
• A General Theory of Phase-Space Quasiprobability Distributions
• A computationally universal phase of quantum matter
• Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter
• The Cohomology of Non-Locality and Contextuality
• Universal quantum computation using fractal symmetry-protected cluster phases
• Equivalence between contextuality and negativity of the Wigner function for qudits
• Phase space simulation method for quantum computation with magic states on qubits
• Resource quality of a symmetry-protected topologically ordered phase for quantum computation
• Symmetry-protected topological phases with uniform computational power in one dimension
• Uniqueness of noncontextual models for stabilizer subtheories
• Permutation Symmetry Determines the Discrete Wigner Function
• A hidden variable model for universal quantum computation with magic states on qubits
• Contextuality Test of the Nonclassicality of Variational Quantum Eigensolvers
• Computational universality of symmetry-protected topologically ordered cluster phases on 2D Archimedean lattices
• Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements
• Discrete Wigner Formalism for Qubits and Non-Contextuality of Clifford Gates on Qubit Stabilizer States
• Quantum Contextuality with Stabilizer States
• Quantum computational advantage with string order parameters of 1D symmetry-protected topological order
• The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory

Cited by in corpus (7)

• Hidden variable model for quantum computation with magic states on qudits of any dimension
• Clifford group is not a semidirect product in dimensions $N$ divisible by four
• Grand Unification of All Discrete Wigner Functions on $d\times d$ Phase Space
• Simulation of quantum computation with magic states via Jordan-Wigner transformations
• Symmetries and Wigner representations of operational theories
• Symmetry-Accelerated Classical Simulation of Clifford-Dominated Circuits
• k-Contextuality as a Heuristic for Memory Separations in Learning