Applying quantum error-correcting codes for fault-tolerant blind quantum cloud computation

This paper shows that quantum computation can be made fault-tolerant against errors and inaccuracies when $\eta$, the probability for an error in a qubit or a gate, is smaller than a constant threshold $\eta_c$. This result improves on Shor's result [Proceedings of the 37th Symposium on the Foundations of Computer Science, IEEE, Los Alamitos, CA, 1996, pp. 56–65], which shows how to perform fault-tolerant quantum computation when the error rate $\eta$ decays polylogarithmically with the size of the computation, an assumption which is physically unreasonable. The cost of making the quantum circuit fault-tolerant in our construction is polylogarithmic in time and space. Our result holds for a very general local noise model, which includes probabilistic errors, decoherence, amplitude damping, depolarization, and systematic inaccuracies in the gates. Moreover, we allow exponentially decaying correlations between the errors both in space and in time. Fault-tolerant computation can be performed with any universal set of gates. The result also holds for quantum particles with $p>2$ states, namely, p-qudits, and is also generalized to one-dimensional quantum computers with only nearest-neighbor interactions. No measurements, or classical operations, are required during the quantum computation. We estimate the threshold of our construction to be $\eta_c\simeq 10^{-6}$, in the best case. By this we show that local noise is in principle not an obstacle for scalable quantum computation. The main ingredient of our proof is the computation on states encoded by a quantum error correcting code (QECC). To this end we introduce a special class of Calderbank–Shor–Steane (CSS) codes, called polynomial codes (the quantum analogue of Reed–Solomon codes). Their nice algebraic structure allows all of the encoded gates to be transversal. We also provide another version of the proof which uses more general CSS codes, but its encoded gates are slightly less elegant. To achieve fault tolerance, we encode the quantum circuit by another circuit by using one of these QECCs. This step is repeated polyloglog many times, each step slightly improving the effective error rate, to achieve the desired reliability. The resulting circuit exhibits a hierarchical structure, and for the analysis of its robustness we borrow terminology from Khalfin and Tsirelson [Found. Phys., 22 (1992), pp. 879–948] and Gács [Advances in Computing Research: A Research Annual: Randomness and Computation, JAI Press, Greenwich, CT, 1989]. The paper is to a large extent self-contained. In particular, we provide simpler proofs for many of the known results we use, such as the fact that it suffices to correct for bit-flips and phase-flips, the correctness of CSS codes, and the fact that two-qubit gates are universal, together with their extensions to higher-dimensional particles. We also provide full proofs of the universality of the sets of gates we use (the proof of universality was missing in Shor's paper). This paper thus provides a self-contained and complete proof of universal fault-tolerant quantum computation in the presence of local noise.

Fault-tolerant quantum error correction provides a strategy to protect information processed by a quantum computer against noise which would otherwise corrupt the data. A fault-tolerant universal quantum computer must implement a universal gate set on the logical level in order to perform arbitrary calculations to in principle unlimited precision. In this paper we characterize the recent demonstration of a fault-tolerant universal gate set in a trapped-ion quantum computer [Postler et al., Nature (London) 605, 7911 (2022)] and identify aspects to improve the design of experimental setups to reach an advantage of logical over physical qubit operation. We show that various criteria to assess the break-even point for fault-tolerant quantum operations are within reach for the ion trap quantum computing architecture under consideration. Furthermore, we analyze the influence of crosstalk in entangling gates for logical state preparation circuits. These circuits can be designed to respect fault tolerance for specific microscopic noise models. We find that an experimentally informed depolarizing noise model captures the essential noise dynamics of the fault-tolerant experiment that we consider, and crosstalk is negligible in the currently accessible regime of physical error rates. For deterministic Pauli state preparation, we provide a fault-tolerant unitary logical qubit initialization circuit, which can be realized without in-sequence measurement and feed-forward of classical information. Additionally, we show that nondeterministic state preparation schemes, i.e., repeat until success, for logical Pauli and magic states perform with higher logical fidelity over their deterministic counterparts for the current and anticipated future regime of physical error rates. Our results offer guidance on improvements of physical qubit operations and validate the experimentally informed noise model as a tool to predict logical failure rates in quantum computing architectures based on trapped ions.

This thesis presents the development of resource-efficient photon-distillation schemes designed to produce highly indistinguishable photons, a key requirement for large-scale photonic quantum computing. Although photons do not naturally interact, their indistinguishability enables effective interactions through quantum interference, allowing entanglement generation using only linear optical elements and measurements. In practice, however, photons are never perfectly identical. Small differences introduce decoherence, limiting the scalability and reliability of photonic quantum technologies. Addressing indistinguishability errors is therefore essential for fault-tolerant quantum computing.<br/><br/>The thesis first reviews the importance of photon indistinguishability and the need to mitigate related errors. It then examines experimental methods for characterizing imperfections and introduces a general model of imperfect photon states. This model captures indistinguishability errors alongside additional experimental noise from photon loss and multiphoton events. A key insight is that loss and multiphoton noise together can act as an effective source of indistinguishability error. To quantify this effect, the work defines an effective indistinguishability metric, enabling practical evaluation of photon-distillation schemes under realistic conditions.<br/><br/>The core theoretical contribution is the development of photon-distillation protocols based on multiphoton Fourier interference. Unlike earlier approaches, these schemes can asymptotically suppress indistinguishability errors to arbitrary levels while requiring only linear scaling in photon resources relative to the desired error reduction. The analysis further suggests that photon distillation, when combined with quantum error correction, can significantly reduce the overall resource overhead for fault-tolerant photonic quantum computing.<br/><br/>Experimentally, a three-photon Fourier-based distillation protocol was demonstrated on a high-fidelity photonic processor using a resonantly driven quantum-dot single-photon source. After subtracting excess noise contributions, a 2.2-fold reduction in indistinguishability error was achieved; when excess noise was retained, a 1.2-fold net reduction was observed. These results confirm a clear below-threshold improvement in photon quality. Additional analysis suggests that optimized distillation schemes could reduce the photon cost of a logical qubit by up to a factor of four. The thesis concludes by addressing insertion loss and outlining design strategies and future directions for integrating photon-distillation components into scalable quantum architectures.

In a ground breaking discovery in 1994, Shor has shown that quantum computers, if built, can factor numbers efficiently. Since then quantum computing has become a burgeoning field of research, attracting theoreticians and experimentalists alike, and regrouping researchers from fields like computer science, physics, mathematics and engineering. Quantum information is very fragile and prone to decoherence. Yet by the middle of 1996 it has been shown that fault-tolerant quantum computation is possible. We give a simple description of the elements of quantum error-correction and quantum fault-tolerance. After characterizing quantum errors we present several error correction schemes and outline the elements of a full fledged fault-tolerant computation, which works error-free even though all of its components can be faulty. We also mention alternative approaches to error-correction, so called error-avoiding or decoherence-free schemes.

<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.

A quantum computer is a powerful machine that provides a new approach to information processing based on quantum mechanics. However, basically, qubits are very vulnerable to errors, thus a quantum error correction code (QECC) is needed to build a reliable quantum computer. Moreover, simply using QECCs is not sufficient in order that a quantum computer can tolerate errors. In quantum computation, each operation must be performed on the encoded states. Even when the gates used to perform these operations are noisy, the quantum computation must be tolerable to the errors. This is called fault-tolerant quantum computation and it is an essential condition for implementing a quantum computer. However, considering the fault tolerance, the overhead of the quantum computer increases exponentially. In this paper, we introduce fault-tolerant quantum computation and schemes to reduce the its overhead.

Active quantum error correction using qubit stabilizer codes has emerged as a promising, but experimentally challenging, engineering program for building a universal quantum computer. In this review we consider the formalism of qubit stabilizer and subsystem stabilizer codes and their possible use in protecting quantum information in a quantum memory. We review the theory of fault-tolerance and quantum error-correction, discuss examples of various codes and code constructions, the general quantum error correction conditions, the noise threshold, the special role played by Clifford gates and the route towards fault-tolerant universal quantum computation. The second part of the review is focused on providing an overview of quantum error correction using two-dimensional (topological) codes, in particular the surface code architecture. We discuss the complexity of decoding and the notion of passive or self-correcting quantum memories. The review does not focus on a particular technology but discusses topics that will be relevant for various quantum technologies.

The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation stating that arbitrarily long quantum computations can be performed with a polylogarithmic overhead provided the noise level is below a constant level. A recent work by Fawzi, Grospellier and Leverrier (FOCS 2018) building on a result by Gottesman (QIC 2013) has shown that the space overhead can be asymptotically reduced to a constant independent of the circuit provided we only consider circuits with a length bounded by a polynomial in the width. In this work, using a minimal model for quantum fault tolerance, we establish a general lower bound on the space overhead required to achieve fault tolerance. For any non-unitary qubit channel $\mathcal{N}$ and any quantum fault tolerance schemes against $\mathrm{i.i.d.}$ noise modeled by $\mathcal{N}$, we prove a lower bound of $\max\left\{\mathrm{Q}(\mathcal{N})^{-1}n,\alpha_\mathcal{N} \log T\right\}$ on the number of physical qubits, for circuits of length $T$ and width $n$. Here, $\mathrm{Q}(\mathcal{N})$ denotes the quantum capacity of $\mathcal{N}$ and $\alpha_\mathcal{N}>0$ is a constant only depending on the channel $\mathcal{N}$. In our model, we allow for qubits to be replaced by fresh ones during the execution of the circuit and we allow classical computation to be free and perfect. This improves upon results that assumed classical computations to be also affected by noise, and that sometimes did not allow for fresh qubits to be added. Along the way, we prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude damping noise resolving a conjecture by Ben-Or, Gottesman, and Hassidim (2013).

Fault-tolerant quantum computation with quantum error-correcting codes has been considerably developed over the past decade. However, there are still difficult issues, particularly on the resource requirement. For further improvement of fault-tolerant quantum computation, here we propose a soft-decision decoder for quantum error correction and detection by teleportation. This decoder can achieve almost optimal performance for the depolarizing channel. Applying this decoder to Knill's C4/C6 scheme for fault-tolerant quantum computation, which is one of the best schemes so far and relies heavily on error correction and detection by teleportation, we dramatically improve its performance. This leads to substantial reduction of resources.

Conventional approaches towards creating a large-scale, fault-tolerant quantum computer require an error correction scheme that uses multiple physical qubits to encode one logical qubit of protected quantum information. A key limiting factor in realizing error-corrected quantum information processing is the large ratio of physical-to-logical qubits required by many error correction codes, outstripping the size of near-term devices. The Gottesman–Kitaev–Preskill (GKP) code offers hardware efficiency at the cost of increased encoding complexity by encoding a logical qubit into a single quantum harmonic oscillator. Building on earlier demonstrations of GKP-encoded operations, we realize an entangling gate on GKP logical qubits. Our experiments use an optimal control strategy that deterministically implements a universal set of energy-preserving logical gates on finite-energy GKP states encoded in the mechanical motions of a trapped ion. We also directly generate a GKP Bell state starting from vacuum. Our approach is compatible with existing hardware architectures, demonstrating the potential for optimal control techniques with advanced encoding schemes to accelerate the path towards large-scale fault-tolerant quantum information processing.

A fault-tolerant one-way quantum computer

The seven-qubit quantum error-correcting code originally proposed by Steane is one of the best known quantum codes. The Steane code has a desirable property that most basic operations can be performed easily in a fault-tolerant manner. A major obstacle to fault-tolerant quantum computation with the Steane code is fault-tolerant preparation of encoded states, which requires large computational resources. Here we propose efficient state preparation methods for zero and magic states encoded with the Steane code, where the zero state is one of the computational basis states and the magic state allows us to achieve universality in fault-tolerant quantum computation. The methods minimize resource overheads for the fault-tolerant state preparation, and therefore reduce necessary resources for quantum computation with the Steane code. Thus, the present results will open a new possibility for efficient fault-tolerant quantum computation.

Continuous-variable measurement-based quantum computation, which requires deterministically generated large-scale cluster states, is a promising candidate for practical, scalable, universal, and fault-tolerant quantum computation. In this work, based on our compact and scalable scheme of generating a two-dimensional spatiotemporal cluster state, a complete architecture including cluster state preparation, gate implementations, and error correction, is proposed. First, a scheme for generating two-dimensional large-scale continuous-variable cluster state by multiplexing both the temporal and spatial domains is proposed. Then, the corresponding gate implementations by gate teleportation are discussed and the actual gate noise from the generated cluster state is considered. After that, the quantum error correction can be further achieved by utilizing the square-lattice Gottesman-Kitaev-Preskill (GKP) code. Finally, a fault-tolerant quantum computation can be realized by introducing bias into the square-lattice GKP code (to protect against phase-flip errors) and concatenating a repetition code (to handle the residual bit-flip errors), with a squeezing threshold of 12.3 dB. Our work provides a possible option for a complete fault-tolerant quantum computation architecture in the future.

We propose a fault-tolerant quantum error correction architecture consisting of a linear array of emitters and delay lines. In our scheme, a resource state for fault-tolerant quantum computation is generated by letting the emitters interact with a stream of photons and their neighboring emitters. Depending on the number of emitters ne, we study the effect of delay line errors in two regimes: when ne is a small constant of order unity and when ne scales with the code distance. Between these two regimes, the logical error rate steadily decreases as ne increases, from a scaling of exp&amp;#x2061;(&amp;#x2212;c&amp;#x03B7;&amp;#x2212;1/2) to exp&amp;#x2061;(&amp;#x2212;c&amp;#x2032;&amp;#x03B7;&amp;#x2212;1), where &amp;#x03B7; is the error rate per unit length in the delay line, for some constants c,c&amp;#x2032;&amp;#x003E;0. We also carry out a detailed study of the break-even point and the fault-tolerance overhead. These studies suggest that the multi-emitter architecture, using the state-of-the-art delay lines, can be used to demonstrate error suppression, assuming other sources of errors are sufficiently small.

Compiling high-level quantum programs to machines that are size constrained (i.e. limited number of quantum bits) and time constrained (i.e. limited number of quantum operations) is challenging. In this paper, we present SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits (called ancilla) in modular quantum programs. At its core, SQUARE strategically performs uncomputation to create opportunities for qubit reuse. Current Noisy Intermediate-Scale Quantum (NISQ) computers and forward-looking Fault-Tolerant (FT) quantum computers have fundamentally different constraints such as data locality, instruction parallelism, and communication overhead. Our heuristic-based ancilla-reuse algorithm balances these considerations and fits computations into resource-constrained NISQ or FT quantum machines, throttling parallelism when necessary. To precisely capture the workload of a program, we propose an improved metric, the "active quantum volume," and use this metric to evaluate the effectiveness of our algorithm. Furthermore, our results show that SQUARE improves the average success rate of NISQ applications by 1.47X. Surprisingly, the additional gates for uncomputation create ancilla with better locality, and result in substantially fewer swap gates and less gate noise overall. SQUARE also achieves an average reduction of 1.5X (and up to 9.6X) in active quantum volume for FT machines.