Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1604.06974 · Physical Review Letters

Quasiprobability Representations of Quantum Mechanics with Minimal Negativity

Huangjun Zhu

Published Sep 14, 2016• 48 citations
arXivHTMLPDF

Abstract

Quasiprobability representations, such as the Wigner function, play an important role in various research areas. The inevitable appearance of negativity in such representations is often regarded as a signature of nonclassicality, which has profound implications for quantum computation. However, little is known about the minimal negativity that is necessary in general quasiprobability representations. Here we focus on a natural class of quasiprobability representations that is distinguished by simplicity and economy. We introduce three measures of negativity concerning the representations of quantum states, unitary transformations, and quantum channels, respectively. Quite surprisingly, all three measures lead to the same representations with minimal negativity, which are in one-to-one correspondence with the elusive symmetric informationally complete measurements. In addition, most representations with minimal negativity are automatically covariant with respect to the Heisenberg-Weyl groups. Furthermore, our study reveals an interesting tradeoff between negativity and symmetry in quasiprobability representations.

DOI
10.1103/physrevlett.117.120404

Related papers

Non-negative subtheories and quasiprobability representations of qubits

Joel J. Wallman, Stephen D. Bartlett

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}^{{d}^{2}}$ 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.

arXiv:1203.2652•Physical Review A•Jun 26, 2012•39 citations

Discrete Wigner functions from informationally complete quantum measurements

John B. DeBrota, Blake C. Stacey

Wigner functions provide a way to do quantum physics using quasiprobabilities, that is, ``probability'' distributions that can go negative. Informationally complete positive operator-valued measures, a much younger subject than phase-space formulations of quantum mechanics, are less familiar but provide wholly probabilistic representations of quantum theory. In this paper, we show that the Born rule links these two classes of structure and discuss the art of interconverting between them. In particular, we demonstrate that the operator bases corresponding to minimal discrete Wigner functions (Wigner bases) are orthogonalizations of minimal informationally complete measurements (MICs). By not imposing a particular discrete phase-space structure at the outset, we push Wigner functions to their limits in a suitably quantified sense, revealing an extremality condition satisfied by the symmetric informationally complete measurements (SICs). This contributes another member to the set of optimality criteria that SICs are known to satisfy. Finally, we speculate that astute choices of MICs from the orthogonalization preimages of Wigner bases may in general give quantum measurements that are conceptually illuminating for the quasiprobability representations defined by those Wigner bases.

arXiv:1912.07554•Physical Review A•Sep 28, 2020•21 citations

The role of cohomology in quantum computation with magic states

Robert Raussendorf, Cihan Okay, Michael Zurel +1 more

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:2110.11631•Quantum•Apr 13, 2023•17 citations

Quantum Phase Space Representations and Their Negativities

Ninnat Dangniam

A classical simulation scheme of quantum computation given a restricted set of states and measurements may be---occasionally, but only occasionally---interpreted naturally as a statistical simulation of positive quasi-probability distributions on a phase space. In this dissertation, we explore phase space representations for finite-dimensional quantum systems and their negativities beyond the usual analogues of the Wigner function. The first line of study focuses on a characterization tool for valid quasi-probability distributions of (possibly mixed) quantum states. A quantum generalization of Bochner's theorem from classical probability theory simultaneously characterizes both the set of valid Wigner functions and the subset of positive ones. We extend this theorem to discrete phase spaces based on projective representations of abelian groups, including the discrete Wigner functions of Gross (J. Math. Phys. 47, 122107 (2006)) and Gibbons et al. (Phys. Rev. A 70, 062101 (2004)). The rest of the dissertation is then dedicated to phase space representations covariant with respect to a general Lie group. This means, in particular, that operators that lie in the same orbit of the group have the same amount of negativity in their quasi-probabilities---a natural requirement if one would like to interpret negativity as non-classicality, and the group action as a classical dynamics. We show that the construction due to Brif and Mann (Phys. Rev. A 59, 971 (1999)) of group covariant phase space representations satisfying the so-called Stratonovich-Weyl correspondence is essentially unique, given the group and an input state in the relevant representation. As an application, we construct quasi-probability representations on a compact phase space of fermionic Gaussian states tailored to a classically simulatable problem of fermionic linear optics and find that, in the first non-trivial case of four fermionic modes, the quasi-probabilities of the Gaussian states exhibit a considerable amount of negativity.

•Jan 1, 2018•0 citations

Simulation of quantum computation with magic states via Jordan-Wigner transformations

Michael Zurel, Lawrence Z. Cohen, Robert Raussendorf

Negativity in certain quasiprobability representations is a necessary condition for a quantum computational advantage. Here we define a quasiprobability representation exhibiting this property with respect to quantum computations in the magic state model. It is based on generalized Jordan-Wigner transformations, and it has a close connection to the probability representation of universal quantum computation based on the $\mathrm{\ensuremath{\Lambda}}$ polytopes. For each number of qubits, it defines a polytope contained in the $\mathrm{\ensuremath{\Lambda}}$ polytope with some shared vertices. It leads to an efficient classical simulation algorithm for magic state quantum circuits for which the input state is positively represented, and it outperforms previous representations in terms of the states that can be positively represented.

arXiv:2307.16034•Physical Review A•Sep 2, 2025•1 citation

Representation of entanglement by negative quasiprobabilities

Jan Sperling, W. Vogel

Any bipartite quantum state has quasiprobability representations in terms of separable states. For entangled states these quasiprobabilities necessarily exhibit negativities. Based on the general structure of composite quantum states, one may reconstruct such quasiprobabilities from experimental data. Because of ambiguity, the quasiprobabilities obtained by the bare reconstruction are insufficient to identify entanglement. An optimization procedure is introduced to derive quasiprobabilities with a minimal amount of negativity. Negativities of optimized quasiprobabilities are necessary and sufficient for entanglement; their positivity proves separability.

arXiv:0811.4527•Physical Review A•Apr 28, 2009•46 citations
Quasiprobability representations, such as the Wigner function, play an important role in various research areas. The inevitable appearance of negativity in such representations is often regarded as a signature of nonclassicality, which has profound implications for quantum computation. However, little is known about the minimal negativity that is necessary in general quasiprobability representations. Here we focus on a natural class of quasiprobability representations that is distinguished by simplicity and economy. We introduce three measures of negativity concerning the representations of quantum states, unitary transformations, and quantum channels, respectively. Quite surprisingly, all three measures lead to the same representations with minimal negativity, which are in one-to-one correspondence with the elusive symmetric informationally complete measurements. In addition, most representations with minimal negativity are automatically covariant with respect to the Heisenberg-Weyl groups. Furthermore, our study reveals an interesting tradeoff between negativity and symmetry in quasiprobability representations.
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 2d2{2}^{{d}^{2}}2d2 states in non-negative bases of a ddd-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.
Wigner functions provide a way to do quantum physics using quasiprobabilities, that is, ``probability'' distributions that can go negative. Informationally complete positive operator-valued measures, a much younger subject than phase-space formulations of quantum mechanics, are less familiar but provide wholly probabilistic representations of quantum theory. In this paper, we show that the Born rule links these two classes of structure and discuss the art of interconverting between them. In particular, we demonstrate that the operator bases corresponding to minimal discrete Wigner functions (Wigner bases) are orthogonalizations of minimal informationally complete measurements (MICs). By not imposing a particular discrete phase-space structure at the outset, we push Wigner functions to their limits in a suitably quantified sense, revealing an extremality condition satisfied by the symmetric informationally complete measurements (SICs). This contributes another member to the set of optimality criteria that SICs are known to satisfy. Finally, we speculate that astute choices of MICs from the orthogonalization preimages of Wigner bases may in general give quantum measurements that are conceptually illuminating for the quasiprobability representations defined by those Wigner bases.
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.
A classical simulation scheme of quantum computation given a restricted set of states and measurements may be---occasionally, but only occasionally---interpreted naturally as a statistical simulation of positive quasi-probability distributions on a phase space. In this dissertation, we explore phase space representations for finite-dimensional quantum systems and their negativities beyond the usual analogues of the Wigner function. The first line of study focuses on a characterization tool for valid quasi-probability distributions of (possibly mixed) quantum states. A quantum generalization of Bochner's theorem from classical probability theory simultaneously characterizes both the set of valid Wigner functions and the subset of positive ones. We extend this theorem to discrete phase spaces based on projective representations of abelian groups, including the discrete Wigner functions of Gross (J. Math. Phys. 47, 122107 (2006)) and Gibbons et al. (Phys. Rev. A 70, 062101 (2004)). The rest of the dissertation is then dedicated to phase space representations covariant with respect to a general Lie group. This means, in particular, that operators that lie in the same orbit of the group have the same amount of negativity in their quasi-probabilities---a natural requirement if one would like to interpret negativity as non-classicality, and the group action as a classical dynamics. We show that the construction due to Brif and Mann (Phys. Rev. A 59, 971 (1999)) of group covariant phase space representations satisfying the so-called Stratonovich-Weyl correspondence is essentially unique, given the group and an input state in the relevant representation. As an application, we construct quasi-probability representations on a compact phase space of fermionic Gaussian states tailored to a classically simulatable problem of fermionic linear optics and find that, in the first non-trivial case of four fermionic modes, the quasi-probabilities of the Gaussian states exhibit a considerable amount of negativity.
Negativity in certain quasiprobability representations is a necessary condition for a quantum computational advantage. Here we define a quasiprobability representation exhibiting this property with respect to quantum computations in the magic state model. It is based on generalized Jordan-Wigner transformations, and it has a close connection to the probability representation of universal quantum computation based on the $\mathrm{\ensuremath{\Lambda}}$ polytopes. For each number of qubits, it defines a polytope contained in the $\mathrm{\ensuremath{\Lambda}}$ polytope with some shared vertices. It leads to an efficient classical simulation algorithm for magic state quantum circuits for which the input state is positively represented, and it outperforms previous representations in terms of the states that can be positively represented.
Any bipartite quantum state has quasiprobability representations in terms of separable states. For entangled states these quasiprobabilities necessarily exhibit negativities. Based on the general structure of composite quantum states, one may reconstruct such quasiprobabilities from experimental data. Because of ambiguity, the quasiprobabilities obtained by the bare reconstruction are insufficient to identify entanglement. An optimization procedure is introduced to derive quasiprobabilities with a minimal amount of negativity. Negativities of optimized quasiprobabilities are necessary and sufficient for entanglement; their positivity proves separability.