Where Proof Ends: Environmental Ignorance, Observer Definiteness, and the Irreducible Postulate of Quantum Measurement

The quantum measurement problem is often stated as a cluster of puzzles: the preferred basis, the vanishing of interference, the occurrence of definite outcomes, and Born statistics. We argue that unitary quantum mechanics resolves this cluster into exactly two irreducible premises, and we prove two theorems that locate them. The first is an ignorance no-go theorem: environmental ignorance cannot play the role that microstate ignorance plays in classical statistical mechanics. By linearity, the branch amplitudes of the post-measurement state are invariant across all environmental initial conditions and across all admissible dynamics—the environment’s self-interactions, its internal couplings, and its couplings to system and apparatus—so no appeal to what we do not know can generate single-outcome randomness; by the no-hiding theorem, even complete retrieval of the information the environment carries leaves the randomness untouched. The second is a conditional definiteness theorem: given only the premise that perception supervenes on branch-relative memory states, unitary dynamics entails that every internal observer records exactly one definite outcome, cannot record indefiniteness, cannot verify the existence of other branches, provably agrees with every observer in her branch, and records Born-distributed frequencies in norm-typical branches. Together the theorems show that everything in the measurement problem is settled by theorem except a psychophysical supervenience premise and a probability-measure premise. Extant solutions—Everettian, hidden-variable, collapse, and selection-rule approaches—are then classified, exhaustively, by what each must add beyond the theorems.