Search

Stabilizer codes are among the most successful quantum error-correcting codes, yet they have important limitations on their ability to fault tolerantly compute. Here, we introduce a new quantity, the disjointness of the stabilizer code, which, roughly speaking, is the number of mostly nonoverlapping representations of any given nontrivial logical Pauli operator. The notion of disjointness proves useful in limiting transversal gates on any error-detecting stabilizer code to a finite level of the Clifford hierarchy. For code families, we can similarly restrict logical operators implemented by constant-depth circuits. For instance, we show that it is impossible, with a constant-depth but possibly geometrically nonlocal circuit, to implement a logical non-Clifford gate on the standard two-dimensional surface code. Subject Areas: Quantum Physics, Quantum Information, American Society for Engineering Education. National Defense Science and Engineering Graduate Fellowship, International Business Machines Corporation (Ph.D. Fellowship)

Finding optimal correction of errors in generic stabilizer codes is a computationally hard problem, even for simple noise models. While this task can be simplified for codes with some structure, such as topological stabilizer codes, developing good and efficient decoders still remains a challenge. In our work, we systematically study a very versatile class of decoders based on feedforward neural networks. To demonstrate adaptability, we apply neural decoders to the triangular color and toric codes under various noise models with realistic features, such as spatially-correlated errors. We report that neural decoders provide significant improvement over leading efficient decoders in terms of the error-correction threshold. Using neural networks simplifies the process of designing well-performing decoders, and does not require prior knowledge of the underlying noise model., 11 pages, 6 figures, 2 tables

We analyze the resource overhead of recently proposed methods for universal fault-tolerant quantum computation using concatenated codes. Namely, we examine the concatenation of the 7-qubit Steane code with the 15-qubit Reed-Muller code, which allows for the construction of the 49 and 105-qubit codes that do not require the need for magic state distillation for universality. We compute a lower bound for the adversarial noise threshold of the 105-qubit code and find it to be $8.33\times 10^{-6}.$ We obtain a depolarizing noise threshold for the 49-qubit code of $9.69\times 10^{-4}$ which is competitive with the 105-qubit threshold result of $1.28\times 10^{-3}$. We then provide lower bounds on the resource requirements of the 49 and 105-qubit codes and compare them with the surface code implementation of a logical $T$ gate using magic state distillation. For the sampled input error rates and noise model, we find that the surface code achieves a smaller overhead compared to our concatenated schemes., 25 pages, 17 figures; in v2, some content has been moved to an appendix, a few tables have been restructured and the the title has been updated to conform to journal specifications. v3 fixes minor typos in Figs. 1 & 6

Concatenation of two quantum error correcting codes with complementary sets of transversal gates can provide a means towards universal fault-tolerant computation. We first show that it is generally preferable to choose the inner code with the higher pseudo-threshold in order to achieve lower logical failure rates. We then explore the threshold properties of a wide range of concatenation schemes. Notably, we demonstrate that the concatenation of complementary sets of Reed-Muller codes can increase the code capacity threshold under depolarizing noise when compared to extensions of previously proposed concatenation models. We also analyze the properties of logical errors under circuit level noise, showing that smaller codes perform better for all sampled physical error rates. Our work provides new insights into the performance of universal concatenated quantum codes for both code capacity and circuit level noise., Comment: 11 pages + 4 appendices, 6 figures. In v2, Fig.1 was added to conform to journal specifications

Quantum error correction and fault-tolerance make it possible to perform quantum computations in the presence of imprecision and imperfections of realistic devices. An important question is to find the noise rate at which errors can be arbitrarily suppressed. By concatenating the 7-qubit Steane and 15-qubit Reed-Muller codes, the 105-qubit code enables a universal set of fault-tolerant gates despite not all of them being transversal. Importantly, the CNOT gate remains transversal in both codes, and as such has increased error protection relative to the other single qubit logical gates. We show that while the level-1 pseudo-threshold for the concatenated scheme is limited by the logical Hadamard, the error suppression of the logical CNOT gates allows for the asymptotic threshold to increase by orders of magnitude at higher levels. We establish a lower bound of $1.28~\times~10^{-3}$ for the asymptotic threshold of this code which is competitive with known concatenated models and does not rely on ancillary magic state preparation for universal computation., 10 pages, 7 figures. Comments welcome!

Quantum computing exploits fundamentally new models of computation based on quantum mechanical properties instead of classical physics, and it is believed that quantum computers are able to dramatically improve computational power for particular tasks. At present, nuclear magnetic resonance (NMR) has been one of the most successful platforms amongst all current implementations. It has demonstrated universal controls on the largest number of qubits, and many advanced techniques developed in NMR have been adopted to other quantum systems successfully. In this review, we show how NMR quantum processors can satisfy the general requirements of a quantum computer, and describe advanced techniques developed towards this target. Additionally, we review some recent NMR quantum processor experiments. These experiments include benchmarking protocols, quantum error correction, demonstrations of algorithms exploiting quantum properties, exploring the foundations of quantum mechanics, and quantum simulations. Finally we summarize the concepts and comment on future prospects.

We study the robustness of the bucket brigade quantum random access memory model introduced by Giovannetti, Lloyd, and Maccone [Phys. Rev. Lett. 100, 160501 (2008)]. Due to a result of Regev and Schiff [ICALP '08 pp. 773], we show that for a class of error models the error rate per gate in the bucket brigade quantum memory has to be of order $o(2^{-n/2})$ (where $N=2^n$ is the size of the memory) whenever the memory is used as an oracle for the quantum searching problem. We conjecture that this is the case for any realistic error model that will be encountered in practice, and that for algorithms with super-polynomially many oracle queries the error rate must be super-polynomially small, which further motivates the need for quantum error correction. By contrast, for algorithms such as matrix inversion [Phys. Rev. Lett. 103, 150502 (2009)] or quantum machine learning [Phys. Rev. Lett. 113, 130503 (2014)] that only require a polynomial number of queries, the error rate only needs to be polynomially small and quantum error correction may not be required. We introduce a circuit model for the quantum bucket brigade architecture and argue that quantum error correction for the circuit causes the quantum bucket brigade architecture to lose its primary advantage of a small number of "active" gates, since all components have to be actively error corrected., Replaced with the published version. 13 pages, 9 figures

We introduce a class of 3D color codes, which we call stacked codes, together with a fault-tolerant transformation that will map logical qubits encoded in two-dimensional (2D) color codes into stacked codes and back. The stacked code allows for the transversal implementation of a non-Clifford $\pi/8$ logical gate, which when combined with the logical Clifford gates that are transversal in the 2D color code give a gate set which is both fault-tolerant and universal without requiring nonstabilizer magic states. We then show that the layers forming the stacked code can be unfolded and arranged in a 2D layout. As only Clifford gates can be implemented transversally for 2D topological stabilizer codes, a non-local operation must be incorporated in order to allow for this transversal application of a non-Clifford gate. Our code achieves this operation through the transformation from a 2D color code to the unfolded stacked code induced by measuring only geometrically local stabilizers and gauge operators within the bulk of 2D color codes together with a nonlocal operator that has support on a one-dimensional boundary between such 2D codes. We believe that this proposed method to implement the non-local operation is a realistic one for 2D stabilizer layouts and would be beneficial in avoiding the large overheads caused by magic state distillation., Comment: 14 pages, 6 figures, comments welcome. Note our construction is very similar to recent results by Bravyi and Cross reported in arXiv:1509.03239. Version 2 contains minor changes

We generalize a recently discovered example of a private quantum subsystem to find private subsystems for Abelian subgroups of the $n$-qubit Pauli group, which exist in the absence of private subspaces. In doing so, we also connect these quantum privacy investigations with the theory of quasiorthogonal operator algebras through the use of tools from group theory and operator theory., Comment: 16 pages

This work classifies the set of diagonal gates that can implement a single or two-qubit transversal logical gate for qubit stabilizer codes. We show that individual physical gates on the underlying qubits that compose the code are restricted to have entries of the form $e^{i \pi c/2^k}$ along their diagonal, resulting in a similarly restricted class of logical gates that can be implemented in this manner. Moreover, we show that all diagonal logical gates that can be implemented transversally by individual physical diagonal gates must belong to the Clifford hierarchy. Furthermore, we can use this result to prove a conjecture about transversal gates made by Zeng et al. in 2007., Comment: 23 pages, comments welcome

We propose a method for universal fault-tolerant quantum computation using concatenated quantum error correcting codes. Namely, other than computational basis state preparation as required by the DiVincenzo criteria [1], our scheme requires no special ancillary state preparation to achieve universality, as opposed to schemes such as magic state distillation. The concatenation scheme exploits the transversal properties of two different codes, combining them to provide a means to protect against low-weight arbitrary errors. We give the required properties of the error correcting codes to ensure universal fault-tolerance and discuss a particular example using the 7-qubit Steane and 15-qubit Reed-Muller codes. We believe that optimizing the codes used in such a scheme could provide a useful alternative to state distillation schemes that exhibit high overhead costs., 5 pages, 3 figures

This paper addresses and expands on the contents of the recent Letter [Phys. Rev. Lett. 111, 030502 (2013)] discussing private quantum subsystems. Here we prove several previously presented results, including a condition for a given random unitary channel to not have a private subspace (although this does not mean that private communication cannot occur, as was previously demonstrated via private subsystems) and algebraic conditions that characterize when a general quantum subsystem or subspace code is private for a quantum channel. These conditions can be regarded as the private analog of the Knill-Laflamme conditions for quantum error correction, and we explore how the conditions simplify in some special cases. The bridge between quantum cryptography and quantum error correction provided by complementary quantum channels motivates the study of a new, more general definition of quantum error-correcting code, and we initiate this study here. We also consider the concept of complementarity for the general notion of a private quantum subsystem.

We investigate the most general notion of a private quantum code, which involves the encoding of qubits into quantum subsystems and subspaces. We contribute to the structure theory for private quantum codes by deriving testable conditions for private quantum subsystems in terms of Kraus operators for channels; establishing an analogue of the Knill-Laflamme conditions in this setting. For a large class of naturally arising quantum channels, we show that private subsystems can exist even in the absence of private subspaces. In doing so, we also discover the first examples of private subsystems that are not complemented by operator quantum error correcting codes; implying that the complementarity of private codes and quantum error correcting codes fails for the general notion of private quantum subsystem., 5 pages, 1 figure

Quantum error correction and fault-tolerance have provided the possibility for large scale quantum computations without a detrimental loss of quantum information. A very natural class of gates for fault-tolerant quantum computation is the Clifford gate set and as such their usefulness for universal quantum computation is of great interest. Clifford group gates augmented by magic state preparation give the possibility of simulating universal quantum computation. However, experimentally one cannot expect to perfectly prepare magic states. Nonetheless, it has been shown that by repeatedly applying operations from the Clifford group and measurements in the Pauli basis, the fidelity of noisy prepared magic states can be increased arbitrarily close to a pure magic state [1]. We investigate the robustness of magic state distillation to perturbations of the initial states to arbitrary locations in the Bloch sphere due to noise. Additionally, we consider a depolarizing noise model on the quantum gates in the decoding section of the distillation protocol and demonstrate its effect on the convergence rate and threshold value. Finally, we establish that faulty magic state distillation is more efficient than fault-tolerance-assisted magic state distillation at low error rates due to the large overhead in the number of quantum gates and qubits required in a fault-tolerance architecture. The ability to perform magic state distillation with noisy gates leads us to conclude that this could be a realistic scheme for future small-scale quantum computing devices as fault-tolerance need only be used in the final steps of the protocol., Comment: 11 pages, 8 figures

A "triple trade-off" capacity region of a noisy quantum channel provides a more complete description of its capabilities than does a single capacity formula. However, few full descriptions of a channel's ability have been given due to the difficult nature of the calculation of such regions---it may demand an optimization of information-theoretic quantities over an infinite number of channel uses. This work analyzes the d-dimensional Unruh channel, a noisy quantum channel which emerges in relativistic quantum information theory. We show that this channel belongs to the class of quantum channels whose capacity region requires an optimization over a single channel use, and as such is tractable. We determine two triple-trade off regions, the quantum dynamic capacity region and the private dynamic capacity region, of the d-dimensional Unruh channel. Our results show that the set of achievable rate triples using this coding strategy is larger than the set achieved using a time-sharing strategy. Furthermore, we prove that the Unruh channel has a distinct structure made up of universal qudit cloning channels, thus providing a clear relationship between this relativistic channel and the process of stimulated emission present in quantum optical amplifiers., Comment: 26 pages, 4 figures; v2 has minor corrections to Definition 2. Definition 4 and Remark 5 have been added

A new class of quantum channels called Grassmann channels is introduced and their classical and quantum capacity is calculated. The channel class appears in a study of the two-mode squeezing operator constructed from operators satisfying the fermionic algebra. We compare Grassmann channels with the channels induced by the bosonic two-mode squeezing operator. Among other results, we challenge the relevance of calculating entanglement measures to assess or compare the ability of bosonic and fermionic states to send quantum information to uniformly accelerated frames., Comment: 33 pages, Accepted in Journal of Mathematical Physics; The role of the (fermionic) braided tensor product for quantum Shannon theory, namely capacity formulas, elucidated; The conclusion on the equivalence of Unruh effect for bosons and fermions for quantum communication purposes made clear and even more precise