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.
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.
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.
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.
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.
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≤1, we construct an explicit hierarchy of lower bounds Bn on S[W] by combining a truncated series lower bound for −lnx with moment identities of the Wigner function. This yields closed-form sufficient conditions, expressed in terms of the state purity μ:=Tr(ρ2)=2π∫dqdpW(q,p)2, ensuring S[W]≥1+lnπ. In particular, we first prove that all physical Wigner-non-negative states with μ≤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. 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.
Wigner-positive quantum states have the peculiarity to admit a Wigner function that is a genuine probability distribution over phase space. The Shannon differential entropy of the Wigner function of such states—called Wigner entropy for brevity—emerges as a fundamental information-theoretic measure in phase space and is subject to a conjectured lower bound, reflecting the uncertainty principle. In this work, we prove that this Wigner entropy conjecture holds true for a broad class of Wigner-positive states known as beam-splitter states, which are obtained by evolving a separable state through a balanced beam splitter and then discarding one mode. Our proof relies on known bounds on the p -norms of cross Wigner functions and on the interference formula, which relates the convolution of Wigner functions to the squared modulus of a cross Wigner function. Originally discussed in the context of signal analysis, the interference formula is not commonly used in quantum optics although it unveils a strong symmetry under convolution exhibited by Wigner functions of pure states. We provide here a simple proof of the formula and highlight some of its implications. Finally, we prove an extended conjecture on the Wigner-Rényi entropy of beam-splitter states, albeit in a restricted range for the Rényi parameter α ≥ 1 / 2 .
Positive Wigner functions can have less Shannon entropy than the vacuum, even arbitrarily close to the vacuum state. We construct physical counterexamples and identify the competition that controls their entropy: the relative entropy to the vacuum phase-space density can exceed twice the mean photon number. A two-level family exhibits a finite window in which coherence lowers entropy while preserving global Wigner positivity. A complementary construction repairs a remote negative tail with an exponentially small thermal admixture; an explicit mixing weight of 2×10−21 preserves a rigorously established entropy decrease. Optimisation over all one-mode Wigner-nonnegative states gives the sharp low-energy scale Eγ/[ln(1/E)]β, with γ≃0.7412 and β≃0.5861. Because γ<1, tensor products can have vanishing total energy and trace distance from vacuum while their entropy deficit diverges. We derive the exact half-transmission threshold for universal Shannon-entropy recovery and connect it to companion results showing residual non-Gaussian structure. The counterexamples reveal distinct controls on entropy: coherence sets the local descent, mode number amplifies it, and loss restores the vacuum bound.