Past exam of the short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford / 2016 / S28

The measurement problem arises from applying quantum dynamics to both a measured system and a physical apparatus. If $|0⟩|M_{\ast }⟩\to |0⟩|M_0⟩$ and $|1⟩|M_{\ast }⟩\to |1⟩|M_1⟩$, linearity maps a superposition to $\alpha |0,M_0⟩+\beta |1,M_1⟩$. That is generally not one selected apparatus record, although ordinary experience and the usual stochastic outcome rule assign a definite record in each run.

The conflict concerns the combination of a complete wavefunction description, universal unitary evolution and a unique ordinary outcome. They cannot all be used naively in the indicated example. Declaring that a measurement collapses the state can be a practical predictive rule, but a complete physical account must say when that nonunitary rule applies and why the apparatus is exempt from the system's ordinary equation.

Decoherence helps by correlating records with a large environment and suppressing observable interference between them. It explains approximate stability of record bases and why coherent reversals are hard, but the reduced density matrix is an improper mixture arising from an entangled state. Suppression of off-diagonal terms alone does not select one global component.

Physicists can make excellent laboratory predictions while leaving this issue open. It still matters when extending the theory to universal systems, precision tests of collapse, or claims about what the state represents. Responses include new configurations and guidance, modified stochastic dynamics or branch-relative outcomes in a unitary theory. These differ in what they assert physically and sometimes in additional testable effects. The problem is therefore not simply ignorance of which detector clicked, but the relation between a purportedly universal law and the definite evidence used to test it.

In the many-worlds interpretation, the universal state evolves unitarily. A measurement transforms $(\alpha |0⟩+\beta |1⟩)|M_{\ast }⟩$ into $\alpha |0,M_0⟩+\beta |1,M_1⟩$. Environmental decoherence suppresses interference between macroscopically distinct records, so each branch contains a consistent observer record of one outcome. There is no stochastic selection of a unique global result in that dynamics. Thus fundamental indeterministic collapse is not recovered; it is deliberately absent.

The appearance of indeterminism can nevertheless be described branch-relatively. Before examining a record, an observer lacks information about which recorded result will be encountered in a future branch-relative history. After measurement, each descendant has one stable record and experiences a definite result. This is more than saying that a classical observer does not know a predetermined hidden bit, because the global state includes multiple continuing record structures rather than one unknown selected trajectory.

The hard question is why uncertainty or rational expectation should follow the Born weights $|\alpha {|}^2,|\beta {|}^2$. Decoherence explains approximately autonomous records and a preferred coarse-grained basis, but does not by itself turn all branch counts into a unique measure. Literal counting is ill-defined because branches do not have a uniquely fixed number. Decision-theoretic, symmetry or typicality arguments try to justify squared-amplitude weights and their role in observed frequencies, but their auxiliary assumptions must be assessed rather than silently called consequences of unitary dynamics alone.

The interpretation can therefore account structurally for the appearance of definite unpredictable outcomes without adding dynamical randomness. Whether that completely accounts for probability depends on a successful connection from branch weights to expectation and confirmation. Its strength is a uniform dynamical law for system and observer; its cost is an ontology and probability account that go beyond the experience of one apparently unique outcome.^[ref]

Bohmian mechanics retains definite particle positions and deterministic trajectories, which makes it resemble classical mechanics at one level. But the guiding dynamics depends on a wavefunction obeying the Schrödinger equation, with velocity schematically ${\dot{Q}}_i=(\hslash /m_i)\mathrm{Im}({\nabla }_i\psi /\psi )(Q)$. For many particles this wavefunction is defined on configuration space and can be entangled. The velocity of one particle can consequently depend on the configuration of distant particles. Classical-looking trajectories therefore do not entail classical locality or separability.

Writing $\psi =R{e}^{iS/\hslash }$ also yields a Hamilton-Jacobi-like equation with quantum potential $Q=-{\sum }_i{\hslash }^2{\nabla }_i^{2}R/(2m_{i}R)$. The quantum potential is not generally a sum of ordinary pair potentials in three-space; its configuration dependence carries the nonclassical correlations. A stationary real bound-state wavefunction can give a stationary particle configuration, unlike the orbit one might infer from a classical Coulomb picture. Measurement outcomes are contextual: the actual apparatus interaction helps determine which position record is produced.

With the quantum-equilibrium distribution $\rho =|\psi {|}^2$, the guidance and wave equations preserve that distribution and reproduce the usual quantum statistics. Determinism alone does not establish that distribution; equilibrium or typicality is an additional explanatory component. The theory also leaves philosophical choices about whether the wavefunction is a physical field, a law-like object or part of a broader ontology.

The significant departure is therefore not simply replacing chance by hidden classical motion. It is the entangled guiding structure, nonlocal dependence and contextual relation between measurements and properties. The retained particles make the account continuous with some classical intuitions, while its actual law and ontology depart substantially from classical many-body mechanics.^[ref][ref]

For a measurement specifically, the apparatus configuration occupies one region associated with a record. The guidance law evolves that actual configuration into one branch of the entangled system-apparatus wavefunction; disjoint unoccupied branches do not contain the actual pointer. In quantum equilibrium the distribution of those occupied outcome regions is the Born distribution. Thus the account supplies a definite record without requiring stochastic wavefunction collapse, while paying the costs of added configuration ontology, nonlocal guidance and a justified equilibrium measure.

For local dichotomic outcomes define $A(a,\lambda ),B(b,\lambda )=\pm 1$ and a setting-independent normalized distribution $\rho (\lambda )$. At each $\lambda$,because exactly one bracket vanishes and the other is $\pm 2$. Integrating and using the triangle inequality yieldsFor stochastic local response functions the same bound follows by replacing outcomes with conditional means in $[-1,1]$, or by including local randomness in $\lambda$. The important locality condition is factorization of joint conditional outcome probabilities, together with independence of the setting distribution and $\lambda$.

The spin singlet instead predicts $E(a,b)=-a\cdot b$. Two orthogonal directions at one wing and directions halfway between them at the other give $|S|=2\sqrt{2}$. Therefore reproducing the quantum predictions requires giving up at least one of the stated premises. In the perfect-anticorrelation version, $B(a,\lambda )=-A(a,\lambda )$ gives Bell's three-setting form $|E(a,b)-E(a,c)|\le 1+E(b,c)$ by the same algebra.

This does not establish that all deterministic or hidden-variable theories are impossible: nonlocal guidance is a counterexample to that reading. Nor does it equate Bell locality with no-signalling; averaging quantum outcomes can preserve setting-independent local marginals despite nonfactorizing correlations. The theorem is significant because it turns a local-completeness dispute into incompatible quantitative correlation bounds, not because it refutes every possible meaning of physical reality.^[ref]

The absence of visibly strange superposed records is an observational constraint, but it does not by itself uniquely confirm a physical collapse law. A macroscopic superposition in the global state need not mean that an observer sees two contradictory records simultaneously. Decoherence can suppress interference between record branches, and interpretations with additional configurations or branch-relative observers can reproduce definite experiences without stochastic collapse of the universal wavefunction.

Conversely, simply invoking decoherence does not prove that one global outcome has been selected. A reduced density matrix diagonal in a pointer basis gives the same local statistics as a classical mixture but can arise from an entangled pure state. That distinction is central to the measurement problem. The adequacy of a no-collapse account requires its own explanation of observers, records and their probabilities, rather than the assertion that small off-diagonal terms settle everything.

To distinguish dynamical collapse empirically one seeks consequences beyond the common prediction of stable records, such as a specified loss of interference with mass or separation, anomalous heating or spontaneous radiation. Those predictions depend on collapse parameters and how the law couples to matter. Experiments can constrain those models while ordinary everyday definiteness alone underdetermines the alternative laws.

Thus familiar outcomes are evidence that any acceptable theory must explain. They support collapse over a naive theory that literally predicts an experienced unresolved superposition without a record account, but not over every developed no-collapse interpretation with the same outcome statistics. A fair comparison tests the full alternatives and their likelihoods, rather than treating interpretive disagreement as an observation of collapse itself.^[ref]