Quantum Computer Science: An Introduction , N. David Mermin , Cambridge U. Press, New York, 2007. $45.00 (220 pp.). ISBN 978-0-521-87658-2
Quantum Information: An Overview , Gregg Jaeger , Springer, New York, 2007. $49.95 (284 pp.). ISBN 978-0-387-35725-6
In the past 10 years, more than 30 textbooks have appeared on the subject of quantum information and computation. It seems natural to assume that a void existed for those books to fill—namely, to educate physicists, mathematicians, and computer scientists who have an interest in the emerging field. However, only a few books so far have gone beyond summarizing the results to truly teaching researchers the new subject. But to teach a subject, an author first has to master the material. Such mastery is achieved by rumination, swallowing, and thorough digestion. Yet that is not all. The author has to be able to turn this digestive experience into a tale that is precise and rigorous when necessary, highlights intuitions, points out pitfalls of understanding, and is generally stingy with formalistic treatments.
At least two great digests of comprehension on quantum information and computation have appeared: Quantum Computation and Quantum Information (Cambridge University Press, 2000) by Michael Nielsen and Isaac Chuang and the more computer-science-oriented Classical and Quantum Computation (American Mathematical Society, 2002) by Alexei Kitaev, Alexander Shen, and Mikhail Vyalyi. Now we can add a third book to that short list: Quantum Computer Science: An Introduction by N. David Mermin. Perhaps one of the reasons why writing a book on quantum information and computation is so nontrivial is because the subject is interdisciplinary and diverse. Hence, does one strive for breadth or depth? Mermin’s book and Gregg Jaeger’s Quantum Information: An Overview offer opposite solutions to this dilemma.
Jaeger, an assistant professor of natural sciences at Boston University, has been an active researcher in quantum information. The preface of the book speaks of his intentions: to write a text that provides an overview of the fundamentals of the field. The book has an extensive bibliography—with 477 references—that is also available on Jaeger’s website as a PDF with links to the literature (http://math.bu.edu/people/jaeger). In fewer than 300 pages, the author does cover a wide set of topics: the basic quantum formalism, quantum nonlocality, the theory of quantum entanglement, decoherence, error correction, quantum communication, and quantum algorithms. Unfortunately, in attempting to cover so much, often with much mathematical and superfluous detail, Jaeger sacrifices the fundamental ideas underlying the results.
The book’s readability is further diminished by the many footnotes and references to the appendices and other sections. As a work of reference, it may have some merit. However, one may question whether there is an audience for such encyclopedic texts, especially given the easy access to online sources of information such as the arXiv e-print server and Wikipedia. The additional value of a textbook can lie in its cohesive presentation of the topics and the unique insights the author brings to the subject. Unfortunately, Jaeger’s book does not excel in either of those two categories.
As a physics writer, Mermin, Horace White Professor of Physics Emeritus at Cornell University, hardly needs an introduction. He has been a regular contributor to the Reference Frame columns in Physics Today. He wrote the standard textbook Solid State Physics (Holt, Rinehart and Winston, 1976) with Neil Ashcroft, and he is the author of two widely praised pedagogical books on relativity theory: It’s About Time: Understanding Einstein’s Relativity (Princeton University Press, 2005; see the review in Physics Today, Physics Today 0031-9228 59 6 2006 61 https://doi.org/10.1063/1.2218559 June 2006, page 61 ) and Space and Time in Special Relativity (McGraw-Hill, 1968).
Mermin has a long-standing affair with quantum physics, which, along with relativity theory, was among his childhood curiosities. That interest was renewed and strengthened with the advent of quantum computation, in which he has, in some sense, played the role of godfather, approving and expounding the works of the quantum-computation clan. He has also been teaching the subject to an interdisciplinary crowd of students and faculty at Cornell University. The book is the outgrowth of those courses and has been evidently battle tested by six years of lectures.
Quantum Computer Science covers a subset of the topics that are treated in the classic Nielsen and Chuang book or in the recent An Introduction to Quantum Computing (Oxford University Press, 2007) by Phillip Kaye, Raymond Laflamme, and Michele Mosca (see the review in Physics Today, Physics Today 0031-9228 61 2 2008 61 https://doi.org/10.1063/1.2883912 February 2008, page 61 ). But what it treats, it treats extremely well, with rigor and attention to detail that reveals a deep understanding of the subject. In that sense, Mermin’s book adheres to a “less is more” adage; it’s light on formalism and clearly opts for clarity and precision over completeness. That characteristic makes the book quite pleasant to read, even for experts who are already familiar with the subject. Mermin has chosen to provide little background on classical computer science. His approach makes the book an ideal, self-contained introduction to quantum computation for a curious student studying the natural sciences. A computer-science student, however, may miss a connection to the theory of computation at large.
The main emphasis of the book is on how and why the essential quantum algorithms, some quantum error-correction codes, and some simple, fewqubit quantum protocols work the way they do. Mermin exposes those inner workings by extensive, sometimes overabundant, analysis of quantum circuits. Particularly outstanding are the self-contained treatments of Shor’s factoring algorithm and its number-theoretic background and the discussion of the Greenberger-Horne-Zeilinger puzzle illustrating the nonintuitive, nonlocal aspects of quantum mechanics. The division between the main text and the 16 appendices feels seamless and natural.
In his book, Mermin introduces the heretical term “Qbits” to denote qubits. Even if Mermin’s motivation is right and Qbits is superior nomenclature to qubits, its introduction appears to run counter to the theme in Leo Tolstoy’s War and Peace: No individual can single-handedly change the course of history. An immediate corollary is that no individual, not even David Mermin, can make us say Qbits when we mean qubits.
Yet what if his book becomes a standard in the undergraduate physics curriculum? Its chapters—I recommend 1, 2, and 6, and appendices A through G—would be used as a first introduction to quantum mechanics, used before the floodgates are opened to application of the quantum in physics. We’d have generations of scientists, an army of undergraduates, raised on and ready to defend their first love—Qbits.
I don’t know who will win the Qbit versus qubit wars, but I truly hope that Mermin’s book will nurture the next generations of scientists in their understanding of things quantum computational—or even just plain quantum.