Education / Interpretations of Quantum Mechanics

Interpretations of Quantum Mechanics · Chapter 04

Operational Accounts and Consistent Histories

When can we use probabilities without assigning one universal classical story?

In this chapter · 3 sections
  1. 4.1 What a measurement prescription supplies
  2. 4.2 Histories as quantum alternatives
  3. 4.3 One framework at a time
Reading guide · preparation and approach

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?

4.1 What a measurement prescription supplies

4.1.1 Conditioning within a specified experimental context

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=+)?

Reasoned solution

The state is I/2, so p=1/2. Without the Z intervention it would be one.

4.2 Histories as quantum alternatives

4.2.1 Compute the decoherence functional

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?

Reasoned solution

Write them as Tr[(Cα√ρ)(Cα√ρ)†], a squared Hilbert–Schmidt norm.

4.3 One framework at a time

4.3.1 Find exactly where classical addition fails

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=−.

Reasoned solution

They are +|−⟩/2 and −|−⟩/2. Their sum is zero, but their individual probabilities would sum to 1/2; the cross terms cancel that sum.

Sources and further reading

Summary

Questions and worked problems

These exercises draw on the whole chapter. Attempt each question before opening a hint, explain your reasoning, then compare it with the worked solution.

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.

Revisit the relevant explanation

2. Worked problem §

Does omitting a detector outcome from a report restore interference?

Hint 1

Trace out the record instead of reversing the coupling.

Worked solution

No. Forgetting corresponds to a nonselective instrument. Restoration requires erasing or reversing the physical distinguishing record coherently.

Revisit the relevant explanation

3. Misconception §

Why avoid using Copenhagen as an exact equation set?

Hint 1

Distinguish historical families from a defined model.

Worked solution

The name covers distinct views about classical descriptions and reduction. State the particular prescription or commitments being analyzed.

Revisit the relevant explanation

4. Extension §

Show that a single-time projective history family is consistent.

Hint 1

Use cyclicity of the trace and orthogonal projectors.

Worked solution

For a≠b, Tr(PaρPb)=Tr(PbPaρ)=0. Thus its off-diagonal decoherence-functional entries vanish.

Revisit the relevant explanation

5. Quick check §

Derive the interference term for a union of two histories.

Hint 1

Expand (Cα+Cβ)ρ(Cα+Cβ)†.

Worked solution

The probability is Dαα+Dββ+Dαβ+Dβα, hence the two diagonals plus 2 Re Dαβ.

Revisit the relevant explanation

6. Worked problem §

Is medium decoherence necessary for just one pairwise sum rule?

Hint 1

Compare D=0 with Re D=0.

Worked solution

No. For a given pair, a vanishing real part suffices for additivity. We use the stronger condition to specify a convenient consistent framework.

Revisit the relevant explanation

7. Misconception §

Compute D for the two histories ending in X=+.

Hint 1

Take their branch-vector overlap.

Worked solution

Each vector is |+⟩/2, so the cross term is 1/4 and this family fails medium decoherence.

Revisit the relevant explanation

8. Extension §

What changes when orthogonal records are appended?

Hint 1

Include record overlaps in D.

Worked solution

The cross term gains a factor ⟨A1|A0⟩=0. The enlarged experiment can admit additive probabilities for the recorded alternatives.

Revisit the relevant explanation

9. Quick check §

Can two separately consistent frameworks always be combined?

Hint 1

Ask whether their common refinement remains consistent and compatible.

Worked solution

No. The single-framework rule forbids combining incompatible families. Separate internal consistency does not establish a common probability space.

Revisit the relevant explanation

10. Worked problem §

Propose a fair research question about framework selection.

Hint 1

Specify both the physical experiment and the interpretive demand.

Worked solution

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.

Revisit the relevant explanation

Search this book

Search the course.