Wigner non-negative states that verify the Wigner entropy conjecture

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\pi$. We prove this conjecture for the qubits formed by Fock states $|0\rangle$ and $|1\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.