Reasoning About Measurements

This chapter explains the approach of ‘operationalism’, which in a physical theory admits only concepts associated with concrete experimental procedures, and lays out its consequences for propositions about measurements, their logical structure, and states. It illustrates these with toy examples where the ability to perform measurements is limited by design. For systems composed of several constituents this chapter introduces the notions of composite and reduced states, statistical independence, and correlations. It examines what it means for multiple systems to be prepared identically, and how this is represented mathematically. The operational requirement that there must be procedures to measure and prepare a state is examined, and the ensuing constraints derived. It is argued that these constraint leave only one alternative to classical probability theory that is consistent, universal, and fully operational, namely, quantum theory.

Communication

This chapter introduces the notions of classical and quantum information and discusses simple protocols for their exchange. It defines the entropy as a quantitative measure of information, and investigates its mathematical properties and operational meaning. It discusses the extent to which classical information can be carried by a quantum system and derives a pertinent upper bound, the Holevo bound. One important application of quantum communication is the secure distribution of cryptographic keys; a pertinent protocol, the BB84 protocol, is discussed in detail. Moreover, the chapter explains two protocols where previously shared entanglement plays a key role, superdense coding and teleportation. These are employed to effectively double the classical information carrying capacity of a qubit, or to transmit a quantum state with classical bits, respectively. It is shown that both protocols are optimal.

Probability in Hilbert Space

This chapter introduces the mathematical framework, basic rules, and some key results of quantum theory. After a succinct overview of linear algebra and an introduction to complex Hilbert space, it investigates the correspondence between subspaces of Hilbert space and propositions, their logical structure, and how the pertinent probabilities are calculated. It discusses the mathematical representation of states, observables, and transformations, as well as the rules for calculating expectation values and uncertainties, and for updating states after a measurement. Particular attention is paid to two-level systems, or ‘qubits’, and the connection is made with experimental evidence about binary measurements. The properties of composite systems are discussed in detail, notably the phenomenon of entanglement. The chapter concludes with an investigation of conceptual issues regarding realism, non-contextuality, and locality, as well as the classical limit.

Computation

This chapter introduces the basic building blocks of quantum computing and a variety of specific algorithms. It begins with a brief review of classical computing and discusses how its key elements – bits, gates, circuits – carry over to the quantum realm. It highlights crucial differences to the classical case, such as the impossibility of copying a qubit. The quantum circuit model is shown to be universal, and a peculiar variant of quantum computing, based on measurements only, is illustrated. That a quantum computer can perform some calculations more efficiently than a classical computer, at least in principle, is exemplified with the Deutsch-Jozsa algorithm. Other examples covered in this chapter are the variational quantum eigensolver, which can be applied to the study of molecules and classical optimization problems; quantum simulation; and entanglement-assisted metrology.

Introduction

The quantum realm exhibits phenomena that run counter to conventional logic. This chapter discusses the evidence from a particularly simple class of experiments: measurements or combinations of measurements which each have only two possible outcomes. It reviews the classical notions of logic and pins down where exactly they fail in the quantum realm. In particular, it highlights the importance of the order in which measurements are performed. The experimental evidence also calls for a critical review of the rules of probability theory. For these, too, this chapter identifies those which continue to hold in the quantum realm and those which need to be modi ed. Moreover, it introduces the pivotal concept of a ‘state’.