This thesis addresses whether it is possible to build a robust memory device for quantum information. Many schemes for fault-tolerant quantum information processing have been developed so far, one of which, called topological quantum computation, makes use of degrees of freedom that are inherently insensitive to local errors. However, this scheme is not so reliable against thermal errors. Other fault-tolerant schemes achieve better reliability through active error correction, but incur a substantial overhead cost. Thus, it is of practical importance and theoretical interest to design and assess fault-tolerant schemes that work well at finite temperature without active error correction. In this thesis, a three-dimensional gapped lattice spin model is found which demonstrates for the first time that a reliable quantum memory at finite temperature is possible, at least to some extent. When quantum information is encoded into a highly entangled ground state of this model and subjected to thermal errors, the errors remain easily correctable for a long time without any active intervention, because a macroscopic energy barrier keeps the errors well localized. As a result, stored quantum information can be retrieved faithfully for a memory time which grows exponentially with the square of the inverse temperature. In contrast, for previously known types of topological quantum storage in three or fewer spatial dimensions the memory time scales exponentially with the inverse temperature, rather than its square. This spin model exhibits a previously unexpected topological quantum order, in which ground states are locally indistinguishable, pointlike excitations are immobile, and the immobility is not affected by small perturbations of the Hamiltonian. The degeneracy of the ground state, though also insensitive to perturbations, is a complicated number-theoretic function of the system size, and the system bifurcates into multiple noninteracting copies of itself under real-space renormalization group transformations. The degeneracy, the excitations, and the renormalization group flow can be analyzed using a framework that exploits the spin model's symmetry and some associated free resolutions of modules over polynomial algebras.
This thesis addresses whether it is possible to build a robust memory device for quantum information. Many schemes for fault-tolerant quantum information processing have been developed so far, one of which, called topological quantum computation, makes use of degrees of freedom that are inherently insensitive to local errors. However, this scheme is not so reliable against thermal errors. Other fault-tolerant schemes achieve better reliability through active error correction, but incur a substantial overhead cost. Thus, it is of practical importance and theoretical interest to design and assess fault-tolerant schemes that work well at finite temperature without active error correction. In this thesis, a three-dimensional gapped lattice spin model is found which demonstrates for the first time that a reliable quantum memory at finite temperature is possible, at least to some extent. When quantum information is encoded into a highly entangled ground state of this model and subjected to thermal errors, the errors remain easily correctable for a long time without any active intervention, because a macroscopic energy barrier keeps the errors well localized. As a result, stored quantum information can be retrieved faithfully for a memory time which grows exponentially with the square of the inverse temperature. In contrast, for previously known types of topological quantum storage in three or fewer spatial dimensions the memory time scales exponentially with the inverse temperature, rather than its square. This spin model exhibits a previously unexpected topological quantum order, in which ground states are locally indistinguishable, pointlike excitations are immobile, and the immobility is not affected by small perturbations of the Hamiltonian. The degeneracy of the ground state, though also insensitive to perturbations, is a complicated number-theoretic function of the system size, and the system bifurcates into multiple noninteracting copies of itself under real-space renormalization group transformations. The degeneracy, the excitations, and the renormalization group flow can be analyzed using a framework that exploits the spin model's symmetry and some associated free resolutions of modules over polynomial algebras.
This thesis addresses whether it is possible to build a robust memory device for quantum information. A three-dimensional gapped lattice spin model is found which demonstrates for the first time that a reliable quantum memory at finite temperature is possible, at least to some extent. When quantum information is encoded into a highly entangled ground state of this model and subjected to thermal errors, the errors remain easily correctable for a long time without any active intervention, because a macroscopic energy barrier keeps the errors well localized. As a result, stored quantum information can be retrieved faithfully for a memory time which grows exponentially with the square of the inverse temperature. In contrast, for previously known types of topological quantum storage in three or fewer spatial dimensions the memory time scales exponentially with the inverse temperature, rather than its square. This spin model exhibits a previously unexpected topological quantum order, in which ground states are locally indistinguishable, pointlike excitations are immobile, and the immobility is not affected by small perturbations of the Hamiltonian. The degeneracy of the ground state, though also insensitive to perturbations, is a complicated number-theoretic function of the system size, and the system bifurcates into multiple noninteracting copies of itself under real-space renormalization group transformations. The degeneracy, the excitations, and the renormalization group flow can be analyzed using a framework that exploits the spin model's symmetry and some associated free resolutions of modules over polynomial algebras.
In recent years, topological phases of matter have presented exciting new avenues to achieve scalable quantum computation. In this thesis, we investigate a class of quantum many-body spin models known as symmetry-protected topological (SPT) phases for use in quantum information processing and storage. We explore the fault-tolerant properties of SPT phases, and how they can be utilized in the design of a quantum computer. Of central importance in this thesis is the concept of quantum error-correction, which in addition to its importance in fault-tolerant quantum computation, is used to characterise the stability of topological phases at finite temperature. We begin with an introduction to quantum computation, quantum error correction, and topological phases of matter. We then focus on the fundamental question of whether symmetry-protected topological phases of matter can exist in thermal equilibrium; we prove that systems protected by global onsite symmetries cannot be ordered at nonzero temperature. Subsequently, we show that certain three-dimensional models with generalised higher-form symmetries can be thermally SPT ordered, and we relate this order to the ability to perform fault-tolerant measurement-based quantum computation. Following this, we assess feasibility of these phases as quantum memories, motivated by the fact that SPT phases in three dimensions can possess protected topological degrees of freedom on their boundary. We find that certain SPT ordered systems can be self-correcting, allowing quantum information to be stored for arbitrarily long times without requiring active error correction. Finally, we develop a framework to construct new schemes of fault-tolerant measurement-based quantum computation. As a notable example, we develop a cluster-state scheme that simulates the braiding and fusion of surface-code defects, offering novel alternative methods to achieve fault-tolerant universal quantum computation.
Developing quantum systems which are robust against noise are of prime importance to the realisation of quantum technologies. Without fault tolerance, we will never be able to preserve delicate quantum states for macroscopic time scales, a necessary requirement in the construction of scalable quantum computer. Topologically ordered models offer very beautiful mechanisms for preserving quantum states. In such models, quantum information is encoded globally over a degenerate topological Hilbert space which offers a natural robustness against local environmental noise. Remarkably, topological order is present in certain realistic condensed-matter systems. This provides a platform for accessing topological order in a laboratory. Moreover, considering condensed-matter systems enables us to combine topological features with other physical effects to enhance their behaviour. In this Thesis we study the physics of topologically ordered lattice models with defects. We seek practical applications of lattice defects for the realisation of a fault-tolerant quantum computer. The first result we present shows that anyonic data of point-like lattice defects, called twists, can be found by measuring the entanglement of the ground state of the host system. The data we learn relates to the capacity of a twist defect to perform quantum computational tasks. The second result in this Thesis concerns the dynamics of the qudit toric code model with line-like defects coupled to a thermal bath. We show we can entropically inspire fragile glassy dynamics in the system. Such dynamics qualitatively improve the coherence times of quantum information encoded in the ground state of the lattice. A novel way of achieving fault-tolerant quantum computation is by producing and manipulating twist defects of topologically ordered systems. In many ways, this paradigm of topological quantum computation is analogous to quantum computation using anyons. The first area of study in this Thesis extends the analogy between anyons and twists. Specifically, we show that the anyonic data of twists in Kitaev's toric code model can be extracted using topological entanglement entropy calculations in the same way as the same data can be extracted from anyons. We show this using a rigorously solvable lattice model as an example to produce exact analytic results. In particular, our results show we can extract the quantum dimension of a twist, and that we can study the quantum dimension of their fusion products. We compare the obtained results with the anyonic data of the Ising anyon model, further probing an analogy drawn previously in the literature. The second result presented in this Thesis shows that the application of lattice defects can introduce novel dynamics to a two-dimensional topologically ordered quantum memory where excitations carry different masses. A two-dimensional topological model which supports an anyon model with a splitting structure allowed by its fusion channels should be able to entropically achieve high-energy excitation configurations before quantum information encoded in its ground state decoheres. We introduce a grid of lattice defects to a local two-dimensional Hamiltonian model, which, when coupled to a thermal bath, will dynamically steer the excitations into high energy configurations with high probability within a suitable temperature regime. We demonstrate the proliferating dynamics using numerical simulations in a low-temperature regime where we show polynomial improvements in coherence times by increasing the system size for small system sizes, as well as coherence times which scale weakly super exponentially with the inverse temperature of the bath. The dynamics we demonstrate provide the first example of a system which entropically steers excitations into high-energy configurations. The dynamics we demonstrate may lead to the development of experimentally tractable architectures for low dimensional quantum memories. The study of thermal stability in this Thesis requires the development of methods of correcting topologically ordered lattices which have suffered errors. Namely, we require a decoding algorithm for the qudit generalisation of Kitaev's toric code. Further work presented in this Thesis compares rigorously two different decoding algorithms which use renormalisation-group techniques to process classical syndrome information about noise suffered by the topological code. In particular, we study the improvement in their thresholds as the local dimension of its physical systems increase. Our numerical results enable us to analyse and identify the limitations of the different methods of decoding.
This thesis is a collection of ideas with the general goal of building, at least in the abstract, a local fault-tolerant quantum computer. The connection between quantum information and topology has proven to be an active area of research in several fields. The introduction of the toric code by Alexei Kitaev demonstrated the usefulness of topology for quantum memory and quantum computation. Many quantum codes used for quantum memory are modeled by spin systems on a lattice, with operators that extract syndrome information placed on vertices or faces of the lattice. It is natural to wonder whether the useful codes in such systems can be classified. This thesis presents work that leverages ideas from topology and graph theory to explore the space of such codes. Homological stabilizer codes are introduced and it is shown that, under a set of reasonable assumptions, any qubit homological stabilizer code is equivalent to either a toric code or a color code. Additionally, the toric code and the color code correspond to distinct classes of graphs. Many systems have been proposed as candidate quantum computers. It is very desirable to design quantum computing architectures with two-dimensional layouts and low complexity in parity-checking circuitry. Kitaev's surface codes provided the first example of codes satisfying this property. They provided a new route to fault tolerance with more modest overheads and thresholds approaching 1%. The recently discovered color codes share many properties with the surface codes, such as the ability to perform syndrome extraction locally in two dimensions. Some families of color codes admit a transversal implementation of the entire Clifford group. This work investigates color codes on the 4.8.8 lattice known as triangular codes. I develop a fault-tolerant error-correction strategy for these codes in which repeated syndrome measurements on this lattice generate a three-dimensional space-time combinatorial structure. I then develop an integer program that analyzes this structure and determines the most likely set of errors consistent with the observed syndrome values. I implement this integer program to find the threshold for depolarizing noise on small versions of these triangular codes. Because the threshold for magic-state distillation is likely to be higher than this value and because logical CNOT gates can be performed by code deformation in a single block instead of between pairs of blocks, the threshold for fault-tolerant quantum memory for these codes is also the threshold for fault-tolerant quantum computation with them. Since the advent of a threshold theorem for quantum computers much has been improved upon. Thresholds have increased, architectures have become more local, and gate sets have been simplified. The overhead for magic-state distillation has been studied, but not nearly to the extent of the aforementioned topics. A method for greatly reducing this overhead, known as reusable magic states, is studied here. While examples of reusable magic states exist for Clifford gates, I give strong reasons to believe they do not exist for non-Clifford gates.
Topological systems are an exciting frontier of condensed matter physics, as well as having deep relationships to quantum computing. Progress continues to be made both towards building practical quantum computers and experimentally identifying topological features in real materials. However, these attempts have to contend with the messiness of the real world including the effects of finite temperatures. In quantum computing thermal errors are studied through the framework of quantum error correction. This allows a characterisation of how damaging these errors are, and has provided many general results on the limits of how well given quantum codes can endure thermal errors. In the first part of this thesis we study the typical response of one of the best known quantum codes (the two-dimensional toric code) when subjected to thermal noise. This typical behaviour is compared to the limiting bounds and we note differences that arise due to entropic effects. Topological features are typically properties of the ground state of a system. In some cases this means finite temperatures can be damaging, washing out the topological properties with excitations above the ground state. But in other cases it has been shown that topological systems can have their own unique finite temperature behaviours, which can be used to identify them. In the second part of the thesis we study the topological model Kitaev's honeycomb. Fixing certain conserved quantities restricts the model to special sectors, some of which carry topological phases. We begin by investigating an intrinsically finite temperature property of these topological phases, thermal edge currents. At too high temperatures, close to the bulk gap, the topological behaviour of these currents breaks down. However, we show that at lower temperatures they can be identified and shown to have the expected properties such as robustness to perturbations. Following this we investigate the thermal states of the full model. Our approach to this allows us to probe the topological order of the model in a way that has not been done before and we identify a number of interesting new features of the finite temperature physics.
Building a working quantum computer that is able to perform useful calculations remains a challenge. With this thesis, we are trying to contribute a small piece to this puzzle by addressing three of the many fundamental questions one encounters along the way of reaching that goal. These questions are: (i) What is an easy way to create highly entangled states as a resource for quantum computation? (ii) What can we do to efficiently quantify states of noisy entanglement in systems coupled to the outside world? (iii) How can we protect and store fragile quantum states for arbitrary long times? \n \nThe first two questions are the subject of part one of this thesis, `Entanglement Measures & Highly Entangled States'. We devise a particular proposal for generating entanglement within a solid-state setup, starting first with the tripartite case and continuing with a generalization to four and more qubits. The main idea there is to realize systems with highly entangled ground states in order for entanglement to be created by merely cooling to low enough temperatures. We have addressed the issue of quantifying entanglement in these systems by numerically calculating mixed-state entanglement measures and maximizing the latter as a function of the external magnetic field strength. The research along these lines has led to the development of the numerical library 'libCreme'. \n \nThe second part of the thesis, 'Self-Correcting Quantum Memories', addresses the question how to reliably store quantum states long enough to perform useful calculations. Every computer, be it classical or quantum, needs the information it processes to be protected from corruption caused by faulty gates and perturbations from interactions with its environment. However, quantum states are much more susceptible to these adverse effects than classical states, making the manipulation and storage of quantum information a challenging task. Promising candidates for such 'quantum memories' are systems exhibiting topological order, because they are robust against local perturbations, and information encoded in their ground state can only be manipulated in a non-local fashion. We extend the so-called toric code by repulsive long-range interactions between anyons and show that this makes the code stable against thermal fluctuations. Furthermore, we investigate incoherent effects of quenched disorder in the toric code and similar systems.