{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T17:33:23Z","timestamp":1773077603708,"version":"3.50.1"},"reference-count":56,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T00:00:00Z","timestamp":1733270400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Fonds de la Recherche Scien- tifique de Belgique","award":["2.5020.11"],"award-info":[{"award-number":["2.5020.11"]}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>Quasiprobability has become an increasingly popular notion for characterising non-classicality in quantum information, thermodynamics, and metrology. Two important distributions with non-positive quasiprobability are the Wigner function and the Glauber-Sudarshan function. Here we study properties of the spin Wigner function for finite-dimensional quantum systems and draw comparisons with its infinite-dimensional analog, focusing in particular on the relation to the Glauber-Sudarshan function and the existence of absolutely Wigner-bounded states. More precisely, we investigate unitary orbits of mixed spin states that are characterized by Wigner functions lower-bounded by a specified value. To this end, we extend a characterization of the set of absolutely Wigner positive states as a set of linear eigenvalue constraints, which together define a polytope centred on the maximally mixed state in the simplex of spin-<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>j<\/mml:mi><\/mml:math> states. The lower bound determines the relative size of such absolutely Wigner bounded (AWB) polytopes and we study their geometric characteristics. In each dimension a Hilbert-Schmidt ball representing a tight purity-based sufficient condition to be AWB is exactly determined, while another ball representing a necessary condition to be AWB is conjectured. Special attention is given to the case where the polytope separates orbits containing only positive Wigner functions from other orbits because of the use of Wigner negativity as a witness of non-classicality. Comparisons are made to absolute symmetric state separability and spin Glauber-Sudarshan positivity, with additional details given for low spin quantum numbers.<\/jats:p>","DOI":"10.22331\/q-2024-12-04-1550","type":"journal-article","created":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T16:41:06Z","timestamp":1733330466000},"page":"1550","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":3,"title":["Polytopes of Absolutely Wigner Bounded Spin States"],"prefix":"10.22331","volume":"8","author":[{"given":"J\u00e9r\u00f4me","family":"Denis","sequence":"first","affiliation":[{"name":"Institut de Physique Nucl\u00e9aire, Atomique et de Spectroscopie, CESAM, University of Li\u00e8ge, B-4000 Li\u00e8ge, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack","family":"Davis","sequence":"additional","affiliation":[{"name":"Department of Physics and Astronomy, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1"},{"name":"Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1"},{"name":"DIENS, \u00c9cole Normale Sup\u00e9rieure, PSL University, CNRS, INRIA, 45 rue d&apos;Ulm, Paris 75005, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert B.","family":"Mann","sequence":"additional","affiliation":[{"name":"Department of Physics and Astronomy, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1"},{"name":"Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1"},{"name":"Perimeter Institute for Theoretical Physics, 31 Caroline St N, Waterloo, Ontario, Canada N2L 2Y5"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Martin","sequence":"additional","affiliation":[{"name":"Institut de Physique Nucl\u00e9aire, Atomique et de Spectroscopie, CESAM, University of Li\u00e8ge, B-4000 Li\u00e8ge, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9598","published-online":{"date-parts":[[2024,12,4]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"G. Champagne, N. Johnston, M. MacDonald, and L. Pipes. ``Spectral properties of symmetric quantum states and symmetric entanglement witnesses&apos;&apos;. Linear Algebra Its Appl. 649, 273\u2013300 (2022).","DOI":"10.1016\/j.laa.2022.05.004"},{"key":"1","doi-asserted-by":"publisher","unstructured":"E. Serrano-Ens\u00e1stiga and J. Martin. ``Maximum entanglement of mixed symmetric states under unitary transformations&apos;&apos;. SciPost Phys. 15, 120 (2023).","DOI":"10.21468\/SciPostPhys.15.3.120"},{"key":"2","doi-asserted-by":"publisher","unstructured":"E. Serrano-Ens\u00e1stiga, J. Denis, and J. Martin. ``Absolute-separability witnesses for symmetric multiqubit states&apos;&apos;. Phys. Rev. A 109, 022430 (2024).","DOI":"10.1103\/PhysRevA.109.022430"},{"key":"3","doi-asserted-by":"publisher","unstructured":"A. Ac\u00edn, N. J. Cerf, A. Ferraro, and J. Niset. ``Tests of multimode quantum nonlocality with homodyne measurements&apos;&apos;. Phys. Rev. A 79, 012112 (2009).","DOI":"10.1103\/physreva.79.012112"},{"key":"4","doi-asserted-by":"publisher","unstructured":"V. Veitch, C. Ferrie, D. Gross, and J. Emerson. ``Negative quasi-probability as a resource for quantum computation&apos;&apos;. New J. Phys. 14, 113011 (2012).","DOI":"10.1088\/1367-2630\/14\/11\/113011"},{"key":"5","doi-asserted-by":"publisher","unstructured":"A. Mari and J. Eisert. ``Positive Wigner Functions Render Classical Simulation of Quantum Computation Efficient&apos;&apos;. Phys. Rev. Lett. 109, 230503 (2012).","DOI":"10.1103\/PhysRevLett.109.230503"},{"key":"6","doi-asserted-by":"publisher","unstructured":"M. Howard, J. Wallman, V. Veitch, and J. Emerson. ``Contextuality supplies the \u2018magic\u2019 for quantum computation&apos;&apos;. Nature 510, 351\u2013355 (2014).","DOI":"10.1038\/nature13460"},{"key":"7","doi-asserted-by":"publisher","unstructured":"H. Pashayan, J. J. Wallman, and S. D. Bartlett. ``Estimating Outcome Probabilities of Quantum Circuits Using Quasiprobabilities&apos;&apos;. Phys. Rev. Lett. 115, 070501 (2015).","DOI":"10.1103\/PhysRevLett.115.070501"},{"key":"8","doi-asserted-by":"publisher","unstructured":"N. Delfosse, C. Okay, J. Bermejo-Vega, D. E. Browne, and R. Raussendorf. ``Equivalence between contextuality and negativity of the Wigner function for qudits&apos;&apos;. New J. Phys. 19, 123024 (2017).","DOI":"10.1088\/1367-2630\/aa8fe3"},{"key":"9","doi-asserted-by":"publisher","unstructured":"D. Schmid, H. Du, J. H. Selby, and M. F. Pusey. ``Uniqueness of Noncontextual Models for Stabilizer Subtheories&apos;&apos;. Phys. Rev. Lett. 129, 120403 (2022).","DOI":"10.1103\/PhysRevLett.129.120403"},{"key":"10","doi-asserted-by":"publisher","unstructured":"R. I. Booth, U. Chabaud, and P.-E. Emeriau. ``Contextuality and Wigner Negativity Are Equivalent for Continuous-Variable Quantum Measurements&apos;&apos;. Phys. Rev. Lett. 129, 230401 (2022).","DOI":"10.1103\/PhysRevLett.129.230401"},{"key":"11","doi-asserted-by":"publisher","unstructured":"V. Veitch, S. A. Hamed Mousavian, D. Gottesman, and J. Emerson. ``The resource theory of stabilizer quantum computation&apos;&apos;. New J. Phys. 16, 013009 (2014).","DOI":"10.1088\/1367-2630\/16\/1\/013009"},{"key":"12","doi-asserted-by":"publisher","unstructured":"F. Albarelli, M. G. Genoni, M. G. A. Paris, and A. Ferraro. ``Resource theory of quantum non-Gaussianity and Wigner negativity&apos;&apos;. Phys. Rev. A 98, 052350 (2018).","DOI":"10.1103\/PhysRevA.98.052350"},{"key":"13","doi-asserted-by":"publisher","unstructured":"R. Takagi and Q. Zhuang. ``Convex resource theory of non-Gaussianity&apos;&apos;. Phys. Rev. A 97, 062337 (2018).","DOI":"10.1103\/PhysRevA.97.062337"},{"key":"14","doi-asserted-by":"publisher","unstructured":"X. Wang, M. M. Wilde, and Y. Su. ``Quantifying the magic of quantum channels&apos;&apos;. New J. Phys. 21, 103002 (2019).","DOI":"10.1088\/1367-2630\/ab451d"},{"key":"15","unstructured":"R. L. Stratonovich. ``On Distributions in Representation Space&apos;&apos;. Journal of Experimental and Theoretical Physics 4, 1012\u20131020 (1956). url: http:\/\/jetp.ras.ru\/cgi-bin\/e\/index\/e\/4\/6\/p891?a=list."},{"key":"16","doi-asserted-by":"publisher","unstructured":"C. D. Mink, D. Petrosyan, and M. Fleischhauer. ``Hybrid discrete-continuous truncated wigner approximation for driven, dissipative spin systems&apos;&apos;. Phys. Rev. Res. 4, 043136 (2022).","DOI":"10.1103\/PhysRevResearch.4.043136"},{"key":"17","doi-asserted-by":"publisher","unstructured":"C. D. Mink and M. Fleischhauer. ``Collective radiative interactions in the discrete truncated Wigner approximation&apos;&apos;. SciPost Phys. 15, 233 (2023).","DOI":"10.21468\/SciPostPhys.15.6.233"},{"key":"18","doi-asserted-by":"publisher","unstructured":"C. Brif and A. Mann. ``Phase-space formulation of quantum mechanics and quantum-state reconstruction for physical systems with Lie-group symmetries&apos;&apos;. Phys. Rev. A 59, 971\u2013987 (1999).","DOI":"10.1103\/PhysRevA.59.971"},{"key":"19","doi-asserted-by":"publisher","unstructured":"N. Abbasli, V. Abgaryan, M. Bures, A. Khvedelidze, I. Rogojin, and A. Torosyan. ``On Measures of Classicality\/Quantumness in Quasiprobability Representations of Finite-Dimensional Quantum Systems&apos;&apos;. Phys. Part. Nuclei 51, 443\u2013447 (2020).","DOI":"10.1134\/s1063779620040024"},{"key":"20","doi-asserted-by":"publisher","unstructured":"V. Abgaryan and A. Khvedelidze. ``On Families of Wigner Functions for $N$-Level Quantum Systems&apos;&apos;. Symmetry 13, 1013 (2021).","DOI":"10.3390\/sym13061013"},{"key":"21","doi-asserted-by":"publisher","unstructured":"V. Abgaryan, A. Khvedelidze, and A. Torosyan. ``The Global Indicator of Classicality of an Arbitrary $N$-Level Quantum System&apos;&apos;. J. Math. Sci. 251, 301\u2013314 (2020).","DOI":"10.1007\/s10958-020-05092-6"},{"key":"22","doi-asserted-by":"publisher","unstructured":"V. Abgaryan, A. Khvedelidze, and A. Torosyan. ``Kenfack \u2013 \u017byczkowski indicator of nonclassicality for two non-equivalent representations of Wigner function of qutrit&apos;&apos;. Phys. Lett. A 412, 127591 (2021).","DOI":"10.1016\/j.physleta.2021.127591"},{"key":"23","doi-asserted-by":"publisher","unstructured":"G. S. Agarwal. ``Relation between atomic coherent-state representation, state multipoles, and generalized phase-space distributions&apos;&apos;. Phys. Rev. A 24, 2889\u20132896 (1981).","DOI":"10.1103\/PhysRevA.24.2889"},{"key":"24","doi-asserted-by":"publisher","unstructured":"J. P. Dowling, G. S. Agarwal, and W. P. Schleich. ``Wigner distribution of a general angular-momentum state: Applications to a collection of two-level atoms&apos;&apos;. Phys. Rev. A 49, 4101\u20134109 (1994).","DOI":"10.1103\/PhysRevA.49.4101"},{"key":"25","doi-asserted-by":"publisher","unstructured":"M. F. Riedel, P. B\u00f6hi, Y. Li, T. W. H\u00e4nsch, A. Sinatra, and P. Treutlein. ``Atom-chip-based generation of entanglement for quantum metrology&apos;&apos;. Nature 464, 1170\u20131173 (2010).","DOI":"10.1038\/nature08988"},{"key":"26","doi-asserted-by":"publisher","unstructured":"R. Schmied and P. Treutlein. ``Tomographic reconstruction of the Wigner function on the Bloch sphere&apos;&apos;. New J. Phys. 13, 065019 (2011).","DOI":"10.1088\/1367-2630\/13\/6\/065019"},{"key":"27","doi-asserted-by":"publisher","unstructured":"R. McConnell, H. Zhang, J. Hu, S. \u0106 uk, and V. Vuleti\u0107. ``Entanglement with negative Wigner function of almost 3,000 atoms heralded by one photon&apos;&apos;. Nature 519, 439\u2013442 (2015).","DOI":"10.1038\/nature14293"},{"key":"28","doi-asserted-by":"publisher","unstructured":"B. Chen, J. Geng, F. Zhou, L. Song, H. Shen, and N. Xu. ``Quantum state tomography of a single electron spin in diamond with Wigner function reconstruction&apos;&apos;. Appl. Phys. Lett. 114, 041102 (2019).","DOI":"10.1063\/1.5082878"},{"key":"29","doi-asserted-by":"publisher","unstructured":"A. B. Klimov, J. L. Romero, and H. de Guise. ``Generalized SU(2) covariant Wigner functions and some of their applications&apos;&apos;. J. Phys. A 50, 323001 (2017).","DOI":"10.1088\/1751-8121\/50\/32\/323001"},{"key":"30","doi-asserted-by":"publisher","unstructured":"J. C. V\u00e1rilly and J. M. Gracia-Bond\u00eda. ``The Moyal representation for spin&apos;&apos;. Ann. Phys. 190, 107\u2013148 (1989).","DOI":"10.1016\/0003-4916(89)90262-5"},{"key":"31","doi-asserted-by":"publisher","unstructured":"J.-P. Amiet and S. Weigert. ``Contracting the Wigner kernel of a spin to the Wigner kernel of a particle&apos;&apos;. Phys. Rev. A 63, 012102 (2000).","DOI":"10.1103\/PhysRevA.63.012102"},{"key":"32","doi-asserted-by":"publisher","unstructured":"O. Giraud, P. Braun, and D. Braun. ``Classicality of spin states&apos;&apos;. Phys. Rev. A 78, 042112 (2008).","DOI":"10.1103\/PhysRevA.78.042112"},{"key":"33","doi-asserted-by":"publisher","unstructured":"F. Bohnet-Waldraff, D. Braun, and O. Giraud. ``Partial transpose criteria for symmetric states&apos;&apos;. Phys. Rev. A 94, 042343 (2016).","DOI":"10.1103\/PhysRevA.94.042343"},{"key":"34","doi-asserted-by":"publisher","unstructured":"F. Bohnet-Waldraff, O. Giraud, and D. Braun. ``Absolutely classical spin states&apos;&apos;. Phys. Rev. A 95, 012318 (2017).","DOI":"10.1103\/PhysRevA.95.012318"},{"key":"35","doi-asserted-by":"publisher","unstructured":"K. E. Cahill and R. J. Glauber. ``Density Operators and Quasiprobability Distributions&apos;&apos;. Phys. Rev. 177, 1882\u20131902 (1969).","DOI":"10.1103\/PhysRev.177.1882"},{"key":"36","doi-asserted-by":"publisher","unstructured":"C. T. Lee. ``Measure of the nonclassicality of nonclassical states&apos;&apos;. Phys. Rev. A 44, R2775\u2013R2778 (1991).","DOI":"10.1103\/PhysRevA.44.R2775"},{"key":"37","doi-asserted-by":"publisher","unstructured":"F. T. Arecchi, E. Courtens, R. Gilmore, and H. Thomas. ``Atomic coherent states in quantum optics&apos;&apos;. Phys. Rev. A 6, 2211\u20132237 (1972).","DOI":"10.1103\/PhysRevA.6.2211"},{"key":"38","doi-asserted-by":"publisher","unstructured":"B. Koczor, R. Zeier, and S. J. Glaser. ``Continuous phase-space representations for finite-dimensional quantum states and their tomography&apos;&apos;. Phys. Rev. A 101, 022318 (2020).","DOI":"10.1103\/PhysRevA.101.022318"},{"key":"39","doi-asserted-by":"publisher","unstructured":"R. P. Rundle and M. J. Everitt. ``Overview of the Phase space Formulation of Quantum Mechanics with Application to Quantum Technologies&apos;&apos;. Adv. Quantum Technol. 4, 2100016 (2021).","DOI":"10.1002\/qute.202100016"},{"key":"40","doi-asserted-by":"publisher","unstructured":"A. Grossmann. ``Parity operator and quantization of delta-functions&apos;&apos;. Commun. Math. Phys. 48, 191\u2013194 (1976).","DOI":"10.1007\/BF01617867"},{"key":"41","doi-asserted-by":"publisher","unstructured":"A. Royer. ``Wigner function as the expectation value of a parity operator&apos;&apos;. Phys. Rev. A 15, 449\u2013450 (1977).","DOI":"10.1103\/PhysRevA.15.449"},{"key":"42","doi-asserted-by":"publisher","unstructured":"D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii. ``Quantum Theory of Angular Momentum&apos;&apos;. World Scientific. (1988).","DOI":"10.1142\/0270"},{"key":"43","doi-asserted-by":"publisher","unstructured":"J. Davis, M. Kumari, R. B. Mann, and S. Ghose. ``Wigner negativity in spin-$j$ systems&apos;&apos;. Phys. Rev. Research 3, 033134 (2021).","DOI":"10.1103\/PhysRevResearch.3.033134"},{"key":"44","doi-asserted-by":"publisher","unstructured":"S. Heiss and S. Weigert. ``Discrete Moyal-type representations for a spin&apos;&apos;. Phys. Rev. A 63, 012105 (2000).","DOI":"10.1103\/PhysRevA.63.012105"},{"key":"45","doi-asserted-by":"publisher","unstructured":"C. Brif and A. Mann. ``A general theory of phase-space quasiprobability distributions&apos;&apos;. J. Phys. A: Math. Gen. 31, L9\u2013L17 (1998).","DOI":"10.1088\/0305-4470\/31\/1\/002"},{"key":"46","doi-asserted-by":"publisher","unstructured":"W. D\u00fcr, G. Vidal, and J. I. Cirac. ``Three qubits can be entangled in two inequivalent ways&apos;&apos;. Phys. Rev. A 62, 062314 (2000).","DOI":"10.1103\/PhysRevA.62.062314"},{"key":"47","doi-asserted-by":"publisher","unstructured":"F. J. Narcowich. ``Conditions for the convolution of two Wigner distributions to be itself a Wigner distribution&apos;&apos;. J. Math. Phys 29, 2036\u20132041 (1988).","DOI":"10.1063\/1.527861"},{"key":"48","doi-asserted-by":"publisher","unstructured":"J. M. Gracia-Bond\u00eda and J. C. V\u00e1rilly. ``Non-negative mixed states in Weyl-Wigner-Moyal theory&apos;&apos;. Phys. Lett. A 128, 20\u201324 (1988).","DOI":"10.1016\/0375-9601(88)91035-3"},{"key":"49","doi-asserted-by":"publisher","unstructured":"T. Br\u00f6cker and R. F. Werner. ``Mixed states with positive Wigner functions&apos;&apos;. J. Math. Phys 36, 62\u201375 (1995).","DOI":"10.1063\/1.531326"},{"key":"50","doi-asserted-by":"publisher","unstructured":"A. Mandilara, E. Karpov, and N. J. Cerf. ``Gaussianity bounds for quantum mixed states with a positive Wigner function&apos;&apos;. J. Phys. Conf. Ser 254, 012011 (2010).","DOI":"10.1088\/1742-6596\/254\/1\/012011"},{"key":"51","doi-asserted-by":"publisher","unstructured":"J. Huber, P. Kirton, and P. Rabl. ``Phase-space methods for simulating the dissipative many-body dynamics of collective spin systems&apos;&apos;. SciPost Phys. 10, 045 (2021).","DOI":"10.21468\/SciPostPhys.10.2.045"},{"key":"52","doi-asserted-by":"publisher","unstructured":"S. Gherardini and G. De Chiara. ``Quasiprobabilities in quantum thermodynamics and many-body systems&apos;&apos;. PRX Quantum 5, 030201 (2024).","DOI":"10.1103\/PRXQuantum.5.030201"},{"key":"53","doi-asserted-by":"publisher","unstructured":"A. B. Klimov and S. M. Chumakov. ``Quasi-probability distributions for the simplest dynamical groups&apos;&apos;. J. Opt. Soc. Am. 17, 2315 (2000).","DOI":"10.1364\/JOSAA.17.002315"},{"key":"54","unstructured":"Blender Online Community. ``Blender - a 3D modelling and rendering package&apos;&apos;. Blender Foundation. Stichting Blender Foundation, Amsterdam. (2018). url: http:\/\/www.blender.org."},{"key":"55","doi-asserted-by":"publisher","unstructured":"S. Danisch and J. Krumbiegel. ``Makie.jl: Flexible high-performance data visualization for Julia&apos;&apos;. J. Open Source Softw. 6, 3349 (2021).","DOI":"10.21105\/joss.03349"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-12-04-1550\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T16:41:41Z","timestamp":1733330501000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-12-04-1550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,4]]},"references-count":56,"URL":"https:\/\/doi.org\/10.22331\/q-2024-12-04-1550","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,4]]},"article-number":"1550"}}