25+15 pages, 6 figures, 2 algorithms, 4 tables; Author final preprint copy. Revisions since v1: Sections 3 and 6 discuss consistency condition for third-level gates; Section 7A restructured and expanded; Appendix E2 now includes additional details on existence of decompositions for diagonal channels; typos corrected
The development of a framework for quantifying "non-stabiliserness" 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-stabiliserness" 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 stabiliser-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 previous known simulators. We present additional techniques that ease the difficulty of calculating our monotones for special classes of channels.
In this paper, we extend the resource theory of magic to the channel case by considering completely stabilizer preserving operations (CSPOs) as free. We introduce and characterize the set of CSPO preserving and completely CSPO preserving superchannels. We quantify the magic of quantum channels by extending the generalized robustness and the min relative entropy of magic from the state to the channel domain and show that they bound the single-shot dynamical magic cost and distillation. We also provide analytical conditions for qubit interconversion under CSPOs and show that it is a linear progr…
Quantum resource theories are a powerful framework to characterize and quantify relevant quantum phenomena and identify processes that optimize their use for different tasks. Here, we define a resource measure for magic, the sought-after property in most fault-tolerant quantum computers. In contrast to previous literature, our formulation is based on bosonic codes, well-studied tools in continuous-variable quantum computation. Particularly, we use the Gottesman-Kitaev-Preskill code to represent multi-qubit states and consider the resource theory for the Wigner negativity. Our techniques are us…
Magic sets of observables are minimal structures that capture quantum state-independent advantage for systems of $n\ge 2$ qubits and are, therefore, fundamental tools for investigating the interface between classical and quantum physics. A theorem by Arkhipov (arXiv:1209.3819) states that $n$-qubit magic sets in which each observable is in exactly two subsets of compatible observables can be reduced either to the two-qubit magic square or the three-qubit magic pentagram [N. D. Mermin, Phys. Rev. Lett. 65, 3373 (1990)]. An open question is whether there are magic sets that cannot be reduced to …
The magic state injection process is a critical component of fault-tolerant quantum computing, and numerous studies have been conducted on this topic. Many existing studies have focused on square-lattice structures, where each qubit connects directly to four other qubits via two-qubit gates. However, hardware that does not follow a lattice structure, such as IBM's heavy-hexagon structure, is also under development. In these non-lattice structures, many quantum error correction (QEC) codes designed for lattice-based system cannot be directly applied. Adapting these codes often requires incorpor…
We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.
Magic state distillation is one of the leading candidates for implementing universal fault-tolerant logical gates. However, the distillation circuits themselves are not fault-tolerant, so there is additional cost to first implement encoded Clifford gates with negligible error. In this paper we present a scheme to fault-tolerantly and directly prepare magic states using flag qubits. One of these schemes uses a single extra ancilla, even with noisy Clifford gates. We compare the physical qubit and gate cost of this scheme to the magic state distillation protocol of Meier, Eastin, and Knill, whic…
Magic state distillation uses special codes to suppress errors in input states, which are often tailored to a Clifford-twirled error model. We present detailed measurement sequences for magic state distillation protocols which can suppress arbitrary errors on any part of a protocol, assuming the independence of errors across qubits. Provided with input magic states, our protocol operates on a two-dimensional square grid by measurements of $ZZ$ on horizontal pairs of qubits, $XX$ on vertical pairs, and $Z,X$ on single qubits.
We propose a method for classical simulation of finite-dimensional quantum systems, based on sampling from a quasiprobability distribution, i.e., a generalized Wigner function. Our construction applies to all finite dimensions, with the most interesting case being that of qubits. For multiple qubits, we find that quantum computation by Clifford gates and Pauli measurements on magic states can be efficiently classically simulated if the quasiprobability distribution of the magic states is non-negative. This provides the so far missing qubit counterpart of the corresponding result [V. Veitch et …
Consumption of magic states promotes the stabilizer model of computation to universal quantum computation. Here, we propose three different classical algorithms for simulating such universal quantum circuits, and characterize them by establishing precise connections with a family of magic monotones. Our first simulator introduces a new class of quasiprobability distributions and connects its runtime to a generalized notion of negativity. We prove that this algorithm has significantly improved exponential scaling compared to all prior quasiprobability simulators for qubits. Our second simulator…
The overhead cost of performing universal fault-tolerant quantum computation for large scale quantum algorithms is very high. Despite several attempts at alternative schemes, magic state distillation remains one of the most efficient schemes for simulating non-Clifford gates in a fault-tolerant way. However, since magic state distillation circuits are not fault-tolerant, all Clifford operations must be encoded in a large distance code in order to have comparable failure rates with the magic states being distilled. In this work, we introduce a new concept which we call redundant ancilla encodin…
Unfolded distillation: very low-cost magic state preparation for biased-noise qubits
Alice & Bob；Laboratoire de Physique de l’École Normale Supérieure, École Normale Supérieure, Centre Automatique et Systèmes, Mines Paris, Université PSL, CNRS, Inria（巴黎高等师范学院物理实验室，巴黎高等师范学院，自动与系统中心，巴黎矿业学院，PSL大学，法国国家科学研究中心，法国国家信息与自动化研究所）
We demonstrate high fidelity single-qubit gate operation in a trapped single neutral atom. The atom is trapped in the recently invented magic-intensity optical dipole trap (MI-ODT) with more stable magnetic field. The MI-ODT efficiently mitigates the detrimental effects of light shifts thus sufficiently improves the performance of single qubit-gates. The gates are driven with microwave, and the fidelity of gate operation is characterized by using the randomized benchmarking method. We obtain an average error per Clifford gate of $3.0(7)\times10^{-5}$ which is much below the error threshold ($1…
Despite significant overhead reductions since its first proposal, magic state distillation is often considered to be a very costly procedure that dominates the resource cost of fault-tolerant quantum computers. The goal of this work is to demonstrate that this is not true. By writing distillation circuits in a form that separates qubits that are capable of error detection from those that are not, most logical qubits used for distillation can be encoded at a very low code distance. This significantly reduces the space-time cost of distillation, as well as the number of qubits. In extreme cases,…
Standard Quantum Teleportation of an Arbitrary N-Qubit State, Non-Existence of Magic Basis and Existence of Magic Partial Bases for 2N Entangled Qubit States with N>1
Hardware-Tailored Resource Estimation for Magic-State Distillation on Silicon Spin Qubits
Cavendish Lab., Department of Physics, Univ. of Cambridge（剑桥大学卡文迪什实验室物理系）；Hitachi Cambridge Lab.（日立剑桥实验室）；Department of Computer Science and Technology, Univ. of Cambridge（剑桥大学计算机科学与技术系）
The Magic Scroll: Leveraging biased noise to improve magic state cultivation in register-based architectures
Silicon Quantum Computing Pty. Ltd.（硅量子计算有限公司）；UNSW Sydney（新南威尔士大学）；Centre of Excellence for Quantum Computation and Communication Technology, School of Physics, UNSW Sydney（新南威尔士大学物理学院量子计算与通信技术卓越中心）
In this work, we construct a polarization-mediated magic-intensity (MI) optical dipole trap (ODT) array, in which the detrimental effects of light shifts on the mixed-species qubits are efficiently mitigated so that the coherence times of the mixed-species qubits are both substantially enhanced and balanced for the first time. This mixed-species magic trapping technique relies on the tunability of the coefficient of the third-order cross term and ground state hyperpolarizability, which are inherently dependent on the degree of circular polarization of the trap laser. Experimentally, polarizati…
Generation of steady quantumness in the presence of an environment is of utmost importance if we are to build practical quantum devices. We propose a scheme of generating steady coherence and magic in a qubit system attached to a heat bath at a certain temperature through its interaction with another qubit system attached to a spin bath. Coherence generation in the reduced qubit is always possible in this model. The steady coherence in the reduced qubit attached to the heat bath may be used to enhance the subsequent transient performance of a quantum absorption refrigerator. For the case of ge…
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 posi…
