Quantum Error Correction: Classic Group Theory Meets a Quantum Challenge

Quantum information is prone to suffer from errors caused by the so-called decoherence, which describes the loss in coherence of quantum states associated to their interactions with the surrounding environment. This decoherence phenomenon is present in every quantum information task, be it transmission, processing or even storage of quantum information. Consequently, the protection of quantum information via quantum error correction codes (QECC) is of paramount importance to construct fully operational quantum computers. Understanding environmental decoherence processes and the way they are modeled is fundamental in order to construct effective error correction methods capable of protecting quantum information. Moreover, quantum channel models that are efficiently implementable and manageable on classical computers are required in order to design and simulate such error correction schemes. In this article, we present a survey of decoherence models, reviewing the manner in which these models can be approximated into quantum Pauli channel models, which can be efficiently implemented on classical computers. We also explain how certain families of quantum error correction codes can be entirely simulated in the classical domain, without the explicit need of a quantum computer. A quantum error correction code for the approximated channel is also a correctable code for the original channel, and its performance can be obtained by Monte Carlo simulations on a classical computer.

Chapter 6 - Information Theory and Classical Error Correcting Codes

We analyze simple quantum error detection and quantum error correction protocols relevant to current experiments with superconducting qubits. We show that for qubits with energy relaxation the repetitive $N$-qubit codes cannot be used for quantum error correction, but can be used for quantum error detection. In the latter case it is sufficient to use only two qubits for the encoding. In the analysis we demonstrate a useful technique of unraveling the qubit energy relaxation into ``relaxation'' and ``no relaxation'' scenarios. Also, we propose and numerically analyze several two-qubit algorithms for quantum error detection and correction, which can be readily realized at the present-day level of the phase qubit technology.

Quantum error correction is a set of methods to protect quantum information—that is, quantum states—from unwanted environmental interactions (decoherence) and other forms of noise. The information is stored in a quantum error-correcting code, which is a subspace in a larger Hilbert space. This code is designed so that the most common errors move the state into an error space orthogonal to the original code space while preserving the information in the state. It is possible to determine whether an error has occurred by a suitable measurement and to apply a unitary correction that returns the state to the code space without measuring (and hence disturbing) the protected state itself. In general, codewords of a quantum code are entangled states. No code that stores information can protect against all possible errors; instead, codes are designed to correct a specific error set, which should be chosen to match the most likely types of noise. An error set is represented by a set of operators that can multiply the codeword state. Most work on quantum error correction has focused on systems of quantum bits, or qubits, which are two-level quantum systems. These can be physically realized by the states of a spin-1/2 particle, the polarization of a single photon, two distinguished levels of a trapped atom or ion, the current states of a microscopic superconducting loop, or many other physical systems. The most widely used codes are the stabilizer codes, which are closely related to classical linear codes. The code space is the joint +1 eigenspace of a set of commuting Pauli operators on n qubits, called stabilizer generators; the error syndrome is determined by measuring these operators, which allows errors to be diagnosed and corrected. A stabilizer code is characterized by three parameters [[n,k,d]], where n is the number of physical qubits, k is the number of encoded logical qubits, and d is the minimum distance of the code (the smallest number of simultaneous qubit errors that can transform one valid codeword into another). Every useful code has n>k; this physical redundancy is necessary to detect and correct errors without disturbing the logical state. Quantum error correction is used to protect information in quantum communication (where quantum states pass through noisy channels) and quantum computation (where quantum states are transformed through a sequence of imperfect computational steps in the presence of environmental decoherence to solve a computational problem). In quantum computation, error correction is just one component of fault-tolerant design. Other approaches to error mitigation in quantum systems include decoherence-free subspaces, noiseless subsystems, and dynamical decoupling.

In this note, we classify the finite groups of prime power order for which all nonlinear irreducible character kernels constitute a chain with respect to inclusion.

<p indent="0mm">Recently, the achievement, entitled “lifetime enhancement for a logic qubit by bosonic encoding error correction”, has been selected as one of “The Ten Major Advances in Chinese Science 2023”. Here, we will introduce briefly the importance of this work. It is known that quantum states are fragile due to decoherence induced by environment. Error will happen on a qubit, resulting in continuously changes of the parameters for this qubit, such as amplitude and phase parameters. The aim of quantum error correction is to amend those errors by using various quantum error correction codes, in which a logic qubit can be represented by several physical qubits. It should be noted that the quantum error correction can be realized by correcting a discrete set of errors, such as bit-flip error, phase-flip error or both of them. On the other hand, types of errors occurred depend on specific platforms of quantum computation. For example, photon loss is more inclined to occur in photonic systems. In this case, the approach of bosonic encoding of quantum error correction is more efficient. The work “lifetime enhancement for a logic qubit by bosonic encoding error correction” is for such a scenario. The challenge of quantum error correction is that operation itself is not perfect which may incur new errors. So it is actually difficult to demonstrate that we can benefit from quantum error correction. The achievement of lifetime enhancement by bosonic encoding error correction succeeds in beating this break-even point. The experiments are performed by circuit quantum electrodynamics on a superconducting processor with a qubit and a coupled resonate cavity. The logic qubit is realized by the bosonic mode of the cavity, while the superconducting qubit plays the role of the ancillary qubit in error correction. The initial states are prepared by the superconducting qubit, and are transferred to the logic qubit in the cavity. Then the error correction can be performed based on detection of photon loss by the superconducting qubit. The results show that the lifetime of the logic qubit increases from <sc>694 μs</sc> to <sc>805 μs</sc> with 16% enhancement. Besides high quality devices, the success of this experiment depends on the feedback control to detect and correct the error of photon loss in a short time. The result of beating the break-even point of bosonic encoding error correction is for one logic qubit. In the near future, it is hopeful to implement logic gates, such as single-qubit rotation gate and two-qubit gate, on a couple of logic qubits by bosonic encoding. The importance of the results will depend on whether higher fidelity can be achieved compared with those of gates with physical qubits. In this way, the advantage of the logic qubits for quantum computation is presented. It will be significant that the approach of bosonic encoding with a superconducting processor is scalable to hundreds of logic qubits, which may take a few years to realize. Our aim is to realize a fault-tolerant universal quantum computer based on a large quantity of high-precision logic qubits. The work “lifetime enhancement for a logic qubit by bosonic encoding error correction” is an important step toward this aim.

Quantum communication offers transformative potential for media transmission by addressing the limitations of classical communication systems. To realize this potential, the study proposes a quantum communication framework for transmitting compressed videos over error-prone channels, leveraging quantum superposition. Two channel coding schemes are analyzed: quantum error correction (three-qubit, five-qubit, and seven-qubit codes) and classical error correction (1/3 rate polar code), all operating within the same bandwidth constraints. The proposed systems are benchmarked against a classical communication system using 1/3 rate polar codes. Results show that the three-qubit error correction-based quantum communication system, while simple and efficient, achieves significant performance gains over both classical error correction-based quantum and classical communication systems, with up to 41.42 dB in peak signal-to-noise ratio (PSNR), 0.9639 in structural similarity index measure (SSIM), and 94.4042 in video multimethod assessment fusion (VMAF). However, the five-qubit and seven-qubit systems outperform the three-qubit system, with the seven-qubit system surpassing all others in high noise environments, demonstrating its robustness across various group of pictures (GOP) formats. These findings highlight the trade-offs between simplicity and complexity, as the three-qubit system is practical and efficient, while the five-qubit and seven-qubit channel codes offer higher fidelity and resilience at the cost of increased complexity.

Quantum error correction (QEC) can overcome the errors experienced by qubits and is therefore an essential component of a future quantum computer. To implement QEC, a qubit is redundantly encoded in a higher-dimensional space using quantum states with carefully tailored symmetry properties. Projective measurements of these parity-type observables provide error syndrome information, with which errors can be corrected via simple operations. The 'break-even' point of QEC--at which the lifetime of a qubit exceeds the lifetime of the constituents of the system--has so far remained out of reach. Although previous works have demonstrated elements of QEC, they primarily illustrate the signatures or scaling properties of QEC codes rather than test the capacity of the system to preserve a qubit over time. Here we demonstrate a QEC system that reaches the break-even point by suppressing the natural errors due to energy loss for a qubit logically encoded in superpositions of Schrödinger-cat states of a superconducting resonator. We implement a full QEC protocol by using real-time feedback to encode, monitor naturally occurring errors, decode and correct. As measured by full process tomography, without any post-selection, the corrected qubit lifetime is 320 microseconds, which is longer than the lifetime of any of the parts of the system: 20 times longer than the lifetime of the transmon, about 2.2 times longer than the lifetime of an uncorrected logical encoding and about 1.1 longer than the lifetime of the best physical qubit (the |0〉f and |1〉f Fock states of the resonator). Our results illustrate the benefit of using hardware-efficient qubit encodings rather than traditional QEC schemes. Furthermore, they advance the field of experimental error correction from confirming basic concepts to exploring the metrics that drive system performance and the challenges in realizing a fault-tolerant system.

In this work, we investigate some applications of quantum information theory motivated by high-energy physics. There is strong evidence suggesting that entanglement is deeply connected with the geometry of spacetime, which leads to surprising applications of quantum information theory in the AdS/CFT correspondence and holography. We start by reviewing the fundamental concepts of the AdS/CFT correspondence which play a key role in bulk-boundary reconstruction, in particular, we explore some features which suggest that one must interpret the encoding of information in the correspondence as a quantum errorcorrecting code. We discuss the fundamentals of error correction, exploring the formalisms of operator algebra and stabilizer codes. Then, we establish the concrete connection between the two main concepts by showing examples of quantum error-correcting codes that serve as a toy model for AdS/CFT. We illustrate how the 3-qutrit code and the HaPPY code can be powerful tools to explore the correspondence analytically and to solve apparent paradoxes. Following recent results, using quantum error correction, that suggest an intrinsic incompatibility of quantum gravity with global symmetries, we explore approximate error-correcting codes and asymmetric codes as a way to better understand the consequences in a quantum resource-theoretic way. Finally, we discuss our original contribution: geometric bounds for approximate quantum error correction. We calculate our bounds for three typical quantum channels that model the lack of exactness in error correction, namely, dephasing, depolarizing, and amplitude damping channels. The implications of our bounds for AdS/CFT are somewhat elusive; nonetheless, we provide a new approach to benchmark approximations in error correction performance, which may be of high interest for AdS/CFT and its corresponding absence of global symmetries.

The homological functors of a group were first introduced in homotopy theory. Some of the homological functors including the nonabelian tensor square and the Schur multiplier of abelian groups of prime power order are determined in this paper. The nonabelian tensor square of a group G introduced by Brown and Loday in 1987 is a special case of the nonabelian tensor product. Meanwhile, the Schur multiplier of G is the second cohomology with integer coefficients is named after Issai Schur. The aims of this paper are to determine the nonabelian tensor square and the Schur multiplier of abelian groups of order p5, where p is an odd prime

Quantum machine learning (QML) is an emerging field that promises advantages such as faster training, improved reliability and superior feature extraction over classical counterparts. However, its implementation on quantum hardware is challenging due to the noise inherent in these systems, necessitating the use of quantum error correction (QEC) codes. Current QML research remains primarily theoretical, often assuming noise-free environments and offering little insight into the integration of QEC with QML implementations. To address this, we investigate the performance of a simple, parity-classifying Variational Quantum Classifier (VQC) implemented with the [[4,2,2]] error-detecting stabiliser code in a simulated noisy environment. To our knowledge, this is the first implementation of a stabiliser-based error detection code to a QML algorithm. We invoke ancilla qubits to logically encode rotation gates, and classically simulate the logically-encoded VQC under two simple noise models representing gate noise and environmental noise. We demonstrate that the stabiliser code improves the training accuracy at convergence compared to noisy implementations without error detection. However, we find that the effectiveness and reliability of error detection is contingent upon keeping the ancilla qubit error rates below a specific threshold, due to the propagation of ancilla errors to the physical qubits. Our results provide an important insight that extends to QML implemented with full error-correction: when the QEC code requires ancilla qubits for logical rotations but cannot fully correct errors propagated between ancilla and physical qubits, the maximum achievable accuracy of the QML model is constrained. This highlights the need for additional error correction or mitigation strategies to support the practical implementation of QML algorithms with QEC on quantum devices.

We analyze the dynamics of entanglement entropy in a generic quantum many-body open system from the perspective of quantum information and error corrections. We introduce a random unitary circuit model with intermittent projective measurements, in which the degree of information scrambling by the unitary and the rate of projective measurements are independently controlled. This model displays two stable phases, characterized by the volume-law and area-law scaling entanglement entropy in steady states. The transition between the two phases is understood from the point of view of quantum error correction: the chaotic unitary evolution protects quantum information from projective measurements that act as errors. A phase transition occurs when the rate of errors exceeds a threshold that depends on the degree of information scrambling. We confirm these results using numerical simulations and obtain the phase diagram of our model. Our work shows that information scrambling plays a crucial role in understanding the dynamics of entanglement in an open quantum system and relates the entanglement phase transition to changes in quantum channel capacity.

Contrary to the assumption that most quantum error-correcting codes (QECC) make, it is expected that phase errors are much more likely than bit errors in physical devices. By employing the entanglement-assisted stabilizer formalism, we develop a new kind of error-correcting protocol which can flexibly trade error correction abilities between the two types of errors, such that high error correction performance is achieved both in symmetric and in asymmetric situations. The characteristics of the QECCs can be optimized in an adaptive manner during information transmission. The proposed entanglement-assisted QECCs require only one ebit regardless of the degree of asymmetry at a given moment and can be decoded in polynomial time.

Chapter 7 - Quantum error correction fundamentals

The miracle of quantum error correction Correcting errors might sound like a dreary practical problem, of little aesthetic or conceptual interest. But aside from being of crucial importance for the feasibility of quantum computation, it is also one of the most beautiful and surprising parts of the subject. The surprise is that error correction is possible at all, since the only way to detect errors is to make measurements, but measurement gates disruptively alter the states of the measured Qbits, apparently making things even worse. “Quantum error correction” would seem to be an oxymoron. The beauty lies in the ingenious ways that people have found to get around this apparently insuperable obstacle. The discovery in 1995 of quantum error correction by Peter Shor and, independently, Andrew Steane had an enormous impact on the prospects for actual quantum computation. It changed the dream of building a quantum computer capable of useful computation from a clearly unattainable vision to a program that poses an enormous but not necessarily insuperable technological challenge. Error correction is not a major issue for classical computation. In a classical computer the physical systems that embody individual bits – the Cbits – are immense on the atomic scale. The two states of a Cbit representing 0 and 1 are so grossly different that the probability is infinitesimal for flipping from one to the other as a result of thermal fluctuations, mechanical vibrations, or other irrelevant extraneous interactions.