Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Civil War Book Review

Quantifying the magic of quantum channels

Xin Wang, Mark M. Wilde, Yuan Su

Published Oct 1, 2019• 102 citations
OpenAlex

Abstract

To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum 'magic' or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension d, it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise.

Related papers

Quantifying the magic of quantum channels

Xin Wang, Mark M. Wilde, Yuan Su

Abstract To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum ‘magic’ or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension d , it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise.

arXiv:1903.04483•New Journal of Physics•Sep 18, 2019•127 citations

Quantifying magic for multi-qubit operations

James R. Seddon, Earl T. Campbell

The development of a framework for quantifying ‘non-stabilizerness’ of quantum operations is motivated by the magic state model of fault-tolerant quantum computation and by the need to estimate classical simulation cost for noisy intermediate-scale quantum (NISQ) devices. The robustness of magic was recently proposed as a well-behaved magic monotone for multi-qubit states and quantifies the simulation overhead of circuits composed of Clifford + T gates, or circuits using other gates from the Clifford hierarchy. Here we present a general theory of the ‘non-stabilizerness’ of quantum operations rather than states, which are useful for classical simulation of more general circuits. We introduce two magic monotones, called channel robustness and magic capacity, which are well-defined for general n -qubit channels and treat all stabilizer-preserving CPTP maps as free operations. We present two complementary Monte Carlo-type classical simulation algorithms with sample complexity given by these quantities and provide examples of channels where the complexity of our algorithms is exponentially better than previously known simulators. We present additional techniques that ease the difficulty of calculating our monotones for special classes of channels.

arXiv:1901.03322•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Jul 1, 2019•119 citations

Quantum fidelity estimation in the resource theory of nonstabilizerness

Zhiping Liu, Kun Wang, Xin Wang

Quantum fidelity estimation is essential for benchmarking quantum states and processes on noisy quantum devices. While stabilizer operations form the foundation of fault-tolerant quantum computing, nonstabilizer resources further enable universal quantum computation through state injection. In this work, we propose several efficient quantum fidelity estimation protocols for both quantum states and channels within the resource theory of nonstabilizerness, focusing on qudit systems with odd prime dimensions. Our fidelity estimation algorithms require measuring only a constant number of phase-space point operator expectation values, with operators selected randomly according to an importance weighting scheme tailored to the target state. Notably, we demonstrate that mathematically defined nonstabilizerness measures---such as Wigner rank and mana---quantify the sample complexity of the proposed protocols, thereby endowing them with a clear operational interpretation in the fidelity estimation task. This connection reveals a fundamental trade-off: while fidelity estimation for general quantum states and channels requires resources that scale exponentially with their nonstabilizerness, the task remains tractable for states and channels that admit efficient classical simulation.

arXiv:2506.12938•Physical Review A•Aug 26, 2025•0 citations

Quantum magic dynamics in random circuits

Yuzhen Zhang, Yingfei Gu

Magic refers to the degree of “quantumness” in a system that cannot be fully described by stabilizer states and Clifford operations alone. In quantum computing, stabilizer states and Clifford operations can be efficiently simulated on a classical computer, even though they may appear complicated from the perspective of entanglement. In this sense, magic is a crucial resource for unlocking the unique computational power of quantum computers to address problems that are classically intractable. Magic can be quantified by measures such as Wigner negativity and mana that satisfy fundamental properties such as monotonicity under Clifford operations. In this paper, we generalize the statistical mechanical mapping methods of large- q random circuits to the calculation of Rényi Wigner negativity and mana. Based on this, we find: (1) a precise formula describing the competition between magic and entanglement in many-body states prepared under Haar random circuits; (2) a formula describing the spreading and scrambling of magic in states evolved under random Clifford circuits; (3) a quantitative description of magic “squeezing” and “teleportation” under measurements. Finally, we comment on the relation between coherent information and magic.

arXiv:2410.21128•npj Quantum Information•May 14, 2026•7 citations

Magic-Resource Generating Power of Quantum Channels

Xiaohui Li

In the stabilizer formalism of quantum error correction and fault-tolerant quantum computation, stabilizer states, as common eigenstates (with the eigenvalue 1) of operators in maximal Abelian subgroups of the Pauli group, play the role of classical states, while magic (non-stabilizer) states are quantum resources enabling universal quantum computation when injected into stabilizer circuits.The natural issue arises as how to characterize and quantify the ability of quantum channels (including quantum gates) in generating magic resource (non-stabilzerness) from stabilizer states.In this work, we introduce two intuitive quantities characterizing magic-resource generating power of quantum channels and reveal their basic properties.We evaluate these quantifies for several prototypical quantum channels and quantum gates.In particular, we demonstrate that the qubit T -gate (i.e., π/8-gate) and its qutrit generalization are optimal in generating magic resource in a class of diagonal unitaries.This highlights the significance of the T -gate and its extensions from a resource-theoretic perspective and provides a theoretical support of their wide applications in stabilizer quantum computation.

Advances in physics research/Advances in Physics Research•Jan 1, 2024•0 citations

Application of a Resource Theory for Magic States to Fault-Tolerant Quantum Computing

Mark Howard, Earl T. Campbell

Motivated by their necessity for most fault-tolerant quantum computation schemes, we formulate a resource theory for magic states. First, we show that robustness of magic is a well-behaved magic monotone that operationally quantifies the classical simulation overhead for a Gottesman-Knill-type scheme using ancillary magic states. Our framework subsequently finds immediate application in the task of synthesizing non-Clifford gates using magic states. When magic states are interspersed with Clifford gates, Pauli measurements, and stabilizer ancillas-the most general synthesis scenario-then the class of synthesizable unitaries is hard to characterize. Our techniques can place nontrivial lower bounds on the number of magic states required for implementing a given target unitary. Guided by these results, we have found new and optimal examples of such synthesis.

arXiv:1609.07488•Physical Review Letters•Mar 3, 2017•393 citations
To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum 'magic' or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension d, it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise.
Abstract To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum ‘magic’ or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension d , it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise.
The development of a framework for quantifying ‘non-stabilizerness’ of quantum operations is motivated by the magic state model of fault-tolerant quantum computation and by the need to estimate classical simulation cost for noisy intermediate-scale quantum (NISQ) devices. The robustness of magic was recently proposed as a well-behaved magic monotone for multi-qubit states and quantifies the simulation overhead of circuits composed of Clifford + T gates, or circuits using other gates from the Clifford hierarchy. Here we present a general theory of the ‘non-stabilizerness’ of quantum operations rather than states, which are useful for classical simulation of more general circuits. We introduce two magic monotones, called channel robustness and magic capacity, which are well-defined for general n -qubit channels and treat all stabilizer-preserving CPTP maps as free operations. We present two complementary Monte Carlo-type classical simulation algorithms with sample complexity given by these quantities and provide examples of channels where the complexity of our algorithms is exponentially better than previously known simulators. We present additional techniques that ease the difficulty of calculating our monotones for special classes of channels.
Quantum fidelity estimation is essential for benchmarking quantum states and processes on noisy quantum devices. While stabilizer operations form the foundation of fault-tolerant quantum computing, nonstabilizer resources further enable universal quantum computation through state injection. In this work, we propose several efficient quantum fidelity estimation protocols for both quantum states and channels within the resource theory of nonstabilizerness, focusing on qudit systems with odd prime dimensions. Our fidelity estimation algorithms require measuring only a constant number of phase-space point operator expectation values, with operators selected randomly according to an importance weighting scheme tailored to the target state. Notably, we demonstrate that mathematically defined nonstabilizerness measures---such as Wigner rank and mana---quantify the sample complexity of the proposed protocols, thereby endowing them with a clear operational interpretation in the fidelity estimation task. This connection reveals a fundamental trade-off: while fidelity estimation for general quantum states and channels requires resources that scale exponentially with their nonstabilizerness, the task remains tractable for states and channels that admit efficient classical simulation.
Magic refers to the degree of “quantumness” in a system that cannot be fully described by stabilizer states and Clifford operations alone. In quantum computing, stabilizer states and Clifford operations can be efficiently simulated on a classical computer, even though they may appear complicated from the perspective of entanglement. In this sense, magic is a crucial resource for unlocking the unique computational power of quantum computers to address problems that are classically intractable. Magic can be quantified by measures such as Wigner negativity and mana that satisfy fundamental properties such as monotonicity under Clifford operations. In this paper, we generalize the statistical mechanical mapping methods of large- q random circuits to the calculation of Rényi Wigner negativity and mana. Based on this, we find: (1) a precise formula describing the competition between magic and entanglement in many-body states prepared under Haar random circuits; (2) a formula describing the spreading and scrambling of magic in states evolved under random Clifford circuits; (3) a quantitative description of magic “squeezing” and “teleportation” under measurements. Finally, we comment on the relation between coherent information and magic.
In the stabilizer formalism of quantum error correction and fault-tolerant quantum computation, stabilizer states, as common eigenstates (with the eigenvalue 1) of operators in maximal Abelian subgroups of the Pauli group, play the role of classical states, while magic (non-stabilizer) states are quantum resources enabling universal quantum computation when injected into stabilizer circuits.The natural issue arises as how to characterize and quantify the ability of quantum channels (including quantum gates) in generating magic resource (non-stabilzerness) from stabilizer states.In this work, we introduce two intuitive quantities characterizing magic-resource generating power of quantum channels and reveal their basic properties.We evaluate these quantifies for several prototypical quantum channels and quantum gates.In particular, we demonstrate that the qubit T -gate (i.e., π/8-gate) and its qutrit generalization are optimal in generating magic resource in a class of diagonal unitaries.This highlights the significance of the T -gate and its extensions from a resource-theoretic perspective and provides a theoretical support of their wide applications in stabilizer quantum computation.
Motivated by their necessity for most fault-tolerant quantum computation schemes, we formulate a resource theory for magic states. First, we show that robustness of magic is a well-behaved magic monotone that operationally quantifies the classical simulation overhead for a Gottesman-Knill-type scheme using ancillary magic states. Our framework subsequently finds immediate application in the task of synthesizing non-Clifford gates using magic states. When magic states are interspersed with Clifford gates, Pauli measurements, and stabilizer ancillas-the most general synthesis scenario-then the class of synthesizable unitaries is hard to characterize. Our techniques can place nontrivial lower bounds on the number of magic states required for implementing a given target unitary. Guided by these results, we have found new and optimal examples of such synthesis.