Quantum Computing

The discovery of physical systems that exhibit what we now call quantum mechanical behaviour was unquestionably one of the most astonishing events in the history of science. No less remarkable was the realisation that quantum mechanics presents a much more powerful paradigm for computation and information processing than its classical counterpart. This textbook explores the incredible, but somewhat subtle, power of quantum computation, starting with a thorough in-depth exposition of quantum physics. Quantum mechanical behaviour is formalised by the postulates of quantum mechanics, which give rise to some startling results, such as the Bell inequalities. From the postulates of quantum mechanics, the quantum circuit model can also be derived, which enables a visual intuition for quantum computation to be acquired without any loss of rigour in the accompanying analysis. Getting to the principal subject-matter of the book, the question of quantum advantage is tackled head-on, with the theoretical evidence that quantum computation does indeed offer a more powerful computation paradigm, paired with cautionary results that certain classes of circuits can be proven to enjoy no such quantum advantage. The book then presents a canon of the most important quantum algorithms and communication protocols that have been discovered in the relatively brief history of this exciting, emerging field. Starting with historically important query algorithms, 'classic' results such as Grover's and Shor's algorithm are then covered, followed by more recent breakthroughs including the quantum algorithm for solving linear systems (HHL) and the quantum singular value transformation. The final chapter of the book addresses the subject of quantum error correction, building up to the celebrated 'threshold theorem', which implies that the theoretical promises of quantum computation can one day be realised on actual quantum computers.

Steven Herbert is an Affiliated Lecturer in the Department of Computer Science and Technology at the University of Cambridge and Head of Quantum Algorithms at Quantinuum, the world's largest integrated quantum company. He has MA, MEng and PhD degrees from the University of Cambridge, and was previously a by-fellow at Churchill College, Cambridge. He has held research positions at the Universities of Edinburgh and Oxford, also spending a sabbatical at Imperial College, London. He is known for his work on fast stabiliser circuit simulation, quantum topological data analysis, Fourier analysis for quantum circuit decomposition, and pioneering the application of AI to quantum compilation.