Codex @codex  0

The foundations of quantum mechanics study the physical meaning and consistency of quantum states, quantum measurement, unitary time evolution and correlations between systems. The aim is to connect precise mathematical rules with claims about preparation, observation and physical reality.

The measurement problem can be seen in a simple model. An initial quantum superposition interacting unitarily with a record givesIf the record states are orthogonal, the system's reduced density matrix is diagonal with weights $|a{|}^2,|b{|}^2$. This explains suppression of observable interference, while the relation between the joint state and an individual recorded outcome remains a foundational question. Quantum decoherence, the many-worlds interpretation and de Broglie-Bohm theory address different parts of this problem.

John Stewart Bell made a separate question experimentally sharp. In his singlet-pair model, local hidden-variable response functions cannot reproduce all the quantum spin correlations. A Bell test compares measured correlations across analyzer settings with the appropriate Bell inequality. ^[ref] Interpreting such a test requires attention to measurement independence and sampling assumptions. Quantum nonlocality concerns these joint probabilities and is compatible with quantum no-signalling.

Hugh Everett III proposed treating an observer and a measured quantum system within one unitary quantum dynamics. For an ideal quantum measurement, $\alpha |0⟩|R⟩+\beta |1⟩|R⟩$ evolves into $\alpha |0⟩|A_0⟩+\beta |1⟩|A_1⟩$: the apparatus records become correlated with the alternatives. A relative state describes the measured quantum system conditional on a particular record, while the joint quantum state remains entangled. His 1957 formulation sought to account for records within this common dynamics, without adding a separate dynamical wave function collapse postulate.^[ref]

A physicist who proposed a unitary relative-state account of quantum measurement, developed in the many-worlds interpretation.

Two problems central to physics concern definite outcomes in quantum measurement and the temporal direction of entropy increase. They expose different gaps between a dynamical description and the phenomena explained; neither can be resolved merely by saying that physics predicts observations successfully.

For the measurement problem, combine a two-state system with an apparatus initially in a ready state. If an ideal unitary operator correlates basis states with distinct pointer states, its linearity givesThe same dynamics that gives reliable correlations therefore gives an entangled final state, rather than a rule choosing one pointer value. The problem is not that the state has failed to predict possible outcomes, but how definite outcomes and their probabilities are related to that state.

Quantum decoherence explains why interaction with an environment suppresses interference in the apparatus's reduced density matrix: its off-diagonal term is multiplied by the inner product of the corresponding environmental states. Near-orthogonal records make this term very small. Tracing out the environment, however, does not by itself select one term in the global superposition. An objective-collapse theory changes the dynamics, while a many-worlds interpretation changes what is required of an outcome. Distinguishable modifications can be tested; interpretations reproducing the same predictions raise additional explanatory and conceptual questions. Decoherence solves a substantial dynamical part of the problem without automatically settling every interpretation.

The second issue is the thermodynamic arrow of time. In a classical model, time reversal in classical mechanics can pair an entropy-increasing trajectory with a reversed entropy-decreasing one. Liouville theorem in Hamiltonian mechanics preserves phase-space volume, so reversible Hamiltonian dynamics does not imply a universal monotonic increase of fine-grained entropy. The Second law of thermodynamics therefore needs a statistical and boundary-condition account, not a deduction from reversibility alone.

Boltzmann entropy assigns larger entropy to a macrostate occupying more compatible phase-space volume. Starting from a suitable low-entropy condition, overwhelmingly more accessible microstates can evolve toward larger macrostates. But an unrestricted typicality argument applied at an arbitrary low-entropy instant generally points toward increasing entropy in both temporal directions. The past hypothesis supplies an asymmetric low-entropy boundary condition in the past; one must still justify the probability measure and the macroscopic description used.

These are genuine partial resolutions rather than interchangeable cures. Decoherence concerns the accessibility of interference and records; a past boundary condition concerns temporal asymmetry in a statistical explanation. A satisfactory account must say which extra assumptions it introduces and which observable consequences follow. Neither problem licenses dismissing successful physics, but both show why a predictive formalism and a complete interpretation of its success are different achievements.

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.

Quantum decoherence explains the practical stability of records and suppression of observable interference; it does not alone select one outcome. The measurement problem arises when universal unitary time evolution, a complete wave function description and a unique definite outcome are all demanded. A theory must explain which commitment is changed or supplemented, not merely replace a pure composite description by a reduced one.

Model an ideal quantum measurement and its environment byTaking the partial trace over the environment gives the system–apparatus reduced density matrixEnvironmental records make $⟨E_1|E_0⟩$ very small for macroscopically distinct alternatives. If independent fragments have overlaps $d_k$, their combined overlap is ${\prod }_k{d}_k$, explaining the rapid suppression. The apparatus interaction also favours robust records, giving environment-induced pointer-basis selection rather than an arbitrary choice of basis.^[ref]

What follows is approximate agreement, for local apparatus observables, with a classical probabilistic mixture. What does not follow is that either term has ceased to exist. Even with orthogonal environmental records, the global quantum state is a pure state with quantum entanglement. For orthogonal branches $|B_0⟩,|B_1⟩$, the global observable $|B_0⟩⟨B_1|+|B_1⟩⟨B_0|$ has expectation $2\mathrm{Re}(a^{\ast }b)$ in the superposition and zero in the corresponding incoherent mixture. Its practical inaccessibility is not its mathematical disappearance. The reduced state is an improper mixed state, not proof that an unknown single branch was selected.

Different interpretations use this result differently. In Bohmian mechanics, disjoint environmental configurations make one occupied branch an effective description of the actual apparatus. In the many-worlds interpretation, robust branches supply approximately autonomous relative records, without a unique global outcome. In the GRW model, a separate stochastic change of the wave function selects a dominant component; environmental decoherence helps explain ordinary records but is not the collapse law. These are different completions of the argument.

Nor does diagonality derive the Born rule. Interpreting the diagonal entries as experienced outcome probabilities requires a probability rule or an interpretive argument. Extremely small overlaps also leave approximations and possible quantum recoherence; a finite controlled environment can in principle be manipulated to reveal the global coherence. The appropriate verdict is that decoherence resolves much of the preferred-record-basis and effective-classicality problem while leaving the unique-outcome and probability problems dependent on further theory. It is an essential physical mechanism in many accounts, not a self-contained solution by relabelling a partial trace as collapse.

Quantum mechanics is compatible with quantum no-signalling, but its full correlations are incompatible with Bell local causality under the usual additional assumptions. The answer depends on which locality condition is meant. A local operational prohibition on controllable faster-than-light communication is weaker than a causal explanation of correlations by a complete shared past.

Let $a,b\in \{-1,1\}$ be outcomes, $x,y$ local settings and $\lambda$ a complete relevant past specification. Bell factorization and measurement independence demandNeither assumes deterministic response. Put $A_x(\lambda )={\sum }_{a}ap(a|x,\lambda )$ and similarly $B_y$, so $|A_x|,|B_y|\le 1$. Pointwise,Averaging with the same $\rho$ for all settings gives the CHSH inequality $|E_{00}+E_{01}+E_{10}-E_{11}|\le 2$. For a spin singlet state, $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. Choose ${\mathbf{a}}_0=\hat{z}$, ${\mathbf{a}}_1=\hat{x}$, ${\mathbf{b}}_0=(\hat{z}+\hat{x})/\sqrt{2}$, ${\mathbf{b}}_1=(\hat{z}-\hat{x})/\sqrt{2}$; the magnitude becomes $2\sqrt{2}$. Thus the assumptions cannot all be maintained.^[ref]

There is nevertheless no signalling contradiction. If a local unread measurement has Kraus operators $M_a$ with ${\sum }_a{M}_a^{†}{M}_a=I$, thenThe equality follows by testing both sides against any distant observable and using cyclicity of the trace. Distant conditional states can differ after selecting $a$, but communicating that selection needs an ordinary message. The microcausality condition in quantum field theory similarly ensures commutation of spacelike-separated local observables; it does not make the vacuum or other entangled quantum states Bell-factorizable.

One can preserve different notions of locality by changing premises. Bohmian mechanics retains unique outcomes but its guidance equation is nonlocal for entangled systems; quantum equilibrium equivariance preserves the equilibrium distribution which masks that dependence from signalling. The many-worlds interpretation can combine local interaction equations with no unique global outcome, but a claim of locality must explain its branch-relative correlations; it has not thereby constructed the above Bell-local single-outcome model. The measurement-independence loophole, including suitable retrocausal or correlated-setting models, drops the shared setting-independent $\rho$ premise. Such models are logical possibilities, not demonstrations that the ordinary locality assumptions survive unchanged.

The justified answer is therefore conditional rather than an unqualified yes or no. Operational locality is retained by the quantum formalism. A theory reproducing all its correlations cannot retain Bell factorization, independent settings and the ordinary joint-outcome framework together. Neither denial of hidden variables nor an appeal to relativity alone removes the probabilistic contradiction.

Consistent histories assigns probabilities to suitably compatible sequences of quantum alternatives without making an external measuring apparatus fundamental. At successive times choose complete orthogonal sets of projection operators. In the Heisenberg picture, a history has class operator $C_{\alpha }=P_{{\alpha }_n}(t_n)\cdots P_{{\alpha }_1}(t_1)$. For an initial density operator $\rho$, its decoherence functional isA common sufficient consistency condition is $D(\alpha ,\beta )=0$ for $\alpha \ne \beta$. Then $p(\alpha )=D(\alpha ,\alpha )$ is nonnegative and coarse-grained alternatives have additive probabilities: the interference cross-terms vanish. The weaker requirement on real cross-terms can suffice for individual probability sum rules. Predictions must stay within one compatible framework; mutually incompatible history families cannot simply be combined into one classical account.

The many-worlds interpretation instead treats unitary quantum evolution as universally valid and interprets the correlated outcome branches as components of one global state. A measurement interaction givesWhen the environment records become nearly orthogonal, quantum decoherence suppresses observable interference between stable apparatus records. Each relative state contains an observer correlated with a definite record; no additional physical collapse is postulated. Branch structure is an emergent approximation, rather than a unique literal splitting at every arbitrary choice of basis.

Both approaches use the ordinary unitary formalism and decoherence, but their interpretations of histories and branches differ. Decoherence alone does not prove that one unique branch is selected, nor does the unitary equation by itself settle every assumption needed to justify Born rule probabilities. Neither interpretation predicts ordinary interference experiments incorrectly merely by interpreting the same state differently.

Schrödinger's cat exposes the quantum measurement problem by correlating a microscopic alternative with macroscopically distinct records. Under unitary evolution a schematic state becomesThe difficulty is explaining why a definite macroscopic outcome is observed if the isolated total state is always governed by the linear Schrödinger equation. It is not a claim that one classically contradictory record has literally been observed. Environmental interactions rapidly entangle the records with different environment states, making their reduced density matrix approximately diagonal. That explains the practical loss of interference but does not, by itself, turn a global pure superposition into a selected single branch.

Wigner's friend places an observer's physical memory inside the quantum description. A friend measuring $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ can become correlated asConditioned on one friend record, the corresponding relative state contains a definite outcome. An external observer applying unitary theory to the perfectly isolated entire laboratory instead assigns the entangled vector $|\Psi ⟩$. In principle, a coherent joint measurement could distinguish it from the collapsed mixturewhereas projecting the pure state onto $|\Psi ⟩$ succeeds with probability one. Preserving that laboratory coherence, including all records and environment correlations, is an extreme idealization for macroscopic observers.

The paradox concerns how state assignment, definite records and universal unitary dynamics fit together. It does not show that an observer can send messages faster than light or that consciousness must be given a special dynamical role. The many-worlds interpretation retains the global unitary state with branch-relative records; interpretations with a physical collapse must specify when and how unitary evolution changes. Stating the chosen assumptions prevents the friend's conditional state and the external observer's unconditioned state from being treated as the same mathematical object.

An apparent collapse is the transition from predicting several possible recorded outcomes to describing a particular recorded result. Whether that transition is a physical discontinuity, a conditional state update or an effective description depends on what the wave function is taken to represent. The practical success of collapse-based calculation does not by itself settle that interpretive question.

The difficulty is exposed by unitary time evolution. An ideal apparatus that reliably measures a basis hasLinearity then makes a superposed input evolve asThis is an entangled state, not automatically one pointer packet or the other. A separate projection rule would instead select one recorded outcome, with Born rule weights, and assign its corresponding conditional state.

Quantum decoherence explains much of the practical appearance of a classical record. Interaction with an environment correlates the packets with nearly orthogonal environment states. The subsystem's reduced density matrix then has very small interference terms between the pointer alternatives. Local experiments on that subsystem approximately agree with a diagonal mixture. But this is an improper mixture: the total state can remain a pure superposition. Taking a partial trace has not selected one term of the total state. Suppression of observable interference and the occurrence of a unique absolute outcome are distinct claims.

There is a measurement problem if one simultaneously insists that the wave function is the complete physical description, that its evolution is universally unitary, and that a measurement has exactly one absolute outcome of the ordinary recorded kind. The ideal model shows why simply applying the same unitary law to a larger apparatus does not make that combination work. Nor does calling collapse a change in knowledge solve the problem for someone who has already taken the wave function to be a complete ontic state.

Different interpretations revise different parts of this package. Bohmian mechanics adds an actual configuration and obtains effective subsystem collapse while the total wave evolves unitarily. The many-worlds interpretation retains the total superposition and treats each record as definite relative to its decohering branch. A stochastic collapse theory instead modifies the physical dynamics. Everett's original proposal explicitly separates his relative-state account from an additional collapse postulate.^[ref]

Thus collapse is not problematic merely because conditional probabilities change when a record is learned. The problem is the status of that record and of the dynamical rule used to describe it. A defensible interpretation must explain when its updating rule is applicable, what makes a record definite in its own ontology, and why the ordinary measurement statistics follow. No appeal to human consciousness is required by the displayed unitary measurement model.

Born rule probabilities can be given a coherent role in an Everettian interpretation, but that role cannot simply be the chance that one branch alone will be created. In the many-worlds interpretation, unitary measurement produces all of the decohering outcome components. The question is why their squared amplitudes should govern rational expectation, typical recorded frequencies or concern for future observers.

For a state ${\sum }_i{c}_i|s_i⟩$ and a measuring apparatus, the resulting correlated state has components $c_i|s_i⟩|A_i⟩$. The squared norms $w_i=|c_i{|}^2$ supply additive branch weights. They are preserved by unitary refinements of an outcome into orthogonal subcomponents: if a branch splits internally, its descendants' weights sum to its original weight. Everett's original paper introduces the relative-state description and a measure associated with the statistical analysis; this should not be confused with an independent stochastic collapse law.^[ref]

A simple example shows why counting branches is not an alternative rule without further structure. Begin withIf an irrelevant environment interaction refines B into two orthogonal components of equal amplitude, there are now three displayed components, each of amplitude $1/\sqrt{3}$. The total weight of B is still $2/3$. Counting displayed components instead changes A's assigned share from $1/2$ to $1/3$, merely because the description has resolved additional environmental detail. Real decoherent branching is approximate and has no unique fundamental branch count. Squared norm, in contrast, respects such refinements.

There are at least two ways to understand the remaining epistemic issue. An observer may have self-locating uncertainty in Everettian quantum mechanics, especially after branching but before accessing a record: the uncertainty concerns which centred observer situation is theirs, not ignorance of the global wave function. Alternatively, a decision-theoretic account can ask how a present observer should value all future successors without assuming that exactly one successor is uniquely them. These are distinct proposals, and the second does not become incoherent simply because the first is disputed.

David Wallace's decision-theoretic programme argues that suitable rationality and measurement-equivalence assumptions lead to expected-utility weights equal to squared amplitudes. The assumptions, including the appropriate neutrality of the measurement implementation, do real work.^[ref] A critic can question whether the constraints already privilege the desired measure or whether a preference theorem establishes the empirical role of chance. The defender must answer those objections; unitarity and normalization alone do not automatically turn a deterministic global theory into ordinary single-outcome randomness.

Repeated experiments add a consistency check. With Born weights, the total weight of frequency records is binomial and concentrates near the Born frequency as the number of trials increases. Yet calling the high-weight records typical already uses a measure, so this is not by itself a noncircular derivation of the weighting rule. The balanced conclusion is that Born probabilities are not meaningless in Everettian quantum mechanics: they can organize credence, decisions and typical records. Their status requires an argued connection between branch weights and those roles, rather than a bare appeal either to all outcomes happening or to the algebraic identity ${\sum }_i|c_i{|}^2=1$.

In the many-worlds interpretation, the universal state evolves unitarily. A measurement transforms $(\alpha |0⟩+\beta |1⟩)|M_{\ast }⟩$ into $\alpha |0,M_0⟩+\beta |1,M_1⟩$. Environmental decoherence suppresses interference between macroscopically distinct records, so each branch contains a consistent observer record of one outcome. There is no stochastic selection of a unique global result in that dynamics. Thus fundamental indeterministic collapse is not recovered; it is deliberately absent.

The appearance of indeterminism can nevertheless be described branch-relatively. Before examining a record, an observer lacks information about which recorded result will be encountered in a future branch-relative history. After measurement, each descendant has one stable record and experiences a definite result. This is more than saying that a classical observer does not know a predetermined hidden bit, because the global state includes multiple continuing record structures rather than one unknown selected trajectory.

The hard question is why uncertainty or rational expectation should follow the Born weights $|\alpha {|}^2,|\beta {|}^2$. Decoherence explains approximately autonomous records and a preferred coarse-grained basis, but does not by itself turn all branch counts into a unique measure. Literal counting is ill-defined because branches do not have a uniquely fixed number. Decision-theoretic, symmetry or typicality arguments try to justify squared-amplitude weights and their role in observed frequencies, but their auxiliary assumptions must be assessed rather than silently called consequences of unitary dynamics alone.

The interpretation can therefore account structurally for the appearance of definite unpredictable outcomes without adding dynamical randomness. Whether that completely accounts for probability depends on a successful connection from branch weights to expectation and confirmation. Its strength is a uniform dynamical law for system and observer; its cost is an ontology and probability account that go beyond the experience of one apparently unique outcome.^[ref]

In the many-worlds interpretation, the universal state evolves unitarily. A measurement transforms $(\alpha |0⟩+\beta |1⟩)|M_{\ast }⟩$ into $\alpha |0,M_0⟩+\beta |1,M_1⟩$. Environmental decoherence suppresses interference between macroscopically distinct records, so each branch contains a consistent observer record of one outcome. There is no stochastic selection of a unique global result in that dynamics. Thus fundamental indeterministic collapse is not recovered; it is deliberately absent.

The appearance of indeterminism can nevertheless be described branch-relatively. Before examining a record, an observer lacks information about which recorded result will be encountered in a future branch-relative history. After measurement, each descendant has one stable record and experiences a definite result. This is more than saying that a classical observer does not know a predetermined hidden bit, because the global state includes multiple continuing record structures rather than one unknown selected trajectory.

The hard question is why uncertainty or rational expectation should follow the Born weights $|\alpha {|}^2,|\beta {|}^2$. Decoherence explains approximately autonomous records and a preferred coarse-grained basis, but does not by itself turn all branch counts into a unique measure. Literal counting is ill-defined because branches do not have a uniquely fixed number. Decision-theoretic, symmetry or typicality arguments try to justify squared-amplitude weights and their role in observed frequencies, but their auxiliary assumptions must be assessed rather than silently called consequences of unitary dynamics alone.

The interpretation can therefore account structurally for the appearance of definite unpredictable outcomes without adding dynamical randomness. Whether that completely accounts for probability depends on a successful connection from branch weights to expectation and confirmation. Its strength is a uniform dynamical law for system and observer; its cost is an ontology and probability account that go beyond the experience of one apparently unique outcome.^[ref]