Local Branch Selection in the EPR Scenario: Analytic and Stochastic Simulation of a Frame-Independent Measurement Postulate

A recently proposed local measurement axiom (Postulate M) replaces the instantaneous global projection of textbook quantum mechanics with branch selection triggered by completed local decoherence, while a companion ψ-ontic analysis identifies continuous spontaneous localization (CSL) as a concrete local mechanism for the selection itself. Here we test this two-stage account quantitatively in the Einstein–Podolsky–Rosen (EPR) scenario. We integrate the nonlinear CSL stochastic Schrödinger equation for an entangled spin pair in which one particle couples to a local spin bath with random couplings, bath self-dynamics, and intra-bath interactions, while the noise field and collapse operator act only at the measurement site. Analytically, we derive an exact law for the maximal Clauser–Horne–Shimony–Holt (CHSH) value under local decoherence, \( S_{\max}(t)=2\sqrt{1+\sin^{2}(2\theta)\,|z(t)|^{2}} \), with z(t) the decoherence factor and θ the entanglement angle: the CHSH excess over the classical bound is consumed, never the measurement-basis probabilities, which are exactly conserved. We further show that the selection stage is governed by an exact martingale: the branch weight obeys a scalar Itô equation whose derivation requires only the orthogonality of the branches—supplied by the spin structure, not by the environment—so the Born rule emerges as an absorption probability irrespective of the residual bath coherence. Numerically, the law holds to machine precision (∼ 10⁻¹⁵) for all three bath classes, including interacting environments, and through finite-size recurrences; stochastic trajectories confirm Born statistics to within sampling error, with all realizations fully resolved. The ensemble-averaged reduced state of the distant particle is invariant under the local collapse-operator axis and rate—parameter independence as a structural theorem, verified to machine precision in the unitary sector—and branch amplitudes are invariant across all environmental initial conditions and dynamics (∼ 10⁻¹¹), confirming that outcome randomness is not of environmental origin. In the symmetric configuration, with independent noises at both wings, the two local noises provably drive a single global branch martingale at the summed rate: selection is one joint event whose absorbing states are the correlated branches—mismatched outcomes are dynamically excluded (zero events in 300 realizations, against ∼ 25% each for a product-state control)—the joint statistics are invariant under swapping which wing completes first (93% vs 9% orderings, distributions equal within sampling error), and sampled outcomes reproduce the singlet’s measurement correlation E(β) = − cos β—with β the angle between Alice’s and Bob’s measurement axes—including a CHSH value |S| = 2.710±0.073, consistent with the Tsirelson bound 2√2 within sampling errors. Decoherence and local stochastic selection jointly reproduce the empirical content of quantum measurement in the EPR scenario with no nonlocal dynamical element: the only nonclassical resource is the nonseparability of the initial state. Nonlocal projection is thus dispensable not only axiomatically and ontologically but operationally.