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 .
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 .
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 explore the role of majorization theory in quantum phase space. To this purpose, we restrict ourselves to quantum states with positive Wigner functions and show that the continuous version of majorization theory provides an elegant and very natural approach to exploring the information-theoretic properties of Wigner functions in phase space. After identifying all Gaussian pure states as equivalent in the precise sense of continuous majorization, which can be understood in light of Hudson's theorem, we conjecture a fundamental majorization relation: any positive Wigner function is majorized by the Wigner function of a Gaussian pure state (especially, the bosonic vacuum state or ground state of the harmonic oscillator). As a consequence, any Schur-concave function of the Wigner function is lower bounded by the value it takes for the vacuum state. This implies in turn that the Wigner entropy is lower bounded by its value for the vacuum state, while the converse is notably not true. Our main result is then to prove this fundamental majorization relation for a relevant subset of Wigner-positive quantum states which are mixtures of the three lowest eigenstates of the harmonic oscillator. Beyond that, the conjecture is also supported by numerical evidence. We conclude by discussing some implications of this conjecture in the context of entropic uncertainty relations in phase space.
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.
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 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.
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.