Abstract
Magic (non-stabilizerness) is a crucial resource for universal fault-tolerant quantum computation in the stabilizer formalism, without which the computation can be classically emulated, as demonstrated by the celebrated Gottesman-Knill theorem. Characterizations of magic, including its detection and quantification, are of interest in quantum computation and have attracted much attention. However, most quantifiers of magic are generally quite difficult to calculate even numerically, or are restricted to systems of special dimensions. The discrete Wigner formalism has been exploited to quantify magic, although it is computable, its application is limited since its formalism is quite different in odd prime power dimensions and other dimensions. In this work, we propose a quantifier of magic in terms of characteristic functions (Fourier transforms) of quantum states, and reveal its basic properties. This quantifier, apart from its nice properties, is well defined in all dimensions and is straightforward to compute. We illustrate the effectiveness of this quantifier in detecting the magic of several representative quantum states. Employing this quantifier, we show that the group covariant symmetric informationally complete (SIC) states possess the maximal magic. Finally, we compare the quantifier of magic with some existing ones including the well known sum negativity and the so called thauma, and show that they yield different orderings of magic.
Similar content being viewed by others
References
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)
Gottesman, D.: Stabilizer codes and quantum error correction (Ph.D. thesis, California Institute of Technology) (1997)
Gottesman, D.: The Heisenberg representation of quantum computers. arXiv:quant-ph/9807006 (1998)
Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Phys. Rev. A 70, 052328 (2004)
Gottesman, D., Chuang, I.: Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations. Nature 402, 390 (1999)
Zhou, X., Leung, D.W., Chuang, I.L.: Methodology for quantum logic gate construction. Phys. Rev. A 62, 052316 (2000)
Shor, P.W.: Fault-tolerant quantum computation. arXiv:quant-ph/9605011v2 (1996)
Preskill, J.: Fault-tolerant quantum computation. arXiv:quant-ph/9712048 (1997)
Knill, E.: Quantum computing with realistically noisy devices. Nature 434, 39 (2005)
Bravyi, S., Kitaev, A.: Universal quantum computation with ideal Clifford gates and noisy ancillas. Phys. Rev. A 71, 022316 (2005)
Campbell, E.T., Terhal, B.M., Vuillot, C.: Roads towards fault-tolerant universal quantum computation. Nature 549, 172 (2017)
Coecke, B., Fritz, T., Spekkens, R.W.: A mathematical theory of resources. Inf. Comput. 250, 59 (2016)
Gour, G.: Quantum resource theories in the single-shot regime. Phys. Rev. A 95, 062314 (2017)
Liu, Z. -W., Bu, K., Takagi, R.: One-shot operational quantum resource theory. Phys. Rev. Lett. 123, 020401 (2019)
Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 81, 865 (2009)
Gour, G., Spekkens, R.W.: The resource theory of quantum reference frames: manipulations and monotones. New J. Phys. 10, 033023 (2008)
Gour, G., Marvian, I., Spekkens, R.W.: Measuring the quality of a quantum reference frame: the relative entropy of frameness. Phys. Rev. A 80, 012307 (2009)
Ahmadi, M., Jennings, D., Rudolph, T.: The Wigner-Araki-Yanase theorem and the quantum resource theory of asymmetry. New J. Phys. 15, 013057 (2013)
Luo, S., Sun, Y.: Coherence and complementarity in state-channel interaction. Phys. Rev. A 98, 012113 (2018)
Brandäo, F. G. S. L., Horodecki, M., Oppenheim, J., Renes, J.M., Spekkens, R.W.: Resource theory of quantum states out of thermal equilibrium. Phys. Rev. Lett. 111, 250404 (2013)
Gour, G., Muller, M.P., Narasimhachar, V., Spekkens, R.W., Halpern, N.Y.: The resource theory of informational nonequilibrium in thermodynamics. Phys. Rep. 583, 1 (2015)
Lostaglio, M., Korzekwa, K., Jennings, D., Rudolph, T.: Quantum coherence, time-translation symmetry, and thermodynamics. Phys. Rev. X 5, 021001 (2015)
Grudka, A., Horodecki, K., Horodecki, M., Horodecki, P., Horodecki, R., Joshi, P., klobus, W., Wójcik, A.: Quantifying contextuality. Phys. Rev. Lett. 112, 120401 (2014)
Amaral, B.: Resource theory of contextuality. Phil. Trans. Roy. Soc. A 377, 20190010 (2019)
Baumgratz, T., Cramer, M., Plenio, M.B.: Quantifying coherence. Phys. Rev. Lett. 113, 140401 (2014)
Winter, A., Yang, D.: Operational resource theory of coherence. Phys. Rev. Lett. 116, 120404 (2016)
Chitambar, E., Gour, G.: Quantum resource theories. Rev. Mod. Phys. 91, 025001 (2019)
Hughes, C., Genoni, M.G., Tufarelli, T., Paris, M.G.A., Kim, M.S.: Quantum non-Gaussianity witnesses in phase space. Phys. Rev. A 90, 013810 (2014)
Zhuang, Q., Shor, P.W., Shapiro, J.H.: Resource theory of non-Gaussian operations. Phys. Rev. A 97, 052317 (2018)
Albarelli, F., Genoni, M.G., Paris, M.G.A., Ferraro, A.: Resource theory of quantum non-Gaussianity and Wigner negativity. Phys. Rev. A 98, 052350 (2018)
Takagi, R., Zhuang, Q.: Convex resource theory of non-Gaussianity. Phys. Rev. A 97, 062337 (2018)
Walschaers, M.: Non-Gaussian quantum states and where to find them. PRX Quant. 2, 030204 (2021)
Kwon, H., Tan, K.C., Volkoff, T., Jeong, H.: Nonclassicality as a quantifiable resource for quantum metrology. Phys. Rev. Lett. 122, 040503 (2019)
Luo, S., Zhang, Y.: Quantifying nonclassicality via Wigner-Yanase skew information. Phys. Rev. A 100, 032116 (2019)
Dai, H., Luo, S.: Information-theoretic approach to atomic spin nonclassicality. Phys. Rev. A 100, 062114 (2019)
Ge, W., Jacobs, K., Asiri, S., Foss-Feig, M., Zubairy, M.S.: Operational resource theory of nonclassicality via quantum metrology. Phys. Rev. Res. 2, 023400 (2020)
Veitch, V., Ferrie, C., Gross, D., Emerson, J.: Negative quasi-probability as a resource for quantum computation. New J. Phys. 14, 113011 (2012)
Veitch, V., Mousavian, S.H., Gottesman, D., Emerson, J.: The resource theory of stabilizer quantum computation. New J. Phys. 16, 013009 (2014)
Howard, M., Campbell, E.: Application of a resource theory for magic states to fault-tolerant quantum computing. Phys. Rev. Lett. 118, 090501 (2017)
Heinrich, M., Gross, D.: Robustness of magic and symmetries of the stabiliser polytope. Quantum 3, 132 (2019)
Seddon, J.R., Campbell, E.T.: Quantifying magic for multi-qubit operations. Proc. Roy. Soc. A 475, 20190251 (2019)
Bravyi, S., Haah, J.: Magic-state distillation with low overhead. Phys. Rev. A 86, 052329 (2012)
Campbell, E., Howard, M.: Unifying gate synthesis and magic state distillation. Phys. Rev. Lett. 118, 060501 (2017)
Hastings, M.B., Haah, J.: Distillation with sublogarithmic overhead. Phys. Rev. Lett. 120, 050504 (2018)
Krishna, A., Tillich, J.: Towards low overhead magic state distillation. Phys. Rev. Lett. 123, 070507 (2019)
Litinski, D.: Magic state distillation: not as costly as you think. Quantum 3, 205 (2019)
Wootters, W.K.: A Wigner-function formulation of finite-state quantum mechanics. Ann. Phys. 176, 1 (1987)
Gibbons, K.S., Hoffman, M.J., Wootters, W.K.: Discrete phase space based on finite fields . Phys. Rev. A 70, 062101 (2004)
Gross, D.: Hudson’s theorem for finite-dimensional quantum systems. J. Math. Phys. 47, 122107 (2006)
Ferrie, C., Emerson, J.: Framed Hilbet space: Hanging the quasi-probability pictures of quantum theory. New J. Phys. 11, 063040 (2009)
Björk, G., Klimov, A.B., Sánchez-Soto, L.: The discrete Wigner function. Prog. Optics 51, 469 (2008)
Bravyi, S., Smith, G., Smolin, J.A.: Trading classical and quantum computational resources. Phys. Rev. X 6, 021043 (2016)
Bravyi, S., Gosset, D.: Improved classical simulation of quantum circuits dominated by Clifford gates. Phys. Rev. Lett. 116, 250501 (2016)
Bravyi, S., Browne, D., Calpin, P., Campbell, E., Gosset, D., Howard, M.: Simulation of quantum circuits by low-rank stabilizer decompositions. Quantum 3, 181 (2019)
Ahmadi, M., Dang, H.B., Gour, G., Sanders, B.C.: Quantification and manipulation of magic states. Phys. Rev. A 97, 062332 (2018)
Wang, X., Wilde, M.M., Su, Y.: Efficiently computable bounds for magic state distillation. Phys. Rev. Lett 124, 090505 (2020)
Liu, Z., Winter, A.: Many-body quantum magic, arXiv:quant-ph/2010.13817 (2020)
Heimendahl, A., Montealegre-Mora, F., Vallentin, F., Gross, D.: Stabilizer extent is not multiplicative. Quantum 5, 400 (2021)
Gross, D.: Non-negative Wigner functions in prime dimensions. Appl. Phys. B 86, 367 (2007)
Ferrie, C.: Quasi-probability representations of quantum theory with applications to quantum information science. Rep. Prog. Phys. 74, 116001 (2011)
Zhu, H.: Permutation symmetry determines the discrete Wigner function. Phys. Rev. Lett 116, 040501 (2016)
Schwinger, J.: Unitary operator bases. Proc. Natl. Acad, Sci. USA 46, 570 (1960)
Appleby, D.M.: Symmetric informationally complete-positive operator valued measures and the extended Clifford group. J. Math Phys. 46, 052107 (2005)
Gross, D., Nezami, S., Walter, M.: 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)
Zauner, G.: Quantum Designs: Foundations of a Non-commutative Design Theory (PhD thesis, University of Vienna) (1999)
Renes, J.M., Blume-Kohout, R., Scott, A.J., Caves, C.M.: Symmetric informationally complete quantum measurements. J. Math. Phys. 45, 2171 (2004)
Flammia, S.T.: On SIC-POVMs in prime dimensions. J. Phys. A 39, 13483 (2006)
Zhu, H.: SIC POVMs and Clifford groups in prime dimensions. J Phys. A 43, 305305 (2010)
Appleby, D.M., Dang, H.B., Fuchs, C.A.: Symmetric informationally-complete quantum states as analogues to orthonormal bases and minimum uncertainty states. Entropy 16, 1484 (2014)
Zhu, H.: Super-symmetric informationally complete measurements. Ann. Phys. 362, 311 (2015)
Fuchs, C.A., Hoang, M.C., Stacey, B.C.: The SIC question: history and state of play. Axioms 6, 21 (2017)
Andersson, D., Bengtsson, I., Blanchfield, K., Dang, H.: States that are far from being stabilizer states. J. Phys. A 48, 345301 (2015)
Wigner, E.P.: On the quantum correction for thermodynamic equilibrium. Phys. Rev. 40, 749 (1932)
Weinbub, J., Ferry, D.K.: Recent advances in Wigner function approaches. Appl. Phys. Rev. 5, 041104 (2018)
Dankert, C.: Efficient Simulation of Random Quantum States and Operators (Master Thesis, University of Waterloo, Canada) (2005)
Gross, D., Audenaert, K., Eisert, J.: Evenly distributed unitaries: on the structure of unitary designs. J. Math. Phys. 48, 052104 (2007)
Howard, M., Vala, J.: Qudit versions of the qubit π/8 gate. Phys. Rev. A 86, 022316 (2012)
Webb, Z.: The Clifford group forms a unitary 3-design. Quant Inf. Comput. 16, 1379 (2016)
Zhu, H., Kueng, R., Grassl, M., Gross, D.: The Clifford group fails gracefully to be a unitary 4-design arXiv:quant-ph/1609.08172 (2016)
Zhu, H.: Multiqubit Clifford groups are unitary 3-designs. Phys. Rev. A 96, 062336 (2017)
Jain, A., Prakash, S.: Qutrit and ququint magic states. Phys Rev. A 102, 042409 (2020)
Acknowledgements
This work was supported by the National Key R&D Program of China, Grant Nos. 2020YFA0712700, 2019QY0702 and 2017YFA0303903, the Fundamental Research Funds for the Central Universities, Grant No. FRF-TP-19-012A3, and the National Natural Science Foundation of China, Grant No. 11875173.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Dai, H., Fu, S. & Luo, S. Detecting Magic States via Characteristic Functions. Int J Theor Phys 61, 35 (2022). https://doi.org/10.1007/s10773-022-05027-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10773-022-05027-8