1. Quick check §
Compare p(Z=0 then X=+) with p(X=+ then Z=0) for |0⟩.
Hint 1
Use the sequential projectors.
Worked solution
The first is 1×1/2=1/2. The second is 1/2×1/2=1/4. Measurement order changes the experiment.
Interpretations of Quantum Mechanics · Chapter 04
When can we use probabilities without assigning one universal classical story?
Starting point: Chapters 1–3; familiarity with density operators and linear algebra.
Anchor example: Sequential Z and X questions about a qubit initially in |+⟩.
Method: Calculate a concrete experiment, identify the assumptions, then compare what different accounts explain.
Watch for: An operational recipe, historical Copenhagen views, and consistent histories are related topics, not identical doctrines.
This lesson includes explanations, worked examples, and problems with solutions. Advanced results whose proofs are outside the chapter are identified explicitly.
When can we use probabilities without assigning one universal classical story?
One disciplined response to the measurement problem is to begin with experimental procedures and their probabilities. State preparation, measurement setting, and recorded outcome are treated as the terms in which a theory makes predictions. The quantum state then organizes expectations about those procedures. This is an operational stance; by itself it need not supply a microscopic ontology for every detector.
The label “Copenhagen” covers several historical views, including different emphases on classical descriptions, complementarity, and state reduction. It should not be treated as one precisely specified modern model. In particular, saying that measurement requires consciousness is not a mathematical consequence of the standard measurement prescription.
For an ideal sharp measurement with projector Pₐ, the Lüders instrument gives \(\mathcal I_a(\rho)=P_a\rho P_a\). A subsequent sharp measurement Qᵦ has joint probability
\[p(a,b)=\operatorname{Tr}(Q_bP_a\rho P_aQ_b).\]The order and the actual procedure matter. Starting from |+⟩, an unread Z measurement followed by X gives equal X outcomes. An X measurement alone gives + with certainty. The unread record still corresponds to an interaction that changed the relevant state. Dropping its label does not undo the intervention.
Worked check 4.1. After an unread Z measurement on |+⟩, what is p(X=+)?
The state is I/2, so p=1/2. Without the Z intervention it would be one.
Consistent histories asks when sequences of quantum properties can be assigned ordinary joint probabilities without treating measurement as fundamental. In a finite closed system let \(\{P_{a_j}(t_j)\}\) be exhaustive orthogonal projectors in the Heisenberg picture at each time. A history α=(a₁,…,aₙ) has class operator \(C_\alpha=P_{a_n}(t_n)\cdots P_{a_1}(t_1)\).
\[D(\alpha,\beta)=\operatorname{Tr}(C_\alpha\rho C_\beta^\dagger),\qquad p(\alpha)=D(\alpha,\alpha).\]The diagonal entries are nonnegative, but that alone is not enough. On coarse-graining two alternatives, the candidate probability includes \(2\operatorname{Re}D(\alpha,\beta)\). Classical additivity requires that contribution to vanish. We use the sufficient “medium decoherence” condition D(α,β)=0 for distinct histories; weaker consistency conditions can be formulated, so our convention must be stated.
A history family satisfying this condition supports an ordinary probability calculus internally. This gives a precise technical role to mutually exclusive alternatives extending across time. The condition is a property of a family, its initial state, and its dynamics; it is not guaranteed merely because each projector is individually well defined.
Worked check 4.2. Why are diagonal decoherence-functional entries nonnegative?
Write them as Tr[(Cα√ρ)(Cα√ρ)†], a squared Hilbert–Schmidt norm.
Try a small family. Set the Hamiltonian to zero and start in |+⟩. Ask for Z=0 or Z=1 at the first time and X=+ or X=− at the second. The two branch vectors ending in X=+ are
\[Q_+P_0|+\rangle=\tfrac12|+\rangle,\qquad Q_+P_1|+\rangle=\tfrac12|+\rangle.\]Their overlap is 1/4, not zero. Summing their individual squared norms gives 1/2, but the squared norm of their sum is one. The unmeasured intermediate alternatives interfere. You may not regard them as mutually exclusive classical paths while retaining the final interference prediction.
If an apparatus actually records Z in orthogonal states, those branch vectors acquire orthogonal record factors and the corresponding cross term vanishes in the enlarged description. That is a different physical experiment. Consistent histories also permits different incompatible consistent families, but its single-framework rule disallows combining their propositions into one classical argument.
This approach supplies a formal discipline for quantum reasoning. A fair critique asks how frameworks are chosen for a question and how their status relates to physical reality. It should not replace that discussion with the mistaken claim that every imaginable history already possesses an additive probability.
Worked check 4.3. Compute the two branch vectors ending in X=−.
They are +|−⟩/2 and −|−⟩/2. Their sum is zero, but their individual probabilities would sum to 1/2; the cross terms cancel that sum.
These exercises draw on the whole chapter. Attempt each question before opening a hint, explain your reasoning, then compare it with the worked solution.
Compare p(Z=0 then X=+) with p(X=+ then Z=0) for |0⟩.
Use the sequential projectors.
The first is 1×1/2=1/2. The second is 1/2×1/2=1/4. Measurement order changes the experiment.
Does omitting a detector outcome from a report restore interference?
Trace out the record instead of reversing the coupling.
No. Forgetting corresponds to a nonselective instrument. Restoration requires erasing or reversing the physical distinguishing record coherently.
Why avoid using Copenhagen as an exact equation set?
Distinguish historical families from a defined model.
The name covers distinct views about classical descriptions and reduction. State the particular prescription or commitments being analyzed.
Show that a single-time projective history family is consistent.
Use cyclicity of the trace and orthogonal projectors.
For a≠b, Tr(PaρPb)=Tr(PbPaρ)=0. Thus its off-diagonal decoherence-functional entries vanish.
Derive the interference term for a union of two histories.
Expand (Cα+Cβ)ρ(Cα+Cβ)†.
The probability is Dαα+Dββ+Dαβ+Dβα, hence the two diagonals plus 2 Re Dαβ.
Is medium decoherence necessary for just one pairwise sum rule?
Compare D=0 with Re D=0.
No. For a given pair, a vanishing real part suffices for additivity. We use the stronger condition to specify a convenient consistent framework.
Compute D for the two histories ending in X=+.
Take their branch-vector overlap.
Each vector is |+⟩/2, so the cross term is 1/4 and this family fails medium decoherence.
What changes when orthogonal records are appended?
Include record overlaps in D.
The cross term gains a factor ⟨A1|A0⟩=0. The enlarged experiment can admit additive probabilities for the recorded alternatives.
Can two separately consistent frameworks always be combined?
Ask whether their common refinement remains consistent and compatible.
No. The single-framework rule forbids combining incompatible families. Separate internal consistency does not establish a common probability space.
Propose a fair research question about framework selection.
Specify both the physical experiment and the interpretive demand.
Given a decohering apparatus model, determine which families track stable records, then ask whether stability singles out a unique family or only an approximate class of useful descriptions.