Keywords: resource theory of magic quantum channels, completely positive-Wigner-preserving quantum operations, thauma of a quantum channel, distillable magic, classical simulation of noisy quantum circuits 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.states also motivates the resource theory of magic states [15][16][17][18][19][20], where the free operations are the SOs and the free states are the stabilizer states (abbreviated as 'Stab'). On the other hand, since a key step of fault-tolerant quantum computing is to implement non-SOs, a natural and fundamental problem is to quantify the nonstabilizerness or 'magic' of quantum operations. As we are at the stage of noisy intermediate-scale quantum (NISQ) technology, a resource theory of magic for noisy quantum operations is desirable both to exploit the power and to identify the limitations of NISQ devices in fault-tolerant quantum computation (FTQC).
Overview of resultsIn this paper, we develop a framework for the resource theory of magic quantum channels, based on qudit systems with odd prime dimension d. Related work on this topic has appeared recently [21], but the set of free operations that we take in our resource theory is larger, given by the completely positive-Wigner-preserving (CPWP) perations as we detail below. We note here that d-level FTQC based on qudits with prime d is of considerable interest for both theoretical and practical purposes [22][23][24][25][26].Our paper is structured as follows.• In section 2, we first review the stabilizer formalism [4] and the discrete Wigner function [27][28][29]. We further review various magic m...