Local Axiomatization of Quantum Measurement with Decoherence

The standard measurement postulate of quantum mechanics stipulates an instantaneous, non-local update of the global wavefunction upon measurement of an entangled subsystem. This postulate has been a persistent source of foundational tension, both with the locality structure of relativistic physics and with the dynamical character of the decoherence program. We separate the measurement postulate into three logically independent claims: definite outcome realization, Born-rule probability assignment, and instantaneous projection for the global wavefunction. We argue that the third claim can be eliminated at the axiomatic level and propose a modified measurement postulate, Postulate M, that replaces it. Under Postulate M, a single pointer outcome is realized locally when environmental decoherence has einselected a pointer basis at the measurement site; the corresponding selection acts on the global wavefunction as a conditional restriction to a branch rather than as a physical operation on spacelike-separated regions. We show that Postulate M recovers the standard measurement postulate as a limiting idealization for vanishing decoherence time, derives Lüders’ rule for sequential measurements, and yields no-signaling as an automatic structural consequence — not only at the level of measurement statistics but at the level of physical states themselves. Two explicit illustrations in the EPR scenario — with one and with both particles coupled to local spin environments — demonstrate the framework concretely and exhibit its frame-independent, manifestly local character. The framework is built on standard decoherence theory, compatible with multiple candidate mechanisms for single-outcome realization including gravitationally-induced collapse proposals, and naturally situated within a ψ-ontic reading of the quantum state. It represents, we argue, a reformulation of quantum mechanics as a local, state-realist theory — preserving Einstein’s aspiration for an objective physical world in the only form consistent with the empirical content of quantum mechanics, namely realism about the wavefunction rather than about pre-measurement observable values.