- Open Access
Classification of Kirkwood-Dirac positivity-preserving unitaries
Phys. Rev. A 114, 042446 – Published 21 October, 2026
DOI: https://doi.org/10.1103/rsy9-12fx
Abstract
Kirkwood-Dirac (KD) quasiprobability distributions are increasingly used across quantum information science, yet their computational significance remains unclear. We classify unitary dynamics that preserve KD positivity and connect this structure to classical simulation. In contrast with the discrete Wigner setting, we show that KD positivity preservation, stochastic evolution of quasiprobabilities, and preservation of total nonpositivity do not coincide. We identify three classes of positivity-preserving unitaries: type I gates, which are exactly the KD-stochastic unitaries; type II gates, which are nonstochastic yet preserve total nonpositivity by permuting and conjugating KD entries; and, for Fourier-conjugate bases in dimension , type III gates, which preserve KD positivity but can change the total nonpositivity of nonreal distributions. The classification is complete for Haar-random bases and for Fourier-conjugate dimensions and , with distinct primes. Adapting the sampling algorithm of Pashayan et al. [Phys. Rev. Lett. 115, 070501 (2015)], we simulate all of these positivity-preserving circuits efficiently on KD-positive inputs; type III gates, however, create a sharp distinction between real inputs, which remain efficiently simulable, and nonreal inputs, whose sampling overhead can grow exponentially. Consequently, for no resource theory can both treat the KD total nonpositivity as a monotone and admit every efficiently simulable positivity-preserving unitary as a free operation.
Physics Subject Headings (PhySH)
Article Text
Supplemental Material
References (64)
- D. Gottesman, The Heisenberg representation of quantum computers, in Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics, edited by S. P. Corney, R. Delbourgo, and P. D. Jarvis (International Press, Cambridge, MA, 1999), pp. 32–43.
- R. W. Spekkens, Negativity and contextuality are equivalent notions of nonclassicality, Phys. Rev. Lett. 101, 020401 (2008).
- A. Ferraro and M. G. A. Paris, Nonclassicality criteria from phase-space representations and information-theoretical constraints are maximally inequivalent, Phys. Rev. Lett. 108, 260403 (2012).
- A. Mari and J. Eisert, Positive Wigner functions render classical simulation of quantum computation efficient, Phys. Rev. Lett. 109, 230503 (2012).
- D. Gross, Hudson's theorem for finite-dimensional quantum systems, J. Math. Phys. 47, 122107 (2006).
- C. Ferrie and J. Emerson, Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations, J. Phys. A: Math. Theor. 41, 352001 (2008).
- V. Veitch, C. Ferrie, D. Gross, and J. Emerson, Negative quasi-probability as a resource for quantum computation, New J. Phys. 14, 113011 (2012).
- E. F. Galvão, Discrete Wigner functions and quantum computational speedup, Phys. Rev. A 71, 042302 (2005).
- V. Veitch, S. A. Hamed Mousavian, D. Gottesman, and J. Emerson, The resource theory of stabilizer quantum computation, New J. Phys. 16, 013009 (2014).
- N. Delfosse, P. Allard Guerin, J. Bian, and R. Raussendorf, Wigner function negativity and contextuality in quantum computation on rebits, Phys. Rev. X 5, 021003 (2015).
- M. Howard and E. Campbell, Application of a resource theory for magic states to fault-tolerant quantum computing, Phys. Rev. Lett. 118, 090501 (2017).
- R. Raussendorf, J. Bermejo-Vega, E. Tyhurst, C. Okay, and M. Zurel, Phase-space-simulation method for quantum computation with magic states on qubits, Phys. Rev. A 101, 012350 (2020).
- C. Weedbrook, S. Pirandola, R. García-Patrón, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Gaussian quantum information, Rev. Mod. Phys. 84, 621 (2012).
- H. Pashayan, J. J. Wallman, and S. D. Bartlett, Estimating outcome probabilities of quantum circuits using quasiprobabilities, Phys. Rev. Lett. 115, 070501 (2015).
- R. Jozsa and A. Miyake, Matchgates and classical simulation of quantum circuits, Proc. R. Soc. London, Ser. A 464, 3089 (2008).
- S. Aaronson and A. Arkhipov, The computational complexity of linear optics, in STOC'11: Proceedings of the forty-third annual ACM symposium on Theory of computing (Association for Computing Machinery, New York, NY, 2011), pp. 333–342.
- B. M. Terhal and D. P. DiVincenzo, Adaptive quantum computation, constant depth quantum circuits and Arthur-Merlin games, Quant. Inf. Comp. 4, 134 (2004).
- J. G. Kirkwood, Quantum statistics of almost classical assemblies, Phys. Rev. 44, 31 (1933).
- P. A. M. Dirac, On the analogy between classical and quantum mechanics, Rev. Mod. Phys. 17, 195 (1945).
- M. Lostaglio, A. Belenchia, A. Levy, S. Hernández-Gómez, N. Fabbri, and S. Gherardini, Kirkwood-Dirac quasiprobability approach to the statistics of incompatible observables, Quantum 7, 1128 (2023).
- L. M. Johansen, Quantum theory of successive projective measurements, Phys. Rev. A 76, 012119 (2007).
- C. Bamber and J. S. Lundeen, Observing Dirac's classical phase space analog to the quantum state, Phys. Rev. Lett. 112, 070405 (2014).
- D. R. M. Arvidsson-Shukur, N. Y. Halpern, H. V. Lepage, A. A. Lasek, C. H. W. Barnes, and S. Lloyd, Quantum advantage in postselected metrology, Nat. Commun. 11, 3775 (2020).
- S. Das, S. Modak, and M. N. Bera, Saturating quantum advantages in postselected metrology with the positive Kirkwood-Dirac distribution, Phys. Rev. A 107, 042413 (2023).
- N. Lupu-Gladstein, Y. B. Yilmaz, D. R. Arvidsson-Shukur, A. Brodutch, A. O. Pang, A. M. Steinberg, and N. Y. Halpern, Negative quasiprobabilities enhance phase estimation in quantum-optics experiment, Phys. Rev. Lett. 128, 220504 (2022).
- D. R. M. Arvidsson-Shukur, J. C. Drori, and N. Y. Halpern, Conditions tighter than noncommutation needed for nonclassicality, J. Phys. A: Math. Theor. 54, 284001 (2021).
- N. Y. Halpern, Jarzynski-like equality for the out-of-time-ordered correlator, Phys. Rev. A 95, 012120 (2017).
- A. E. Allahverdyan, Nonequilibrium quantum fluctuations of work, Phys. Rev. E 90, 032137 (2014).
- H. J. D. Miller and J. Anders, Time-reversal symmetric work distributions for closed quantum dynamics in the histories framework, New J. Phys. 19, 062001 (2017).
- A. Levy and M. Lostaglio, Quasiprobability distribution for heat fluctuations in the quantum regime, PRX Quantum 1, 010309 (2020).
- M. Lostaglio, Certifying quantum signatures in thermodynamics and metrology via contextuality of quantum linear response, Phys. Rev. Lett. 125, 230603 (2020).
- J. R. González Alonso, N. Y. Halpern, and J. Dressel, Out-of-time-ordered-correlator quasiprobabilities robustly witness scrambling, Phys. Rev. Lett. 122, 040404 (2019).
- R. Wagner, Z. Schwartzman-Nowik, I. L. Paiva, A. Te'eni, A. Ruiz-Molero, R. S. Barbosa, E. Cohen, and E. F. Galvão, Quantum circuits for measuring weak values, Kirkwood-Dirac quasiprobability distributions, and state spectra, Quantum Sci. Technol. 9, 015030 (2024).
- D. Schmid, R. D. Baldijão, Y. Yīng, R. Wagner, and J. H. Selby, Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality), Phys. Rev. A 110, 052206 (2024).
- M. F. Pusey, Anomalous weak values are proofs of contextuality, Phys. Rev. Lett. 113, 200401 (2014).
- N. S. Williams and A. N. Jordan, Weak values and the Leggett-Garg inequality in solid-state qubits, Phys. Rev. Lett. 100, 026804 (2008).
- H. F. Hofmann, Statistical signatures of quantum contextuality, Entropy 26, 725 (2024).
- D. R. M. Arvidsson-Shukur, W. F. Braasch, Jr, S. De Bièvre, J. Dressel, A. N. Jordan, C. Langrenez, M. Lostaglio, J. S. Lundeen, and N. Y. Halpern, Properties and applications of the Kirkwood-Dirac distribution, New J. Phys. 26, 121201 (2024).
- R. Raussendorf, D. E. Browne, N. Delfosse, C. Okay, and J. Bermejo-Vega, Contextuality and Wigner-function negativity in qubit quantum computation, Phys. Rev. A 95, 052334 (2017).
- S. De Bièvre, C. Langrenez, and D. Radchenko, The Kirkwood-Dirac representation associated to the Fourier transform for finite Abelian groups: Positivity, Ann. Henri Poincaré 27, 3093 (2026).
- M. Spriet, Characterizing the Kirkwood-Dirac positivity on second countable LCA groups, arXiv:2507.23628.
- C. Langrenez, W. Salmon, S. De Bièvre, J. J. Thio, C. K. Long, and D. R. M. Arvidsson-Shukur, Almost sure minimality of the set of experiments with classical Kirkwood-Dirac representations, Phys. Rev. A 113, 062215 (2026).
- C. Langrenez, D. R. M. Arvidsson-Shukur, and S. De Bièvre, Characterizing the geometry of the Kirkwood–Dirac-positive states, J. Math. Phys. 65, 072201 (2024).
- S. De Bièvre, Complete incompatibility, support uncertainty, and Kirkwood-Dirac nonclassicality, Phys. Rev. Lett. 127, 190404 (2021).
- J. Xu, Kirkwood-Dirac classical pure states, Phys. Lett. A 510, 129529 (2024).
- Y.-H. Yang, S. Yao, S.-J. Geng, X.-L. Wang, and P.-Y. Chen, Geometry of Kirkwood–Dirac classical states: A case study based on discrete Fourier transform, J. Phys. A: Math. Theor. 57, 435303 (2024).
- M. Oszmaniec, D. J. Brod, and E. F. Galvão, Measuring relational information between quantum states, and applications, New J. Phys. 26, 013053 (2024).
- J. Xu, Hermitian Kirkwood–Dirac-real operators for discrete fourier transformations, J. Math. Phys. 66, 102104 (2025).
- See Supplemental Material at http://link.aps.org/supplemental/10.1103/rsy9-12fx for a Mathematica notebook containing calculations supporting Theorem 2.
- J. Ding and N. H. Rhee, Teaching tip: When a matrix and its inverse are stochastic, The College Mathematics Journal 44, 108 (2013).
- J. J. Thio, S. Yang, N. Y. Halpern, S. De Bièvre, C. H. W. Barnes, and D. R. M. Arvidsson-Shukur, Kirkwood-Dirac nonpositivity is a necessary resource for quantum computing, Phys. Rev. Lett. 137, 080601 (2026).
- G. Francica, Most general class of quasiprobability distributions of work, Phys. Rev. E 106, 054129 (2022).
- J.-H. Pei, J.-F. Chen, and H. T. Quan, Exploring quasiprobability approaches to quantum work in the presence of initial coherence: Advantages of the Margenau-Hill distribution, Phys. Rev. E 108, 054109 (2023).
- C. Langrenez, La distribution de Kirkwood-Dirac comme outil de l'information quantique, Ph.D. thesis, Université de Lille, 2025.
- M. Zurel and A. Heimendahl, Efficient classical simulation of quantum computation beyond Wigner positivity, arXiv:2407.10349.
- R. O'Connell and L. Wang, A new parametrized quantum distribution function and its time development, Phys. Lett. A 107, 9 (1985).
- R. F. O'Connell, Quantum distribution functions in non-equilibrium statistical mechanics, in Frontiers of Nonequilibrium Statistical Physics, edited by G. T. Moore and M. O. Scully (Springer, US, Boston, MA, 1986), pp. 83–95.
- M.-S. Li and Y.-X. Tan, Bargmann invariants for quantum imaginarity, Phys. Rev. A 111, 022409 (2025).
- L. Zhang, B. Xie, and B. Li, Geometry of sets of Bargmann invariants, Phys. Rev. A 111, 042417 (2025).
- S. S. Pratapsi, J. Gouveia, L. Novo, and E. F. Galvão, Elementary characterization of Bargmann invariants, Phys. Rev. A 112, 042421 (2025).
- J. Xu, Numerical ranges of Bargmann invariants, Phys. Lett. A 565, 131091 (2026).
- D. Gross and M. Walter, Stabilizer information inequalities from phase space distributions, J. Math. Phys. 54, 082201 (2013).
- D. Gross, S. Nezami, and M. Walter, Schur–Weyl duality for the clifford group with applications: Property testing, a robust Hudson theorem, and de Finetti representations, Commun. Math. Phys. 385, 1325 (2021).
- H. J. García, I. L. Markov, and A. W. Cross, On the geometry of stabilizer states, Quantum Inf. Comput. 14, 683 (2014).