Book contents
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Wave functions
- 3 Linear algebra in Dirac notation
- 4 Physical properties
- 5 Probabilities and physical variables
- 6 Composite systems and tensor products
- 7 Unitary dynamics
- 8 Stochastic histories
- 9 The Born rule
- 10 Consistent histories
- 11 Checking consistency
- 12 Examples of consistent families
- 13 Quantum interference
- 14 Dependent (contextual) events
- 15 Density matrices
- 16 Quantum reasoning
- 17 Measurements I
- 18 Measurements II
- 19 Coins and counterfactuals
- 20 Delayed choice paradox
- 21 Indirect measurement paradox
- 22 Incompatibility paradoxes
- 23 Singlet state correlations
- 24 EPR paradox and Bell inequalities
- 25 Hardy's paradox
- 26 Decoherence and the classical limit
- 27 Quantum theory and reality
- Bibliography
- References
- Index
11 - Checking consistency
Published online by Cambridge University Press: 10 December 2009
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Wave functions
- 3 Linear algebra in Dirac notation
- 4 Physical properties
- 5 Probabilities and physical variables
- 6 Composite systems and tensor products
- 7 Unitary dynamics
- 8 Stochastic histories
- 9 The Born rule
- 10 Consistent histories
- 11 Checking consistency
- 12 Examples of consistent families
- 13 Quantum interference
- 14 Dependent (contextual) events
- 15 Density matrices
- 16 Quantum reasoning
- 17 Measurements I
- 18 Measurements II
- 19 Coins and counterfactuals
- 20 Delayed choice paradox
- 21 Indirect measurement paradox
- 22 Incompatibility paradoxes
- 23 Singlet state correlations
- 24 EPR paradox and Bell inequalities
- 25 Hardy's paradox
- 26 Decoherence and the classical limit
- 27 Quantum theory and reality
- Bibliography
- References
- Index
Summary
Introduction
The conditions which define a consistent family of histories were stated in Ch. 10. The sample space must consist of a collection of mutually orthogonal projectors that add up to the history identity, and the chain operators for different members of the sample space must be mutually orthogonal, (10.20). Checking these conditions is in principle straightforward. In practice it can be rather tedious. Thus if there are n histories in the sample space, checking orthogonality involves computing n chain operators and then taking n(n − 1)/2 operator inner products to check that they are mutually orthogonal. There are a number of simple observations, some definitions, and several “tricks” which can simplify the task of constructing a sample space of a consistent family, or checking that a given sample space is consistent. These form the subject matter of the present chapter. It is probably not worthwhile trying to read through this chapter as a unit. The reader will find it easier to learn the tricks by working through examples in Ch. 12 and later chapters, and referring back to this chapter as needed.
The discussion is limited to families in which all the histories in the sample space are of the product form, that is, represented by a projector on the history space which is a tensor product of quantum properties at different times, as in (8.7). As in the remainder of this book, the “strong” consistency conditions (10.20) are used rather than the weaker (10.25).
- Type
- Chapter
- Information
- Consistent Quantum Theory , pp. 148 - 158Publisher: Cambridge University PressPrint publication year: 2001