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:0910.3198 · Physical Review A

Necessity of negativity in quantum theory

Christopher Ferrie, Ryan Morris, Joseph Emerson

Published Oct 15, 2010• 45 citations
arXivHTMLPDF

Abstract

A unification of the set of quasiprobability representations using the mathematical theory of frames was recently developed for quantum systems with finite-dimensional Hilbert spaces, in which it was proven that such representations require negative probability in either the states or the effects. In this article we extend those results to Hilbert spaces of infinite dimension, for which the celebrated Wigner function is a special case. Hence, this article presents a unified framework for describing the set of possible quasiprobability representations of quantum theory, and a proof that the presence of negativity is a necessary feature of such representations.

DOI
10.1103/physreva.82.044103

Related papers

Quasi-probability representations of quantum theory with applications to quantum information science

Christopher Ferrie

This paper comprises a review of both the quasi-probability representations of infinite-dimensional quantum theory (including the Wigner function) and the more recently defined quasi-probability representations of finite-dimensional quantum theory. We focus on both the characteristics and applications of these representations with an emphasis toward quantum information theory. We discuss the recently proposed unification of the set of possible quasi-probability representations via frame theory and then discuss the practical relevance of negativity in such representations as a criteria for quantumness.

arXiv:1010.2701•Reports on Progress in Physics•Oct 14, 2011•176 citations

Framed Hilbert space: hanging the quasi-probability pictures of quantum theory

Christopher Ferrie, Joseph Emerson

Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an alternate approach to defining a set of quasi-probability representations, based on a more natural generalization of a classical representation, is equivalent to our earlier approach based on frames, and therefore is also subject to our no-go theorem for a non-negative representation. Furthermore, we clarify the relationship between the contextuality of quantum theory and the necessity of negativity in quasi-probability representations and discuss their relevance as criteria for non-classicality. We also provide a comprehensive overview of known quasi-probability representations and their expression within the frame formalism.

arXiv:0903.4843•New Journal of Physics•Jun 22, 2009•106 citations

Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations

Christopher Ferrie, Joseph Emerson

Several finite-dimensional quasi-probability representations of quantum states have been proposed to study various problems in quantum information theory and quantum foundations. These representations are often defined only on restricted dimensions and their physical significance in contexts such as drawing quantum-classical comparisons is limited by the non-uniqueness of the particular representation. Here we show how the mathematical theory of frames provides a unified formalism which accommodates all known quasi-probability representations of finite-dimensional quantum systems. Moreover, we show that any quasi-probability representation is equivalent to a frame representation and then prove that any such representation of quantum mechanics must exhibit either negativity or a deformed probability calculus.

arXiv:0711.2658•Journal of Physics A Mathematical and Theoretical•Jul 25, 2008•111 citations

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

The Wigner representation of quantum mechanics

Valerian I. Tatarskii

Correct use of the Wigner representation of quantum mechanics, which is realized with joint distributions of quasiprobabilities in phase space, requires the use of certain specific rules and attention to a number of properties which distinguish the quasiprobability from a true probability. This paper is mainly concerned with these problems. In the Wigner representation the quantum Liouville equation appears instead of the Schroedinger equation. The solution may have no physical meaning unless it is subjected to a necessary and sufficient condition which selects an allowed class of distributions which describe quantum-mechanical pure states. This condition contains Planck's constant and imposes, besides the uncertainty relations, severe restrictions on the possible form of the Wigner function. When this condition is satisfied, one can reconstruct the wave function from the Wigner function. In the case of an oscillator, the quantization condition for the energies of the stationary states does not follow from the Liouville equation, but from this supplementary condition. Unlike the true probability density, any Wigner function (except Gaussian ones) of a pure state takes on negative values. Another important peculiarity is that the quasiprobability is not concentrated on certain hypersurfaces, but is smeared out over the entire phase space. These and other features considered in this paper should be kept in mind when using the Wigner representation in quantum-mechanical problems.

Soviet Physics Uspekhi•Apr 30, 1983•483 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
A unification of the set of quasiprobability representations using the mathematical theory of frames was recently developed for quantum systems with finite-dimensional Hilbert spaces, in which it was proven that such representations require negative probability in either the states or the effects. In this article we extend those results to Hilbert spaces of infinite dimension, for which the celebrated Wigner function is a special case. Hence, this article presents a unified framework for describing the set of possible quasiprobability representations of quantum theory, and a proof that the presence of negativity is a necessary feature of such representations.
This paper comprises a review of both the quasi-probability representations of infinite-dimensional quantum theory (including the Wigner function) and the more recently defined quasi-probability representations of finite-dimensional quantum theory. We focus on both the characteristics and applications of these representations with an emphasis toward quantum information theory. We discuss the recently proposed unification of the set of possible quasi-probability representations via frame theory and then discuss the practical relevance of negativity in such representations as a criteria for quantumness.
Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an alternate approach to defining a set of quasi-probability representations, based on a more natural generalization of a classical representation, is equivalent to our earlier approach based on frames, and therefore is also subject to our no-go theorem for a non-negative representation. Furthermore, we clarify the relationship between the contextuality of quantum theory and the necessity of negativity in quasi-probability representations and discuss their relevance as criteria for non-classicality. We also provide a comprehensive overview of known quasi-probability representations and their expression within the frame formalism.
Several finite-dimensional quasi-probability representations of quantum states have been proposed to study various problems in quantum information theory and quantum foundations. These representations are often defined only on restricted dimensions and their physical significance in contexts such as drawing quantum-classical comparisons is limited by the non-uniqueness of the particular representation. Here we show how the mathematical theory of frames provides a unified formalism which accommodates all known quasi-probability representations of finite-dimensional quantum systems. Moreover, we show that any quasi-probability representation is equivalent to a frame representation and then prove that any such representation of quantum mechanics must exhibit either negativity or a deformed probability calculus.
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.
Correct use of the Wigner representation of quantum mechanics, which is realized with joint distributions of quasiprobabilities in phase space, requires the use of certain specific rules and attention to a number of properties which distinguish the quasiprobability from a true probability. This paper is mainly concerned with these problems. In the Wigner representation the quantum Liouville equation appears instead of the Schroedinger equation. The solution may have no physical meaning unless it is subjected to a necessary and sufficient condition which selects an allowed class of distributions which describe quantum-mechanical pure states. This condition contains Planck's constant and imposes, besides the uncertainty relations, severe restrictions on the possible form of the Wigner function. When this condition is satisfied, one can reconstruct the wave function from the Wigner function. In the case of an oscillator, the quantization condition for the energies of the stationary states does not follow from the Liouville equation, but from this supplementary condition. Unlike the true probability density, any Wigner function (except Gaussian ones) of a pure state takes on negative values. Another important peculiarity is that the quasiprobability is not concentrated on certain hypersurfaces, but is smeared out over the entire phase space. These and other features considered in this paper should be kept in mind when using the Wigner representation in quantum-mechanical problems.
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.