First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

An imprecise measurement of a dynamical variable (such as a spin component) does not, in general, give the value of another dynamical variable (such as a spin component along a slightly different direction). The result of the measurement cannot be interpreted as the value of any observable that has a classical analogue.

The strange story of the von Neumann impossibility proof is recalled, and the even stranger story of later impossibility proofs, and how the impossible was done by de Broglie and Bohm. Morals are drawn.

I argue that quantum mechanics is fundamentally a theory about the representation and manipulation of information, not a theory about the mechanics of nonclassical waves or particles. The notion of quantum information is to be understood as a new physical primitive—just as, following Einstein’s special theory of relativity, a field is no longer regarded as the physical manifestation of vibrations in a mechanical medium, but recognized as a new physical primitive in its own right.

Modern physics was born from two great revolutions: relativity and quantum theory. Relativity imposed a locality constraint on physical theories: since nothing can go faster than light, very distant events cannot influence one another. Only in the last few decades has it become clear that quantum theory violates this constraint. The work of J. S. Bell has demonstrated that no local theory can return the predictions of quantum theory. Thus it would seem that the central pillars of modern physics are (...) contradictory. Quantum Non-Locality and Relativity examines the nature and possible resolution of this conflict. Beginning with accurate but non-technical presentations of Bell's work and of Special Relativity, there follows a close examination of different interpretations of relativity and of the sort of locality each demands. The story continues with a brief discussion of the General Theory of Relativity. This second edition also includes a new author's preface and an additional appendix. The book introduces philosophers to the relevant physics and demonstrates how philosophical analysis can help to resolve some of the problems. All of the physics is presented from first principles, and as much as possible is presented pictorially. Book jacket. (shrink)

Quantum Information Theory and the Foundations of Quantum Mechanics is a conceptual analysis of one of the most prominent and exciting new areas of physics, providing the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. -/- Beginning from a careful, revisionary, analysis of the concepts of information in the everyday and classical information-theory settings, Christopher G. Timpson argues for an ontologically deflationary account of the nature of quantum information. (...) Against what many have supposed, quantum information can be clearly defined (it is not a primitive or vague notion) but it is not part of the material contents of the world. Timpson's account sheds light on the nature of nonlocality and information flow in the presence of entanglement and, in particular, dissolves puzzles surrounding the remarkable process of quantum teleportation. In addition it permits a clear view of what the ontological and methodological lessons provided by quantum information theory are; lessons which bear on the gripping question of what role a concept like information has to play in fundamental physics. Topics discussed include the slogan 'Information is Physical', the prospects for an informational immaterialism (the view that information rather than matter might fundamentally constitute the world), and the status of the Church-Turing hypothesis in light of quantum computation. -/- With a clear grasp of the concept of information in hand, Timpson turns his attention to the pressing question of whether advances in quantum information theory pave the way for the resolution of the traditional conceptual problems of quantum mechanics: the deep problems which loom over measurement, nonlocality and the general nature of quantum ontology. He marks out a number of common pitfalls to be avoided before analysing in detail some concrete proposals, including the radical quantum Bayesian programme of Caves, Fuchs, and Schack. One central moral which is drawn is that, for all the interest that the quantum information-inspired approaches hold, no cheap resolutions to the traditional problems of quantum mechanics are to be had. (shrink)

A remarkable theorem by Clifton, Bub and Halvorson (2003) (CBH) characterizes quantum theory in terms of information--theoretic principles. According to Bub (2004, 2005) the philosophical significance of the theorem is that quantum theory should be regarded as a ``principle'' theory about (quantum) information rather than a ``constructive'' theory about the dynamics of quantum systems. Here we criticize Bub's principle approach arguing that if the mathematical formalism of quantum mechanics remains intact then there is no escape route from solving the measurement (...) problem by constructive theories. We further propose a (Wigner--type) thought experiment that we argue demonstrates that quantum mechanics on the information--theoretic approach is incomplete. (shrink)

We show that three fundamental information-theoretic constraints -- the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment -- suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about (...) nonlocality and bit commitment. (shrink)

We discuss a recent proposal by Albert to recover thermodynamics on a purely dynamical basis, using the quantum theory of the collapse of the wave function of Ghirardi, Rimini and Weber. We propose an alternative way to explain thermodynamics within no-collapse interpretations of quantum mechanics. Our approach relies on the standard quantum mechanical models of environmental decoherence of open systems, \eg Joos and Zeh and Zurek and Paz. This paper presents the two approaches and discusses their advantages. The problems they (...) face will be discussed in a sequel. (shrink)

Huw Price (1996, 2002, 2003) argues that causal-dynamical theories that aim to explain thermodynamic asymmetry in time are misguided. He points out that in seeking a dynamical factor responsible for the general tendency of entropy to increase, these approaches fail to appreciate the true nature of the problem in the foundations of statistical mechanics (SM). I argue that it is Price who is guilty of misapprehension of the issue at stake. When properly understood, causal-dynamical approaches in the foundations of SM (...) offer a solution for a different problem; a problem that unfortunately receives no attention in Price’s celebrated work. (shrink)

We discuss a recent proposal by Albert (1994a; 1994b; 2000, ch. 7) to recover thermodynamics on a purely dynamical basis, using the quantum theory of the collapse of the wave function by Ghirardi, Rimini, and Weber (1986). We propose an alternative way to explain thermodynamics within no-collapse interpretations of quantum mechanics. Our approach relies on the standard quantum mechanical models of environmental decoherence of open systems (e.g., Joos and Zeh 1985; Zurek and Paz 1994). This paper presents the two approaches (...) and discusses their advantages. The problems faced by both approaches will be discussed in a sequel (Hemmo and Shenker 2003). (shrink)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

Recent suggestions to supply quantum mechanics (QM) with realistic foundations by reformulating it in light of quantum information theory (QIT) are examined and are found wanting by pointing to a basic conceptual problem that QIT itself ignores, namely, the measurement problem. Since one cannot ignore the measurement problem and at the same time pretend to be a realist, as they stand, the suggestions to reformulate QM in light of QIT are nothing but instrumentalism in disguise.

Why do we not see large macroscopic objects in entangled states? There are two ways to approach this question. The first is dynamic. The coupling of a large object to its environment cause any entanglement to decrease considerably. The second approach, which is discussed in this paper, puts the stress on the difficulty of observeing a large-scale entanglement. As the number of particles n grows we need an ever more precise knowledge of the state and an ever more carefully designed (...) experiment, in order to recognize entanglement. To develop this point we consider a family of observables, called witnesses, which are designed to detect entanglement. A witness W distinguishes all the separable (unentangled) states from some entangled states. If we normalize the witness W to satisfy tr W 1 for all separable states , then the efficiency of W depends on the size of its maximal eigenvalue in absolute value; that is, its operator norm W . It is known that there are witnesses on the space of n qubits for which W is exponential in n. However, we conjecture that for a large majority of n-qubit witnesses W O n log n . Thus, in a nonideal measurement, which includes errors, the largest eigenvalue of a typical witness lies below the threshold of detection. We prove this conjecture for the family of extremal witnesses introduced by Werner and Wolf [Phys. Rev. A 64, 032112 (2001)]. (shrink)