Certain exotic states of matter, so-called non-Abelian states, have the potential to provide a natural medium for the storage and manipulation of quantum information. In these states, localized particle-like excitations (quasiparticles) possess quantum numbers which are in many ways analogous to ordinary spin quantum numbers. However, unlike ordinary spins, the quantum information associated with these quantum numbers is stored globally, throughout the entire system, and so is intrinsically protected against decoherence. Quantum computation can then be carried out by dragging these quasiparticles around one another so that their trajectories sweep out world-lines in 2+1-dimensional space-time. The resulting computation depends only on the topology of the braids formed by these world-lines, and thus is robust against error. In these lectures I will review the theory of non-Abelian states, including the necessary mathematical background for describing the braiding of their quasiparticles. I will then introduce the basic ideas behind topological quantum computation and demonstrate explicitly that certain non-Abelian quasiparticles can indeed by used for universal quantum computation by showing how any quantum algorithm can be "compiled" into a braiding pattern for them. I will also discuss the most promising experimental systems for realizing non-Abelian quasiparticles, focusing primarily on fractional quantum Hall states.
Certain exotic states of matter, so-called non-Abelian states, have the potential to provide a natural medium for the storage and manipulation of quantum information. In these states, localized particle-like excitations (quasiparticles) possess quantum numbers which are in many ways analogous to ordinary spin quantum numbers. However, unlike ordinary spins, the quantum information associated with these quantum numbers is stored globally, throughout the entire system, and so is intrinsically protected against decoherence. Quantum computation can then be carried out by dragging these quasiparticles around one another so that their trajectories sweep out world-lines in 2+1-dimensional space-time. The resulting computation depends only on the topology of the braids formed by these world-lines, and thus is robust against error. In these lectures I will review the theory of non-Abelian states, including the necessary mathematical background for describing the braiding of their quasiparticles. I will then introduce the basic ideas behind topological quantum computation and demonstrate explicitly that certain non-Abelian quasiparticles can indeed by used for universal quantum computation by showing how any quantum algorithm can be "compiled" into a braiding pattern for them. I will also discuss the most promising experimental systems for realizing non-Abelian quasiparticles, focusing primarily on fractional quantum Hall states.
Quantum computers have shown great promise as a resource providing exponential speedup over classical computers for certain problems.Akin to their classical counterparts, quantum computers will be prone to errors.There are two major sources of errors.First, the most formidable source of error is decoherence.To perform quantum computation, quantum information must be stored, processed and read out while protecting it from the debilitating effects of decoherence.Second, even if the system is protected from decoherence, it is almost certain that all the operations performed on the quantum information during its processing will be imperfect.These errors will accumulate over the duration of the computation, eventually causing failure.Thus, for a quantum computing scheme to be feasible, it needs to be fault-tolerant.What this means is that the quantum computer can still perform its task effectively while its components are imperfect.A major breakthrough in this field is the threshold theorem, which asserts that ideal quantum circuits can be simulated efficiently by noisy ones provided the error rates of individual gates are below a certain threshold [1,2,3].Topological quantum computing is an approach to fault-tolerant quantum computation, where the protection from errors occurs not from active intervention, but at a hardware level.The advantage of this approach is that it is robust to localized imperfections.First envisioned by Alexei Kitaev [4], this scheme makes use of a non-abelian exchange statistics of elementary excitations of some two-dimensional quantum many-body system.These excitations form the degenerate ground-space of this topologically ordered system, and all other states are separated from this space by a finite excitation gap.In order to perform computation in this scheme, one needs to create pairs of these non-abelian excitations (called non-abelian anyons) from vacuum, separating them spatially, transporting them around each other to implement the logical gates and finally, fusing them together for measurements.In order for this scheme to be viable, there are two conditions that must be fulfilled.First, there could be errors due to quantum tunneling between the non-abelian anyons.These processes can take place even at zero temperature.But, the amplitude of these processes are exponentially suppressed with the spatial separation of these particles and goes as e -L/l 0 , where L is the spatial separation and l 0 is some characteristic length scale of topological ordering of the system.Thus, to prevent such tunneling during quantum information processing and storage, L has to be much larger than l 0 .Second, at finite temperature, undesired thermally excited quasiparticles can lead to errors.The generation rate of these particles are exponentially suppressed by a Boltzmann factor e -∆/T , where ∆ is the excitation energy and T is the temperature.Therefore, the temperature must be low enough so that there are sufficiently low number of these undesired excitations.There are several physical systems where these excitations could, in principle, be found, manipulated and measured.Non-abelian anyons were proposed as elementary excitations of the ν = 5/2 state in the fractional quantum hall effect [5].The braiding statistics of these particles and their possible use in quantum computing has been investigated thoroughly.For more information on this topic, the reader is invited to consult [6,7].In a pathbreaking work [8], it was proposed that the non-abelian statistics of the excitations of the ν = 5/2 state are shared by the Majorana excitations of a 2D spinless p + ip superconductor.Since then, there have been other theoretical models [9,10] which also support these non-abelian excitations.Moreover, several experimental realizations of these Majorana excitations in solid state systems have also been proposed (for a comprehensive review, see [11]).In this lecture note, we will focus on implementation of topological quantum computation with
I will discuss the revolutionary new concept of topological quantum computation, which is fault-tolerant at the hardware level with no need, in principle, of any quantum error correction protocols. Errors simply do not occur since the physical qubits and the computation steps are protected against decoherence by non-local topological correlations in the underlying physical system. The key idea is non-Abelian statistics of the quasiparticles (called 'anyons' as opposed to fermions or bosons), where the space-time braiding of the anyons around each other, i.e. quantum 'knots', form topologically protected quantum gate operations. I will describe in detail the theoretical principles guiding the experimental search for the appropriate topological phases of matter where such non-Abelian anyons, which are low-dimensional solid state versions of the elusive and exotic Majorana fermions hypothesized seventy-five years ago, may exist. I will critically discuss the recent experimental claims of observing the Majorana modes in semiconductor nanowire structures following earlier theoretical proposals, outlining the future developments which would be necessary to eventually build a topological quantum computer.
Quantum computation requires controlled engineering of quantum states to perform tasks that go beyond those possible with classical computers. Topological quantum computation aims to achieve this goal by using non-Abelian quantum phases of matter. Such phases allow for quantum information to be stored and manipulated in a nonlocal manner, which protects it from imperfections in the implemented protocols and from interactions with the environment. Recently, substantial progress in this field has been made on both theoretical and experimental fronts. We review the basic concepts of non-Abelian phases and their topologically protected use in quantum information processing tasks. We discuss different possible realizations of these concepts in experimentally available solid-state systems, including systems hosting Majorana fermions, their recently proposed fractional counterparts, and non-Abelian quantum Hall states.
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 relies on the concepts of non-Abelian anyons and topological superconductors, holding great promise for noise-protected computation scalable since it stores quantum information coherently, irrespective of position. Included in this review are fundamentals like Majorana fermion zero modes, current innovations at Microsoft regarding nanowires, along with challenges and plans for scaling quantum computation at the level of million-qubits by the year 2030. It employs the use of anyons, a kind of quasi particle that exists in a two-dimensional setting. The world lines of the anyons cross each other in a braid fashion in the three-dimensional spacetime (one time-dimensional and two space-dimensional). The braids correspond to the logic gates in a computer. The one big advantage that the use of the quantum braid has over the trapped quantum particles has to do with stability. A small disturbance in a system may cause the decoherence of the quantum states and errors in calculation in a regular quantum computer, but in the braids, the disturbance does not affect the topological properties because it is like the difference between cutting and reconnecting a string to create a new braid compared to a ball (standing in place for a regular trapped quantum particle in four-dimensional spacetime) hitting a wall. Topological quantum computers are equivalent in computational power to other standard models of quantum computation, in particular to the quantum circuit model and to the quantum Turing machine model. That is, any of these models can efficiently simulate any of the others. Nonetheless, certain algorithms may be a more natural fit to the topological quantum computer model. For example, algorithms for evaluating the Jones polynomial were first developed in the topological model, and only later converted and extended in the standard quantum circuit model.
A central challenge at the intersection of quantum condensed-matter physics and quantum information science is to understand how exotic topological phases and quantum resources govern the power of quantum computation and simulation---and to translate that understanding into practical architectures. This thesis contributes to this program along three interconnected directions: enabling fault-tolerant universal quantum computation with non-Abelian topological order, establishing the fundamental computational reach of near-term analog quantum simulators, and delineating the boundary between classical and quantum computational power through the lenses of topology and magic. In the first direction, drawing on the structure of non-Abelian topological order, we address the dominant resource overhead in current quantum computing architectures---magic-state distillation---by moving beyond the standard stabilizer formalism entirely. We construct a comprehensive framework for fault-tolerant universal quantum computation based on the non-Abelian quantum double model D(S3), with all operations realized on qubit--qutrit degrees of freedom in a planar, geometrically local architecture feasible on all current experimental platforms. This work addresses the long-standing open question of realizable, fault-tolerant universal topological quantum computation. In the second direction, we establish the computational universality of analog quantum simulators operating under global control---platforms that circumvent the demanding requirements of digitization and individual addressability. We prove a necessary and sufficient condition for universality in globally controlled qubit chains, showing that widely used platforms such as Rydberg atom arrays and trapped ions are generically universal once lattice reflection symmetry is broken. We further derive sufficient conditions for universality in fermionic and bosonic optical superlattices. As an experimental demonstration of this framework, we realize the dynamics of the cluster-state ZXZ model---an exemplar of symmetry-protected topological order---in Rydberg atom arrays, validating the theoretical foundation. In the third direction, we sharpen the classical--quantum computational boundary from both sides. We show that non-Abelian Majorana braiding realized in classical mechanical metamaterials admits a faithful classical simulation, establishing that braiding-only architectures are classically simulable without supplementary non-Clifford resources. Conversely, we prove that random matrix product states carry magic growing exponentially with system size, demonstrating that generic one-dimensional many-body states harbor ample non-stabilizer resources. Together, these results delineate precisely where genuine quantum advantage emerges in topological and many-body systems. Taken as a whole, this thesis leverages the convergence of topological matter and quantum information to remove key bottlenecks toward fault-tolerant quantum computation, to place near-term quantum simulation on rigorous footing, and to clarify the fundamental resources that separate classical from quantum computational power.