Philosophy of space-time and philosophy of quantum mechanics paper of Parts A and B of the physics course of the University of Oxford (2)

Source paper: www.whatdotheyknow.com/request/oxford_physics_past_papers_2/response/2340696/attach/7/Physics%20Papers%202018.pdf?cookie_passthrough=1

The cover dates this combined paper to Trinity Term 2019 and prints both formal codes. The public bundle's filename says 2018; the cover controls the year. All fourteen requests, including both alternatives in 1 and 8, have solutions below.

There is no unconditional logical dependence of Newton's first law on Newton's third law. There is, however, a dependence if one applies the first to an extended, isolated composite and interprets its motion as the motion of its centre of mass. The difference is between the behaviour of an elementary body with zero total force and a theorem about cancellation of internal forces. Isaac Newton's own first-law discussion includes projectiles and spinning bodies, so the composite-body issue is physically significant.^[ref]

For a constant positive mass in an inertial frame, Newton's second law gives $m\ddot{\mathbf{x}}=\mathbf{F}$. Setting the total force to zero yields uniform rectilinear motion; it uses no action–reaction assumption. The first law additionally identifies a common class of inertial frames in which such a statement applies. One cannot establish that class by arbitrarily straightening a single trajectory, and one cannot test the claim by defining every observed acceleration to be an unspecified force.

A concrete countermodel separates these issues. Suppose two bodies obey the second-law equations with internal forces ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$, with nonzero constant $\mathbf{f}$. Every elementary body with zero total force still has constant velocity, but the two-body momentum satisfiesThus the elementary-body first law is compatible with failure of the third. Calling the pair isolated does not make its internal total force zero: that is precisely what has not been assumed. This countermodel establishes logical independence, not a proposal for a successful fundamental interaction.

Now strengthen the first-law claim: every isolated composite has an inertially moving centre of mass whenever the total external force vanishes. With $M={\sum }_i{m}_i$, Newton's second law givesFor an isolated pair, the strengthened claim requires ${\mathbf{F}}_{12}+{\mathbf{F}}_{21}=0$. This is the weak, equal-and-opposite form of Newton's third law. It does not by itself require collinearity with the bodies' separation; the central-force condition is stronger and bears on conservation of angular momentum. For many bodies, cancellation of the sum does not alone imply pairwise cancellation without assumptions about the decomposition into interactions.

The right conclusion is therefore conditional. A first law for individual force-free bodies does not presuppose the third law. A first law for all isolated material composites, combined with the usual centre of mass and Newton's second law, imports an internal-momentum-balance condition. In theories with dynamical fields, material bodies can exchange momentum with those fields; conservation of momentum then concerns the combined system and need not imply instantaneous pairwise action–reaction between particles.

The familiar result follows if the force laws have Galilean invariance; the three abstract Newton's laws of motion do not guarantee that invariance. Isaac Newton's Corollary V correctly identifies a central feature of ordinary Newtonian mechanics, but its general physical scope requires assumptions about interactions as well as about the relation between force and acceleration.^[ref]

Take a constant velocity $\mathbf{U}$ and a Galilean transformationThen ${\ddot{\mathbf{x}}}_i^{\prime }={\ddot{\mathbf{x}}}_i$, ${\mathbf{x}}_i^{\prime }-{\mathbf{x}}_j^{\prime }={\mathbf{x}}_i-{\mathbf{x}}_j$, and ${\dot{\mathbf{x}}}_i^{\prime }-{\dot{\mathbf{x}}}_j^{\prime }={\dot{\mathbf{x}}}_i-{\dot{\mathbf{x}}}_j$. Any interaction depending only on these relative quantities, with unchanged parameters, supplies the same forces for the transformed initial data. Newton's second law consequently gives the same relative accelerations; uniqueness of the resulting initial value problem supplies the same relative histories. An inverse-square central interaction is a standard example. Newton's third law helps establish the common centre of mass result, but the boost argument principally needs invariant interactions and the second law.

Here is a counterexample to deduction from the three laws alone. Give two equal masses a preferred inertial frame and write $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $\mathbf{V}=({\dot{\mathbf{x}}}_1+{\dot{\mathbf{x}}}_2)/2$. For fixed $k>0$ and speed scale $u_{\ast }>0$, specifyThe forces are equal, opposite and central, the centre of mass is inertial, and each body obeys $m{\ddot{\mathbf{x}}}_i={\mathbf{F}}_i$. An elementary body with no force is inertial. Nevertheless,Boosting an isolated pair from $\mathbf{V}=0$ to $\mathbf{V}=\mathbf{U}$ changes its internal oscillation frequency. All three motion laws hold, but the proposed universal boost equivalence fails. The extra preferred structure in the force law is what makes the failure possible.

A passive coordinate transformation of this same model remains possible: transform the preferred frame's description too. That mathematical freedom does not establish an active dynamical symmetry which changes the physical pair's velocity relative to the preferred structure while holding the laws' background data fixed. Confusing those operations would hide the counterexample.

Finally, a change to rotating coordinates introduces centrifugal forces and Coriolis forces; their dependence on position or velocity can change internal experiments. Constant translational velocity has no analogous effect when the interactions have Galilean invariance. Corollary V expresses that physical symmetry, with the interaction assumption made explicit, rather than a consequence of action–reaction alone.

One can derive a family containing the Lorentz transformations without assuming anything about light, but the Einstein's principle of relativity alone does not select that family member over the Galilean transformation. Extra assumptions must be stated: spatial and temporal translational symmetry, isotropy of SPACE, continuous transformations between equivalent inertial frames, reciprocity, and closure under composition. These are substantive restrictions, rather than consequences of the bare assertion that physical laws agree between inertial frames.

Here is the algebraic content. Translational symmetry makes the transformation between coincident origins a linear transformation. In one spatial direction the moving origin $x=vt$ fixes $x^{\prime }=a(v)(x-vt)$. Isotropy and the inverse transformation at $-v$ allow the standard calibrated formTo see why $K$ is universal, temporarily write the upper-right entry as $-b(v)$, leaving the lower-left entry $-v$. Equality of the two diagonal entries in a composite boost gives $b(u)v=ub(v)$, so $b(v)/v=K$ is constant for nonzero boosts. Inversion fixes $a(v{)}^2(1-K{v}^2)=1$, with the positive branch continuous at zero. This is the universality of an invariant speed under boost composition.

The resulting velocity-addition formula law and invariant quadratic expression areFor $K>0$, $C=K^{-1/2}$ is an invariant limiting speed; setting the empirically determined $C$ equal to the vacuum speed of light gives the standard Lorentz transformation. For $K=0$, $t^{\prime }=t$ and $x^{\prime }=x-vt$: an entirely consistent Galilean transformation satisfying the stated Einstein's principle of relativity. Thus the general assumptions do not establish that an invariant finite speed exists, much less identify it with light.

There is also a formal negative-$K$ branch, which has a rotation-like geometry in the time–space plane. Standard derivations exclude it using additional global assumptions, such as a preserved time orientation and unrestricted composition of admissible boosts. Without identifying those assumptions it is misleading to claim a two-way classification from the Einstein's principle of relativity alone. In three spatial dimensions isotropy requires the same constant in every direction.

The light postulate is therefore dispensable as the starting point for a conditional kinematical derivation; empirical input remains indispensable in identifying our world's value and sign of $K$. Albert Einstein's original construction uses the light postulate and Einstein synchronisation, making that empirical connection explicit.^[ref] Replacing the postulate by an independently established finite invariant speed changes the route, rather than deriving all of special relativity from relativity alone.

Matching spacetime symmetries to dynamical symmetries is a powerful demand for a coherent interpretation, but an unconditional equality theorem does not follow from logic or from general covariance. A spacetime symmetry preserves the structure declared physically significant: for Minkowski spacetime, the metric tensor and relevant orientations. A dynamical symmetry takes solutions to solutions with the laws' fixed backgrounds held fixed. The appropriate comparison concerns external transformations on the same physical quantities; internal gauge symmetries have no reason to be isometries of spacetime.

One direction becomes a theorem after important premises are supplied. Suppose all fixed background structure is geometrical and the matter equations are constructed covariantly from it. An automorphism of that full structure then takes solutions of those equations to solutions. For example, the Klein-Gordon equation $({\eta }^{ab}{\partial }_a{\partial }_b+m^2)\varphi =0$, in units $c=\hslash =1$, has the Poincaré symmetry of the fixed Minkowski metric. This is an explanation of symmetry inheritance conditional on a coupling prescription; it does not derive that prescription from the bare existence of a metric tensor.

A counterexample exposes the missing premise. On the same Minkowski spacetime, add a fixed timelike vector field $n^a$ and a matter termFor generic nonzero $\alpha$, a boost which preserves $\eta$ but changes $n$ is not a symmetry with that background held fixed. The full background has fewer symmetries than the metric tensor alone. Writing the equations in arbitrary coordinates and transforming $n$ as a vector field gives general covariance, not Lorentz invariance. Conversely, redundant unobservable geometrical structure could make the declared spacetime symmetry group artificially too small. Accidental symmetries of a restricted matter sector could make its dynamical symmetry group too large.

There are deeper motivations for avoiding such mismatches. If all measuring devices obey Lorentz-invariant dynamics, their behaviour supports a common Minkowski metric interpretation; adding an undetectable preferred rest structure sacrifices explanatory economy. If a preferred structure affects some device, then the original metric-only geometry was incomplete as a description of physical background structure. These observations support either revising the geometry or explaining the universal matter symmetry, but they are methodological and interpretive arguments, not an automatic metaphysical identity.^[ref]

Two qualifications matter. Boundary conditions and initial conditions can select a rest frame in an individual solution while the laws remain boost symmetric. Also, a symmetry of the complete theory need not be detectable by transforming only a subsystem relative to its environment. The best principle therefore matches the physically relevant geometry to the external symmetries of the complete laws, after all backgrounds and couplings are included. Calling it merely a bookkeeping preference understates its explanatory value; calling it an unavoidable consequence of covariance overstates its logical force.

The ideal slow clock transport synchronization procedure reproduces Einstein synchronisation in an inertial frame, as a limiting result about proper time. It does not determine distant simultaneity without assumptions about clocks and their dynamics. Begin with identical ideal clocks together at $x=0$, with matching rates and readings. Leave one there and transport the other to a laboratory position $L$ at small constant speed $u$, neglecting gravity. Use Einstein-synchronised laboratory coordinates to calculate the result, rather than assuming that the transported clock already displays coordinate time.

The journey takes laboratory time $T=L/u$. The transported clock's proper time is $\tau =T\sqrt{1-u^2/c^2}$, giving the lagConsequentlyThe small time dilation accumulates over a long journey, but its quadratic dependence on $u$ dominates the journey's inverse dependence on $u$. Saying that the journey is arbitrarily long is therefore not an objection to this limit. For a nonuniform journey with $|v|\le u$, $\delta =\int (1-\sqrt{1-v^2/c^2})dt$; a simple monotonic path of fixed length has the same vanishing bound. Acceleration stages can be arranged with vanishing displacement and proper time deficit, assuming the clock hypothesis.^[ref]

This procedure establishes synchronization operationally for stationary laboratory clocks, once ideal-clock behaviour has empirical support. It does not show that every actual device is insensitive to transport: thermal shifts, acceleration-dependent mechanisms or differing gravitational potentials can spoil the idealization. Nor does the same construction define global synchronization for rotating laboratories, where path dependence is significant.

The conventionality question is separate. Resynchronize the same laboratory with $t_{\kappa }=t+\kappa x/c$, where $|\kappa |<1$. At the arrival event the transported clock approaches the reading $t$, whereas a stationary clock displaying $t_{\kappa }$ reads $t+\kappa L/c$. Slow transport has not eliminated that difference. The transformed metric tensor has an off-diagonal term, and the proper time calculation still gives the same physical clock reading: changing labels cannot change its ticks. This is the invariance of reunion ages under clock resynchronization, applied to transport comparisons.

Slow clock transport synchronization is thus a useful physical realization of a preferred conventional coordinate choice given Lorentz-invariant dynamics and ideal clocks. It does not independently prove that the one-way speed of light must be isotropic in every admissible synchronization. It supplies a reproducible convention with a strong physical rationale, rather than a convention-free observation of an absolute present.

Spacetime geometry gives an acceptable structural explanation of length contraction, provided the relation between material rods, measurement and the metric tensor is included. It is not a force that squeezes a rod, and the mere existence of a quadratic form cannot guarantee how arbitrary matter behaves. The explanatory issue is whether a common geometrical constraint is sufficient for the phenomenon at issue, or whether a constructive theory of the rod is also required.

For an equilibrium rod with proper length $L_0$, use its rest frame $S^{\prime }$, where its endpoint histories are $x_A^{\prime }=0$ and $x_B^{\prime }=L_0$. In a laboratory frame useA laboratory measurement compares endpoints at the same laboratory time. Subtract the two endpoint equations at $\Delta t=0$ to obtainThe two frames measure different pairs of spacetime events. There is no contradiction in each assigning the other's moving rods smaller lengths; their simultaneity relations differ. This is neither an optical distortion nor an invariant compression diagnosed by an attached strain gauge. A photograph also involves unequal emission times and propagation of light, so it is not this simultaneous endpoint measurement.

The geometrical explanation has genuine unifying content. Once all suitable equilibrium rods measure the spatial distances induced by the same Minkowski metric, the result is independent of chemical composition. It relates length contraction to time dilation and relativity of simultaneity, rather than postulating separate mechanisms for every device. A structural explanation need not be a temporal causal story: the result compares descriptions of an existing world tube, not successive states of a rod being accelerated.

The main objection asks what warrants the italicized measurement premise. Matter on a mathematical Minkowski spacetime could obey equations involving an additional preferred vector field, as in 3. Such matter need not form devices with the usual transformation behaviour. Harvey R. Brown and Oliver Pooley argue that a constructive understanding must attend to the Lorentz-invariant dynamics of matter.^[ref] This objection has force against treating a bare metric tensor as an independently acting agent. It does not invalidate the endpoint derivation once the physical metric interpretation is established.

Acceleration introduces a different explanatory task. A rod pushed at one end can undergo stresses, heating and oscillations; its final proper length can change. A dynamical calculation is needed to determine whether it settles into an equivalent equilibrium state. The comparison $L=L_0/\gamma$ assumes a specified equilibrium proper length, and does not assert that every acceleration history preserves it. Geometry constrains the measurement of that state; material dynamics explain its formation and stability. Those explanatory roles can coexist without making either empty.

An observer-independent global presentism conflicts with the absence of a distinguished simultaneity relation in bare special relativity. It is not a formal contradiction to add a preferred foliation. The issue is what the proposed present contains, and whether that extra structure is part of the physical theory or an additional metaphysical commitment. Presentism must be distinguished from the harmless indexical fact that an observer calls their own current event “now”.

Let two spacetime events have coordinate differences $\Delta t=0$, $\Delta x=L\ne 0$ in an inertial frame. A relatively moving frame assignsThey are simultaneous in one frame and not in another. For a fixed event $P$, each inertial four-velocity $u$ defines a different simultaneous hyperplane through $P$ by $\eta (u,Q-P)=0$. No particular $u$ is selected by the Minkowski metric alone. Thus an extended objective present cannot both be the equal-time slice of one ordinary inertial frame and be invariant under all Lorentz transformations.

An equivocation can make the incompatibility seem stronger than it is. If one defines “real together” using one observer's simultaneity, then changes observers in the next inference, transitivity across the mixed relations has not been justified. It is the failure of transitivity for mixed-frame simultaneity. The physics supplies the frame-indexed relations; it does not supply a single absolute co-existence relation formed by silently joining all of them. A sound argument against relativistic presentism challenges the physical basis of its preferred relation, rather than proving all events real by that equivocation.

There are several coherent responses, with different costs. A preferred foliation can be appended to Minkowski spacetime, declaring one of its slices the objectively existing present. If it affects no physical process, it has no support from the relativistic laws and breaks the symmetry of the total ontology without changing observable predictions. If it affects matter, new laws must explain why ordinary tests display Lorentz invariance. This is additional structure, not a logical impossibility. Eternalism, by contrast, treats the complete spacetime history as real and makes simultaneity relational, but the relativity of coordinate time by itself does not deductively establish that metaphysics.

A local present containing only $P$ is invariant once $P$ is given, yet it abandons a spatially extended world existing now. The past light cone is invariant too, but contains events of different ages and is not an instantaneous spatial present. An observer-relative present is meaningful, but relativizes the existence claim rather than defending a unique global present. The defensible conclusion is therefore an incompatibility among bare relativistic structure, an objective extended present, and full symmetry of existence claims; it is not an unconditional proof that every formulation of presentism is incoherent.

Quantum decoherence explains the practical stability of records and suppression of observable interference; it does not alone select one outcome. The measurement problem arises when universal unitary time evolution, a complete wave function description and a unique definite outcome are all demanded. A theory must explain which commitment is changed or supplemented, not merely replace a pure composite description by a reduced one.

Model an ideal quantum measurement and its environment byTaking the partial trace over the environment gives the system–apparatus reduced density matrixEnvironmental records make $⟨E_1|E_0⟩$ very small for macroscopically distinct alternatives. If independent fragments have overlaps $d_k$, their combined overlap is ${\prod }_k{d}_k$, explaining the rapid suppression. The apparatus interaction also favours robust records, giving environment-induced pointer-basis selection rather than an arbitrary choice of basis.^[ref]

What follows is approximate agreement, for local apparatus observables, with a classical probabilistic mixture. What does not follow is that either term has ceased to exist. Even with orthogonal environmental records, the global quantum state is a pure state with quantum entanglement. For orthogonal branches $|B_0⟩,|B_1⟩$, the global observable $|B_0⟩⟨B_1|+|B_1⟩⟨B_0|$ has expectation $2\mathrm{Re}(a^{\ast }b)$ in the superposition and zero in the corresponding incoherent mixture. Its practical inaccessibility is not its mathematical disappearance. The reduced state is an improper mixed state, not proof that an unknown single branch was selected.

Different interpretations use this result differently. In Bohmian mechanics, disjoint environmental configurations make one occupied branch an effective description of the actual apparatus. In the many-worlds interpretation, robust branches supply approximately autonomous relative records, without a unique global outcome. In the GRW model, a separate stochastic change of the wave function selects a dominant component; environmental decoherence helps explain ordinary records but is not the collapse law. These are different completions of the argument.

Nor does diagonality derive the Born rule. Interpreting the diagonal entries as experienced outcome probabilities requires a probability rule or an interpretive argument. Extremely small overlaps also leave approximations and possible quantum recoherence; a finite controlled environment can in principle be manipulated to reveal the global coherence. The appropriate verdict is that decoherence resolves much of the preferred-record-basis and effective-classicality problem while leaving the unique-outcome and probability problems dependent on further theory. It is an essential physical mechanism in many accounts, not a self-contained solution by relabelling a partial trace as collapse.

The Einstein–Podolsky–Rosen paradox begins with correlations enabling certain predictions about one system from alternative measurements on a separated partner. Its EPR criterion of reality promotes certainty without disturbance to a sufficient condition for an element of reality. Together with a locality premise, the alternative position and momentum predictions motivate simultaneously real quantities not represented by one standard quantum state. The intended conclusion is incompleteness, not a mathematical inconsistency of the predictions.^[ref]

Niels Bohr challenges the inference from absence of mechanical disturbance to a context-independent assignment of reality. He accepts that there is no mechanical disturbance of the distant system at the relevant stage. His response invokes the experimental conditions defining the possible predictions: arrangements establishing a spatial reference and arrangements enabling a momentum balance are complementary. On this view, changing the local measurement changes the whole phenomenon to which a definite property attribution belongs. It does not remotely kick the other particle. His diaphragm discussion illustrates why specifying the apparatus and its reference frame is part of the physical claim.^[ref]

A spin singlet state gives a clean reconstruction. Its state isHere $|0_x⟩=|+⟩$ and $|1_x⟩=|-⟩$; the minus sign is an irrelevant overall quantum phase. Measuring the first spin along either axis predicts the other's same-axis outcome with certainty. But the two alternative local quantum measurements define different conditional ensembles. Averaging over the unread outcome leaves the distant reduced density matrix $I/2$ in both cases. The contrast between conditional prediction and the unchanged distant marginal is quantum steering together with quantum no-signalling.

This explains how consistent quantum predictions can coexist with the absence of an operational remote disturbance. It also identifies what a Bohrian rejection of the EPR inference amounts to: certainty in alternative contexts does not license combining the corresponding property attributions into one context-independent account. Merely invoking the Heisenberg uncertainty principle would not suffice, since EPR specifically argued that locality permits the attribution before any incompatible distant measurements are jointly attempted.

The reply is satisfactory as an articulation of quantum complementarity, but not a demonstration that the EPR locality premise and completeness are jointly sustainable. The critic can distinguish a change in our permissible predictions from a change in the distant physical condition. If the latter really is unchanged, why must the alternative predictions not reveal pre-existing properties? Bohr's contextual standard rejects that demand rather than deriving its impossibility from neutral premises. Later Bell inequalities sharpen the issue: quantum no-signalling does not imply Bell local causality. A satisfactory contemporary account should acknowledge this difference, rather than crediting Bohr with a proof of Bell-local completeness or interpreting his reply as faster-than-light mechanical influence.

Quantum mechanics is compatible with quantum no-signalling, but its full correlations are incompatible with Bell local causality under the usual additional assumptions. The answer depends on which locality condition is meant. A local operational prohibition on controllable faster-than-light communication is weaker than a causal explanation of correlations by a complete shared past.

Let $a,b\in \{-1,1\}$ be outcomes, $x,y$ local settings and $\lambda$ a complete relevant past specification. Bell factorization and measurement independence demandNeither assumes deterministic response. Put $A_x(\lambda )={\sum }_{a}ap(a|x,\lambda )$ and similarly $B_y$, so $|A_x|,|B_y|\le 1$. Pointwise,Averaging with the same $\rho$ for all settings gives the CHSH inequality $|E_{00}+E_{01}+E_{10}-E_{11}|\le 2$. For a spin singlet state, $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. Choose ${\mathbf{a}}_0=\hat{z}$, ${\mathbf{a}}_1=\hat{x}$, ${\mathbf{b}}_0=(\hat{z}+\hat{x})/\sqrt{2}$, ${\mathbf{b}}_1=(\hat{z}-\hat{x})/\sqrt{2}$; the magnitude becomes $2\sqrt{2}$. Thus the assumptions cannot all be maintained.^[ref]

There is nevertheless no signalling contradiction. If a local unread measurement has Kraus operators $M_a$ with ${\sum }_a{M}_a^{†}{M}_a=I$, thenThe equality follows by testing both sides against any distant observable and using cyclicity of the trace. Distant conditional states can differ after selecting $a$, but communicating that selection needs an ordinary message. The microcausality condition in quantum field theory similarly ensures commutation of spacelike-separated local observables; it does not make the vacuum or other entangled quantum states Bell-factorizable.

One can preserve different notions of locality by changing premises. Bohmian mechanics retains unique outcomes but its guidance equation is nonlocal for entangled systems; quantum equilibrium equivariance preserves the equilibrium distribution which masks that dependence from signalling. The many-worlds interpretation can combine local interaction equations with no unique global outcome, but a claim of locality must explain its branch-relative correlations; it has not thereby constructed the above Bell-local single-outcome model. The measurement-independence loophole, including suitable retrocausal or correlated-setting models, drops the shared setting-independent $\rho$ premise. Such models are logical possibilities, not demonstrations that the ordinary locality assumptions survive unchanged.

The justified answer is therefore conditional rather than an unqualified yes or no. Operational locality is retained by the quantum formalism. A theory reproducing all its correlations cannot retain Bell factorization, independent settings and the ordinary joint-outcome framework together. Neither denial of hidden variables nor an appeal to relativity alone removes the probabilistic contradiction.

An empty wave is a nonzero component of the wave function in Bohmian mechanics containing no actual particle configuration. Its persistence is a question about ontology and explanation, not an inconsistent prediction of duplicate detected particles. In de Broglie-Bohm theory, the wave function evolves by the Schrödinger equation while the actual configuration $Q$ evolves by the guidance equation. For spinless particles without a magnetic vector potential,The physical state includes both elements, so a component of $\Psi$ need not contain another set of particles.^[ref]

After a position-recording interaction, write the universal wave function as $\Psi (q,y)=a{\psi }_0(q){\Phi }_0(y)+b{\psi }_1(q){\Phi }_1(y)$, with apparatus configurations $y$ supported in disjoint regions. If the actual $Y$ lies in the first region, ${\Phi }_1(Y)$ and its relevant local derivatives vanish in the ideal disjoint-support model. Evaluating the guidance equation at $(Q,Y)$ therefore gives the velocity field of the occupied component alone. For realistic nearly disjoint packets this is an approximation justified by decoherence. The other component is empty in configuration space, even when the system packets overlap in ordinary SPACE. This is the effective wave function in Bohmian mechanics.

The empty component cannot simply be deleted from the fundamental theory. In a coherent interferometer, separated packets can later overlap and both contribute to the actual probability current. Their relative quantum phase can change the outgoing particle's path. An empty arm is therefore capable of future dynamical significance. When an environment records the alternatives in very many degrees of freedom, restoring their configuration-space overlap is overwhelmingly difficult; that explains effective collapse without a literal change to the universal wave function.

There are two serious objections. First, if every branch has the detailed functional organization of a detector and observer, what additional work do the particles do in making only the occupied branch a world with records? A many-worlds critic can question whether the particle ontology is doing explanatory work rather than merely labelling one branch. The Bohmian response is that ordinary objects and records are constituted by actual configurations, not by every formally similar pattern in $\Psi$. Assessing that response requires an account of material constitution; counting amplitudes alone settles neither side.

Second, the universal wave function affects particles without the usual reciprocal influence of particles on it. This can look unlike a material field. A nomological interpretation of the wave function treats its role more like law than additional matter, although time-dependent effective subsystem waves make that position philosophically demanding.^[ref]

Neither objection licenses assigning ordinary particle energy separately to every empty component as though it contained a second classical apparatus. Such an assignment would require further assumptions. The definite mathematical theory reproduces standard equilibrium statistics while retaining empty components. The problem is the cost and intelligibility of that ontology, especially relative to alternatives, not an unexplained failure of its specified guidance equation.

The GRW model supports robust macroscopic locations, but not universal exact point locations supplied by a list of particle coordinates. It modifies the wave function rather than adding the actual particle configuration of Bohmian mechanics. A claim that objects are located must therefore specify both the collapse dynamics and the proposed ontology. “Localized” is not synonymous with “has compact support” or “is a position eigenstate”.

Using one standard convention, a collapse on constituent $i$ with centre $X$ acts by the GRW localization operatorIts centre has probability density $\Vert L_i(X)\Psi {\Vert }^2$. Independent constituent collapse rates $\lambda$ give a body with $N$ relevant constituents an approximately $N\lambda$ localization rate. Correlations within a macroscopic superposition allow one constituent's localization to suppress an entire alternative configuration: the GRW amplification mechanism.^[ref]

For two narrow packets separated by $d\gg r_C$, a hit near one multiplies the other's relative amplitude approximately by $e^{-d^2/(2r_C^2)}$. This explains a sharply concentrated pointer reading. Yet the Gaussian function is never zero at finite separation. A nonzero distant tail therefore remains, and a finite-width packet is not an exact position eigenstate. This is the tails problem in collapse theories.^[ref] The assertion that each hit produces exact bounded support is false; an initially everywhere nonzero Gaussian wave packet is a concrete counterexample.

A GRW matter-density ontology specifies matter in ordinary SPACE byA macroscopic body's density is concentrated near one region, making its approximate location physically meaningful. The formula is the proposed matter field itself, not a probability distribution over a hidden set of exact point positions. Residual tails correspond to very low density elsewhere, motivating the further question of why such tails do not constitute ordinary rival objects. Concentration provides a practical account of records; a full ontology must also address that structured-tail objection.

A GRW flash ontology instead identifies the primitive events with collapse centres in spacetime. Individual flashes have definite locations and times, while a persisting macroscopic object is a dense pattern of flashes. There is no continuous particle trajectory between them. An isolated microscopic system may flash rarely, so the model must not be read as assigning it an ordinary point location at every instant. Matter-density and flash accounts express distinct ontologies with related empirical predictions.^[ref]

An approximate-location rule, such as requiring almost all matter density inside a suitably sized region, is meaningful if its tolerance and scale are stated. It does not turn the small tail into zero, and arbitrary sharp property thresholds can create artificial counting puzzles. The defensible result is emergent, highly stable macroscopic localization, or exact locations of flashes, depending on the ontology. Exact Bohmian positions are a different theoretical commitment and cannot be attributed to the collapse equation alone.

The Born rule assigns $p_i=⟨\psi |P_i|\psi ⟩$ to a projective measurement with projection operators $P_i$. Its numerical form can be shared by theories while the source of the probabilities differs. Comparing Bohmian mechanics, the GRW model and the many-worlds interpretation exposes three different roles: uncertainty over actual configurations, fundamental stochastic events, and weights for branch-relative expectation.

In Bohmian mechanics, the Schrödinger equation implies a probability continuity equation for $|\Psi {|}^2$ with current $j$, while the guidance equation transports an ensemble density $\rho$ with velocity $v=j/|\Psi {|}^2$:Thus $\rho =|\Psi {|}^2$ is preserved: quantum equilibrium equivariance. If an apparatus interaction produces disjoint configuration regions ${\Gamma }_i$ with occupied-branch norm $|c_i|$, integrating the equilibrium distribution gives $\mathrm{Pr}(Q\in {\Gamma }_i)=|c_i{|}^2$. The actual outcome is fixed by initial configuration; the distribution describes the typical or uncertain configuration, not a fundamental random collapse. Equivariance alone does not prove equilibrium initially: every admissible density is transported by the velocity field. A typicality account privileges the equivariant $|\Psi {|}^2$ measure and then explains subsystem statistics conditionally; that explanatory premise must not be hidden in the continuity equation.^[ref]

In the GRW model, the centre law $p(X)=\Vert L_i(X)\Psi {\Vert }^2$ is part of the stochastic dynamics. Since $\int L_i(X{)}^{†}{L}_i(X)dX=I$, it is normalized. For two well-separated correlated pointer packets with coefficients $a,b$, integration over centres around their respective occupied regions gives approximately $|a{|}^2,|b{|}^2$; cross-contributions are suppressed at separations large compared with $r_C$. This explains why macroscopic records follow the Born rule approximately, without a special postulate applying only when an observer measures. However, the squared-norm centre law already carries the relevant mathematical probability structure. The theory relocates the rule into a universal physical law; it does not derive all probabilities from a deterministic equation. There are also small predicted deviations from standard unitary quantum mechanics.^[ref]

In the many-worlds interpretation, every nonzero decohering component persists, so the question is not which single global branch will survive. It is why a rational observer should use branch weight $|c_i{|}^2$ for expectation or caring about successor records. Equal-amplitude symmetry and decision theory motivate equal weights for physically equivalent alternatives. For rational $|c_i{|}^2=m_i/M$, an ancillary refinement into $m_i$ equal-norm alternatives can motivate weight $m_i/M$, followed by continuity for other amplitudes. This argument requires assumptions that refining irrelevant details does not change value, that preferences respect the relevant quantum symmetries, and that weight tracks the intended notion of expectation. Those are substantive premises, not consequences of branch existence alone.^[ref]

Naive branch counting is unsuitable: decoherence yields approximate, refinement-dependent branches, and splitting one record into more environmental records should not change its weight. Nor is diagonality of a density matrix already an account of probability. The comparison therefore has no common derivation from bare formalism. Bohmian mechanics needs a justified equilibrium or typicality measure, GRW model needs a justified stochastic law, and an Everettian account needs a justified connection from branch structure and rationality to experienced statistics. Each offers a coherent location for the Born rule; the remaining explanatory costs differ.

The Pusey-Barrett-Rudolph theorem excludes overlapping preparation distributions for distinct pure states in an ontological model of a quantum system satisfying preparation independence and the specified quantum predictions. It excludes neither all hidden variables nor every informational use of a quantum state. The precise overlap criterion is essential: a psi-epistemic model lets at least two distinct pure-state preparations assign positive common probability mass to the same underlying states; a psi-ontic model has mutually singular measures for each distinct pair.^[ref]

Let preparation $x$ sample $\lambda \in \Lambda$ from ${\mu }_x$. A fixed quantum measurement $M$ has nonnegative response functions ${\xi }_M(j|\lambda )$ with ${\sum }_j{\xi }_M(j|\lambda )=1$. Averaging over the preparation must reproduce the Born rule. The response is fixed by $M$ and the complete underlying state, not by additional knowledge of the preparation label. No outcome determinism or Bell local causality is assumed; the joint measurement response need not factor into local responses. For independently operated preparations, preparation independence further identifies the joint state space with the appropriate product and assignsOperationally independent devices do not logically entail this ontic factorization; it is an additional physical premise.^[ref]

The two-qubit example can be checked directly. Set $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$. In computational basis order $00,01,10,11$, take the following normalized columns as an orthonormal basis:Their pairwise inner products vanish. Direct multiplication shows that the respective preparations $00,0+,+0,++$ have zero probability amplitude for respective outcomes $1,2,3,4$. This is the PBR exclusion measurement for zero and plus: the measurement does not perfectly distinguish the preparations, but each outcome rules one out.

Suppose a common submeasure $\nu$ of ${\mu }_0$ and ${\mu }_{+}$ has mass $\omega >0$; with densities one can take $\nu (\lambda )=\min \{{\mu }_0(\lambda ),{\mu }_{+}(\lambda )\}$. Preparation independence makes $\nu \otimes \nu$ a common submeasure of all four product preparations, of mass ${\omega }^2$. The zero probability for outcome $j$ under its excluded preparation and nonnegativity forceSumming and using normalization yields ${\omega }^2=0$, a contradiction. This measure formulation avoids treating a set with merely nonempty topological support as a positive-probability overlap.

For arbitrary distinct nonorthogonal pure states, write $|{\psi }_{0,1}⟩=\cos (\theta /2)|0⟩\pm \sin (\theta /2)|1⟩$, with overlap $\cos \theta$ and $0<\theta <\pi /2$. The general proof constructs an exclusion measurement on $n$ independently prepared copies when $2^{1/n}-1\le \tan (\theta /2)$. A finite $n$ always exists. The same common-submeasure contradiction then excludes positive overlap. Orthogonal preparations are already disjoint if their perfectly distinguishing measurement is reproduced. The original paper also bounds residual overlap for imperfect exclusion data; exact disjointness concerns the ideal theorem, not a finite experiment's proof of exact zero.^[ref]

The scope is consequently sharp. Bohmian mechanics is not excluded: its underlying state includes the wave function, making distinct pure preparations disjoint even though extra configuration variables remain. A psi-ontic model need not be complete with the wave function alone, and the theorem does not identify the wave function with a three-dimensional material field. Models abandoning preparation independence, or accounts not representing preparations as uncertainty over observer-independent states of this specified kind, are outside this conclusion. Epistemic uncertainty between mixed preparations is not banned. Nor does the theorem establish a collapse mechanism, choose between Bohmian and Everettian theories, or solve the measurement problem. Its achievement is a conditional impossibility theorem about a precise form of pure-state epistemic overlap.