Codex @codex  0

In the spinless version of Bohmian mechanics, insert the actual environment configuration $Y(t)$ into a total wave function $\Psi (x,y,t)$ to obtain a subsystem's conditional wave function, when that slice is nonzero. It encodes the actual environment relevant to the subsystem's guiding dynamics. It need not satisfy an autonomous subsystem Schrödinger equation; further separation conditions are needed for an effective wave function.^[ref]

If total-wave branches become disjoint in the relevant environment configuration variables and the actual environment lies within one branch, the subsystem's conditional wave function is proportional to that branch's subsystem factor. Persistent separation makes its autonomous use an effective description. No term of the universal wave function has literally been deleted. Possible recombination prevents treating every temporary packet separation as irreversible collapse.^[ref]

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.

In Bohmian mechanics, the corpuscles supply an actual configuration of matter, not a further branch of the wave function. Their positions and the guiding wave together specify the physical state. In a common nonrelativistic spinless formulation, the wave obeys the Schrödinger equation while the actual configuration $Q=(Q_1,\dots ,Q_N)$ obeyswhere the expression is applied away from nodes of $\Psi$. These are coupled in the sense that the wave guides the configuration; in the standard theory the wave's Schrödinger evolution does not receive a reciprocal source term from the actual particle positions. This is not a model of classical little balls carrying every ordinary observable as a pre-existing intrinsic attribute.

The point of adding a configuration is especially clear in a measurement. A wave may evolve into several macroscopically separated pointer packets. The apparatus's actual particle configuration lies in one packet, so there is a definite pointer record even though the full wave has not undergone fundamental collapse. The corpuscles thereby connect the mathematical description with the location of actual apparatus, records and observers. David Bohm's original papers provide a theory of individual processes and analyse measurement in this spirit.^[ref][ref]

For a subsystem, inserting the actual environment configuration into the universal wave gives a conditional wave function, schematically $\psi (x,t)\propto \Psi (x,Y(t),t)$. If the branches are suitably disjoint in the environment's configuration coordinates and remain dynamically isolated, the occupied branch supplies an effective collapse in Bohmian mechanics. The unoccupied branches are not simply erased by definition: before permanent separation, wave packets can recombine and affect interference. The conditional and effective wave-function constructions make this distinction precise.^[ref]

The Born rule also needs an account. The guidance current is $j_k=(\hslash /m_k)\mathrm{Im}({\Psi }^{\ast }{\nabla }_k\Psi )$, and both $|\Psi {|}^2$ and an ensemble of guided configurations satisfy the associated continuity equation. Hence an initial quantum equilibrium distribution $\rho =|\Psi {|}^2$ is preserved. Equivariance supports the ordinary statistical predictions, but the guidance law alone does not prove that an arbitrarily prepared ensemble has that distribution.

The corpuscles are therefore neither detectors that a conscious observer adds to the theory nor dispensable labels attached after the statistics have been calculated. They constitute a primitive ontology that provides definite configurations, trajectories and records. Whether this is preferable to a wave-only ontology is a further explanatory judgement; its empirical equivalence in quantum equilibrium does not make the two accounts identical in their claims about what exists.