Quantum Computing: Foundations and Practice

— —

Steven Herbert (Affiliated Lecturer, Affiliated Lecturer, Department of Computer Science and Technology, University of Cambridge)

Quantum Computing

Foundations and Practice

Steven Herbert (Affiliated Lecturer, Affiliated Lecturer, Department of Computer Science and Technology, University of Cambridge)

$287.95

Hardback

Forthcoming
Pre-Order now

QTY:

English

Oxford University Press
12 January 2026

Quantum physics (quantum mechanics & quantum field theory); Computer science; Maths for computer scientists; Information visualisation

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.

By: Steven Herbert (Affiliated Lecturer Affiliated Lecturer Department of Computer Science and Technology University of Cambridge)
Imprint: Oxford University Press
Country of Publication: United Kingdom
Dimensions: Height: 234mm, Width: 156mm,
ISBN: 9780192868435
ISBN 10: 0192868438
Pages: 338
Publication Date: 12 January 2026
Audience: College/higher education , Professional and scholarly , Primary , Undergraduate
Format: Hardback
Publisher's Status: Forthcoming

1: Introduction 2: Linear algebra 3: Quantum mechanics and quantum information 4: Quantum circuits 5: Quantum communication protocols 6: Quantum advantage 7: Quantum algorithms for query problems 8: Quantum search 9: Quantum phase estimation and quantum amplitude estimation 10: Order finding, period finding, and quantum factoring 11: Hamiltonian simulation and ground state energy estimation 12: Quantum optimisation 13: A quantum linear system solver 14: Quantum signal processing and the quantum singular value transformation 15: An introduction to quantum error correction Appendix A: Simulating the Hadamard gate in the quadratic form expansion

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.