⚛️ quantum physics

Wigner entropy conjecture and the interference formula in quantum phase space

This paper proves the Wigner entropy conjecture for a broad class of beam-splitter states by leveraging the interference formula and $p$ -norm bounds, while also establishing an extended conjecture for Wigner-Rényi entropy within a restricted parameter range.

Original authors: Zacharie Van Herstraeten, Nicolas J. Cerf

Published 2026-01-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Zacharie Van Herstraeten, Nicolas J. Cerf

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A Map of Quantum Reality

Imagine you are trying to describe a quantum particle (like a photon of light). In the quantum world, things are fuzzy and don't have a single, definite location until you look at them. Physicists use a special "map" called Phase Space to visualize where a particle might be and how fast it's moving at the same time.

Usually, this map is weird. It's like a weather map that shows not just rain (positive numbers) but also "anti-rain" (negative numbers). These negative spots are what make quantum mechanics so strange and non-classical.

However, there is a special club of quantum states called Wigner-Positive States. For these specific states, the map looks like a normal, honest probability distribution. There are no negative numbers; it's just a standard map showing where the particle is likely to be.

The Mystery: How "Fuzzy" Can You Get?

In the classical world, if you have a very sharp, precise map (like a tiny dot), the "uncertainty" is low. You know exactly where the particle is. In the quantum world, the Uncertainty Principle says you can never be too precise. There is a hard limit to how small that dot can be.

The authors of this paper are investigating a famous guess (a conjecture) about this limit. They propose that for any "honest" quantum map (Wigner-positive), there is a minimum amount of "fuzziness" or entropy (disorder) that the map must have. You can't make the map sharper than a specific point, even if you try your hardest.

Think of it like this: Imagine you are trying to draw a perfect circle on a piece of paper. The conjecture says, "No matter how good your hand is, your circle will always have a minimum amount of wobble."

The New Discovery: The "Beam-Splitter" Test

The authors wanted to prove this "minimum wobble" rule is true for a huge family of these honest quantum maps. They focused on a specific group called Beam-Splitter States.

The Analogy:
Imagine you have two separate buckets of water (two quantum states). You pour them both into a special machine called a Beam Splitter. This machine mixes the water together perfectly and then pours out just one of the mixed streams.

The authors proved that no matter what two buckets you start with (as long as they are "separable" or independent), the resulting mixed stream will always obey the "minimum wobble" rule.
They showed that the "fuzziness" of this mixed stream can never drop below the level of the most perfect, calm state possible (the vacuum state).

The Secret Weapon: The "Interference Formula"

How did they prove this? They used a mathematical tool called the Interference Formula.

The Analogy:
Imagine you are listening to two different songs playing at the same time. Usually, you hear a messy mix. But this formula is like a magic decoder ring. It reveals that if you take the "mix" of two quantum maps (a mathematical operation called convolution), it is mathematically identical to looking at the squared strength of the interference pattern between the two original songs.

Why is this cool?

Squaring removes negatives: If you square a number, it becomes positive. This explains why the mixed beam-splitter states are always "honest" (Wigner-positive) maps—they are built from squared interference patterns.
Symmetry: It shows a deep, hidden symmetry in how these quantum maps are constructed. The authors proved this formula simply and showed it's a fundamental law for pure quantum states.

What They Actually Proved

The Main Result: They proved that for all Beam-Splitter States, the "fuzziness" (entropy) is always at least as high as the minimum limit predicted by the conjecture. The rule holds true.
The Extended Result: They also looked at a more complex version of "fuzziness" (called Rényi entropy, which measures uncertainty in different ways). They proved the rule holds for this complex version too, but only for a specific range of settings (when a parameter $\alpha$ is greater than 1/2).
The Limit: They did not prove this for every single possible quantum state in the universe. There are some "honest" maps that are not made by beam splitters. For those, the rule is still an open mystery.

Summary in a Nutshell

The authors took a complex quantum puzzle about the limits of precision. They focused on a large, important family of quantum states created by mixing two states together (Beam-Splitter States). Using a clever mathematical trick (the Interference Formula) that treats mixing as a form of squaring, they proved that these states can never be "too precise." They always respect the fundamental quantum limit of uncertainty, just as the famous conjecture predicted.

They didn't solve the whole puzzle for every possible quantum state, but they solved it for a very large and important chunk of the puzzle, bringing us much closer to understanding the fundamental rules of the quantum world.

Technical Summary: Wigner Entropy Conjecture and the Interference Formula in Quantum Phase Space

Problem Statement
The paper addresses the Wigner entropy conjecture, which posits a fundamental lower bound on the Shannon differential entropy of the Wigner function for quantum states that admit a classical probabilistic description (i.e., Wigner-positive states). While the uncertainty principle implies a minimum uncertainty, the specific conjectured lower bound is $h(W_{\hat{\rho}}) \geq \ln \pi + 1$ for all Wigner-positive states $\hat{\rho} \in \mathcal{W}_+$ . This conjecture remains unproven for the general set of Wigner-positive states, despite being known to hold for Gaussian states and their convex hulls. The authors aim to extend the validity of this conjecture to a broader, non-trivial class of quantum states.

Methodology
The authors employ a combination of phase-space analysis, information-theoretic inequalities, and a specific mathematical identity known as the interference formula.

Beam-Splitter States: The study focuses on a specific family of Wigner-positive states called beam-splitter (BS) states. These are defined as the single-mode reduced states obtained by passing a separable (product) input state through a balanced beam splitter and discarding the other mode. The set of BS states, denoted $\mathcal{B}$ , includes all Gaussian states and passive states but is strictly larger than the convex hull of Gaussian states.
The Interference Formula: A central tool introduced is the outer interference formula, originally established in signal analysis but underutilized in quantum optics. This formula relates the convolution of two Wigner functions to the squared modulus of their cross Wigner function:
$W_{\psi} * W_{\phi} = 2\pi \mathcal{L}_2 [ |W_{\psi\phi}|^2 ]$
where $\mathcal{L}_s$ is a rescaling operator. This identity reveals that the Wigner function of an elementary BS state (produced from pure inputs $|\psi\rangle$ and $|\phi\rangle$ ) is proportional to the squared modulus of a cross Wigner function.
Norm Bounds: The proof leverages known bounds on the $p$ -norms of cross Wigner functions established by E. Lieb. Specifically, these bounds relate the norms of cross Wigner functions to that of the vacuum state's Wigner function.

Key Contributions and Results

Proof for Beam-Splitter States: The authors prove that the Wigner entropy conjecture holds true for the entire set of beam-splitter states $\mathcal{B}$ . By utilizing the outer interference formula, they map the Wigner function of any elementary BS state to a distribution of the form $|W_{\psi\phi}|^2$ . Applying Lieb's bounds on the $p$ -norms of cross Wigner functions, they demonstrate that the Rényi entropy of this distribution is minimized by the vacuum state (or matched Gaussian pairs).
Extended Wigner-Rényi Entropy Conjecture: The authors generalize the result to the Wigner-Rényi entropy, defined as $h_\alpha(W) = \frac{\alpha}{1-\alpha} \ln \|W\|_\alpha$ . They prove that for any BS state $\hat{\sigma} \in \mathcal{B}$ , the Rényi entropy satisfies the conjectured lower bound:
$h_\alpha(W_{\hat{\sigma}}) \geq \ln \pi + \frac{\ln \alpha}{\alpha - 1}$
This result is valid for the parameter range $\alpha \in [1/2, \infty]$ .
Handling Mixed States: The proof for the full set $\mathcal{B}$ (which includes mixed states formed by convex mixtures of elementary BS states) relies on the concavity of the Shannon entropy (for $\alpha=1$ ) and the quasi-concavity of the Rényi entropy (for $\alpha > 1$ ). Since the lower bound is constant (independent of the specific mixture components), the inequality extends from elementary states to the entire convex set $\mathcal{B}$ .
Husimi States: As a corollary, the results provide an alternative proof for the Wehrl entropy conjecture (a specific case of the Wigner entropy conjecture for Husimi Q-functions), which corresponds to BS states where one input is the vacuum.

Significance and Claims
The paper claims to provide new evidence supporting the validity of the Wigner entropy conjecture by proving it for a significantly wider class of states than previously established. The set of beam-splitter states $\mathcal{B}$ is described as arguably the largest known family of Wigner-positive states, encompassing Gaussian states, passive states, and various non-Gaussian states.

The authors highlight the interference formula as a powerful, previously underutilized tool in quantum optics that unveils a "self-convolution" symmetry in pure states and constrains the shape of valid Wigner functions.

However, the paper maintains a modest stance regarding the completeness of the proof:

The proof is not a full resolution of the conjecture for all Wigner-positive states, as there exist Wigner-positive states that are not beam-splitter states.
The result for the Rényi entropy is restricted to $\alpha \geq 1/2$ . The authors note that the proof does not extend to $\alpha < 1/2$ due to limitations in the underlying Lieb inequalities regarding $p$ -norms for $p < 1$ .
The conjecture remains open for the general set $\mathcal{W}_+$ and for the range $\alpha \in (0, 1/2)$ .

In conclusion, the work advances the understanding of the quantum-classical border by establishing a rigorous lower bound on phase-space uncertainty for a broad, physically relevant class of states, utilizing a novel application of the interference formula to bridge signal analysis techniques with quantum information theory.