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

1. Introduction: Disaggregating the Measurement Problem

What remains of the quantum measurement problem once decoherence theory has been given everything it legitimately claims? The question is usually treated as an invitation to interpretive taste. This paper treats it as a question with a provable answer. We show that the problem’s residue can be located exactly—that it is possible to prove where physical argument ends and postulation must begin—and that the residue consists of precisely two premises: one psychophysical, about where experience attaches to the quantum state, and one measure-theoretic, about what grounds the Born weighting. Everything else, we prove, is theorem. The resulting map reorganizes the interpretive landscape: every solution to the measurement problem, extant or future, is a position on the two premises, and can be audited as such.

The problem itself is stated in one paragraph. Prepare a spin-$\frac{1}{2}$ system in the state $|\psi \rangle =\alpha |\uparrow \rangle +\beta |\downarrow \rangle$ and measure the z-component of its spin. The Born rule assigns probability ${\left|\alpha \right|}^2$ to the outcome spin-up and probability ${\left|\beta \right|}^2$ to the outcome spin-down, and every laboratory that has ever performed the experiment confirms the assignment. Yet model the measurement as a physical process—the system coupled to an apparatus, the apparatus to its environment, all governed by the Schrödinger equation—and the model contains no randomness to assign. Unitary evolution is deterministic and linear; it turns the initial product state of system, apparatus, and environment into an entangled superposition of the two outcome-configurations, with the amplitudes $\alpha$ and $\beta$ carried along intact. The randomness must come from somewhere, and the dynamics has nowhere to put it (von Neumann, 1932).

The problem is best engaged disaggregated. Following the spirit of Maudlin’s (1995) decomposition and its refinement in the decoherence literature (Schlosshauer, 2004),(2007), we distinguish four questions:

(Q1) 

The preferred basis. Why do measurements have outcomes in one basis—positions of pointers, and not superpositions of positions—rather than another?

(Q2) 

The suppression of interference. Why are the coherences between macroscopically distinct alternatives never observed?

(Q3) 

Definiteness. Why does any single outcome occur at all, when the dynamics delivers all of them in superposition?

(Q4) 

Statistics. Why do outcomes occur with Born frequencies?

Decoherence theory answers (Q1) and (Q2), and answers them as physics: environmental monitoring dynamically selects the pointer basis, and entanglement with the environment renders interference between pointer alternatives unobservable on timescales that, for macroscopic apparatus, are too short to be observed. Section 2 reviews these results and concedes them in full; nothing in this paper disputes what decoherence has achieved.

The paper is about (Q3) and (Q4), and its thesis is that their status can be settled by theorem—not answered by theorem, but mapped by theorem: it can be proven exactly where physical argument ends and postulation must begin. We prove two results.

The first, the ignorance no-go theorem (Section 3), forecloses the most natural hypothesis about (Q4): that quantum randomness works like classical randomness, arising from ignorance of untracked degrees of freedom—in the measurement context, the environment. We show that no probability measure over unknown environmental initial conditions can play the role that the microstate measure plays in classical statistical mechanics, for a structural reason: linearity makes the branch amplitudes of the post-measurement state invariant across every environmental initial condition, so there is no environmental fact for the outcome to be a function of. The theorem extends to the dynamics itself (Corollary 2), and by the no-hiding theorem the impotence survives even complete retrieval of the information the environment carries (Remark 1). Classical ignorance is ignorance of which outcome; quantum environmental ignorance is only ever ignorance of which superposition obtains, and of the details of a decoherence that has removed the coherence anyway.

The second, the conditional definiteness theorem (Section 4), establishes how much of (Q3) and (Q4) unitary quantum mechanics answers without any addition. Modeling the observer as one more physical system in the measurement chain, we show: every branch-relative memory state contains exactly one definite outcome record, and records of indefiniteness have amplitude exactly zero; the records are dynamically stable; no internal observer can verify the existence of branches other than her own, both for quantitative decoherence reasons and by a structural self-measurement no-go (Breuer, 1995); observers within a branch provably agree; and recorded frequencies are Born-distributed in norm-typical branches. All of this is theorem. What it does not deliver—and, we argue, cannot—is contained in two premises: that experience supervenes on branch-relative states rather than on the global state—that is, it is wholly fixed by them, so that no difference in experience is possible without a difference in the underlying state (the premise we call (S))—and that the squared-amplitude measure is the arbiter of typicality (the premise we call (B)).

The payoff of the two theorems is a claim of completeness (Section 5): within unitary quantum mechanics, the measurement problem is the conjunction of the question whether (S) is true and the question what grounds (B). This residue claim induces a classification of the interpretive landscape that we argue is exhaustive: every response to the measurement problem that offers a physical account of outcomes either retains the unitary formalism and pays (S) and (B) in philosophical currency (the Everettian family), or denies the completeness of the quantum state and pays them transposed (hidden variables), or denies exact unitarity and pays them in new physical law (collapse and selection-rule approaches). Section 6 defends the theorems’ significance and the classification’s exhaustiveness against the four strongest objections we know.

A word on how the first theorem relates to prior impossibility results. The insolubility theorems of the measurement problem (Fine, 1970; Shimony, 1974; Brown, 1986; Busch and Shimony, 1996; Bassi and Ghirardi, 2000) show that no unitary evolution takes the relevant initial states to final states describable as proper mixtures over outcomes: unitarity does not objectify. The ignorance no-go theorem is aimed differently. Its target is not objectification but an explanatory strategy—the statistical-mechanical proposal that outcome randomness is grounded in a measure over unknown conditions. It thereby explains why the trace-based ignorance reading of the reduced density matrix, perennially tempting and perennially rebuked, cannot be repaired: the ignorance it posits has no referent. The two results are complementary: the insolubility theorems say unitarity does not objectify; the no-go theorem says that what unitarity leaves unknown is never the thing an outcome could be a function of.

Our conclusions are modest in one respect and strong in another: we argue for no interpretation, but the map itself is offered as exact, and every solution, present or future, must station its postulate on the far side of the boundary the theorems locate.

2. Setup: The Measurement Chain and What Decoherence Settles

This section fixes notation, states the measurement scheme, and records the results of decoherence theory that the rest of the paper takes as given. Nothing here is new; the section’s function is to concede, precisely and in full, everything that unitary dynamics plus environmental entanglement has legitimately established, so that Section 3 and Section 4 can operate on uncontested ground.

2.1. The Chain and the Two Postulates of the Textbook

The textbook presentation of quantum mechanics contains two dynamical rules. Between measurements, states evolve unitarily under the Schrödinger equation. Upon measurement, the projection postulate applies: the state jumps, discontinuously and stochastically, to an eigenstate of the measured observable, with probability given by the Born rule. The measurement problem, in the vocabulary of Section 1, is that the second rule is stated in terms (“upon measurement”) that the first rule, applied to measurement devices as physical systems, does not recognize.

The physical model of measurement is von Neumann’s (1932). Let $\mathcal{H}={\mathcal{H}}_S\otimes {\mathcal{H}}_A\otimes {\mathcal{H}}_E$ comprise the measured system S (for us, a spin-$\frac{1}{2}$ system with basis $|\uparrow \rangle ,|\downarrow \rangle$), the apparatus A with ready state $|A_0\rangle$ and pointer states $|A_{\uparrow }\rangle ,|A_{\downarrow }\rangle$, and the environment E—everything else that interacts with either: ambient photons and gas molecules, the apparatus’s own internal microscopic degrees of freedom, the laboratory. The measurement interaction correlates pointer with system,

$$|s\rangle |A_0\rangle ⟶|s\rangle |A_s\rangle ,s\rangle \{\uparrow ,\downarrow \},$$

(1)

and linearity, applied to the initial state $\left(\alpha \right|\uparrow \rangle +\beta |\downarrow \rangle )|A_0\rangle$, yields the entangled superposition $\alpha |\uparrow \rangle A_{\uparrow }+\beta |\downarrow \rangle |A_{\downarrow }\rangle$. The projection postulate would now select one term; the Schrödinger equation does not. Everything in this paper is about the logical space between those two sentences.

2.2. Einselection: The Environment as Monitor

The environment is not a nuisance term. The insight of the decoherence program (Schlosshauer, 2007; Zeh, 1970; Zurek, 1981,8, 2003; Joos and Zeh, 1985; Joos et al., 2003) is that the environment continuously monitors the apparatus: the interaction Hamiltonian $H_{AE}$ correlates environmental degrees of freedom with the pointer variable, exactly as (1) correlates the pointer with the spin. Which apparatus states survive this monitoring intact is a dynamical question with a dynamical answer: the states robust under $H_{AE}$ are those that commute with it—the pointer states, selected by the stability criterion (the “predictability sieve”) rather than decreed by the theorist. This is environment-induced superselection, einselection. For macroscopic apparatus the einselected basis is approximately the position basis: pointers point somewhere. The commutation condition $[H_{\mathrm{int}},{\Pi }_s]\approx 0$—the quantum-non-demolition condition—recurs throughout this paper: it is what premise (P2) of Section 3.2 formalizes, what constrains the system-coupling terms in Corollary 2, and what stabilizes the observer’s memory states in Section 4.1. Question (Q1) is hereby answered, and answered by dynamics: the preferred basis is the monitored-and-stable basis.

Monitoring has a second consequence. The environmental states correlated with distinct pointer states become, with extreme rapidity, very nearly orthogonal:

$$|\langle E_{\uparrow }\left(t\right)|E_{\downarrow }\left(t\right)\rangle |\sim \rangle e^{-t/{\tau }_D},$$

(2)

with the decoherence time ${\tau }_D$, for macroscopic pointer separations, orders of magnitude below every thermal and perceptual timescale. Once $\langle E_{\uparrow }|E_{\downarrow }\rangle \approx 0$, no measurement confined to $S+A$ can detect interference between the pointer alternatives: the coherences—the interference-carrying cross terms—have been delocalized into system–environment correlations, accessible only to global observables that Section 4.4 will show no internal observer commands. Question (Q2) is hereby answered, likewise by dynamics: interference is not forbidden but exported, at a rate that makes its recovery a non-option for macroscopic branches.

2.3. What the Reduced State Is, and Is Not

It is at the next step that concession must turn to caution. The post-measurement state of $S+A+E$ is pure and entangled. The Schmidt decomposition settles the mathematics: the reduced state of either part is mixed if and only if the whole is entangled, and mixedness of a subsystem and entanglement of the whole are two descriptions of one structure.

This fixes what the reduced state’s mixedness is: an objective consequence of entanglement, fully present for an agent who knows the global pure state exactly. They thereby also fix what it is not: it is not epistemic uncertainty about which pure state the subsystem occupies. The distinction is d’Espagnat’s (1966; 1995), and it underwrites everything that follows. A proper mixture describes an ensemble in which each individual system is in some definite pure state, unknown to the describer; its weights quantify ignorance. An improper mixture is the reduced description of an entangled whole; the subsystem is not in any pure state, and there is no fact, unknown or otherwise, about which pointer state obtains. The two are indistinguishable by measurements on the subsystem alone but distinguishable by correlation measurements on the whole, so the identity of their local statistics licenses no identity of their readings. The perennial temptation is to let the diagonal form of the decohered reduced state underwrite the proper reading after all; Section 3 proves the temptation is not merely illegitimate but empty.

2.4. The Ledger After Decoherence

The concessions, then, in full. Decoherence answers (Q1): the pointer basis is einselected by the interaction, not postulated. It answers (Q2): interference between pointer alternatives is dynamically delocalized beyond recovery. It supplies, further, the raw materials this paper builds with: the branching structure of the global state, the orthogonality (2) that makes branches autonomous, the stability criterion that will define records, and the redundant environmental imprinting that Section 4.5 turns into intersubjectivity. What decoherence does not do—what its own founders state it does not do (Schlosshauer, 2007; Zurek, 2003; Zeh, 1997; Joos, 2000), and what its most sustained critique presses (Adler, 2003)—is select a branch or ground a probability. The global state retains every branch with its original amplitude; the reduced state’s diagonality is an improper mixedness that licenses no ignorance reading. Questions (Q3) and (Q4) stand open, and the temptation to close them by appeal to what we do not know about the environment is the subject of the next section.

3. The Ignorance No-Go Theorem

The most natural hypothesis about the origin of quantum randomness is that it works the way classical randomness works: the outcome is determined, but by degrees of freedom we do not track, so the system’s behavior merely appears random. In the quantum measurement context the untracked degrees of freedom are those of the environment, and the hypothesis takes the form: the measurement outcome is a function of what we do not know about the environment—its initial microstate, its self-dynamics and internal interactions, and its uncontrolled couplings to system and apparatus—and the Born probabilities are the measure of the conditions leading to each outcome. Decoherence theory, by making the environment dynamically central, appears to invite exactly this reading. This section proves that the reading is not available. The obstruction is not practical but structural: linearity makes the branch amplitudes invariant across all environmental initial conditions and across the environment’s unknown dynamics—its self-interactions, its internal couplings, and its uncontrolled couplings to system and apparatus—so there is nothing in the environment for the outcome to be a function of.

3.1. The Classical Ignorance Schema

We first state precisely what environmental ignorance would have to deliver. In classical statistical mechanics, apparent randomness has a canonical structure, which we state in general form before specializing it to the environment.

Definition 1 

(Ignorance model of randomness). Let Λ be a space of microstates, μ a probability measure on Λ encoding the experimenter’s ignorance, and R a set of macroscopic outcomes. An ignorance model of an experiment is a measurable function

$$f:\Lambda \to R$$

(3)

such that the observed outcome statistics are recovered as $Pr\left(r\right)=\mu \left(f^{-1}\left(r\right)\right)$ for each $r\in R$.

Every classical stochastic phenomenon fits this schema: for a coin toss, $\Lambda$ comprises initial positions and momenta, f is the flight dynamics, and $\mu \left(f^{-1}\left(\mathrm{heads}\right)\right)\approx 1/2$ because the heads and tails cells of $\Lambda$ finely interleave. The two structural commitments, which any ignorance account of randomness must satisfy, are: (i) each microstate yields a single definite outcome, and (ii) the probabilities arise as the measure of outcome cells, the sets $f^{-1}\left(r\right)$ partitioning $\Lambda$.

The environmental-ignorance hypothesis for quantum measurement is then the claim that there exists an ignorance model in which $\Lambda$ is (or includes) the set of possible initial environment states, $R=\{\uparrow ,\downarrow \}$, and $\mu \left(f^{-1}(\uparrow )\right)={\left|\alpha \right|}^2$. The theorem below shows that no such f exists: premise (i) already fails, for every environmental microstate, and therefore the partition required by (ii) never forms.

3.2. Setup and Premises

Let $\mathcal{H}={\mathcal{H}}_S\otimes {\mathcal{H}}_A\otimes {\mathcal{H}}_E$ with $dim{\mathcal{H}}_S=2$, spanned by the pointer-basis states $|\uparrow \rangle ,|\downarrow \rangle$ dynamically selected by einselection as reviewed in Section 2.2. Write $|{\psi }_S\rangle =\alpha |\uparrow \rangle +\beta |\downarrow \rangle$ with ${\left|\alpha \right|}^2+{\left|\beta \right|}^2=1$ and $\alpha \beta \ne 0$. Let $\mathcal{E}\subseteq {\mathcal{H}}_A\otimes {\mathcal{H}}_E$ denote the set of admissible initial apparatus-plus-environment states; we impose no structure on $\mathcal{E}$ beyond normalization—its elements may be product states, apparatus–environment entangled states, or purifications of thermal states.

The premises:

(P1) 

Unitarity. The measurement interaction is a unitary U on $\mathcal{H}$, hence linear.

(P2) 

Faithfulness.U measures the pointer observable: for every $|\Xi \rangle \in \mathcal{E}$ and each $s\in \{\uparrow ,\downarrow \}$,

$$U\left(|s\rangle \otimes |\Xi \rangle \right)=|s\rangle \otimes |{\Phi }_s(\Xi )\rangle ,$$

(4)

where $|{\Phi }_{\uparrow }(\Xi )\rangle ,|{\Phi }_{\downarrow }(\Xi )\rangle \in {\mathcal{H}}_A\otimes {\mathcal{H}}_E$ are the correlated apparatus–environment states, with $\langle {\Phi }_{\uparrow }(\Xi )|{\Phi }_{\downarrow }(\Xi )\rangle \approx 0$ on the decoherence timescale. Faithfulness is not an auxiliary assumption; it is what makes the interaction a measurement of the pointer observable at all. An interaction violating (4) for some $|\Xi \rangle \mathcal{E}$ fails to correlate the record with the measured quantity for that initial condition and drops out of the problem.

(P3) 

State supervenience. The outcome, if any, supervenes on the post-measurement quantum state of $S+A+E$. There are no further physical variables.

(P3) makes explicit that we are testing the environmental-ignorance hypothesis within unitary quantum mechanics, as its proponents intend. Theories that add variables—Section 3.5—deny (P3) and are thereby additions to the formalism, not readings of it.

3.3. The Theorem

Lemma 1 

(Amplitude invariance). Under (P1) and (P2), for every $|\Xi \rangle \in \mathcal{E}$,

$$U\left(\left(\alpha \right|\uparrow \rangle +\beta |\downarrow \rangle )\otimes |\Xi \rangle \right)=\alpha \uparrow \otimes |{\Phi }_{\uparrow }(\Xi )\rangle +\beta \downarrow \otimes |{\Phi }_{\downarrow }(\Xi )\rangle .$$

(5)

Proof. 

Immediate from linearity of U applied to (4). □

The content of the lemma is the quantifier: the amplitudes $\alpha ,\beta$ in (5) are the same for every element of $\mathcal{E}$. The environmental initial condition enters only inside the branch states $|{\Phi }_s(\Xi )\rangle$; it never touches the branch weights.

Theorem 1 

(Ignorance no-go). Assume (P1)–(P3) and $\alpha \beta \ne 0$. Then there exists no ignorance model (Definition 1) with $\Lambda =\mathcal{E}$, $R=\{\uparrow ,\downarrow \}$, and any probability measure μ on $\mathcal{E}$, reproducing the Born statistics. In particular there is no function $f:\mathcal{E}\to \{\uparrow ,\downarrow \}$ assigning outcomes to environmental initial conditions.

Proof. 

Suppose such an f exists. By (P3), $f(\Xi )$ must supervene on the post-measurement state (5): microstates in $f^{-1}(\uparrow )$ must yield post-measurement states that realize outcome ↑ and not ↓, and conversely. But by Lemma 1, the post-measurement state for every $\Xi \in \mathcal{E}$ contains both branches with the fixed nonzero amplitudes $\alpha$ and $\beta$. The states $\left\{U\right(\left(\alpha \right|\uparrow \rangle +\beta |\downarrow \rangle )\otimes \Xi ):\Xi \in \mathcal{E}\}$ are therefore uniform in the only respect that could ground an outcome assignment: none is an outcome-↑ state to the exclusion of ↓, and none is an outcome-↓ state to the exclusion of ↑. Any f discriminating between them must discriminate on features—the interior structure of $|{\Phi }_s(\Xi )\rangle$—that are, by construction, the same across both branches of any single post-measurement state and hence cannot select between the branches. So $f^{-1}(\uparrow )$ and $f^{-1}(\downarrow )$ cannot be defined consistently with (P3), and no measure $\mu$ has cells whose weights could equal ${\left|\alpha \right|}^2$ and ${\left|\beta \right|}^2$. □

Corollary 1 

(Mixed environments). The conclusion is unchanged if the environment is assigned a mixed state ${\rho }_{AE}={\sum }_i{p}_i|{\Xi }_i\rangle |{\Xi }_i\rangle$. Conditioning on the unknown index i yields, for each i, the pure state (5) with $\Xi ={\Xi }_i$: a two-branch superposition with amplitudes $\alpha ,\beta$. The ignorance encoded in $\left\{p_i\right\}$ is ignorance about which superposition obtains, never about which outcome obtains.

Corollary 1 is where the disanalogy with classical statistical mechanics becomes exact. In the classical coin toss, conditioning on the microstate dissolves the randomness: each $\lambda$ yields one outcome, and probability lives entirely in $\mu$. In the quantum case, conditioning on the environmental microstate dissolves nothing: each ${\Xi }_i$ yields the same both-outcome state with the same weights. Classical ignorance is ignorance of which outcome; quantum environmental ignorance is ignorance of which both-outcome state. No refinement of the latter converges on the former. The randomness of the individual quantum outcome, wherever it comes from, does not come from what we fail to know about the environment.

Remark 1 

(No hiding). The conclusion carries an information-theoretic edge. The no-hiding theorem (Braunstein and Pati, 2007), confirmed experimentally (Samal et al., 2011), states that quantum information missing from a system cannot be concealed in system–environment correlations: it resides, in principle recoverably, in the environment alone. Combine this with Theorem 1. An agent who retrieves everything the environment holds—eliminating the alleged ignorance completely—retrieves the discarded correlations and still obtains no outcome, because (5) contains none to retrieve. The environment carries all of the missing information and none of the answer. Ignorance whose complete elimination leaves the randomness untouched was never the source of the randomness.

Remark 2 

(Robustness). The theorem uses no idealization that favors it. (a) It does not require the environment to be initially uncorrelated with the apparatus: $\mathcal{E}$ lives on ${\mathcal{H}}_A\otimes {\mathcal{H}}_E$ jointly. (b) It does not require perfect decoherence; the overlap $\langle {\Phi }_{\uparrow }|{\Phi }_{\downarrow }\rangle$ appears nowhere in the proof. (c) It does not require the pointer states to be exactly orthogonal or the measurement to be non-disturbing on S; replacing (4) with $U(||s\rangle \otimes |\Xi \rangle )=|s^{\prime }\rangle \otimes |{\Phi }_s(\Xi )\rangle$ for relabeled system states $s^{\prime }$ changes nothing. (d) Enlarging Λ to include the apparatus microstate, the laboratory, or the rest of the universe only enlarges $\mathcal{E}$; the quantifier in Lemma 1 already ranges over all of it. (e) Ignorance of the dynamics itself is covered by Corollary 2 below.

Corollary 2 

(Dynamical ignorance). Decompose the total Hamiltonian as

$$H=H_S+H_A+H_E+H_{SA}+H_{SE}+H_{AE}+H_{EE},$$

(6)

where $H_{EE}$ collects intra-environment interactions and $H_E$ the environment’s self-dynamics, and suppose any subset of these terms is unknown, so that the dynamics is some member of a family ${\left\{U_g\right\}}_{g\in G}$. If each $U_g$ satisfies (P2), then Lemma 1 holds for every g separately with the same amplitudes $\alpha ,\beta$, and Theorem 1 extends verbatim to the enlarged ignorance space $\Lambda =\mathcal{E}\times G$: no probability measure over initial conditionsanddynamical parameters jointly can reproduce the Born statistics as ignorance.

Proof. 

Linearity of each $U_g$ gives (5) with g-dependent branch states $|{\Phi }_s^{\left(g\right)}(\Xi )\rangle$ and g-independent amplitudes. The proof of Theorem 1 then applies with $(\Xi ,g)$ in place of $\Xi$. □

Two features of the decomposition (6) deserve emphasis. First, $H_E$, $H_{EE}$, and $H_{AE}$ act trivially on the system and cannot violate (P2) at all: their unknown details scramble only the interior of the branch states. The hypothesis that quantum randomness hides in the environment’s complicated internal dynamics is thereby refuted unconditionally, not merely for idealized environments. Second, $H_{SA}$ and $H_{SE}$ enter (P2) through the quantum-non-demolition condition that defines the pointer basis; unknown parameters within this class fall under Corollary 2. An unknown coupling violating the condition offers no escape either: it changes which observable is einselected, not which outcome occurs, and the post-interaction state remains a fixed-amplitude superposition in the rotated basis. Ignorance of the dynamics, like ignorance of the initial conditions, is always ignorance of which superposition obtains.

3.4. Corollary: The Circularity of Trace-Based Derivations

Theorem 1 explains why a familiar circularity objection is not a mere technicality. The reduced state of $S+A$ after decoherence,

$${\rho }_{SA}={Tr}_E|\Psi \rangle \langle \Psi |\approx {\left|\alpha \right|}^2|\uparrow ,A_{\uparrow }\rangle \langle \uparrow ,A_{\uparrow }|+{\left|\beta \right|}^2|\downarrow ,A_{\downarrow }\rangle \langle \downarrow ,A_{\downarrow }|,$$

(7)

displays the Born weights on its diagonal, and it is tempting to read (7) as an ignorance-interpretable ensemble: the system is in one pointer state, probability ${\left|\alpha \right|}^2$, we merely do not know which. The temptation should now be resistible on two independent grounds. First, (7) is an improper mixture: the global state is the pure vector (5), and Theorem 1 shows there is no underlying variable—environmental or otherwise, within (P3)—whose unknown value the diagonal weights could be quantifying. The ignorance interpretation of (7) is not merely unwarranted; the theorem shows the ignorance it would have to be ignorance of does not exist. Second, the partial trace is itself a Born-rule operation: its status as the unique map yielding correct expectation values for local observables presupposes that probabilities attach to measurement outcomes via $\langle O\rangle =Tr\left(\rho O\right)$. Deriving outcome probabilities from (7) therefore assumes what it derives. Zurek’s envariance (entanglement-assisted invariance) program (Zurek, 2005) sharpens the assumptions but does not escape the structure: envariance derives the values of the probabilities from symmetries of the entangled state, conditional on the premise that probabilities attach to branches at all—precisely the premise an ignorance model was supposed to supply and, by Theorem 1, cannot.

The circularity objection has a distinguished history: it is pressed in detail by Adler (2003), whose assessment—that decoherence, for all its successes with the preferred basis and the suppression of interference, has not solved the measurement problem—rests substantially on the observation that trace-based routes to definite outcomes and Born probabilities presuppose the probabilistic interpretation they are meant to deliver. Theorem 1 may be read as converting that critique from a diagnosis into an impossibility result, and as strengthening it in one respect. Adler’s point is that the extant derivations are circular; the theorem shows that the resource they implicitly draw on is empty in principle: the branch amplitudes are invariant across every environmental initial condition and every admissible environmental dynamics, so no non-circular derivation from environmental ignorance exists to be found. The failure is not a defect of the derivations attempted so far but a structural feature of unitarity itself.

3.5. Escape Routes, Classified

The theorem’s premises are three, so its negations classify the exits. This classification underwrites the central claim of Section 5; here we record it.

Denying (P3): add variables. Bohmian mechanics (Bohm, 1952) assigns the outcome to particle configurations $\lambda$ beyond the quantum state, with the ${\left|\psi \right|}^2$ measure over $\lambda$ supplying an ignorance model in exactly the sense of Definition 1. This succeeds precisely because $\Lambda$ is not the environment’s quantum state: it is new ontology. The lesson of Theorem 1 is that hidden variables must be hidden additions—the variables already present in the unitary formalism cannot do the work. Superdeterministic models likewise deny (P3) (and statistical independence besides); they inherit the same classification.

Denying (P1): modify the dynamics. Objective collapse theories—GRW (Ghirardi et al., 1986), CSL (Pearle, 1989)—replace U with a stochastic nonlinear evolution, introducing randomness as fundamental dynamics rather than ignorance. The theorem does not touch them; it entails that something like them—or like the selection rules discussed below—is needed if single outcomes are fundamental.

Denying nothing: reinterpret the explanandum. Everettian quantum mechanics accepts (P1)–(P3) and concludes, validly, that both branches are realized; the appearance of a single random outcome is then relocated to the perspective of internal observers. Whether the relocation succeeds is the subject of Theorem 2.

Selection rules. A fourth class accepts the branching structure (5) and the decoherence condition $\langle {\Phi }_{\uparrow }|{\Phi }_{\downarrow }\rangle \approx 0$ as the physical trigger for a non-unitary selection event in which one branch is realized with Born probability. Such rules deny (P1) locally and eventwise rather than globally and continuously. Theorem 1 delimits their job description: the selection must be genuinely stochastic, because the theorem forecloses the possibility that its randomness is secretly environmental ignorance. A concrete postulate of this class, with an analysis of its symmetry and frame-independence properties and a stochastic implementation, is developed in Wang (2026a,2); Theorem 1 supplies the in-principle argument for why the stochastic element there cannot be eliminated in favor of environmental ignorance.

What no exit can do is remain: within (P1)–(P3), the randomness of the individual outcome has no source, because the individual outcome has no existence. That is the precise sense in which the definite-outcome problem survives decoherence, and the sense we make exact for observers in the next section.

4. The Conditional Definiteness Theorem

Theorem 1 forecloses one origin for the randomness of the individual outcome. The natural response is to ask whether the individual outcome, as something over and above the unitarily evolving global state, is needed at all. This section proves what unitary quantum mechanics, taken alone, entails about observers: definite records, no records of indefiniteness, stability, intersubjective consistency, unverifiability of other branches, and Born statistics in the norm measure. Each is a theorem. What converts them into a solution is a psychophysical premise that is not, and the burden of this section is to draw that line exactly.

4.1. The Observer in the Chain

Extend the von Neumann chain of Section 3.2 by an observer O with Hilbert space ${\mathcal{H}}_O$, treated as a physical system without further ceremony: whatever else an observer is, it includes a physical memory whose states can become correlated with the pointer. Single out a ready state $|O_0\rangle$ and record states $|O_{\uparrow }\rangle ,|O_{\downarrow }\rangle$, mutually orthogonal, in which the memory registers the corresponding outcome. Crucially, ${\mathcal{H}}_O$ is not exhausted by these: it contains arbitrary superpositions $a|O_{\uparrow }\rangle +b|O_{\downarrow }\rangle$ and, in any realistic model, further states $|O_{?}\rangle$ that would constitute a record of indefiniteness—“the pointer looked blurred,” “I saw both.” Nothing in what follows assumes such states are unavailable; the theorem is that the dynamics never populates them.

The readout premise, parallel to (P2):

(P4) 

Readout faithfulness. The observer’s perception of the apparatus is itself a measurement-type interaction: a unitary V on $\mathcal{H}$ (now including ${\mathcal{H}}_O$) with

$$V\left(|s\rangle |A_s\rangle |E_s\rangle |O_0\rangle \right)=|s\rangle |A_s\rangle |E_s^{\prime }\rangle |O_s\rangle ,s\in \{\uparrow ,\downarrow \},$$

(8)

for the decohered pointer states, with $|E_s\rangle$ the branch-correlated environment state inherited from the measurement stage and $|E_s^{\prime }\rangle$ its post-readout continuation. The asymmetry between the factors is physical: the apparatus state is unchanged because pointer states are einselected precisely for robustness under monitoring—a record that reading disturbs is not a record—while the environment, carrying no such requirement, is the very medium of the readout, which proceeds by absorption of environment fragments already bearing the pointer correlation.

As with (P2), faithfulness is constitutive rather than optional: an interaction violating (8) is a failure of perception—a misreading—for that pointer state, and a systematic violation would mean O is not looking at the apparatus at all. And as with (P2), the premise is where einselection does its work: the record states $|O_s\rangle$ are themselves pointer states of the observer’s memory, stabilized by the memory’s own environmental monitoring.

The premise that is not parallel to anything in Section 3:

(S) 

Supervenience. The perceptual experience of the observer supervenes on the observer’s branch-relative memory state: the experience associated with the branch containing $|O_s\rangle$ is the experience of having perceived outcome s, and states of experience do not vary without variation in the relative memory state.

(S) is a psychophysical bridge principle. It is entirely natural—it says that what an observer experiences is fixed by the physical state of the observer—but it is not a statement about vectors in Hilbert space, and no amount of unitary dynamics entails it. Section 4.7 returns to its status; until then we prove what follows from (P1), (P2), (P4) alone, flagging exactly where (S) enters.

4.2. No Record of Indefiniteness

Lemma 2 

(Record definiteness). Under (P1), (P2), (P4), the state of the total system after measurement and readout is

$$|\Psi \rangle =\alpha |\uparrow ,A_{\uparrow },E_{\uparrow },O_{\uparrow }\rangle +\beta |\downarrow ,A_{\downarrow },E_{\downarrow },O_{\downarrow }\rangle ,$$

(9)

in which the amplitude of every memory state orthogonal to $\left\{\right|O_{\uparrow }\rangle ,|O_{\downarrow }\rangle \}$—in particular of every indefiniteness record $|O_{?}\rangle$—is exactly zero.

Proof. 

Apply V to each branch of (5) via (8) and use linearity. Both operations are basis expansions; no term with memory component outside the span of $|O_{\uparrow }\rangle ,|O_{\downarrow }\rangle$ is generated. □

The lemma has a corollary that is easy to state carelessly and worth stating carefully. Ask, of the state (9), the question: “does the observer’s memory contain a definite outcome record?” Relative to the first branch, the answer recorded is yes, outcome ↑; relative to the second, yes, outcome ↓. There is no branch relative to which the recorded answer is no. Superposition of the observer never appears to the observer as superposition; it appears, in every relative state, as one definite outcome. This is the exact sense in which Everett’s relative-state formulation recovers the appearance of collapse.

Note what the lemma does not say. It does not say that one of the two records is the record, nor that the observer is in one branch. The state (9) contains both records with the irremovable amplitudes of Lemma 1. The lemma constrains the content of records, not their cardinality.

4.3. Stability of Records

Records that could recohere would be records only courtesy of timing. Two decoherence results secure permanence. First, the memory states $|O_{\uparrow }\rangle ,|O_{\downarrow }\rangle$ continuously monitored by their own environment, so the branch environment states satisfy $\langle E_{\uparrow }|E_{\downarrow }\rangle \approx 0$ with the overlap suppressed exponentially in the number of environmental degrees of freedom, on timescales far shorter than any perceptual process. Second, undoing this orthogonality requires unitary control of essentially every environmental degree of freedom carrying which-branch information, including radiation escaped to null infinity; for macroscopic records this is forbidden for any agent lacking access to the total system, which by Section 4.4 includes every internal agent. The branches of (9) are therefore dynamically autonomous: records, once made, are final.

4.4. Interbranch Inaccessibility

Could the observer at least verify that the other branch is there? Two results, of different modal strength, say no.

Operational inaccessibility. Any measurement certifying the presence of both branches of (9) is a measurement of an interference observable—one with nonvanishing matrix elements between the branches, hence one that fails to commute with the observer’s own memory observable. For the reasons of Section 4.3, implementing such an observable requires coherent control of the entire branch content, environment included. Within unitary quantum mechanics the obstruction is quantitative but, for macroscopic branches, absolute in practice.

Self-measurement inaccessibility. The stronger result is due to Breuer (1995): no measuring device can obtain, in its own records, complete information about the state of a system in which it is properly included. The argument is structural rather than dynamical. The observer’s record is carried by the state of O, which is a reduced state of the total system; distinct total states that differ only in their correlations with O’s own memory induce record states that cannot consistently register that difference. To do so, the record would have to differ from itself. The map from global states to internal records is therefore non-injective, and the information lost includes precisely the global phase relations that distinguish the superposition (9) from a single-branch state. For the internal observer, the existence of the other branch is not a hard measurement but a non-measurement: no record state of O can carry it.

The conjunction upgrades the epistemology: unobserved branches are not a lamentable technological limitation but what unitary quantum mechanics predicts, structurally, for any physically realized observer. A theory whose extra ontology is provably unobservable from inside is dialectically delicate—but not refuted by the unobservability.

4.5. Intersubjective Agreement

A single observer’s definite record would be cold comfort if two observers could disagree. They cannot, and the reason is a structural feature of decoherence emphasized by quantum Darwinism (Ollivier et al., 2004; Zurek, 2009): the environment is not a passive sink for coherence but a broadcast medium. The which-outcome information is redundantly imprinted in very many disjoint environment fragments—photons scattered from the apparatus pointer being the canonical example—so that a second observer $O^{\prime }$, accessing any small fragment $F\subset E$, undergoes a readout interaction of exactly the form (8) with F in place of A. Linearity then extends (9) to

$$\alpha |\uparrow ,A_{\uparrow },E_{\uparrow },O_{\uparrow },O_{\uparrow }^{\prime }\rangle +\beta |\downarrow ,A_{\downarrow },E_{\downarrow },O_{\downarrow },O_{\downarrow }^{\prime }\rangle :$$

(10)

correlated records occupy the same branch; anticorrelated records ($O_{\uparrow }$ with $O_{\downarrow }^{\prime }$) have amplitude zero, by the same expansion argument as Lemma 2. Within a branch, all observers agree, and can verify the agreement by ordinary communication—itself one more readout interaction. The objectivity of the classical world, on this account, is redundancy plus linearity: a “fact” is a record all locally accessible copies of which coincide. Disagreement between observers about the outcome is not improbable; it is amplitude-zero.

4.6. Born Statistics as Typicality

Finally, the statistics. Let the measurement be repeated on N identically prepared systems, the observer recording each outcome, so that the total state is a superposition of $2^N$ memory-sequence branches $|O_{s_1{s}_2\dots s_N}\rangle$ with amplitudes ${\prod }_i{c}_{s_i}$, $c_{\uparrow }=\alpha$, $c_{\downarrow }=\beta$. Define the deviation set $D_{N,ϵ}$ of sequences whose relative frequency of ↑ differs from ${\left|\alpha \right|}^2$ by more than $ϵ$. Everett’s typicality theorem (Everett, 1957; Hartle, 1968; Farhi et al., 1989) states that the total squared norm of the branches in $D_{N,ϵ}$ tends to zero as $N\to \infty$, for every $ϵ>0$. In the norm measure, branches whose records violate Born statistics are of vanishing weight: the observer’s laboratory notebook, in “almost every” branch, displays exactly the random-looking, Born-distributed sequence that the textbook projection postulate stipulates—derived here from deterministic dynamics.

The scare quotes are the point. “Almost every” is relative to the measure $\mu \left(\mathrm{branch}\right)={\left|\mathrm{amplitude}\right|}^2$, and nothing in unitary quantum mechanics forces that choice. Under a branch-counting measure, for instance, the deviation set has measure approaching one. Non-contextuality and envariance arguments (Zurek, 2005; Gleason, 1957) constrain the measure severely—any measure depending only on the state and respecting the Hilbert-space structure is the Born measure—but “probabilities attach to branches in a structure-respecting way” is itself the premise doing the work, exactly as in Section 3.4. The typicality theorem is a theorem; the claim that norm-typicality is what recorded frequencies should exhibit is not.

4.7. The Theorem, and Its Condition

Assembling the pieces:

Theorem 2 

(Conditional definiteness). Assume (P1), (P2), (P4). Then: (i) every branch-relative memory state of an internal observer contains exactly one definite outcome record, and the amplitude of indefiniteness records is zero (Lemma 2); (ii) the records are dynamically stable (Section 4.3); (iii) no internal observer can verify the existence of branches other than the one containing its record (Section 4.4); (iv) all observers within a branch possess mutually consistent records (Section 4.5); (v) in the norm measure, the set of branches whose recorded frequencies deviate from Born statistics has weight tending to zero with the number of trials (Section 4.6). If, further, (S) holds, then every internal observer experiences a single, definite, stable, intersubjectively confirmed outcome, with Born-distributed frequencies in norm-typical branches.

The structure of the theorem is its content. Items (i)–(v) are unconditional consequences of unitarity and faithfulness; they are physics. The final sentence is conditional on (S), and (S) is not physics in the same sense: it is a claim about where experience attaches to the formalism. Deny (S)—hold, for instance, that experience supervenes on the global state, so that the post-measurement experience is some ineffable both-outcomes state that observers are constitutionally unable to report, every report being made by a branch-relative memory—and nothing in (i)–(v) is disturbed, while the explanation of definite experience collapses. Nothing in Hilbert space adjudicates between (S) and its denial; the choice is prior to the formalism. Likewise the measure: item (v) delivers Born statistics only under norm-typicality, and the selection of the norm measure, however strongly constrained by Gleason-type theorems, enters as a premise about what probability is in a deterministic multiverse.

This is the promised location of the irreducible core. Unitary quantum mechanics, with no collapse and no additions, proves the appearance of single definite outcomes, their stability, their intersubjectivity, their unverifiable exclusivity, and their Born-typical statistics—conditional on one psychophysical premise and one measure-theoretic premise. The measurement problem, after Theorems 1 and 2, is exactly the problem of those two premises, and Section 5 classifies the extant interpretations by what each does about them.

5. The Irreducible Core

5.1. The Residue

Let us summarize what has been established. The measurement problem, disaggregated (Section 1), comprised four questions: why outcomes occur in one basis rather than another; why interference between the alternatives is not observed; why any single definite outcome occurs at all; and why outcomes exhibit Born statistics. Decoherence answers the first two as dynamics (Section 2). Theorem 1 establishes that the second two cannot be answered by any appeal to ignorance—of environmental initial conditions or of dynamics—within the unitary formalism. Theorem 2 establishes how much of them the unitary formalism nevertheless answers: everything, conditional on two premises. We name them for what follows:

(S) 

The supervenience premise. Perceptual experience supervenes on branch-relative memory states (Section 4.1).

(B) 

The measure premise. The squared-amplitude measure is the one relative to which recorded frequencies should be typical —equivalently, the one that deserves the name probability (Section 4.6).

The central claim of this paper can now be stated exactly.

Proposition 1 

(Irreducible core). Within unitary quantum mechanics satisfying (P1), (P2), (P4), the measurement problem is the conjunction of exactly two questions: whether (S) is true, and what grounds (B). Every other component of the problem is settled by theorem: the preferred basis and the suppression of interference by the decoherence results of Section 2; the impossibility of an ignorance origin for outcome randomness by Theorem 1 and Corollary 2; the definiteness, stability, intersubjectivity, and interbranch inaccessibility of records, and the norm-typicality of Born frequencies, by Theorem 2.

The proposition is a bookkeeping claim, but bookkeeping of this kind is where foundational disputes are won and lost: a solution owes exactly two debts, and any apparent third is either already paid or a disguise. The next subsection argues that the induced classification is exhaustive.

5.2. The Classification, and Its Exhaustiveness

A response to the measurement problem must say what a single observed outcome is. The theorems leave a response three options with respect to the premises of Theorem 1, and the options partition logically: retain both (P1) and (P3); deny (P3); or deny (P1). Denials of (P2) or (P4) are not on the list because they do not yield solutions: an interaction violating faithfulness is not a measurement, and a readout violating it is not a perception, so denying them denies that the phenomenon to be explained occurs. The partition is therefore exhaustive for any response that (i) accepts that measurements have outcomes in need of explanation and (ii) offers a physical account of them. We take the three cells in turn.

Cell 1: retain (P1) and (P3)—the Everettian family. The quantum state is complete and evolves unitarily; both branches of (9) are real. Definite experience must then be located in branch-relative structure, which is to say: (S) must be affirmed as a postulate, and (B) must be grounded by argument— decision-theoretic (Deutsch, 1999; Wallace, 2012), envariance-based (Zurek, 2005), or frankly axiomatic. The family’s debts are exactly (S) and (B), in their original currency. Theorem 2 is the family’s best case: it is everything unitarity provides, and the family’s wager is that (S) and (B) are cheap—(S) allegedly analytic, (B) allegedly forced by rationality constraints. Section 6 examines the wager; here it suffices that it is a wager on the two premises.

Cell 2: deny (P3)—the hidden-variable family. The quantum state is not complete; outcomes are determined by additional variables $\lambda$ (Bohmian configurations being the developed case). Here Definition 1 is satisfied at last: f maps $\lambda$ to outcomes, and the quantum equilibrium measure ${\left|\psi \right|}^2$ over $\lambda$ supplies the statistics. But the two debts reappear in transposed form. (S) transposes to: experience supervenes on the beables—Bell’s term for a theory’s physically real quantities—not on the wavefunction—a postulate doing exactly the work (S) did, and facing its own version of the question why the empty branches of the pilot wave, which contain full functional analogues of observers, support no experience. (B) transposes to the quantum equilibrium hypothesis: why ${\left|\psi \right|}^2$ over initial configurations rather than any other measure—answered variously by typicality arguments (Dürr et al., 1992) or relaxation dynamics (Valentini, 1991), each a research program rather than a theorem. Superdeterministic and retrocausal approaches sit in this cell as well, denying (P3) together with the independence of $\lambda$ from measurement settings; their debts are the same two, plus the independence denial.

Cell 3: deny (P1)—the collapse family. The dynamics is not exactly unitary. The family divides by trigger. Continuous collapse—GRW, CSL, gravitationally induced models (Ghirardi et al., 1986; Pearle, 1989; Diósi, 1989; Penrose, 1996)—adds a stochastic nonlinear term acting always and everywhere, tuned to be negligible for microscopic systems and decisive for macroscopic superpositions. Triggered selection rules condition the non-unitary event on a physical criterion— in the natural formulations, on the decoherence threshold itself: when branch overlap falls below the einselection scale, one branch is realized with Born-weight chance. In either subfamily the debts are paid in the ontology: definiteness is restored as fact, so (S) reverts to the uncontroversial claim that experience supervenes on the unique quasi-classical state; and (B) is answered dynamically—the Born weights are fundamental chances of the new process, not typicality claims. Theorem 1 imposes a nontrivial constraint here: the new chances cannot be secretly grounded in ignorance of anything in the unitary description, so the stochasticity must be fundamental, a genuine addition to physical law. The family’s remaining obligations are empirical and formal—parameter bounds from interferometry and spontaneous radiation, and relativistic covariance—which we flag without adjudicating.

Off the partition: epistemic and perspectival approaches. QBism, relational quantum mechanics, and consistent histories do not occupy a cell, and the reason is instructive: they decline premise (ii) above. For QBism the quantum state is an agent’s credence and the global state (9) describes nothing; for relational quantum mechanics states are relative to systems and there is no absolute fact about the total chain; consistent histories replaces the single dynamical story with a framework-relative assignment of probabilities. Each dissolves rather than answers the two questions, at the price of giving up the descriptive reading of the formalism within which Theorems 1 and 2 are stated. Whether that price is payable is a debate about scientific realism, not about measurement; the theorems are silent on it, and so, accordingly, is the classification.

The classification is summarized in Table 1.

5.3. Minimality

The classification invites a comparative question: which cell pays the two debts at least cost? We state the case that can be made and its limits.

Measured against the unitary formalism, the candidates modify it as follows. The Everettian family modifies nothing physical but leaves both debts outstanding as philosophy. The hidden-variable family adds ontology everywhere—a beable configuration for the universe—and pays (B) with a further postulate about initial conditions. The continuous-collapse family modifies the dynamical law everywhere, with new constants of nature, and purchases definiteness at the price of tails and parameter fine-tuning. The triggered-selection family modifies the dynamics only at decoherence events—isolated episodes of negligible total duration—adds no ontology, and converts both debts into a single new item of physical law: a stochastic selection with Born-weight chances, conditioned on a criterion (einselection) that Section 2.2 already defines. In the accounting of this paper, that is the smallest ledger: both premises become physics, and the physics added is one rule.

Two honesty clauses temper the conclusion. First, minimality is relative to a weighting of costs—ontology added, law modified, philosophy presupposed—and the weighting is itself a philosophical choice; a committed Everettian who prices psychophysical postulates at zero will reach the opposite verdict, and no theorem arbitrates. Second, the triggered-selection family’s ledger includes obligations this paper does not discharge: a precise trigger criterion (how much decoherence is enough?), relativistic covariance, and in-principle empirical differentiation from the no-collapse limit. What the classification establishes is not that the family is correct but that it is well-posed: Theorems 1 and 2 jointly define the exact vacancy—a fundamental, non-ignorance-grounded, Born-weighted selection among decoherence-defined alternatives—and the family is the proposal that the vacancy is filled by a law.

6. Objections and Replies

We consider four objections, in ascending order of difficulty. The first two contest the theorems’ significance; the third contests the status of premise (S); the fourth contests the exhaustiveness of the classification.

6.1. “Decoherence Already Solves the Measurement Problem”

Objection. The theorems belabor a distinction without a difference. Decoherence explains why superpositions of macroscopically distinct states are never observed, why the pointer basis is what it is, and why the predictions of the no-collapse theory are indistinguishable from those of the collapse postulate. For all practical purposes the problem is solved; what remains is metaphysical bookkeeping of no physical consequence.

Reply. The phrase “for all practical purposes” concedes the point at issue—Bell (1990) made the acronym FAPP a term of diagnosis for exactly this move. But the theorems sharpen the diagnosis beyond Bell’s. The practical-purposes position survives on an unexamined promissory note: that the reduced state (7), being diagonal, may be read as an ordinary statistical mixture, so that the remaining gap is one of rigor, not of substance. Theorem 1 calls the note. The ignorance that the diagonal weights would quantify does not exist: not in the environment’s initial conditions, not in its dynamics (Corollary 2), not anywhere in the unitary description. The gap between improper and proper mixtures is not a technicality awaiting a cleverer derivation; it is a theorem-certified impossibility. What decoherence solves, it solves completely, and Section 2 concedes it in full. What it does not solve, it provably cannot—and “provably cannot” is a physical result, not bookkeeping. A dismissal that survives only for practical purposes should be stated as what it is: an instrumentalism about the quantum state, which is a philosophical position with its own debts, not an absence of one.

6.2. “The Born Rule Has Been Derived”

Objection. Premise (B) is obsolete. The Born rule has been derived within the no-collapse theory at least three times over: from typicality (Everett, 1957; Hartle, 1968), from envariance Zurek (2003), 2005, and from decision theory (Deutsch, 1999; Wallace, 2012). The alleged second debt has been paid.

Reply. Each derivation is correct, and each pays a different bill. The question is what premise each purchases its conclusion with, and the answer, in every case, is a form of (B). The typicality theorem (Section 4.6) derives Born frequencies for norm-typical branches; the selection of the norm measure as the arbiter of typicality is (B) undisguised, as the branch-counting alternative makes vivid. Envariance derives the equality of probabilities for symmetric branches, and thence the Born values, from the premise that probabilities attach to branches and depend only on the state’s entanglement structure; that probabilities so attach is (B) in structural clothing—Zurek is explicit that the derivation addresses the value, not the existence, of branch probabilities. The decision-theoretic route derives that a rational agent, believing the unitary theory, must weight branches by squared amplitude; its rationality axioms—branching indifference chief among them—encode the irrelevance of branch multiplicity to rational concern, which is to say they legislate against branch counting axiomatically. An agent who cares about the number of her successors violates no theorem of quantum mechanics; she violates an axiom of the derivation. In each case the mathematics is impeccable and the conclusion conditional: given that probability talk attaches to branches in a structure-respecting way, the weights must be Born. That conditional is a genuine and important constraint—it is why no rival measure has a stable formulation—but its antecedent is precisely the premise Proposition 1 isolates. Three derivations with a common undischarged antecedent are evidence for the antecedent’s centrality, not for its truth.

6.3. “Supervenience on Relative States Is not a Postulate”

Objection (the Everettian’s strongest). Premise (S) is not an addition to physics; it is an instance of physicalism itself. Experience supervenes on functional structure—what a system does, how it processes information, how its states covary with its environment. Decoherent branches instantiate, in full, the functional structure of observers: within a branch there are neural states, discriminative responses, verbal reports, all causally patterned exactly as in a one-world theory. To grant functionalism and the branching structure and still ask “but why is experience branch-relative?” is not to press a hard question but to have misunderstood supervenience (Wallace, 2012). There is no premise (S); there is physicalism, which everyone in this debate already accepts.

Reply. The objection is the strongest available, and its logic should be granted in full before its accounting is corrected. The conditional is valid: if experience supervenes on branch-internal functional structure, then Theorem 2’s conditional clause discharges, and every observer experiences one definite outcome. Our claim was never that this conditional fails, nor that (S) is implausible. The claim is that the antecedent is doing philosophical work that no vector in Hilbert space does, and three observations locate the work exactly.

First, functionalism is a substantive psychophysical thesis, not a consequence of physicalism. A physicalist may hold instead that experience supervenes on the total physical state—and the total physical state, after measurement, is the superposition (9), whose branch-relative parts are not states the system is in but components of the one state it is in. On that base, the physics yields no definite-outcome experience at all, merely definite-outcome reports. Nothing in the dynamics adjudicates between the two supervenience bases: both are physicalist, both are consistent with every theorem of this paper, and they disagree about what is experienced. A choice consistent with all physical facts yet determining the phenomenology is the definition of a psychophysical postulate.

Second, even granting functionalism, a selection remains. The universal state admits many decompositions; branch-relative functional structure is structure relative to the decoherence-preferred decomposition. The Everettian answer—that quasiclassical branches are the “real patterns” (Dennett, 1991) and that higher-level ontology just is such patterns—is coherent and, we think, attractive. But pattern-realism’s criteria are pragmatic norms about what deserves ontological standing; importing them is importing a metaphysics of emergence. The dynamics supplies the decoherence structure; that this structure is the experience-bearing one is, again, a bridge principle.

Third, the objection’s own maneuver concedes the proposition it targets. “(S) is not a postulate; it follows from functionalism” relocates the premise from the philosophy of physics to the philosophy of mind. But a debt transferred is not a debt discharged, and Proposition 1 is indifferent to the ledger on which the debt appears. Indeed the reclassification is this paper’s thesis stated in other words: what remains of the measurement problem, after the theorems, is not physics. The disagreement is genuine, but it concerns the price of (S), not its existence.

6.4. “The Classification Is Not Exhaustive”

Objection. Section 5.2 partitions responses by their stance toward (P1) and (P3) and dismisses denials of (P2) and (P4) in a sentence. But entire interpretive programs live in the dismissed territory: modal interpretations assign definite values to some observables without collapse or Bohmian trajectories; unsharp-measurement approaches deny that idealized faithful interactions of the form (4) ever occur; and many-minds theories seem to fit no cell. The partition is a Procrustean bed.

Reply. Each case, examined, confirms the classification—two by transposition, one by instructive residence in Cell 1.

Modal interpretations (Kochen, 1985; Dieks, 1989; van Fraassen, 1991) hold that the quantum state, which evolves unitarily, does not exhaust the facts: an additional value state, typically fixed by the biorthogonal decomposition (the Schmidt pairing of system and apparatus states), specifies which observables have definite values. However modest the addition, it is an addition: the value state is a variable beyond the wavefunction, its dynamics and its measure are new postulates, and the position is therefore a denial of (P3)—Cell 2, with sparse rather than Bohmian beables. The known difficulties of the program (the imperfect-measurement problem for the biorthogonal rule; the Vermaas–Dieks dynamics (Vermaas and Dieks, 1995)) are exactly Cell-2 debts: the transposed forms of (S) and (B).

Unsharp-measurement approaches observe, correctly, that (4) is an idealization; real interactions realize positive operator-valued measures (POVMs)—imprecise measurements—with imperfect correlation. But the theorems were built for this weather: the proof of Theorem 1 nowhere uses exact orthogonality or perfect correlation (Remark 2), and Lemma 2 requires only that the readout not generate indefiniteness records, which unsharpness does not do—an unsharp readout produces branch-relative records that are noisy, not records of superposition. Weakening (P2) and (P4) blurs the records; it does not select among them. No definiteness flows from imprecision, so no solution resides there.

Many-minds theories (Albert and Loewer, 1988) are the stress test worth lingering on, because they show the framework’s joints under load. The proposal: physics is exactly unitary (Cell 1); each observer is associated with a continuous infinity of minds; individual minds evolve stochastically, entering the ↑-experience or ↓-experience with fundamental chances equal to the Born weights. In the vocabulary of this paper: (S) is affirmed in an elaborated form (experience supervenes on branch-relative states via a postulated mind-multiplicity), and (B) is paid not by typicality or rationality but by fundamental chance—located, however, in the psychophysical dynamics rather than in physics. The theory is thus Cell 1 physics with Cell 3 accounting: it converts both premises into explicit postulates and pays (B) with a stochastic law, exactly as triggered selection does, but writes the law into the mind-body bridge instead of the dynamics. We regard this as confirmation: the two debts are so robust that a theory refusing to modify physics must reinvent them, item for item, on the mental side of the ledger. The bed, it turns out, fits.

A final remark on scope. The partition was conditioned on responses that offer a physical account of outcomes; Section 5.2 placed the epistemic and perspectival programs outside it on those grounds, and nothing in this section reaches them. If the descriptive reading of the quantum state is abandoned, the theorems become theorems about a non-descriptive formalism, and both premises dissolve along with the problem. The classification claims exhaustiveness within realism about the quantum state; beyond realism, it claims only silence.

7. Conclusions: The Map

This paper set out to prove where proof ends, and the map can now be drawn in one paragraph. Within unitary quantum mechanics, the preferred basis and the suppression of interference are settled by decoherence (Section 2); the hypothesis that outcome randomness is grounded in ignorance of the environment is closed by theorem—every candidate condition yields the same both-outcome state with the same amplitudes, and even complete retrieval of the environment’s information returns correlations, never an outcome (Theorem 1, Corollary 2). What unitarity then provides, unaided, is everything about definite outcomes except their being definite simpliciter: one record per branch, stability, intersubjective agreement, and Born statistics in norm-typical branches (Theorem 2). The entire remainder is two premises: that experience supervenes on branch-relative states, (S), and that the squared-amplitude measure arbitrates typicality, (B). Every extant solution is a position on those two premises, and the classification is exhaustive for any response that offers a physical account of outcomes (Proposition 1, Table 1).

The map is also an audit instrument. Any proposal claiming to solve the measurement problem can now be asked two questions with definite answers: which premise does it modify, and with what does it pay? A proposal that answers cleanly—new law, new ontology, or frank postulation—is a solution candidate, to be judged on its costs. A proposal that answers neither is either a correct and incomplete rediscovery of part of Theorem 2, or a claim to derive what the theorems locate on the far side of proof—in which case the derivation contains a premise equivalent to (S) or (B), and the audit consists in finding it. Progress, correspondingly, looks different for the two premises. Progress on (S) is philosophy of mind: the dispute between branch-relative and global supervenience bases is continuous with the general mind-body problem, and physics will not adjudicate it. Progress on (B) admits three currencies—axiomatic honesty, rational reconstruction, or conversion into physics via a fundamental chance process—and the theorems insist only that the currency be declared.

We close by restating the paper’s two claims at their proper strength. The weak claim is negative and absolute: the randomness of the individual quantum outcome cannot be explained by anything we fail to know about the unitary world—not its initial conditions, not its dynamics, not the information dispersed into its environment. The strong claim is positive and, we have argued, exact: after the theorems, the measurement problem consists of one question about minds and one question about measures, and nothing else. Where proof ends is now a theorem; what stands beyond it must be postulated, and the honest form of every interpretation is its postulate, stated as such.