© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2604.20303

Operational criterion for Wigner function negativity

Paolo Solinas, Beatrice Donelli, Stefano Gherardini

quant-phSubmitted Apr 22, 2026• Announced Apr 23, 2026• 0 citations

Abstract

We introduce an operational criterion to identify Wigner function (WF) negativity for an arbitrary quantum state within the framework of quantum non-demolition measurements. This criterion corresponds to experimentally accessible schemes that enable a direct measurement of the WF, and establishes the coherent-state basis as a privileged basis for determining when the WF exhibits negative regions. We show that the absence (presence) of coherent superpositions in the coherent-state basis provides direct information about the positivity (negativity) of the WF. In particular, the absence of such superpositions constitutes a sufficient condition for WF positivity. Although a general proof of necessity remains elusive, we demonstrate that this condition is also necessary in two relevant cases: Schrödinger-cat states and higher-order cat states on a circle. More precisely, for Schrödinger-cat states we establish a necessary and sufficient condition for the positivity of the WF in full generality, whereas for high-order cat states on a circle we derive an analogous condition in the limit of a large number of densely packed coherent states.

Comments: 12 pages, 2 figures

Related papers

On the negativity of the Wigner function as a measure of entanglement under quantum polarization converter devices

Mustapha Ziane, M. El Baz

We study the behaviour of the Negativity of Wigner Function (NWF) as a measure of entanglement in non-Gaussian states under quantum polarisation converter devices. We analyze comparatively this quantity with other measures of entanglement in a system prepared in a superposition of two-mode coherent states. We show that the (WF) can be identified as a quantifier of non-Gaussian entanglement.

arXiv:2101.09182•Jan 22, 2021•0 citations

Robustness of negativity of the Wigner function to dissipation

B. Nugmanov, N. Zunikov, F. Ya. Khalili

Non-Gaussian quantum states, described by negative valued Wigner functions, are important both for fundamental tests of quantum physics and for emerging quantum information technologies. However, they are vulnerable to dissipation. It is known, that the Wigner functions negativity could exist only if the overall quantum efficiency $\eta$ of the setup is higher than 1/2. Here we prove that this condition is not only necessary but also a sufficient one: the negativity always persists while this condition is fulfilled. At the same time, in the case of bright (multi-photon) non-Gaussian quantum states, the negativity dependence on $\eta$ is highly non-linear. With the loss of several photons, it drops by orders of magnitude, hampering its experimental detection.

arXiv:2201.03257•Jan 10, 2022•0 citations

Witnessing Wigner Negativity

Ulysse Chabaud, Pierre-Emmanuel Emeriau, Frédéric Grosshans

Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental relevance, it is also a necessary resource for quantum speedup with continuous variables. As quantum technologies emerge, the need to identify and characterize the resources which provide an advantage over existing classical technologies becomes more pressing. Here we derive witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, which can be reliably measured using standard detection setups. They possess a threshold expectation value indicating whether the measured state has a negative Wigner function. Moreover, the amount of violation provides an operational quantification of Wigner negativity. We phrase the problem of finding the threshold values for our witnesses as an infinite-dimensional linear optimisation. By relaxing and restricting the corresponding linear programs, we derive two hierarchies of semidefinite programs, which provide numerical sequences of increasingly tighter upper and lower bounds for the threshold values. We further show that both sequences converge to the threshold value. Moreover, our witnesses form a complete family – each Wigner negative state is detected by at least one witness – thus providing a reliable method for experimentally witnessing Wigner negativity of quantum states from few measurements. From a foundational perspective, our findings provide insights on the set of positive Wigner functions which still lacks a proper characterisation.

arXiv:2102.06193•Quantum•Jun 8, 2021•47 citations

Wigner negativity and nonlocal correlations

Matthias Freyberger, Michael E. N. Tschaffon

Abstract We investigate whether negative values of Wigner functions purely coming from correlations are sufficient for observing nonlocal correlations. We employ a simple model for superpositions of coherent states and examine how the corresponding Wigner negativity of correlations relates to the violation of a CHSH inequality based on pseudo-spins. We find that a critical amount of this negativity is necessary to violate the inequality, making a nonzero negativity not sufficient for observing nonlocal correlations.

•Nov 10, 2025•0 citations

Operational certification of nonclassicality in arbitrary quantum states from few copies

Sudip Chakrabarty, Bivas Mallick, Ananda G. Maity +1 more

States with negative Wigner functions constitute a fundamental nonclassical resource underlying quantum advantage. However, their experimental certification typically relies on reconstructing the full phase-space distribution, resulting in a prohibitive measurement overhead for arbitrary quantum states. In this letter, we overcome this limitation by introducing Wigner moments, a family of global phase-space quantities that admit an exact multicopy realization as parity expectation values, and are therefore directly measurable from only a modest number of state copies. This operational correspondence enables systematic hierarchies of detection criteria together with experimentally accessible lower bounds on the logarithmic Wigner negativity, and constitutes a genuine measure of nonclassicality. Numerical benchmarking of our protocol reveals a substantial reduction in copy budget relative to conventional Wigner tomography, establishing Wigner moments as an efficient framework for certifying continuous-variable quantum resources such as genuine multipartite entanglement.

quant-pharXiv:2606.26084•Jun 25, 2026•0 citations

Wigner negativity and nonlocal correlations

Michael E. N. Tschaffon, Matthias Freyberger

Abstract We investigate whether negative values of Wigner functions purely coming from correlations are sufficient for observing nonlocal correlations. We employ a simple model for superpositions of coherent states and examine how the corresponding Wigner negativity of correlations relates to the violation of a CHSH inequality based on pseudo-spins. We find that a critical amount of this negativity is necessary to violate the inequality, making a nonzero negativity not sufficient for observing nonlocal correlations. Graphical Abstract

The European Physical Journal D•Nov 1, 2025•1 citation

We introduce an operational criterion to identify Wigner function (WF) negativity for an arbitrary quantum state within the framework of quantum non-demolition measurements. This criterion corresponds to experimentally accessible schemes that enable a direct measurement of the WF, and establishes the coherent-state basis as a privileged basis for determining when the WF exhibits negative regions. We show that the absence (presence) of coherent superpositions in the coherent-state basis provides direct information about the positivity (negativity) of the WF. In particular, the absence of such superpositions constitutes a sufficient condition for WF positivity. Although a general proof of necessity remains elusive, we demonstrate that this condition is also necessary in two relevant cases: Schrödinger-cat states and higher-order cat states on a circle. More precisely, for Schrödinger-cat states we establish a necessary and sufficient condition for the positivity of the WF in full generality, whereas for high-order cat states on a circle we derive an analogous condition in the limit of a large number of densely packed coherent states.

Non-Gaussian quantum states, described by negative valued Wigner functions, are important both for fundamental tests of quantum physics and for emerging quantum information technologies. However, they are vulnerable to dissipation. It is known, that the Wigner functions negativity could exist only if the overall quantum efficiency

\eta

of the setup is higher than 1/2. Here we prove that this condition is not only necessary but also a sufficient one: the negativity always persists while this condition is fulfilled. At the same time, in the case of bright (multi-photon) non-Gaussian quantum states, the negativity dependence on

\eta

is highly non-linear. With the loss of several photons, it drops by orders of magnitude, hampering its experimental detection.

Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental relevance, it is also a necessary resource for quantum speedup with continuous variables. As quantum technologies emerge, the need to identify and characterize the resources which provide an advantage over existing classical technologies becomes more pressing. Here we derive witnesses for Wigner negativity of single mode and multimode quantum states, based on fidelities with Fock states, which can be reliably measured using standard detection setups. They possess a threshold expectation value indicating whether the measured state has a negative Wigner function. Moreover, the amount of violation provides an operational quantification of Wigner negativity. We phrase the problem of finding the threshold values for our witnesses as an infinite-dimensional linear optimisation. By relaxing and restricting the corresponding linear programs, we derive two hierarchies of semidefinite programs, which provide numerical sequences of increasingly tighter upper and lower bounds for the threshold values. We further show that both sequences converge to the threshold value. Moreover, our witnesses form a complete family – each Wigner negative state is detected by at least one witness – thus providing a reliable method for experimentally witnessing Wigner negativity of quantum states from few measurements. From a foundational perspective, our findings provide insights on the set of positive Wigner functions which still lacks a proper characterisation.

Abstract We investigate whether negative values of Wigner functions purely coming from correlations are sufficient for observing nonlocal correlations. We employ a simple model for superpositions of coherent states and examine how the corresponding Wigner negativity of correlations relates to the violation of a CHSH inequality based on pseudo-spins. We find that a critical amount of this negativity is necessary to violate the inequality, making a nonzero negativity not sufficient for observing nonlocal correlations.

States with negative Wigner functions constitute a fundamental nonclassical resource underlying quantum advantage. However, their experimental certification typically relies on reconstructing the full phase-space distribution, resulting in a prohibitive measurement overhead for arbitrary quantum states. In this letter, we overcome this limitation by introducing Wigner moments, a family of global phase-space quantities that admit an exact multicopy realization as parity expectation values, and are therefore directly measurable from only a modest number of state copies. This operational correspondence enables systematic hierarchies of detection criteria together with experimentally accessible lower bounds on the logarithmic Wigner negativity, and constitutes a genuine measure of nonclassicality. Numerical benchmarking of our protocol reveals a substantial reduction in copy budget relative to conventional Wigner tomography, establishing Wigner moments as an efficient framework for certifying continuous-variable quantum resources such as genuine multipartite entanglement.

Abstract We investigate whether negative values of Wigner functions purely coming from correlations are sufficient for observing nonlocal correlations. We employ a simple model for superpositions of coherent states and examine how the corresponding Wigner negativity of correlations relates to the violation of a CHSH inequality based on pseudo-spins. We find that a critical amount of this negativity is necessary to violate the inequality, making a nonzero negativity not sufficient for observing nonlocal correlations. Graphical Abstract