This thesis serves to give a mathematical overview of topological quantum computation and to apply the theory to characterize desirable fault-tolerant operations called protected gates. Topological quantum computation is a novel paradigm for quantum computation which seeks to harness certain exotic quantum systems known as topological phases of matter that exhibit unique physical phenomena such as the manifestation of quasiparticle excitations called anyons. The low energy effective field theories of these systems can be expressed by certain topological quantum field theories, which in turn are described in terms of unitary modular tensor categories that capture the essential properties of a topological phase of matter and its corresponding anyon model. An overview of the relevant category theoretic concepts is given, and the axioms of a unitary modular tensor category are made explicit. A topological quantum field theory is then defined and used to describe topological quantum computation. Having developed the necessary theoretical background, the theory is then applied to characterize protected gates. The main result is a no-go theorem which states that, for any model, the set of protected gates is finite, and hence, cannot be used to do universal quantum computation using protected gates alone.
This thesis serves to give a mathematical overview of topological quantum computation and to apply the theory to characterize desirable fault-tolerant operations called protected gates. Topological quantum computation is a novel paradigm for quantum computation which seeks to harness certain exotic quantum systems known as topological phases of matter that exhibit unique physical phenomena such as the manifestation of quasiparticle excitations called anyons. The low energy effective field theories of these systems can be expressed by certain topological quantum field theories, which in turn are described in terms of unitary modular tensor categories that capture the essential properties of a topological phase of matter and its corresponding anyon model. An overview of the relevant category theoretic concepts is given, and the axioms of a unitary modular tensor category are made explicit. A topological quantum field theory is then defined and used to describe topological quantum computation. Having developed the necessary theoretical background, the theory is then applied to characterize protected gates. The main result is a no-go theorem which states that, for any model, the set of protected gates is finite, and hence, cannot be used to do universal quantum computation using protected gates alone.
There exists various suggestions for building a functional and a fault-tolerant large-scale quantum computer. Topological quantum computation is a more exotic suggestion, which makes use of the properties of quasiparticles manifest only in certain two-dimensional systems. These so called anyons exhibit topological degrees of freedom, which, in principle, can be used to execute quantum computation with intrinsic fault-tolerance. This feature is the main incentive to study topological quantum computation. The objective of this thesis is to provide an accessible introduction to the theory. In this thesis one has considered the theory of anyons arising in two-dimensional quantum mechanical systems, which are described by gauge theories based on so called quantum double symmetries. The quasiparticles are shown to exhibit interactions and carry quantum numbers, which are both of topological nature. Particularly, it is found that the addition of the quantum numbers is not unique, but that the fusion of the quasiparticles is described by a non-trivial fusion algebra. It is discussed how this property can be used to encode quantum information in a manner which is intrinsically protected from decoherence and how one could, in principle, perform quantum computation by braiding the quasiparticles. As an example of the presented general discussion, the particle spectrum and the fusion algebra of an anyon model based on the gauge group S_3 are explicitly derived. The fusion algebra is found to branch into multiple proper subalgebras and the simplest one of them is chosen as a model for an illustrative demonstration. The different steps of a topological quantum computation are outlined and the computational power of the model is assessed. It turns out that the chosen model is not universal for quantum computation. However, because the objective was a demonstration of the theory with explicit calculations, none of the other more complicated fusion subalgebras were considered. Studying their applicability for quantum computation could be a topic of further research.
A central problem in realizing universal quantum computers is dealing with decoherence effects, which can destroy the vulnerable quantum states present in the internal registers. Several schemes have been developed that provide resistance to decoherence, leading to theories of fault-tolerant quantum computation. One such scheme is the theory of topological quantum computation, which encodes qubit states in robust topological properties of certain quantum systems. However, fault-tolerant theories typically only provide a finite set of primitive gates, from which we must then form approximations to arbitrary quantum gates. The Solovay-Kitaev algorithm describes a procedure for accomplishing this, and proves that the number of primitive gates required to approximate an arbitrary gate is only polylogarithmic in the desired degree of accuracy. In this thesis, we first outline the basic theory of quantum computation. Secondly, we describe the general problem of quantum compilation, list several possible strategies for relevant optimizations, and outline a proof of the Solovay-Kitaev theorem. Next, we give an introduction to the theory of topological quantum computation by anyons, with special focus on Fibonacci-anyons. Finally, we list some numerical results of an implementation of the Solovay-Kitaev algorithm when applied to a Fibonacci-anyon model and analyze the performance gains obtained through applications of the proposed optimizations.
Topological quantum computation offers a paradigm shift for fault-tolerant quantum computation. It proposes encoding qubits in the mutual states of quasiparticles (called anyons) of 2-dimensional topologically ordered matter. Unitary ribbon fusion categories describe the algebraic theory of anyons. Although the category of an anyonic theory specifies suitable computational spaces, qubits, and quantum gates, it does not precisely formalise the category of topological quantum computation (TQC). We describe the TQC category using the elements of categorical quantum mechanics (CQM). Given the qubit-based graphical calculus accompanying CQM, called the ZX-calculus, we present the details of the ZX-representation of Fibonacci and Ising anyons. Finally, we propose a bicategorical approach to convene anyonic theory and TQC in one (bi)category. In the second part of the thesis, we discuss how the bicategory of module categories formalises boundary types and their excitations. We show theorems that reduce the data to physically meaningful data. A 2-category capable of describing topological quantum computation with point-like and string-like excitations is speculated to be a fusion 2-category. We discuss the available definition in the literature. The paper particularly lacks a rigorous definition for additive 2-categories; in this thesis, we give a definition. We propose the idea of typing higher-ranked matrices in additive 2-categories. Lastly, we overview the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of tricategory by Gurski. This definition and the detailed list of data are the complete ingredients physicists need for quantum computation with higher dimensional excitations.
A quantum computer can perform exponentially faster than its classical counterpart. It works on the principle of superposition. But due to the decoherence effect, the superposition of a quantum state gets destroyed by the interaction with the environment. It is a real challenge to completely isolate a quantum system to make it free of decoherence. This problem can be circumvented by the use of topological quantum phases of matter. These phases have quasiparticles excitations called anyons. The anyons are charge-flux composites and show exotic fractional statistics. When the order of exchange matters, then the anyons are called non-Abelian anyons. Majorana fermions in topological superconductors and quasiparticles in some quantum Hall states are non-Abelian anyons. Such topological phases of matter have a ground state degeneracy. The fusion of two or more non-Abelian anyons can result in a superposition of several anyons. The topological quantum gates are implemented by braiding and fusion of the non-Abelian anyons. The fault-tolerance is achieved through the topological degrees of freedom of anyons. Such degrees of freedom are non-local, hence inaccessible to the local perturbations. In this dissertation, we provide a comprehensive review of the fundamentals of logic design in topological quantum computing. The braid group and knot invariants in the skein theory are discussed. The physical insight behind the braiding is explained by the geometric phases and the gauge transformation. The mathematical models for the fusion and braiding are presented in terms of the category theory and the quantum deformation of the recoupling theory. The topological phases of matter are described by the topology of band structure. The wave function of quasiparticles in the quantum Hall effect and the theory of Majorana fermions in topological superconductors are also discussed. The dynamics of the charge-flux composites and their Hilbert space are expressed through the Chern-Simons theory and the two-dimensional topological quantum field theory. The Ising and Fibonacci anyonic models for binary gates are briefly given. Ternary logic gates are more compact than their binary counterparts and naturally arise in a type of anyonic model called the metaplectic anyons. We reduced the quantum cost of the existing ternary quantum arithmetic gates and proposed that these gates can be implemented with the metaplectic anyons.
Topological quantum computation has emerged as one of the most exciting approaches to constructing a fault-tolerant quantum computer. The proposal relies on the existence of topological states of matter whose quasiparticle excitations are neither bosons nor fermions, but are particles known as non-Abelian anyons, meaning that they obey non-Abelian braiding statistics. Quantum information is stored in states with multiple quasiparticles, which have a topological degeneracy. The unitary gate operations that are necessary for quantum computation are carried out by braiding quasiparticles and then measuring the multiquasiparticle states. The fault tolerance of a topological quantum computer arises from the nonlocal encoding of the quasiparticle states, which makes them immune to errors caused by local perturbations. To date, the only such topological states thought to have been found in nature are fractional quantum Hall states, most prominently the $\ensuremath{\nu}=5∕2$ state, although several other prospective candidates have been proposed in systems as disparate as ultracold atoms in optical lattices and thin-film superconductors. In this review article, current research in this field is described, focusing on the general theoretical concepts of non-Abelian statistics as it relates to topological quantum computation, on understanding non-Abelian quantum Hall states, on proposed experiments to detect non-Abelian anyons, and on proposed architectures for a topological quantum computer. Both the mathematical underpinnings of topological quantum computation and the physics of the subject are addressed, using the $\ensuremath{\nu}=5∕2$ fractional quantum Hall state as the archetype of a non-Abelian topological state enabling fault-tolerant quantum computation.
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.