Any new textbook in quantum information has some pretty strong
competition to contend with. Not only is there the classic text by
Nielsen and Chuang from 2000 [1], but also John Preskill's
lecture notes, available for free online [2]. Nevertheless, a
proper textbook seems more enduring than online notes, and the field
has progressed considerably in the seven years since Nielsen and Chuang
was published. A new textbook is a great opportunity to give a
snapshot of our current state of knowledge in quantum information.
Therein also lies a problem: The field has expanded so much that it is
impossible to cover everything at the undergraduate level. Quantum
information theory is relevant to an extremely large portion of
physics, from solid state and condensed matter physics to particle
physics. Every discipline that has some relation to quantum mechanics
is affected by our understanding of quantum information theory. Those
who wish to write a book on quantum information therefore have to make
some profound choices: Do you keep the ultimate aim of a quantum
computer in mind, or do you focus on quantum communication and precision
measurements as well? Do you describe how to build a quantum computer
with all possible physical systems or do you present only the
underlying principles? Do you include only the tried and tested ideas,
or will you also explore more speculative directions? You don't have
to take a black-or-white stance on these questions, but how you
approach them will profoundly determine the character of your book.
The authors of `Principles of Quantum Computation and Information
(Volume II: Basic Tools and Special Topics)' have chosen to focus on
the construction of quantum computers, but restrict themselves mainly
to general techniques. Only in the last chapter do they explicitly
address the issues that arise in the different implementations. The
book is the second volume in a series, and consists of four chapters
(labelled 5 to 8) called 'Quantum Information Theory', 'Decoherence',
'Quantum Error Correction', and 'First Experimental
Implementations'. The first volume covers the basics of classical
computation, quantum mechanics, quantum computation, and quantum
communication.
Chapter five starts with the density matrix formalism, and proceeds
with the development of the Kraus representation, POVMs, von Neuman
entropy, quantum data compression, the Holevo bound, the partial
transpose criterion, and it ends with a very nice section on the
various entropies that play a role in modern physics. This includes
not only the thermodynamical and statistical entropy, but also the
dynamical Kolmogorov–Sinai entropy, which is used in quantum chaos in
chapter 6. On the whole, I think that this is a really clear and
well-presented chapter. A minor drawback is that the concept of CP
maps is not explained as well as it could have been, for example by
relating it to the partial transpose criterion.
Chapter six continues with the high standard set in chapter five, and
presents a very thorough exposition of decoherence in general. It
introduces the different decoherence channels, and gives truly
excellent explanations of the master equation (tied in with the Kraus
representation), quantum jumps, and the quantum trajectory
formalism. It also has an elegant explanation for the sensitivity of
Schroedinger cats to decoherence. I do miss a proper section on the
fidelity of a quantum state, though. The chapter ends with two
sections on quantum chaos. Since the authors are experts in this
fascinating area, this is a welcome addition to the canon of topics
typically covered in quantum information. Unfortunately, the section
is quite hard to follow, and as a result it is a bit of a missed
opportunity. There is a section on chaos in the first volume of this
series, and this may provide the required background. However, for
readers who posess only volume II this is of little use.
Chapter seven on quantum error correction is disappointing, and I have
the feeling that the authors went through the motions without a real
passion for the subject matter. The chapter describes various error
correction codes, including Hamming codes and CSS codes, but it is
virtually silent on fault tolerance; it does not give examples of
universal sets of fault tolerant gates, and it does not mention the
Solovay–Kitaev theorem. Also, it does not present the stabilizer
formalism. All of these are serious omissions in a textbook on quantum
information theory.
Chapter eight gives a rough sketch of the early simulations and
implementations of quantum gates. The readers of this journal will
have no trouble following this chapter, but the undergraduate in
computer science or mathematics will be completely lost. Most (but not
all) physics terms do get a brief explanation, but I doubt whether
that is enough to keep non-physicists on board. The chapter covers
NMR, cavity QED, ion traps, solid state qubits, and optical
implementations of quantum communication.
I would have liked to see a more bold choice for the topics covered in
the last chapter. For example, whereas liquid-state NMR was an
important step in the development of quantum technologies, and many
current techniques were invented for it, it does no longer play a
role in the design of quantum computers. It would have been better to
introduce these techniques in a section on condensed matter
systems. Also, as a snapshot of our current state of knowledge in
quantum information, I really miss extensive sections on the one-way
model of quantum computing [3] and topological quantum computing
[4].
In conclusion, the second volume of 'Principles of Quantum Computation
and Information' is a partial success. The first two chapters are very
good, and I would happily pay £22 for these two chapters
alone. However, for a text on quantum error correction the reader is
better off with Nielsen and Chuang or Preskill's lecture notes. If the
reader wants an overview of quantum information in specific physical
systems, there are a host of review articles to choose from, which
give more details and are generally more accessible.
References
[1]M A Nielsen and I L Chuang 2000 Quantum Computation
and Quantum Information (Cambridge University Press)
[2] J Preskill,
http://www.theory.caltech.edu/~preskill/ph229/
[3] R Raussendorf and H J Briegel 2001 A One-Way Quantum
Computer Phys. Rev. Lett.86 5188
[4] A Yu Kitaev 2003 Fault-tolerant quantum computation by
anyons Ann. Phys.303 2