⚛️ quantum physics

Operational criterion for Wigner function negativity

This paper introduces an operational criterion based on quantum non-demolition measurements that links the presence or absence of coherent superpositions in the coherent-state basis to the negativity or positivity of a quantum state's Wigner function, establishing a necessary and sufficient condition for Schrödinger-cat states and a limit-specific condition for high-order cat states.

Original authors: Paolo Solinas, Beatrice Donelli, Stefano Gherardini

Published 2026-04-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Paolo Solinas, Beatrice Donelli, Stefano Gherardini

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: Is the System "Quantum" or "Classical"?

Imagine you are trying to figure out if a coin is a normal, physical coin (classical) or a magical, super-powered coin that can be heads and tails at the same time (quantum).

In the world of physics, scientists use a special map called the Wigner Function to draw a picture of a quantum system.

Classical systems (like a rolling ball) look like smooth, positive hills on this map. Everything is "positive," just like a normal probability chart.
Quantum systems (like an electron in a superposition) often have "holes" or "valleys" where the map dips below zero. These negative regions are the smoking gun. They prove the system is behaving in a way that is impossible for classical objects.

The Problem: It's usually very hard to measure these negative regions directly. It's like trying to photograph a ghost; the act of looking at it often makes it disappear or change.

The Solution: The authors of this paper (Paolo, Beatrice, and Stefano) have invented a new "operational criterion"—a practical rule of thumb and a measurement recipe—that tells us exactly when we will see these negative "ghostly" regions.

The Recipe: The "Shadow Puppet" Trick (QNDM)

To measure the Wigner function without destroying the quantum state, the authors suggest a method called Quantum Non-Demolition Measurement (QNDM).

The Analogy:
Imagine you have a fragile, invisible sculpture (the quantum system). You want to know its shape, but you can't touch it directly, or it will shatter.

Instead, you have two "shadow puppets" (detectors) that you can gently tap against the sculpture.
You tap the first puppet to feel the "position" and the second to feel the "momentum" (speed/direction).
Because the sculpture is quantum, these two taps interfere with each other in a weird way.
By measuring how the shadows of the puppets wiggle and phase-shift, you can mathematically reconstruct the shape of the invisible sculpture.

This process allows them to build the Wigner map experimentally.

The Golden Rule: The "Coherent State" Basis

The paper's biggest discovery is about how to look at the quantum system to see if it's "quantum" enough to have negative regions.

They found that there is a special "language" or "basis" in which to describe the system: The Coherent State Basis.

The Analogy:
Imagine you are trying to describe a complex painting.

If you describe it using "Red, Blue, and Green" pixels (a standard basis), the description might look messy and confusing.
But if you describe it using "Brushstrokes" (the Coherent State Basis), the picture becomes clear.

The authors discovered that Coherent States are the "Brushstrokes" of the quantum world. They are the most "classical-like" quantum states (like a perfect laser beam).

The Rule:

If your painting is just a mix of separate brushstrokes (no brushstrokes overlapping or blending into each other), the Wigner map will be positive (Classical).
If your painting has brushstrokes that are superimposed (blending together to create interference patterns), the Wigner map will likely have negative regions (Quantum).

The "Sufficient" Condition:
If you look at the system in this special "Brushstroke" language and you see zero overlap between the strokes (no quantum coherence), you can be 100% sure the system is classical (Positive Wigner function).

The "Cat" Test: Schrödinger's Cat and the Critical Threshold

The paper gets even more specific by testing two famous scenarios: Schrödinger's Cat (a cat that is both dead and alive) and Higher-Order Cats (a cat spinning in a circle with many positions).

They asked: "How much 'quantumness' (coherence) do we need to see the negative regions?"

The Analogy of the "Critical Threshold":
Imagine you are trying to hear a whisper in a noisy room.

If the room is too noisy (too much "decoherence" or loss of quantum connection), you can't hear the whisper, and the system looks classical.
The authors calculated the exact volume the whisper needs to be to be heard.

They found a Critical Residual Coherence ( $\Delta_c$ ).

If the connection between the quantum states is stronger than this critical value, the Wigner function will have negative regions.
If the connection is weaker, the negativity disappears, and the system looks classical.

The Surprise:
For most practical situations (like a cat far away from the center), this critical value is incredibly small. It's like saying, "As long as there is even a tiny amount of quantum connection left, the system is still quantum."

However, if the quantum states are very close together (like a cat that is only slightly dead and slightly alive), the threshold is higher. You need a stronger connection to see the quantum magic.

Why This Matters

For Scientists: It gives them a checklist. Before they run a complex experiment, they can look at their quantum state in the "Coherent State" language. If they see superpositions (overlaps), they know they are on the verge of seeing negative Wigner regions.
For Technology: Quantum computers and sensors rely on these "negative" quantum features to work. This paper helps engineers know exactly how much "noise" their system can tolerate before it stops being a quantum computer and becomes just a regular, boring calculator.
For Understanding Reality: It clarifies the boundary between the quantum world and the classical world. It suggests that the "magic" of quantum mechanics isn't just about being in two places at once; it's specifically about how those "places" (coherent states) overlap and interfere with each other.

Summary in One Sentence

The authors found a practical way to measure the "quantumness" of a system by translating it into a special language of "coherent states," proving that if those states overlap even a little bit, the system will exhibit the strange, negative properties that define the quantum world.

1. Problem Statement

The distinction between classical and quantum behavior is fundamental to quantum mechanics and quantum technologies. While inequalities like Bell's and Leggett-Garg's identify non-locality and macrorealism violations, the negativity of the Wigner Function (WF) is considered a primary hallmark of quantumness for a state.

The Challenge: For pure states, Hudson's Theorem (1974) established that the WF is positive if and only if the state is a coherent (Gaussian) state. However, for general mixed states, there is no clear, operational framework to determine when the WF exhibits negative regions.
The Goal: The authors aim to introduce an operational criterion based on Quantum Non-Demolition Measurements (QNDM) to identify WF negativity for arbitrary quantum states by linking it to the structure of the density matrix in the Coherent-State Basis (CSB).

2. Methodology

The paper employs a theoretical framework combining QNDM schemes, phase-space analysis, and density matrix decomposition.

QNDM Scheme for WF Measurement:
- The authors propose an experimental protocol using a tripartite system: the quantum system $S$ and two ancillary detectors $D_1$ and $D_2$ .
- The system interacts sequentially with the detectors via a unitary coupling $\hat{U}_{\lambda,\eta} = \exp[i(\hat{x}\otimes\hat{\lambda} + \hat{p}\otimes\hat{\eta})]$ .
- This setup allows the reconstruction of the quasi-characteristic function $G_{\lambda,\eta}$ (the Fourier transform of the WF) by measuring the phases accumulated in the detectors.
- Crucially, this links the WF to the expectation values of non-Hermitian annihilation ( $\hat{a}$ ) and creation ( $\hat{a}^\dagger$ ) operators.
Coherent-State Basis (CSB) Decomposition:
- The authors analyze the system's density matrix $\hat{\rho}$ decomposed in the CSB, defined by the eigenstates of the annihilation operator $\hat{a}|\beta\rangle = \beta|\beta\rangle$ .
- They investigate the relationship between the off-diagonal elements (quantum coherences) of $\hat{\rho}$ in the CSB and the sign of the resulting WF.
- The analysis accounts for the length scale parameter $\sigma$ (Gaussian width), noting that the WF is invariant under rescaling of $\sigma$ , allowing the use of any CSB.

3. Key Contributions and Results

A. Sufficient Condition for WF Positivity

The paper proves a fundamental sufficient condition:

If a quantum state has no off-diagonal elements (i.e., no coherent superpositions) in the Coherent-State Basis, its Wigner Function is strictly positive.
Mathematically, if $\hat{\rho}$ is diagonal in the CSB ( $\hat{\rho} = \int d^2\beta \, P(\beta) |\beta\rangle\langle\beta|$ with $P(\beta) \geq 0$ ), the WF is a convolution of positive Gaussians and remains positive.
This generalizes Hudson's theorem to mixed states: the absence of coherence in the CSB implies classicality (in the sense of WF positivity).

B. Necessary Condition for WF Negativity (Schrödinger-Cat States)

For the specific case of Schrödinger-cat states (superpositions of two coherent states), the authors derive a necessary and sufficient condition for WF negativity.

They parametrize the coherence between the two states using a parameter $\Delta$ ( $0 \leq \Delta \leq 1$ ), where $\Delta=1$ represents full coherence and $\Delta=0$ represents a statistical mixture.
Result: The WF exhibits negative regions if and only if the residual coherence $\Delta$ exceeds a critical value $\Delta_c$ :
$\Delta > \Delta_c = e^{-2(\text{Re}\,\beta)^2}$
where $\text{Re}\,\beta$ is the distance of the coherent states from the origin in phase space.
Implication: If the coherent states are well-separated ( $\text{Re}\,\beta$ is large), $\Delta_c$ becomes exponentially small. Thus, even a tiny amount of residual coherence is sufficient to generate WF negativity.

C. Necessary Condition for Higher-Order Cat States

The authors extend the analysis to higher-order cat states consisting of $M$ coherent states densely packed on a circle of radius $d$ (where $M \gg d^2$ ).

In the limit of highly packed states, the WF becomes radially symmetric.
They derive an upper bound for the critical coherence $\Delta_c$ :
$\Delta_c \approx \frac{1}{1 + 0.056 \, e^{d^2} M}$
Similar to the two-state case, as the separation $d$ increases, the critical coherence required for negativity vanishes exponentially. This confirms that for macroscopically distinct cat states, the mere presence of coherence in the CSB is practically a necessary and sufficient condition for WF negativity.

4. Significance and Impact

Operational Framework: The paper bridges the gap between abstract mathematical properties of the WF and experimentally accessible quantities. By using QNDM, it provides a concrete protocol to measure the WF and interpret its negativity.
Privileged Basis Identification: It establishes the Coherent-State Basis as the privileged basis for diagnosing quantumness. The presence of off-diagonal terms in this specific basis is the direct indicator of non-classicality (WF negativity).
Quantifying the Quantum-to-Classical Transition: The derivation of the critical coherence $\Delta_c$ provides a predictive tool for experimental platforms (e.g., cavity QED, mesoscopic systems). It quantifies exactly how much decoherence a system can tolerate before it loses its "quantum signature" (WF negativity).
Resolution of Mixed State Ambiguity: While a general proof for arbitrary mixed states remains open, the results for cat states provide strong evidence that for physically relevant non-Gaussian states, the presence of coherence in the CSB is the defining feature of WF negativity.

Conclusion

Solinas et al. provide a rigorous operational criterion stating that WF negativity is directly linked to the presence of coherent superpositions in the coherent-state basis. They demonstrate that while the absence of such superpositions guarantees positivity, their presence is necessary for negativity in relevant quantum states, with a specific critical threshold that depends on the phase-space separation of the states. This work offers a vital tool for certifying quantum effects in continuous-variable systems and tracking the transition from quantum to classical behavior.