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.

35 pages

References in corpus (13)

• Application of a resource theory for magic states to fault-tolerant quantum computing
• Negativity and contextuality are equivalent notions of nonclassicality
• Computational power of correlations
• 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
• Resource quality of a symmetry-protected topologically ordered phase for quantum computation
• Uniqueness of noncontextual models for stabilizer subtheories
• 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

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