Quantum communication and computation is an emerging field in quantum mechanics. There are many promising applications including secure communications, simulation of complex quantum systems or quantum algorithms which perform faster than classical methods. The main barrier to realising these possibilities is coping with the inevitable errors induced by noise and experimental imperfections. Quantum error correction is a process which allows for the storage and retrieval of encoded qubits with high fidelity even in an imperfect environment. Error correction operates by encoding qubit states into a subspace of a larger system of qubits. The presence of errors is detected by performing stabilizer measurements. These measurements do not act on the encoding subspace and the measurement results, or syndrome, can be used to infer errors. The decoding problem is to use syndrome information to find the most likely errors which have occurred. This is performed using classical computing resources. Once the errors have been inferred operations can be applied to the system to counteract their effect. While many quantum error correcting codes are known not all are suitable in a practical setting. When choosing a potential code we must consider the following. Does the construction use simple interactions that can be physically realised? How high is the physical qubit to encoded qubit overhead? Does an efficient decoder exist? Is the encoding scheme scalable and do the error correcting properties improve with scaling? All of these properties are desirable for a practical scheme, though some compromise may be required. In this thesis I show how cluster states can be used as a resource for implementing CSS quantum codes. Additionally I show how these cluster codes can be linked together in a layered fashion to create foliated codes. These foliated codes can be used with any constituent CSS code as a basis for fault tolerant error correction. This process is an extension of Raussendorf’s toric code measurement based processing scheme. I first generalise this measurement based scheme to all CSS quantum codes, which is presented in chapter 3. I then present a novel decoding scheme for foliated turbo codes, chapter 4, and present the decoding performance of some turbo code families in chapter 5. These turbo codes are a class of finite rate codes whose overhead and complexity are flexible. Chapter 6 presents the decoding performance of foliated bicycle codes. The low overhead of physical resources to logical qubits of both these code families make these foliated schemes an attractive alternative to the toric code when considering practical measurement based computing designs with large numbers of encoded qubits.
Quantum communication and computation is an emerging field in quantum mechanics. There are many promising applications including secure communications, simulation of complex quantum systems or quantum algorithms which perform faster than classical methods. The main barrier to realising these possibilities is coping with the inevitable errors induced by noise and experimental imperfections. Quantum error correction is a process which allows for the storage and retrieval of encoded qubits with high fidelity even in an imperfect environment. Error correction operates by encoding qubit states into a subspace of a larger system of qubits. The presence of errors is detected by performing stabilizer measurements. These measurements do not act on the encoding subspace and the measurement results, or syndrome, can be used to infer errors. The decoding problem is to use syndrome information to find the most likely errors which have occurred. This is performed using classical computing resources. Once the errors have been inferred operations can be applied to the system to counteract their effect. While many quantum error correcting codes are known not all are suitable in a practical setting. When choosing a potential code we must consider the following. Does the construction use simple interactions that can be physically realised? How high is the physical qubit to encoded qubit overhead? Does an efficient decoder exist? Is the encoding scheme scalable and do the error correcting properties improve with scaling? All of these properties are desirable for a practical scheme, though some compromise may be required. In this thesis I show how cluster states can be used as a resource for implementing CSS quantum codes. Additionally I show how these cluster codes can be linked together in a layered fashion to create foliated codes. These foliated codes can be used with any constituent CSS code as a basis for fault tolerant error correction. This process is an extension of Raussendorf’s toric code measurement based processing scheme. I first generalise this measurement based scheme to all CSS quantum codes, which is presented in chapter 3. I then present a novel decoding scheme for foliated turbo codes, chapter 4, and present the decoding performance of some turbo code families in chapter 5. These turbo codes are a class of finite rate codes whose overhead and complexity are flexible. Chapter 6 presents the decoding performance of foliated bicycle codes. The low overhead of physical resources to logical qubits of both these code families make these foliated schemes an attractive alternative to the toric code when considering practical measurement based computing designs with large numbers of encoded qubits.
We show how to construct a large class of quantum error-correcting codes, known as Calderbank-Steane-Shor codes, from highly entangled cluster states. This becomes a primitive in a protocol that foliates a series of such cluster states into a much larger cluster state, implementing foliated quantum error correction. We exemplify this construction with several familiar quantum error-correction codes and propose a generic method for decoding foliated codes. We numerically evaluate the error-correction performance of a family of finite-rate Calderbank-Steane-Shor codes known as turbo codes, finding that they perform well over moderate depth foliations. Foliated codes have applications for quantum repeaters and fault-tolerant measurement-based quantum computation.
Quantum computation promises to revolutionize information processing by exploiting superposition and entanglement, enabling applications such as quantum simulation, combinatorial optimization, and secure quantum communication. Beyond individual processors, the quantum internet aims to connect quantum nodes through entanglement distribution, enabling distributed computation. However, quantum states are fragile: environmental interactions, imperfect gate operations, and measurement errors can quickly degrade encoded information. Reliable quantum computation therefore requires carefully designed quantum error-correcting codes and fault-tolerant protocols. Unlike classical redundancy schemes, quantum error correction must preserve delicate phase relationships and relies on indirect error detection through syndrome extraction with ancillary qubits, enabling error identification without collapsing encoded states. Topological codes, in particular, emerged early as the preferred choice for many architectures due to their planar structure, local interactions, and natural support for fault-tolerant logical operations. Color codes, for instance, allow transversal implementation of all Clifford gates, whereas non-Clifford operations require magic-state injection. More recent constructions, including quantum low-density parity-check codes, offer higher encoding rates and reduced resource overhead, but require long-range qubit connectivity and more complex protocols. Despite experimental progress, several challenges remain. Many platforms exhibit biased noise, motivating codes that exploit channel asymmetry. Real-time decoding remains a critical bottleneck, as fault-tolerant computation requires low-latency processing of rapidly generated syndrome data. Fault-tolerant logical state initialization also remains resource-intensive and scales poorly with code distance. Addressing these challenges, this thesis develops a unified framework spanning theory and experiment. It provides precise performance analysis of quantum error-correcting codes in the low physical error-rate regime, introduces codes tailored to biased noise, develops fast low-complexity decoding algorithms for real-time operation, and presents modular and efficient protocols for fault-tolerant state preparation of CSS codes. The latter is demonstrated experimentally through the preparation of a logical zero state of the Golay code on the Quantinuum H2 trapped-ion quantum computer.
Recent advances in quantum error-correction (QEC) have shown that it is often beneficial to understand fault-tolerance as a dynamical process, a circuit with redundant measurements that help correct errors, rather than as a static code equipped with a syndrome extraction circuit. Spacetime codes have emerged as a natural framework to understand error correction at the circuit level while leveraging the traditional QEC toolbox. Here, we introduce a framework based on chain complexes and chain maps to model spacetime codes and transformations between them. We show that stabilizer codes, quantum circuits, and decoding problems can all be described using chain complexes, and that the equivalence of two spacetime codes can be characterized by specific maps between chain complexes, the fault-tolerant maps, that preserve the number of encoded qubits, fault distance, and minimum-weight decoding problem. As an application of this framework, we extend the foliated cluster state construction from stabilizer codes to any spacetime code, showing that any Clifford circuit can be transformed into a measurement-based protocol with the same fault-tolerant properties. To this protocol, we associate a chain complex which encodes the underlying decoding problem, generalizing previous cluster state complex constructions. Our method enables the construction of cluster states from non-CSS, subsystem, and Floquet codes, as well as from logical Clifford operations on a given code.
Foliated quantum codes are a resource for fault-tolerant measurement-based quantum error correction for quantum repeaters and for quantum computation. They represent a general approach to integrating a range of possible quantum error correcting codes into larger fault-tolerant networks. Here, we present an efficient heuristic decoding scheme for foliated quantum codes, based on message passing between primal and dual code ``sheets.'' We test this decoder on two different families of sparse quantum error correcting code: turbo codes and bicycle codes, and show reasonably high numerical performance thresholds. We also present a construction schedule for building such code states.
Quantum computing has the potential to transform information technology by offering algorithms for certain tasks, such as quantum simulation, that are vastly more efficient than what is possible with any classical device. But experimentally implementing practical quantum information processing is a very difficult task. Here we study two important, and closely related, aspects of this challenge: architectures for quantum computing, and quantum error correction Exquisite quantum control has now been achieved in small ion traps, in nitrogen-vacancy centres and in superconducting qubit clusters, but the challenge remains of how to scale these systems to build practical quantum devices. In Part I of this thesis we analyse one approach to building a scalable quantum computer by networking together many simple processor cells, thus avoiding the need to create a single complex structure. The difficulty is that realistic quantum links are very error prone. Here we describe a method by which even these error-prone cells can perform quantum error correction. Groups of cells generate and purify shared resource states, which then enable stabilization of topologically encoded data. Given a realistically noisy network (10% error rate) we find that our protocol can succeed provided that all intra-cell error rates are below 0.8%. Furthermore, we show that with some adjustments, the protocols we employ can be made robust also against high levels of loss in the network interconnects. We go on to analyse the potential running speed of such a device. Using levels of fidelity that are either already achievable in experimental systems, or will be in the near-future, we find that employing a surface code approach in a highly noisy and lossy network architecture can result in kilohertz computer clock speeds. In Part II we consider the question of quantum error correction beyond the surface code. We consider several families of topological codes, and determine the minimum requirements to demonstrate proof-of-principle error suppression in each type of code. A particularly promising code is the gauge color code, which admits a universal transversal gate set. Furthermore, a recent result of Bombin shows the gauge color code supports an error-correction protocol that achieves tolerance to noisy measurements without the need for repeated measurements, so called single-shot error correction. Here, we demonstrate the promise of single-shot error correction by designing a decoder and investigating its performance. We simulate fault-tolerant error correction with the gauge color code, and estimate a sustainable error rate, i.e. the threshold for the long time limit, of ~0.31% for a phenomenological noise model using a simple decoding algorithm.
This thesis is concerned with fault-tolerant quantum information processing using quantum error-correcting codes. It contains two major pieces of work. The first is a study of coherent noise in the context of stabilizer error-correcting codes. The second is a proposed scheme for a universal set of fault-tolerant logical gates in a particular code family built out of the 3D toric code. Chapter 1 provides an introduction to quantum computation and fault tolerance. Many basic concepts in error-correcting codes are defined. Special attention is paid to the set of code properties that are most likely to determine how easily a given fault-tolerant scheme might be implemented on a physical device. These include the fault-tolerant noise threshold and the overhead. In Chapters 2 and 3 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 Chapter 2 we introduce coherent noise and incoherent noise and a number of methods that are useful for the study of coherent noise. We study the repetition code as a basic example, and we also study a correlated noise model. In Chapter 3 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. Chapter 4 is connected to another aspect of fault tolerance, fault-tolerant logical gates. The toric code is a promising candidate for fault-tolerant quantum computation because of its high threshold and low-weight stabilizers. A universal gate set in the toric code generally requires magic state distillation, which can incur a significant qubit overhead. In this work we construct an error-correcting code in three dimensions based on the toric code that features a fault-tolerant T gate with no magic state distillation required. We further describe a subsystem version of our code which supports a universal set of fault-tolerant gates. This code can be converted into the stabilizer version using gauge-fixing. We also argue that our code can be converted to a (2+1)-D protocol, where a 2D lattice undergoes a measurement-based protocol over time. In this way, a fault-tolerant logical T gate can be realized in a 2D toric code structure.