Operational detection of Wigner negativity in arbitrary quantum states from few copies
Pith reviewed 2026-06-25 19:42 UTC · model grok-4.3
The pith
Wigner negativity in any quantum state can be detected from moments of its Wigner function estimated on a modest number of copies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Wigner negativity of an arbitrary state is witnessed by the violation of any member of three complementary hierarchies of inequalities on its Wigner moments; these moments admit an exact multicopy representation as expectation values of parity observables and can therefore be estimated from randomized measurements or classical shadows on a small number of copies, yielding both detection and quantitative bounds without phase-space tomography.
What carries the argument
Hierarchies of negativity criteria obtained from L_p-norm inequalities, log-convexity relations, and Hankel-matrix positivity applied to Wigner moments.
If this is right
- Wigner negativity can be certified without reconstructing the full phase-space distribution.
- A small set of parity observables suffices both to detect and to quantify the negativity.
- The same moment data supply witnesses for bipartite and multipartite entanglement.
- Randomized-measurement and classical-shadow protocols become directly usable for nonclassicality certification.
- The framework scales to higher-dimensional continuous-variable systems by increasing the order of accessible moments.
Where Pith is reading between the lines
- The moment-based witnesses could be combined with existing shadow tomography routines to produce confidence intervals on the degree of negativity.
- Similar inequalities might be derived for other quasi-probability representations such as the Husimi or Glauber-Sudarshan functions.
- In optical or trapped-ion experiments the parity observables translate into measurable photon-number parities or spin parities, offering a direct experimental path.
- The approach suggests that nonclassical resource theories for continuous variables can be built around a single computable object—the sequence of Wigner moments—rather than the entire function.
Load-bearing premise
The derived inequalities are violated exactly when the Wigner function is negative, and estimates from finite copies can reveal those violations without introducing uncontrolled errors.
What would settle it
A concrete state whose Wigner function is known to be negative yet whose measured moments satisfy every inequality in the three hierarchies, or a state whose Wigner function is known to be non-negative yet whose moments violate at least one inequality.
Figures
read the original abstract
States with negative Wigner functions form a fundamental class of nonclassical resource underlying quantum advantage. Here we develop a unified framework to detect Wigner negativity of arbitrary states using experimentally accessible moments of the Wigner function that can be estimated from a modest number of state copies. Exploiting constraints satisfied by positive phase-space distributions, we derive complementary hierarchies of negativity criteria based on $\mathcal{L}_p$-norm inequalities, log-convexity relations, and Hankel-matrix positivity, yielding increasingly powerful witnesses of Wigner negativity without full phase-space tomography. The framework further enables quantitative characterization of Wigner negativity from a small number of experimentally accessible observables. Next, we establish an exact multicopy representation of all Wigner moments as expectation values of parity-based observables, providing a practical and scalable route to their experimental estimation. We demonstrate the performance of our scheme through numerical simulations of randomized-measurement and classical-shadow protocols. Finally, we show that the framework extends naturally to identifying nonclassical resources such as bipartite and multipartite entanglement. These results establish Wigner moments as a versatile tool for the scalable detection and quantification of nonclassical resources in continuous-variable quantum systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to develop a unified framework to detect Wigner negativity of arbitrary states using experimentally accessible moments of the Wigner function that can be estimated from a modest number of state copies. Exploiting constraints satisfied by positive phase-space distributions, it derives complementary hierarchies of negativity criteria based on L_p-norm inequalities, log-convexity relations, and Hankel-matrix positivity. The framework provides an exact multicopy representation of all Wigner moments as expectation values of parity-based observables and demonstrates performance via numerical simulations of randomized-measurement and classical-shadow protocols. It extends the approach to identifying nonclassical resources such as bipartite and multipartite entanglement.
Significance. If the central derivations hold, the work supplies a scalable, tomography-free method for witnessing and quantifying Wigner negativity in continuous-variable systems via a small number of parity observables. The moment-based witnesses and their experimental estimation route address a practical bottleneck in resource detection; the numerical checks via classical shadows provide concrete performance data. Extension to entanglement broadens utility for nonclassical resource theory.
minor comments (3)
- [Abstract] Abstract: the phrase 'yielding increasingly powerful witnesses' should be accompanied by a brief indication of how the three hierarchies are ordered by strength or computational cost.
- [Multicopy representation] The multicopy representation section should explicitly state the scaling of the number of copies required to estimate the k-th moment to fixed precision.
- [Numerical simulations] Numerical simulations: report the precise number of state copies and shots per observable used in the randomized-measurement and shadow protocols so that the 'modest number' claim can be quantified.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report correctly captures the core contributions of our unified moment-based framework for Wigner negativity detection, its multicopy estimation route, and the extension to entanglement witnesses. No major comments were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The derivation relies on standard inequalities that any non-negative function must obey (L_p-norm bounds, log-convexity, Hankel positivity), which are external mathematical facts independent of the paper's target result. Wigner moments are obtained from parity observables via an established multicopy representation, presented as an estimation technique rather than a fitted or self-referential prediction. No load-bearing self-citations, ansatz smuggling, or reductions of claims to their own inputs appear in the provided abstract or framework description; the witnesses are explicitly framed as necessary conditions, not if-and-only-if characterizations derived from the data itself.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
S. L. Braunstein and P. van Loock, Quantum information with continuous variables, Rev. Mod. Phys.77, 513 (2005)
2005
-
[2]
G. S. Agarwal,Quantum Optics(Cambridge University Press, 2012)
2012
-
[3]
C. C. Gerry and P. L. Knight,Introductory quantum optics (Cambridge university press, 2023)
2023
-
[4]
E. C. G. Sudarshan, Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams, Phys. Rev. Lett.10, 277 (1963)
1963
-
[5]
R. J. Glauber, Coherent and incoherent states of the radiation field, Physical Review131, 2766 (1963)
1963
-
[6]
K. C. Tan, S. Choi, and H. Jeong, Negativity of quasiprobability distributions as a measure of nonclassicality, Physical review letters124, 110404 (2020)
2020
-
[7]
Titulaer and R
U. Titulaer and R. Glauber, Correlation functions for coherent fields, Physical Review140, B676 (1965)
1965
-
[8]
Wigner, On the quantum correction for thermodynamic equi- librium, Physical review40, 749 (1932)
E. Wigner, On the quantum correction for thermodynamic equi- librium, Physical review40, 749 (1932)
1932
-
[9]
Kenfack and K
A. Kenfack and K. ˙Zyczkowski, Negativity of the wigner func- tion as an indicator of non-classicality, Journal of Optics B: Quantum and Semiclassical Optics6, 396 (2004)
2004
-
[10]
Cormick, E
C. Cormick, E. F. Galvao, D. Gottesman, J. P. Paz, and A. O. Pittenger, Classicality in discrete wigner functions, Phys- ical Review A—Atomic, Molecular, and Optical Physics73, 012301 (2006)
2006
-
[11]
The Heisenberg Representation of Quantum Computers
D. Gottesman, The heisenberg representation of quantum com- puters, arXiv preprint quant-ph/9807006 (1998)
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[12]
Mari and J
A. Mari and J. Eisert, Positive wigner functions render classical simulation of quantum computation efficient, Phys. Rev. Lett. 109, 230503 (2012)
2012
-
[13]
E. F. Galvao, Discrete wigner functions and quantum compu- tational speedup, Physical Review A—Atomic, Molecular, and Optical Physics71, 042302 (2005)
2005
-
[14]
Niset, J
J. Niset, J. Fiur ´aˇsek, and N. J. Cerf, No-go theorem for gaussian quantum error correction, Physical review letters102, 120501 (2009)
2009
-
[15]
Giedke and J
G. Giedke and J. I. Cirac, Characterization of gaussian opera- tions and distillation of gaussian states, Physical Review A66, 032316 (2002)
2002
-
[16]
Fiur ´aˇsek, Gaussian transformations and distillation of entan- gled gaussian states, Physical review letters89, 137904 (2002)
J. Fiur ´aˇsek, Gaussian transformations and distillation of entan- gled gaussian states, Physical review letters89, 137904 (2002)
2002
-
[17]
Eisert, S
J. Eisert, S. Scheel, and M. B. Plenio, Distilling gaussian states with gaussian operations is impossible, Physical review letters 89, 137903 (2002)
2002
-
[18]
S. D. Bartlett, B. C. Sanders, S. L. Braunstein, and K. Nemoto, Efficient classical simulation of continuous variable quantum information processes, Physical Review Letters88, 097904 (2002)
2002
-
[19]
Chabaud, P.-E
U. Chabaud, P.-E. Emeriau, and F. Grosshans, Witnessing wigner negativity, Quantum5, 471 (2021)
2021
-
[20]
Cimini, M
V . Cimini, M. Barbieri, N. Treps, M. Walschaers, and V . Pa- rigi, Neural networks for detecting multimode wigner negativ- ity, Physical Review Letters125, 160504 (2020)
2020
-
[21]
Leibfried, D
D. Leibfried, D. Meekhof, B. King, C. Monroe, W. M. Itano, and D. J. Wineland, Experimental determination of the mo- tional quantum state of a trapped atom, Physical review letters 77, 4281 (1996). 6
1996
-
[22]
Smithey, M
D. Smithey, M. Beck, M. G. Raymer, and A. Faridani, Mea- surement of the wigner distribution and the density matrix of a light mode using optical homodyne tomography: Application to squeezed states and the vacuum, Physical review letters70, 1244 (1993)
1993
-
[23]
Banaszek, C
K. Banaszek, C. Radzewicz, K. W ´odkiewicz, and J. Krasi ´nski, Direct measurement of the wigner function by photon counting, Physical Review A60, 674 (1999)
1999
-
[24]
Lutterbach and L
L. Lutterbach and L. Davidovich, Method for direct measure- ment of the wigner function in cavity qed and ion traps, Physi- cal review letters78, 2547 (1997)
1997
-
[25]
Bertet, A
P. Bertet, A. Auffeves, P. Maioli, S. Osnaghi, T. Meunier, M. Brune, J.-M. Raimond, and S. Haroche, Direct measurement of the wigner function of a one-photon fock state in a cavity, Physical Review Letters89, 200402 (2002)
2002
-
[26]
Winkelmann, C
F.-R. Winkelmann, C. A. Weidner, G. Ramola, W. Alt, D. Meschede, and A. Alberti, Direct measurement of the wigner function of atoms in an optical trap, Journal of Physics B: Atomic, Molecular and Optical Physics55, 194004 (2022)
2022
-
[27]
D. Lv, S. An, M. Um, J. Zhang, J.-N. Zhang, M. Kim, and K. Kim, Reconstruction of the jaynes-cummings field state of ionic motion in a harmonic trap, Physical Review A95, 043813 (2017)
2017
-
[28]
A. I. Lvovsky, H. Hansen, T. Aichele, O. Benson, J. Mlynek, and S. Schiller, Quantum state reconstruction of the single- photon fock state, Physical Review Letters87, 050402 (2001)
2001
-
[29]
Fl ¨uhmann and J
C. Fl ¨uhmann and J. P. Home, Direct characteristic-function to- mography of quantum states of the trapped-ion motional oscil- lator, Physical review letters125, 043602 (2020)
2020
-
[30]
Xiang, S
Y . Xiang, S. Liu, J. Guo, Q. Gong, N. Treps, Q. He, and M. Walschaers, Distribution and quantification of remotely generated wigner negativity, npj Quantum Information8, 21 (2022)
2022
-
[31]
A. I. Lvovsky and M. G. Raymer, Continuous-variable optical quantum-state tomography, Reviews of modern physics81, 299 (2009)
2009
-
[32]
G. M. D’Ariano, M. G. Paris, and M. F. Sacchi, Quantum tomography, Advances in imaging and electron physics128, S1076 (2003)
2003
-
[33]
Rahimi-Keshari, A
S. Rahimi-Keshari, A. Scherer, A. Mann, A. T. Rezakhani, A. Lvovsky, and B. C. Sanders, Quantum process tomogra- phy with coherent states, New Journal of Physics13, 013006 (2011)
2011
-
[34]
D’Ariano and P
G. D’Ariano and P. L. Presti, Quantum tomography for measur- ing experimentally the matrix elements of an arbitrary quantum operation, Physical review letters86, 4195 (2001)
2001
-
[35]
J. Haah, A. W. Harrow, Z. Ji, X. Wu, and N. Yu, Sample-optimal tomography of quantum states, IEEE Transactions on Informa- tion Theory63, 5628 (2017)
2017
-
[36]
O’Donnell and J
R. O’Donnell and J. Wright, Efficient quantum tomography, in Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (STOC)(Association for Computing Ma- chinery, New York, NY , USA, 2016) pp. 899–912
2016
-
[37]
K. E. Cahill and R. J. Glauber, Density operators and quasiprob- ability distributions, Physical Review177, 1882 (1969)
1969
-
[38]
W. B. Case, Wigner functions and weyl transforms for pedestri- ans, Am. J. Phys.76, 937–946 (2008)
2008
-
[39]
Rudin,Real and complex analysis, 3rd ed.(McGraw-Hill, Inc., USA, 1987)
W. Rudin,Real and complex analysis, 3rd ed.(McGraw-Hill, Inc., USA, 1987)
1987
-
[40]
C. S. Kubrusly,Measure theory: a first course(Gulf Profes- sional Publishing, 2007)
2007
-
[41]
Mallick, S
B. Mallick, S. Chakrabarty, S. Mukherjee, A. G. Maity, and A. S. Majumdar, Efficient detection of nonclassicality using moments of the wigner function, Phys. Rev. A111, 032406 (2025)
2025
-
[42]
Albarelli, M
F. Albarelli, M. G. Genoni, M. G. A. Paris, and A. Ferraro, Resource theory of quantum non-gaussianity and wigner nega- tivity, Phys. Rev. A98, 052350 (2018)
2018
-
[43]
Huang, R
H.-Y . Huang, R. Kueng, and J. Preskill, Predicting many prop- erties of a quantum system from very few measurements, Na- ture Physics16, 1050 (2020)
2020
-
[44]
R. I. Booth, U. Chabaud, and P.-E. Emeriau, Contextuality and wigner negativity are equivalent for continuous-variable quan- tum measurements, Phys. Rev. Lett.129, 230401 (2022)
2022
-
[45]
L. H. Zaw, Certifiable lower bounds of wigner negativity vol- ume and non-gaussian entanglement with conditional displace- ment gates, Phys. Rev. Lett.133, 050201 (2024)
2024
- [46]
- [47]
-
[48]
Walschaers, Non-gaussian quantum states and where to find them, PRX Quantum2, 030204 (2021)
M. Walschaers, Non-gaussian quantum states and where to find them, PRX Quantum2, 030204 (2021)
2021
-
[49]
R. L. Hudson, When is the wigner quasi-probability density non-negative?, Reports on Mathematical Physics6, 249 (1974)
1974
-
[50]
Soto and P
F. Soto and P. Claverie, When is the wigner function of mul- tidimensional systems nonnegative?, Journal of Mathematical Physics24, 97 (1983)
1983
-
[51]
Mandilara, E
A. Mandilara, E. Karpov, and N. Cerf, Extending hudson’s the- orem to mixed quantum states, Physical Review A—Atomic, Molecular, and Optical Physics79, 062302 (2009)
2009
-
[52]
Filip and L
R. Filip and L. Mi ˇsta Jr, Detecting quantum states with a posi- tive wigner function beyond mixtures of gaussian states, Physi- cal review letters106, 200401 (2011)
2011
-
[53]
Elben, R
A. Elben, R. Kueng, H.-Y . Huang, R. van Bijnen, C. Kokail, M. Dalmonte, P. Calabrese, B. Kraus, J. Preskill, P. Zoller, et al., Mixed-state entanglement from local randomized mea- surements, Physical Review Letters125, 200501 (2020)
2020
-
[54]
X.-D. Yu, S. Imai, and O. G¨uhne, Optimal entanglement certifi- cation from moments of the partial transpose, Physical Review Letters127, 060504 (2021)
2021
-
[55]
Neven, J
A. Neven, J. Carrasco, V . Vitale, C. Kokail, A. Elben, M. Dal- monte, P. Calabrese, P. Zoller, B. Vermersch, R. Kueng, and B. Kraus, Symmetry-resolved entanglement detection using partial transpose moments, npj Quantum Information7, 152 (2021)
2021
-
[56]
Detecting entanglement from few partial transpose moments and their decay via weight enumerators
D. Miller and J. Eisert, Detecting entanglement from few par- tial transpose moments and their decay via weight enumerators, arXiv preprint arXiv:2604.12576 (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[57]
Mallick, A
B. Mallick, A. G. Maity, N. Ganguly, and A. Majum- dar, Higher-dimensional-entanglement detection and quantum- channel characterization using moments of generalized positive maps, Physical Review A112, 012416 (2025)
2025
-
[58]
Mukherjee, B
S. Mukherjee, B. Mallick, S. G. Naik, A. G. Maity, and A. Ma- jumdar, Detecting genuine multipartite entanglement using mo- ments of positive maps, Physical Review A112, 062428 (2025)
2025
-
[59]
Calabrese, J
P. Calabrese, J. Cardy, and E. Tonni, Entanglement negativity in quantum field theory, Physical review letters109, 130502 (2012)
2012
- [60]
-
[61]
Aaronson, Shadow tomography of quantum states, inPro- ceedings of the 50th annual ACM SIGACT symposium on the- ory of computing(2018) pp
S. Aaronson, Shadow tomography of quantum states, inPro- ceedings of the 50th annual ACM SIGACT symposium on the- ory of computing(2018) pp. 325–338
2018
-
[62]
Cie ´sli´nski, S
P. Cie ´sli´nski, S. Imai, J. Dziewior, O. G ¨uhne, L. Knips, 7 W. Laskowski, J. Meinecke, T. Paterek, and T. V ´ertesi, Analysing quantum systems with randomised measurements, Physics Reports1095, 1 (2024)
2024
-
[63]
Chakrabarty, B
S. Chakrabarty, B. Mallick, S. Mukherjee, and A. G. Maity, Probing kirkwood-dirac nonpositivity and its operational impli- cations via moments, Physical Review A113, 032434 (2026)
2026
-
[64]
Mallick, S
B. Mallick, S. Mukherjee, A. G. Maity, and A. Majumdar, As- sessing non-markovian dynamics through moments of the choi state, Physical Review A109, 022247 (2024)
2024
-
[65]
S. Chakrabarty, S. Mukherjee, A. G. Maity, and B. Mallick, De- tection of quantum imaginarity using moments and its interfer- ometric realization, arXiv preprint arXiv:2604.00164 (2026)
-
[66]
Vidal and R
G. Vidal and R. F. Werner, Computable measure of entangle- ment, Physical Review A65, 032314 (2002)
2002
-
[67]
G. S. Agarwal and K. Tara, Nonclassical properties of states generated by the excitations on a coherent state, Phys. Rev. A 43, 492 (1991). 8 End Matter Appendix I: Wigner function for Fock and Cat states For completeness, we collect here the explicit Wigner func- tions of the representative states used as examples throughout the main text
1991
-
[68]
While the vacuum state|0⟩is Gaussian and therefore Wigner pos- itive, all states withm≥1 are Wigner negative
Fock states.The Fock states of a harmonic oscillator are defined as|m⟩ ≡ (a†)m √ m! |0⟩with Wigner function, W|m⟩(x,p)= (−1)m π e−(x2+p2)Lm 2(x2 +p 2) , whereL m(z) denotes them-th Laguerre polynomial. While the vacuum state|0⟩is Gaussian and therefore Wigner pos- itive, all states withm≥1 are Wigner negative. Consis- tent with this fact, we find that alr...
-
[69]
Cat states.Schr ¨odinger cat states, defined as the super- positions of two coherent states,|cat ±(α)⟩= 1 N (|α⟩ ± |−α⟩), withN= p 2(1±e −2α2 ), possess the Wigner function [48] Wcat±(x,p)= 1 2πN 2 e− 1 2 {(x−α)2+p2} +e − 1 2 {(x+α)2+p2} ±cos( √ 2αx)e− 1 2(x2+p2) ! whose interference term gives rise to Wigner negativ- ity, a clear signature of nonclassica...
-
[70]
This state exhibits Wigner negativity for allN≥1
× h −2 N(x1 +ip 1)N(x2 −ip 2)N +(x 1 −ip 1)N(x2 +ip 2)N +(−1) NN!LN[2(x2 1 +p 2 1)]+L N[2(x2 2 +p 2 2)] i , (S74) whereL N(x) denotes the Laguerre polynomial. This state exhibits Wigner negativity for allN≥1. The second example we consider here is the photon added coherent state, which is obtained by repeated application of the photon creation operator on...
-
[71]
The observable associated with then-th Wigner moment acts on the tensor-product Hilbert spaceH ⊗n, and therefore requires simultaneous access toncopies of the state ρ
The first step consists of preparingnidentical copies of the quantum state. The observable associated with then-th Wigner moment acts on the tensor-product Hilbert spaceH ⊗n, and therefore requires simultaneous access toncopies of the state ρ
-
[72]
As shown in the previous subsection, the role ofF n is to separate the collective degree of freedom from the relative degrees of freedom
The second step is the implementation of the orthogonal interferometric transformationF n. As shown in the previous subsection, the role ofF n is to separate the collective degree of freedom from the relative degrees of freedom. In the transformed basis, the first mode corresponds to the collective coordinateQ 0 = 1√n Pn j=1 x j, while the remaining modes...
-
[73]
Since the operator acting in the transformed basis isI⊗Π ⊗(n−1), the collective mode contributes only an identity operator and therefore does not affect the measurement 25 outcome
The final step is the measurement of parity on the relative modes. Since the operator acting in the transformed basis isI⊗Π ⊗(n−1), the collective mode contributes only an identity operator and therefore does not affect the measurement 25 outcome. All relevant information is contained in the relative modes. The measurement protocol therefore requires esti...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.