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 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 $\alpha \geq 1/2$.

Two-Mode Wigner Operator in Number-Difference-Operational Phase Representation

Solution of the Two-Mode Quantum Rabi Model Using Extended Squeezed States

Two-mode phase-state representations in quantum optics

Family of Coherence Measures and Duality Between Quantum Coherence and Path Distinguishability

Number-difference-phase Coherent State Analogue in Two-Mode Fock Space

Minimum uncertainty SU(1,1) coherent states for number difference - Two-mode phase squeezing

Wigner operator's new transformation in phase space quantum mechanics and its applications

Complete conditions for legitimate Wigner distributions

Phase Probability Distributions of Pair Q-Coherent States

On the Inverse of Two-Mode Boson Operators (A-B(dagger)) and (A(dagger)-B)

On the inverse of two-mode boson operators (a - b†) and (a† - b)

Minimum uncertainty relation obeyed by SWH phase operator in two-mode coherent state

Two Theorems for General N -Mode Boson Exponential Quadratic Operators

Noh-Fougeres-Mandel Operational Phase Operator As An Entangling Operator And The Corresponding Squeezed State

Particle approximations of Wigner distributions for n arbitrary observables

The Role of Coherence on Two-Particle Quantum Walks

Entanglement Conditions for Four-Mode States Via the Uncertainty Relations in Conjunction with Partial Transposition

Symmetries and Wigner representations of operational theories

A Wigner quasiprobability distribution of work

Wigner Functions for Noncommutative Quantum Mechanics: a group representation based construction

Wigner entropy conjecture and the interference formula in quantum phase space