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
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
- NSF-PAR ID:
- 10308913
- Date Published:
- Journal Name:
- Quantum
- Volume:
- 5
- ISSN:
- 2521-327X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Ta-Shma, Amnon (Ed.)Locally Decodable Codes (LDCs) are error-correcting codes C:Σⁿ → Σ^m, encoding messages in Σⁿ to codewords in Σ^m, with super-fast decoding algorithms. They are important mathematical objects in many areas of theoretical computer science, yet the best constructions so far have codeword length m that is super-polynomial in n, for codes with constant query complexity and constant alphabet size. In a very surprising result, Ben-Sasson, Goldreich, Harsha, Sudan, and Vadhan (SICOMP 2006) show how to construct a relaxed version of LDCs (RLDCs) with constant query complexity and almost linear codeword length over the binary alphabet, and used them to obtain significantly-improved constructions of Probabilistically Checkable Proofs. In this work, we study RLDCs in the standard Hamming-error setting, and introduce their variants in the insertion and deletion (Insdel) error setting. Standard LDCs for Insdel errors were first studied by Ostrovsky and Paskin-Cherniavsky (Information Theoretic Security, 2015), and are further motivated by recent advances in DNA random access bio-technologies. Our first result is an exponential lower bound on the length of Hamming RLDCs making 2 queries (even adaptively), over the binary alphabet. This answers a question explicitly raised by Gur and Lachish (SICOMP 2021) and is the first exponential lower bound for RLDCs. Combined with the results of Ben-Sasson et al., our result exhibits a "phase-transition"-type behavior on the codeword length for some constant-query complexity. We achieve these lower bounds via a transformation of RLDCs to standard Hamming LDCs, using a careful analysis of restrictions of message bits that fix codeword bits. We further define two variants of RLDCs in the Insdel-error setting, a weak and a strong version. On the one hand, we construct weak Insdel RLDCs with almost linear codeword length and constant query complexity, matching the parameters of the Hamming variants. On the other hand, we prove exponential lower bounds for strong Insdel RLDCs. These results demonstrate that, while these variants are equivalent in the Hamming setting, they are significantly different in the insdel setting. Our results also prove a strict separation between Hamming RLDCs and Insdel RLDCs.more » « less
-
(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
-
more » « less
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.
-
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
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.22331/q-2021-08-09-521
