Journal of Mathematical Physics

Mixed states with positive Wigner functions

T. Bröcker, Reinhard F. Werner

Published Jan 1, 1995• 70 citations

Abstract

The Wigner distribution function of a pure quantum state is everywhere positive if and only if the state is coherent, according to a result of Hudson. The characterization of mixed states with a positive Wigner function is a special case of the problem of determining functions satisfying a twisted positive definiteness condition for a prescribed set of twisting parameters (i.e., functions with given ‘‘Wigner spectrum’’ in the sense of Narcowich). If a state is a convex combination of coherent states, it has the property that the Wigner spectrum contains the unit interval, which in turn implies that the Wigner function is positive. It is shown by explicit examples that the converses of both implications are false. The examples are taken from a low-dimensional section of the state space, in which all Wigner spectra can be computed. In this set counterexamples to a conjecture by Narcowich concerning the Wigner spectrum of products are also found, as well as a state whose Wigner spectrum is a convergent sequence of discrete points.

DOI: 10.1063/1.531326

Related papers

Hudson’s theorem for finite-dimensional quantum systems

D. Gross

We show that, on a Hilbert space of odd dimension, the only pure states to possess a non-negative Wigner function are stabilizer states. The Clifford group is identified as the set of unitary operations which preserve positivity. The result can be seen as a discrete version of Hudson’s theorem. Hudson established that for continuous variable systems, the Wigner function of a pure state has no negative values if and only if the state is Gaussian. Turning to mixed states, it might be surmised that only convex combinations of stabilizer states give rise to non-negative Wigner distributions. We refute this conjecture by means of a counterexample. Further, we give an axiomatic characterization which completely fixes the definition of the Wigner function and compare two approaches to stabilizer states for Hilbert spaces of prime-power dimensions. In the course of the discussion, we derive explicit formulas for the number of stabilizer codes defined on such systems.

arXiv:quant-ph/0602001Journal of Mathematical PhysicsDec 1, 2006366 citations

Non-negative discrete Wigner functions

Gross, D

We show that, on a Hilbert space of odd dimension, the only pure states to possess a non-negative Wigner function are stabilizer states. The Clifford group is identified as the set of unitary operations which preserve positivity. The result can be seen as a discrete version of Hudson's Theorem. Hudson established that for continuous variable systems, the Wigner function of a pure state has no negative values if and only if the state is Gaussian. Turning to mixed states, it might be surmised that only convex combinations of stabilizer states give rise to non-negative Wigner distributions. We refute this conjecture by means of a counter-example. Further, we give an axiomatic characterization which completely fixes the definition of the Wigner function and compare two approaches to stabilizer states for Hilbert spaces of prime-power dimensions. In the course of the discussion, we derive explicit formulas for the number of stabilizer codes defined on such systems.

Feb 1, 20061 citation

Extreme non-negative Wigner functions

Zacharie Van Herstraeten, Jack Davis, Nuno C. Dias +3 more

Providing an operational characterization of the Wigner-positive states (WPS), i.e., the set of quantum states with non-negative Wigner function, is a longstanding open problem. For pure states, the only WPS are Gaussian states, but the situation is considerably more subtle for mixed states. Here, we approach the problem using convex geometry, reducing the question to the characterization of the extreme points of the set of WPS. We give a constructive method to generate a large class of such extreme WPS, which combines the following steps: (i) we characterize the phase-invariant extreme points of the superset of Wigner-positive quasi-states (WPQS); (ii) we introduce a new quantum map, named Vertigo map, which maps extreme WPQS to extreme WPS while preserving phase invariance; (iii) we identify families of extremality-preserving maps and use them to obtain extreme WPS while relaxing phase invariance. Our construction generates all extreme WPS of low dimension, starting from a specific kind of WPS known as beam-splitter states. Our results build upon new mathematical properties of the set of WPS derived in a companion paper and unveil the remarkable structure of mixed states with non-negative Wigner functions.

quant-pharXiv:2512.14831Dec 18, 20250 citations

Gaussianity bounds for quantum mixed states with a positive Wigner function

Aikaterini Mandilara, Evgueni Karpov, Nicolas J. Cerf

According to Hudson's theorem, the only quantum pure states with a positive Wigner function are Gaussian states. We summarize and compare some recent attempts at extending this theorem to the space of quantum mixed states, and complement them with new results obtained from numerical observations. Specifically, we look for upper bounds on the admissible non-Gaussianity of mixed states with a positive Wigner function. © 2010 IOP Publishing Ltd.

Journal of Physics Conference SeriesNov 1, 20107 citations

Extending Hudson’s theorem to mixed quantum states

Aikaterini Mandilara, Evgueni Karpov, Nicolas J. Cerf

According to Hudson's theorem, any pure quantum state with a positive Wigner function is necessarily a Gaussian state. Here, we make a step toward the extension of this theorem to mixed quantum states by finding upper and lower bounds on the degree of non-Gaussianity of states with positive Wigner functions. The bounds are expressed in the form of parametric functions relating the degree of non-Gaussianity of a state, its purity, and the purity of the Gaussian state characterized by the same covariance matrix. Although our bounds are not tight, they permit us to visualize the set of states with positive Wigner functions.

arXiv:0808.2501Physical Review AJun 3, 200955 citations

Polytopes of Absolutely Wigner Bounded Spin States

Jérôme Denis, J. Davis, Robert B. Mann +1 more

Quasiprobability has become an increasingly popular notion for characterising non-classicality in quantum information, thermodynamics, and metrology. Two important distributions with non-positive quasiprobability are the Wigner function and the Glauber-Sudarshan function. Here we study properties of the spin Wigner function for finite-dimensional quantum systems and draw comparisons with its infinite-dimensional analog, focusing in particular on the relation to the Glauber-Sudarshan function and the existence of absolutely Wigner-bounded states. More precisely, we investigate unitary orbits of mixed spin states that are characterized by Wigner functions lower-bounded by a specified value. To this end, we extend a characterization of the set of absolutely Wigner positive states as a set of linear eigenvalue constraints, which together define a polytope centred on the maximally mixed state in the simplex of spin- j states. The lower bound determines the relative size of such absolutely Wigner bounded (AWB) polytopes and we study their geometric characteristics. In each dimension a Hilbert-Schmidt ball representing a tight purity-based sufficient condition to be AWB is exactly determined, while another ball representing a necessary condition to be AWB is conjectured. Special attention is given to the case where the polytope separates orbits containing only positive Wigner functions from other orbits because of the use of Wigner negativity as a witness of non-classicality. Comparisons are made to absolute symmetric state separability and spin Glauber-Sudarshan positivity, with additional details given for low spin quantum numbers.

arXiv:2304.09006QuantumDec 4, 20243 citations