What is "topological" about topological quantum states? How many types of topological quantum phases are there? What is a zero-energy Majorana mode, how can it be realized in a solid state system, and how can it be used as a platform for topological quantum computation? What is quantum computation and what makes it different from classical computation? Addressing these and other related questions, Introduction to Topological Quantum Matter & Quantum Computation provides an introduction to and a synthesis of a fascinating and rapidly expanding research field emerging at the crossroads of condensed matter physics, mathematics, and computer science. Providing the big picture, this book is ideal for graduate students and researchers entering this field as it allows for the fruitful transfer of paradigms and ideas amongst different areas, and includes many specific examples to help the reader understand abstract and sometimes challenging concepts. It explores the topological quantum world beyond the well-known topological insulators and superconductors and emphasizes the deep connections with quantum computation. It addresses key principles behind the classification of topological quantum phases and relevant mathematical concepts and discusses models of interacting and noninteracting topological systems, such as the torric code and the p-wave superconductor. The book also covers the basic properties of anyons, and aspects concerning the realization of topological states in solid state structures and cold atom systems. Quantum computation is also presented using a broad perspective, which includes fundamental aspects of quantum mechanics, such as Bell's theorem, basic concepts in the theory of computation, such as computational models and computational complexity, examples of quantum algorithms, and elements of classical and quantum information theory.
This book presents a self-consistent review of quantum computation with topological quantum codes. The book covers everything required to understand topological fault-tolerant quantum computation, ranging from the definition of the surface code to topological quantum error correction and topological fault-tolerant operations. The underlying basic concepts and powerful tools, such as universal quantum computation, quantum algorithms, stabilizer formalism, and measurement-based quantum computation, are also introduced in a self-consistent way. The interdisciplinary fields between quantum information and other fields of physics such as condensed matter physics and statistical physics are also explored in terms of the topological quantum codes. This book thus provides the first comprehensive description of the whole picture of topological quantum codes and quantum computation with them.
Topological quantum computation is a computational paradigm based on topological phases of matter, which are governed by topological quantum field theories. In this approach, information is stored in the lowest energy states of many-anyon systems and processed by braiding non-abelian anyons. The computational answer is accessed by bringing anyons together and observing the result. Besides its theoretical esthetic appeal, the practical merit of the topological approach lies in its error-minimizing hypothetical hardware: topological phases of matter are fault-avoiding or deaf to most local noises, and unitary gates are implemented with exponential accuracy. Experimental realizations are pursued in systems such as fractional quantum Hall liquids and topological insulators. This book expands on the author's CBMS lectures on knots and topological quantum computing and is intended as a primer for mathematically inclined graduate students. With an emphasis on introducing basic notions and current research, this book gives the first coherent account of the field, covering a wide range of topics: Temperley-Lieb-Jones theory, the quantum circuit model, ribbon fusion category theory, topological quantum field theory, anyon theory, additive approximation of the Jones polynomial, anyonic quantum computing models, and mathematical models of topological phases of matter.
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author: Marco Bernardo
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.
"The book fills a gap between the turgid prose of the burgeoning research literature and the superficial accounts in the popular press." Nature, 1999 "The concepts introduced in this book and the forecast of future directions provided should continue to provide a good primer for the exciting breakthrough anticipated in this field." Mathematics Abstracts, 2001 "Despite its age, this book remains an excellent way to learn the basics of quantum information." Quantum Information and Computation, 2002
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Author: Ulrich Kohlenbach
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
Quantum information theory is at the frontiers of physics, mathematics and information science, offering a variety of solutions that are impossible using classical theory. This book provides an introduction to the key concepts used in processing quantum information and reveals that quantum mechanics is a generalisation of classical probability theory. After a gentle introduction to the necessary mathematics the authors describe the geometry of quantum state spaces. Focusing on finite dimensional Hilbert spaces, they discuss the statistical distance measures and entropies used in quantum theory. The final part of the book is devoted to quantum entanglement - a non-intuitive phenomenon discovered by Schrödinger, which has become a key resource for quantum computation. This richly-illustrated book is useful to a broad audience of graduates and researchers interested in quantum information theory. Exercises follow each chapter, with hints and answers supplied.