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

Wigner non-negative states that verify the Wigner entropy conjecture

Qipeng Qian, Christos N. Gagatsos

Published Jul 29, 2024• 4 citations
arXivHTMLPDF

Abstract

We present further progress, in the form of analytical results, on the Wigner entropy conjecture set forth by Van Herstraeten and Cerf [Phys. Rev. A 104, 042211 (2021)] and Hertz et al. [J. Phys. A: Math. Theor. 50, 385301 (2017)]. Said conjecture asserts that the differential entropy defined for non-negative, yet physical, Wigner functions is minimized by pure Gaussian states while the minimum entropy is equal to $1+ln\ensuremath{\pi}$. We prove this conjecture for the qubits formed by Fock states $|0\ensuremath{\rangle}$ and $|1\ensuremath{\rangle}$ that correspond to non-negative Wigner functions. In particular, we derive an explicit form of the Wigner entropy for those states lying on the boundary of the set of Wigner non-negative qubits. We then consider general mixed states and derive a sufficient condition for the conjecture's validity. Lastly, we elaborate on the states which are in accordance with our condition.

DOI
10.1103/physreva.110.012228

Related papers

Upper bounds on the purity of Wigner positive quantum states that verify the Wigner entropy conjecture

Qipeng Qian, Christos Gagatsos

We present analytical results toward the Wigner entropy conjecture, which posits that among all physical Wigner non-negative states the Wigner entropy is minimized by pure Gaussian states for which it attains the value $1+\lnπ$. Working under a minimal set of constraints on the Wigner function, namely, non-negativity, normalization, and the pointwise bound $πW\le 1$, we construct an explicit hierarchy of lower bounds $B_n$ on $S[W]$ by combining a truncated series lower bound for $-\ln x$ with moment identities of the Wigner function. This yields closed-form sufficient conditions, expressed in terms of the state purity $μ:=\operatorname{Tr}(ρ^2)=2π\int dq\,dp\,W(q,p)^2$, ensuring $S[W]\ge 1+\lnπ$. In particular, we first prove that all physical Wigner-non-negative states with $μ\le 4-2\sqrt{3}$ satisfy the Wigner entropy conjecture. We further obtain a systematic purity-only relaxation of the hierarchy, whose limiting sufficient condition is $μ\le 2/e$. Finally, we show that the threshold $2/e$ is sharp under the relaxed constraints considered here, thereby identifying the need for additional quantum-realizability information in the remaining high-purity regime.

quant-pharXiv:2601.16898•Physical Review A•Jan 26, 2026•0 citations

Wigner-positive quantum states can have lower entropy than the vacuum

Zacharie Van Herstraeten, Nicolas J. Cerf, Ulysse Chabaud

The Wigner entropy conjecture posits that pure Gaussian states minimize the Shannon entropy of non-negative Wigner functions, known as the Wigner entropy. We show that mixing a specific pure Wigner-negative state with another suitably chosen quantum state can restore Wigner positivity while retaining a Wigner entropy that is slightly - but strictly - below the vacuum entropy. As a consequence, we disprove the Wigner entropy conjecture, as well as the stronger Wigner majorization conjecture, by deriving simple analytical counterexamples with violations of the entropy bound no larger than $10^{-3}$. Such states with sub-vacuum Wigner entropy can be found arbitrarily close to the vacuum and can also exhibit sub-vacuum Wigner-Rényi $α$-entropy for $0<α<2$. We identify the physical mechanism behind the existence of such states, which arises from a subtle interplay between the uncertainty principle and non-Gaussianity. The key idea of this paper was developed with the help of AI tools, building on the characterization of extreme non-negative Wigner functions.

quant-pharXiv:2609.24670•Sep 22, 2026•0 citations

On a Recent Conjecture by Z. Van Herstraeten and N. J. Cerf for the Quantum Wigner Entropy

Nuno Costa Dias, João Nuno Prata

Abstract We address a recent conjecture stated by Z. Van Herstraeten and N. J. Cerf. They claim that the Shannon entropy for positive Wigner functions is bounded below by a positive constant, which can be attained only by Gaussian pure states. We introduce an alternative definition of entropy for all absolutely integrable Wigner functions, which is the Shannon entropy for positive Wigner functions. Moreover, we are able to prove, in arbitrary dimension, that this entropy is indeed bounded below by a positive constant, which is not very distant from the constant suggested by Van Herstraeten and Cerf. We also prove an analogous result for another conjecture stated by the same authors for the Rényi entropy of positive Wigner functions. As a by-product we prove a new inequality for the radar-ambiguity function (and for the Wigner distribution) which is reminiscent of Lieb’s inequalities.

arXiv:2303.10531•Annales Henri Poincaré•Apr 11, 2023•9 citations

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.14831•Dec 18, 2025•0 citations

Quantum Wigner entropy

Zacharie Van Herstraeten, Nicolas J. Cerf

We define the Wigner entropy of a quantum state as the differential Shannon entropy of the Wigner function of the state. This quantity is properly defined only for states that possess a positive Wigner function, which we name Wigner-positive states, but we argue that it is a proper measure of quantum uncertainty in phase space. It is invariant under symplectic transformations (displacements, rotations, and squeezing) and we conjecture that it is lower bounded by $ln\ensuremath{\pi}+1$ within the convex set of Wigner-positive states. It reaches this lower bound for Gaussian pure states, which are natural minimum-uncertainty states. This conjecture bears a resemblance with the Wehrl-Lieb conjecture, and we prove it over the subset of passive states of the harmonic oscillator which are of particular relevance in quantum thermodynamics. Along the way, we present a simple technique to build a broad class of Wigner-positive states exploiting an optical beam splitter and reveal an unexpectedly simple convex decomposition of extremal passive states. The Wigner entropy is anticipated to be a significant physical quantity, for example, in quantum optics where it allows us to establish a Wigner entropy-power inequality. It also opens a way towards stronger entropic uncertainty relations. Finally, we define the Wigner-R\'enyi entropy of Wigner-positive states and conjecture an extended lower bound that is reached for Gaussian pure states.

arXiv:2105.12843•Physical Review A•Oct 13, 2021•35 citations

Complex-valued Wigner entropy of a quantum state

Nicolas J. Cerf, Anaelle Hertz, Zacharie Van Herstraeten

Abstract It is common knowledge that the Wigner function of a quantum state may admit negative values, so that it cannot be viewed as a genuine probability density. Here, we examine the difficulty in finding an entropy-like functional in phase space that extends to negative Wigner functions and then advocate the merits of defining a complex-valued entropy associated with any Wigner function. This quantity, which we call thecomplex Wigner entropy, is defined via the analytic continuation of Shannon’s differential entropy of the Wigner function in the complex plane. We show that the complex Wigner entropy enjoys interesting properties, especially its real and imaginary parts are both invariant under Gaussian unitaries (displacements, rotations, and squeezing in phase space). Its real part is physically relevant when considering the evolution of the Wigner function under a Gaussian convolution, while its imaginary part is simply proportional to the negative volume of the Wigner function. Finally, we define the complex-valued Fisher information of any Wigner function, which is linked (via an extended de Bruijn’s identity) to the time derivative of the complex Wigner entropy when the state undergoes Gaussian additive noise. Overall, it is anticipated that the complex plane yields a proper framework for analyzing the entropic properties of quasiprobability distributions in phase space.

arXiv:2310.19296•Quantum Studies Mathematics and Foundations•May 16, 2024•11 citations
We present further progress, in the form of analytical results, on the Wigner entropy conjecture set forth by Van Herstraeten and Cerf [Phys. Rev. A 104, 042211 (2021)] and Hertz et al. [J. Phys. A: Math. Theor. 50, 385301 (2017)]. Said conjecture asserts that the differential entropy defined for non-negative, yet physical, Wigner functions is minimized by pure Gaussian states while the minimum entropy is equal to 1+ln\ensuremathπ1+ln\ensuremath{\pi}1+ln\ensuremathπ. We prove this conjecture for the qubits formed by Fock states ∣0\ensuremath⟩|0\ensuremath{\rangle}∣0\ensuremath⟩ and ∣1\ensuremath⟩|1\ensuremath{\rangle}∣1\ensuremath⟩ that correspond to non-negative Wigner functions. In particular, we derive an explicit form of the Wigner entropy for those states lying on the boundary of the set of Wigner non-negative qubits. We then consider general mixed states and derive a sufficient condition for the conjecture's validity. Lastly, we elaborate on the states which are in accordance with our condition.
We present analytical results toward the Wigner entropy conjecture, which posits that among all physical Wigner non-negative states the Wigner entropy is minimized by pure Gaussian states for which it attains the value 1+ln⁡π1+\lnπ1+lnπ. Working under a minimal set of constraints on the Wigner function, namely, non-negativity, normalization, and the pointwise bound πW≤1πW\le 1πW≤1, we construct an explicit hierarchy of lower bounds BnB_nBn​ on S[W]S[W]S[W] by combining a truncated series lower bound for −ln⁡x-\ln x−lnx with moment identities of the Wigner function. This yields closed-form sufficient conditions, expressed in terms of the state purity μ:=Tr⁡(ρ2)=2π∫dq dp W(q,p)2μ:=\operatorname{Tr}(ρ^2)=2π\int dq\,dp\,W(q,p)^2μ:=Tr(ρ2)=2π∫dqdpW(q,p)2, ensuring S[W]≥1+ln⁡πS[W]\ge 1+\lnπS[W]≥1+lnπ. In particular, we first prove that all physical Wigner-non-negative states with μ≤4−23μ\le 4-2\sqrt{3}μ≤4−23​ satisfy the Wigner entropy conjecture. We further obtain a systematic purity-only relaxation of the hierarchy, whose limiting sufficient condition is μ≤2/eμ\le 2/eμ≤2/e. Finally, we show that the threshold 2/e2/e2/e is sharp under the relaxed constraints considered here, thereby identifying the need for additional quantum-realizability information in the remaining high-purity regime.
The Wigner entropy conjecture posits that pure Gaussian states minimize the Shannon entropy of non-negative Wigner functions, known as the Wigner entropy. We show that mixing a specific pure Wigner-negative state with another suitably chosen quantum state can restore Wigner positivity while retaining a Wigner entropy that is slightly - but strictly - below the vacuum entropy. As a consequence, we disprove the Wigner entropy conjecture, as well as the stronger Wigner majorization conjecture, by deriving simple analytical counterexamples with violations of the entropy bound no larger than 10−310^{-3}10−3. Such states with sub-vacuum Wigner entropy can be found arbitrarily close to the vacuum and can also exhibit sub-vacuum Wigner-Rényi ααα-entropy for 0<α<20<α<20<α<2. We identify the physical mechanism behind the existence of such states, which arises from a subtle interplay between the uncertainty principle and non-Gaussianity. The key idea of this paper was developed with the help of AI tools, building on the characterization of extreme non-negative Wigner functions.
Abstract We address a recent conjecture stated by Z. Van Herstraeten and N. J. Cerf. They claim that the Shannon entropy for positive Wigner functions is bounded below by a positive constant, which can be attained only by Gaussian pure states. We introduce an alternative definition of entropy for all absolutely integrable Wigner functions, which is the Shannon entropy for positive Wigner functions. Moreover, we are able to prove, in arbitrary dimension, that this entropy is indeed bounded below by a positive constant, which is not very distant from the constant suggested by Van Herstraeten and Cerf. We also prove an analogous result for another conjecture stated by the same authors for the Rényi entropy of positive Wigner functions. As a by-product we prove a new inequality for the radar-ambiguity function (and for the Wigner distribution) which is reminiscent of Lieb’s inequalities.
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.
We define the Wigner entropy of a quantum state as the differential Shannon entropy of the Wigner function of the state. This quantity is properly defined only for states that possess a positive Wigner function, which we name Wigner-positive states, but we argue that it is a proper measure of quantum uncertainty in phase space. It is invariant under symplectic transformations (displacements, rotations, and squeezing) and we conjecture that it is lower bounded by $ln\ensuremath{\pi}+1$ within the convex set of Wigner-positive states. It reaches this lower bound for Gaussian pure states, which are natural minimum-uncertainty states. This conjecture bears a resemblance with the Wehrl-Lieb conjecture, and we prove it over the subset of passive states of the harmonic oscillator which are of particular relevance in quantum thermodynamics. Along the way, we present a simple technique to build a broad class of Wigner-positive states exploiting an optical beam splitter and reveal an unexpectedly simple convex decomposition of extremal passive states. The Wigner entropy is anticipated to be a significant physical quantity, for example, in quantum optics where it allows us to establish a Wigner entropy-power inequality. It also opens a way towards stronger entropic uncertainty relations. Finally, we define the Wigner-R\'enyi entropy of Wigner-positive states and conjecture an extended lower bound that is reached for Gaussian pure states.
Abstract It is common knowledge that the Wigner function of a quantum state may admit negative values, so that it cannot be viewed as a genuine probability density. Here, we examine the difficulty in finding an entropy-like functional in phase space that extends to negative Wigner functions and then advocate the merits of defining a complex-valued entropy associated with any Wigner function. This quantity, which we call thecomplex Wigner entropy, is defined via the analytic continuation of Shannon’s differential entropy of the Wigner function in the complex plane. We show that the complex Wigner entropy enjoys interesting properties, especially its real and imaginary parts are both invariant under Gaussian unitaries (displacements, rotations, and squeezing in phase space). Its real part is physically relevant when considering the evolution of the Wigner function under a Gaussian convolution, while its imaginary part is simply proportional to the negative volume of the Wigner function. Finally, we define the complex-valued Fisher information of any Wigner function, which is linked (via an extended de Bruijn’s identity) to the time derivative of the complex Wigner entropy when the state undergoes Gaussian additive noise. Overall, it is anticipated that the complex plane yields a proper framework for analyzing the entropic properties of quasiprobability distributions in phase space.