skip to main content

Title: New perspectives on covariant quantum error correction
Covariant codes are quantum codes such that a symmetry transformation on the logical system could be realized by a symmetry transformation on the physical system, usually with limited capability of performing quantum error correction (an important case being the Eastin–Knill theorem). The need for understanding the limits of covariant quantum error correction arises in various realms of physics including fault-tolerant quantum computation, condensed matter physics and quantum gravity. Here, we explore covariant quantum error correction with respect to continuous symmetries from the perspectives of quantum metrology and quantum resource theory, establishing solid connections between these formerly disparate fields. We prove new and powerful lower bounds on the infidelity of covariant quantum error correction, which not only extend the scope of previous no-go results but also provide a substantial improvement over existing bounds. Explicit lower bounds are derived for both erasure and depolarizing noises. We also present a type of covariant codes which nearly saturates these lower bounds.  more » « less
Award ID(s):
1936118 1640959
Author(s) / Creator(s):
 ;  ;  
Date Published:
Journal Name:
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Generalized bicycle (GB) codes is a class of quantum error-correcting codes constructed from a pair of binary circulant matrices. Unlike for other simple quantum code ansätze, unrestricted GB codes may have linear distance scaling. In addition, low-density parity-check GB codes have a naturally overcomplete set of low-weight stabilizer generators, which is expected to improve their performance in the presence of syndrome measurement errors. For such GB codes with a given maximum generator weight w, we constructed upper distance bounds by mapping them to codes local in D≤w−1 dimensions, and lower existence bounds which give d≥O(n1/2). We have also conducted an exhaustive enumeration of GB codes for certain prime circulant sizes in a family of two-qubit encoding codes with row weights 4, 6, and 8; the observed distance scaling is consistent with A(w)n1/2+B(w), where n is the code length and A(w) is increasing with w. 
    more » « less
  2. (3+1)D topological phases of matter can host a broad class of non-trivial topological defects of codimension-1, 2, and 3, of which the well-known point charges and flux loops are special cases. The complete algebraic structure of these defects defines a higher category, and can be viewed as an emergent higher symmetry. This plays a crucial role both in the classification of phases of matter and the possible fault-tolerant logical operations in topological quantum error-correcting codes. In this paper, we study several examples of such higher codimension defects from distinct perspectives. We mainly study a class of invertible codimension-2 topological defects, which we refer to as twist strings. We provide a number of general constructions for twist strings, in terms of gauging lower dimensional invertible phases, layer constructions, and condensation defects. We study some special examples in the context of \mathbb{Z}_2 ℤ 2 gauge theory with fermionic charges, in \mathbb{Z}_2 \times \mathbb{Z}_2 ℤ 2 × ℤ 2 gauge theory with bosonic charges, and also in non-Abelian discrete gauge theories based on dihedral ( D_n D n ) and alternating ( A_6 A 6 ) groups. The intersection between twist strings and Abelian flux loops sources Abelian point charges, which defines an H^4 H 4 cohomology class that characterizes part of an underlying 3-group symmetry of the topological order. The equations involving background gauge fields for the 3-group symmetry have been explicitly written down for various cases. We also study examples of twist strings interacting with non-Abelian flux loops (defining part of a non-invertible higher symmetry), examples of non-invertible codimension-2 defects, and examples of the interplay of codimension-2 defects with codimension-1 defects. We also find an example of geometric, not fully topological, twist strings in (3+1)D A_6 A 6 gauge theory. 
    more » « less
  3. Bosonic encoding of quantum information into harmonic oscillators is a hardware efficient approach to battle noise. In this regard, oscillator-to-oscillator codes not only provide an additional opportunity in bosonic encoding, but also extend the applicability of error correction to continuous-variable states ubiquitous in quantum sensing and communication. In this work, we derive the optimal oscillator-to-oscillator codes among the general family of Gottesman-Kitaev-Preskill (GKP)-stablizer codes for homogeneous noise. We prove that an arbitrary GKP-stabilizer code can be reduced to a generalized GKP two-mode-squeezing (TMS) code. The optimal encoding to minimize the geometric mean error can be constructed from GKP-TMS codes with an optimized GKP lattice and TMS gains. For single-mode data and ancilla, this optimal code design problem can be efficiently solved, and we further provide numerical evidence that a hexagonal GKP lattice is optimal and strictly better than the previously adopted square lattice. For the multimode case, general GKP lattice optimization is challenging. In the two-mode data and ancilla case, we identify the D4 lattice—a 4-dimensional dense-packing lattice—to be superior to a product of lower dimensional lattices. As a by-product, the code reduction allows us to prove a universal no-threshold-theorem for arbitrary oscillators-to-oscillators codes based on Gaussian encoding, even when the ancilla are not GKP states.

    more » « less
  4. BACKGROUND The past decade has witnessed considerable progress toward the creation of new quantum technologies. Substantial advances in present leading qubit technologies, which are based on superconductors, semiconductors, trapped ions, or neutral atoms, will undoubtedly be made in the years ahead. Beyond these present technologies, there exist blueprints for topological qubits, which leverage fundamentally different physics for improved qubit performance. These qubits exploit the fact that quasiparticles of topological quantum states allow quantum information to be encoded and processed in a nonlocal manner, providing inherent protection against decoherence and potentially overcoming a major challenge of the present generation of qubits. Although still far from being experimentally realized, the potential benefits of this approach are evident. The inherent protection against decoherence implies better scalability, promising a considerable reduction in the number of qubits needed for error correction. Transcending possible technological applications, the underlying physics is rife with exciting concepts and challenges, including topological superconductors, non-abelian anyons such as Majorana zero modes (MZMs), and non-abelian quantum statistics.­­ ADVANCES In a wide-ranging and ongoing effort, numerous potential material platforms are being explored that may realize the required topological quantum states. Non-abelian anyons were first predicted as quasiparticles of topological states known as fractional quantum Hall states, which are formed when electrons move in a plane subject to a strong perpendicular magnetic field. The prediction that hybrid materials that combine topological insulators and conventional superconductors can support localized MZMs, the simplest type of non-abelian anyon, brought entirely new material platforms into view. These include, among others, semiconductor-superconductor hybrids, magnetic adatoms on superconducting substrates, and Fe-based superconductors. One-dimensional systems are playing a particularly prominent role, with blueprints for quantum information applications being most developed for hybrid semiconductor-superconductor systems. There have been numerous attempts to observe non-abelian anyons in the laboratory. Several experimental efforts observed signatures that are consistent with some of the theoretical predictions for MZMs. A few extensively studied platforms were subjected to intense scrutiny and in-depth analyses of alternative interpretations, revealing a more complex reality than anticipated, with multiple possible interpretations of the data. Because advances in our understanding of a physical system often rely on discrepancies between experiment and theory, this has already led to an improved understanding of Majorana signatures; however, our ability to detect and manipulate non-abelian anyons such as MZMs remains in its infancy. Future work can build on improved materials in some of the existing platforms but may also exploit new materials such as van der Waals heterostructures, including twisted layers, which promise many new options for engineering topological phases of matter. OUTLOOK Experimentally establishing the existence of non-abelian anyons constitutes an outstandingly worthwhile goal, not only from the point of view of fundamental physics but also because of their potential applications. Future progress will be accelerated if claims of Majorana discoveries are based on experimental tests that go substantially beyond indicators such as zero-bias peaks that, at best, suggest consistency with a Majorana interpretation. It will be equally important that these discoveries build on an excellent understanding of the underlying material systems. Most likely, further material improvements of existing platforms and the exploration of new material platforms will both be important avenues for progress toward obtaining solid evidence for MZMs. Once that has been achieved, we can hope to explore—and harness—the fascinating physics of non-abelian anyons such as the topologically protected ground state manifold and non-abelian statistics. Proposed topological platforms. (Left) Proposed state of electrons in a high magnetic field (even-denominator fractional quantum Hall states) are predicted to host Majorana quasiparticles. (Right) Hybrid structures of superconductors and other materials have also been proposed to host such quasiparticles and can be tailored to create topological quantum bits based on Majoranas. 
    more » « less
  5. Abstract

    We study the effectiveness of quantum error correction against coherent noise. Coherent errors (for example, unitary noise) can interfere constructively, so that in some cases the average infidelity of a quantum circuit subjected to coherent errors may increase quadratically with the circuit size; in contrast, when errors are incoherent (for example, depolarizing noise), the average infidelity increases at worst linearly with circuit size. We consider the performance of quantum stabilizer codes against a noise model in which a unitary rotation is applied to each qubit, where the axes and angles of rotation are nearly the same for all qubits. In particular, we show that for the toric code subject to such independent coherent noise, and for minimal-weight decoding, the logical channel after error correction becomes increasingly incoherent as the length of the code increases, provided the noise strength decays inversely with the code distance. A similar conclusion holds for weakly correlated coherent noise. Our methods can also be used for analyzing the performance of other codes and fault-tolerant protocols against coherent noise. However, our result does not show that the coherence of the logical channel is suppressed in the more physically relevant case where the noise strength is held constant as the code block grows, and we recount the difficulties that prevented us from extending the result to that case. Nevertheless our work supports the idea that fault-tolerant quantum computing schemes will work effectively against coherent noise, providing encouraging news for quantum hardware builders who worry about the damaging effects of control errors and coherent interactions with the environment.

    more » « less