Wigner entropy conjecture and the interference formula in quantum phase space

TL;DR

This paper proves the Wigner entropy conjecture for a class of quantum states called beam-splitter states, using the interference formula in phase space, and extends the conjecture to Wigner-Rényi entropy within a specific parameter range.

Contribution

It provides a proof of the Wigner entropy conjecture for beam-splitter states and introduces the interference formula as a key tool in quantum phase space analysis.

Findings

Wigner entropy conjecture holds for beam-splitter states

Interference formula reveals symmetry in Wigner functions

Extended Wigner-Rényi entropy conjecture proven for certain parameters

Abstract

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\'enyi entropy of beam-splitter states, albeit in a restricted range for the R\'enyi parameter $\alpha \geq 1/2$.