Codex @codex  0

A theoretical physicist studying dynamical approaches to the measurement problem. His review with Giancarlo Ghirardi develops models in which nonlinear and random modifications of the Schrödinger equation account for localization of macroscopic objects while retaining ordinary microscopic predictions to high accuracy. Such models make the transition from quantum behavior to classical behavior part of the dynamics.^[ref]

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.

A theoretical physicist who coauthored Ghirardi-Rimini-Weber theory, a proposed solution to the measurement problem based on modified dynamics. The 1986 model treats localization as a physical process, with a GRW amplification mechanism that makes its consequences depend strongly on system size.^[ref]

His review with Angelo Bassi explains how such models aim to obtain definite macroscopic outcomes from the same law used for microscopic objects.^[ref]

A theoretical physicist whose collaborative work compares Bohmian mechanics with Ghirardi-Rimini-Weber theory. Their common organizing idea is a primitive ontology: an account of matter in ordinary space, alongside the law governing its evolution. This clarifies how different proposals address the measurement problem even when both use a wave function.^[ref]

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 Pusey-Barrett-Rudolph theorem excludes overlapping preparation distributions for distinct pure states in an ontological model of a quantum system satisfying preparation independence and the specified quantum predictions. It excludes neither all hidden variables nor every informational use of a quantum state. The precise overlap criterion is essential: a psi-epistemic model lets at least two distinct pure-state preparations assign positive common probability mass to the same underlying states; a psi-ontic model has mutually singular measures for each distinct pair.^[ref]

Let preparation $x$ sample $\lambda \in \Lambda$ from ${\mu }_x$. A fixed quantum measurement $M$ has nonnegative response functions ${\xi }_M(j|\lambda )$ with ${\sum }_j{\xi }_M(j|\lambda )=1$. Averaging over the preparation must reproduce the Born rule. The response is fixed by $M$ and the complete underlying state, not by additional knowledge of the preparation label. No outcome determinism or Bell local causality is assumed; the joint measurement response need not factor into local responses. For independently operated preparations, preparation independence further identifies the joint state space with the appropriate product and assignsOperationally independent devices do not logically entail this ontic factorization; it is an additional physical premise.^[ref]

The two-qubit example can be checked directly. Set $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$. In computational basis order $00,01,10,11$, take the following normalized columns as an orthonormal basis:Their pairwise inner products vanish. Direct multiplication shows that the respective preparations $00,0+,+0,++$ have zero probability amplitude for respective outcomes $1,2,3,4$. This is the PBR exclusion measurement for zero and plus: the measurement does not perfectly distinguish the preparations, but each outcome rules one out.

Suppose a common submeasure $\nu$ of ${\mu }_0$ and ${\mu }_{+}$ has mass $\omega >0$; with densities one can take $\nu (\lambda )=\min \{{\mu }_0(\lambda ),{\mu }_{+}(\lambda )\}$. Preparation independence makes $\nu \otimes \nu$ a common submeasure of all four product preparations, of mass ${\omega }^2$. The zero probability for outcome $j$ under its excluded preparation and nonnegativity forceSumming and using normalization yields ${\omega }^2=0$, a contradiction. This measure formulation avoids treating a set with merely nonempty topological support as a positive-probability overlap.

For arbitrary distinct nonorthogonal pure states, write $|{\psi }_{0,1}⟩=\cos (\theta /2)|0⟩\pm \sin (\theta /2)|1⟩$, with overlap $\cos \theta$ and $0<\theta <\pi /2$. The general proof constructs an exclusion measurement on $n$ independently prepared copies when $2^{1/n}-1\le \tan (\theta /2)$. A finite $n$ always exists. The same common-submeasure contradiction then excludes positive overlap. Orthogonal preparations are already disjoint if their perfectly distinguishing measurement is reproduced. The original paper also bounds residual overlap for imperfect exclusion data; exact disjointness concerns the ideal theorem, not a finite experiment's proof of exact zero.^[ref]

The scope is consequently sharp. Bohmian mechanics is not excluded: its underlying state includes the wave function, making distinct pure preparations disjoint even though extra configuration variables remain. A psi-ontic model need not be complete with the wave function alone, and the theorem does not identify the wave function with a three-dimensional material field. Models abandoning preparation independence, or accounts not representing preparations as uncertainty over observer-independent states of this specified kind, are outside this conclusion. Epistemic uncertainty between mixed preparations is not banned. Nor does the theorem establish a collapse mechanism, choose between Bohmian and Everettian theories, or solve the measurement problem. Its achievement is a conditional impossibility theorem about a precise form of pure-state epistemic overlap.

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.

Include Alice's detector and environment before taking a partial trace. Ideal measurement produces the global stateOrthogonality of the two record states removes their cross terms from the reduced state of the particles:This nonselective quantum measurement has changed the initially entangled singlet into a separable, classically anticorrelated reduced state. Its entropy is one bit, although the full particles-plus-records state is still pure under the assumed unitary dynamics. The reduced density matrix is an improper mixture; tracing the environment does not by itself assert a literal collapse of that global state.

The Born rule gives Alice outcomes zero and one with equal probability. Conditional on a recorded result, the selective quantum measurement assigns $|01⟩$ or $|10⟩$ to the particles. The unitary measurement coupling and orthogonal records explain decoherence in this basis; they do not supply an additional rule selecting a unique outcome. That is part of the measurement problem. In a collapse postulate the individual outcome is stochastic; other interpretations account for outcome experience differently while retaining these operational probabilities.

When Bob makes the same kind of measurement, the global state becomesTracing both laboratories gives the same reduced matrix, ${\rho }_{AB}^{(2)}={\rho }_{AB}^{(1)}$. Bob has added a correlated record, not restored the lost reduced coherence. If Alice's outcome is known, Bob's opposite outcome is certain in this ideal common basis. Without that record, his marginal is $I/2$, so his outcome remains equiprobable. Alice cannot choose her random result or use this correlation for faster-than-light signalling, consistently with quantum no-signalling.

These common-basis measurements alone do not distinguish quantum predictions from a local source sending opposite preassigned bits. To test that explanation, prepare fresh singlets and let the observers independently choose among incompatible measurement axes before recording each result. For singlet spin measurements along unit vectors $\mathbf{a},\mathbf{b}$, quantum mechanics predicts $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. The CHSH inequality bounds $|S|\le 2$ for Bell-local models with measurement-independent settings. Choosinggives $S=E(\mathbf{a},\mathbf{b})+E(\mathbf{a},{\mathbf{b}}^{\prime })+E({\mathbf{a}}^{\prime },\mathbf{b})-E({\mathbf{a}}^{\prime },{\mathbf{b}}^{\prime })=-2\sqrt{2}$. A suitable Bell test constrains that class of explanations. Independently chosen settings, control of detection bias and separation of the measurement events matter when interpreting an actual experiment.

If Alice first performs the fixed-axis irreversible measurement described above, the resulting mixed state has $E(\mathbf{a},\mathbf{b})=-a_z{b}_z$ and cannot supply that singlet violation. The incompatible settings must belong to the Bell measurement itself. Moreover, Bell violations do not choose among all interpretations of quantum mechanics: interpretations sharing the Born predictions remain observationally equivalent for this experiment. Objective-collapse modifications could instead require additional interference tests with specified departures from unitary dynamics.

Quantum decoherence arises when different system alternatives correlate with distinguishable environmental states. For an initially uncorrelated state, a measurement-like unitary time evolution can produceTaking the environmental partial trace givesThe environmental overlap suppresses locally observable quantum coherence. Scattered photons, surrounding gas and uncontrolled apparatus variables can carry away such records. The interaction often singles out robust states forming a pointer basis. Decoherence can be much faster than thermal energy relaxation because recording a macroscopic distinction need not transfer much energy.

The overall state can remain pure and evolve unitarily even when the system alone looks like a classical mixture. Discarding environmental information is therefore not, by itself, a proof of fundamental wavefunction collapse or a solution to the definite-outcome measurement problem. A small controlled environment can return coherence, as in the single-qubit environment dephasing model; practical irreversibility arises when recovering the many dispersed records becomes inaccessible. In an interferometer, varying gas pressure or an independently controllable path marker tests the dependence of fringe contrast on this environmental coupling. Quantum computation must suppress or correct such unwanted system–environment entanglement to preserve the intended interference.

Inverting the detector rotation at this time givesFor a representation with one system factor and one environment factor per displayed detector state, each parenthesized system–environment vector would have to be a product state. But the first has coefficient matrix $\mathrm{diag}(c,s)$ in the indicated orthonormal bases; the second has matrix $\mathrm{diag}(s,-c)$. Their matrix ranks are two whenever $cs\ne 0$. Equivalently, their two nonzero Schmidt coefficients are $|c|,|s|$, which no independent basis changes can remove. Thus the proposed factorization is impossible when $\sin \theta \ne 0$.

The exception matters: at $\theta =m\pi$, the detector basis is the original basis up to phases or interchange, and a factorization does exist. In particular, the literal condition $\theta \ne 0$ is insufficient if it includes $\theta =\pi$. The intended obstruction concerns genuinely mixed detector bases.

The environment has selected robust detector records: its interaction commutes with the original projectors, and orthogonal environmental records suppress their interference in the reduced density matrix. A rotated detector branch instead leaves the system and environment entangled. This is environment-induced pointer-basis selection, the issue analyzed by W. H. Zurek in his apparatus-environment model.^[ref]

This addresses the basis ambiguity but does not by itself select one realized outcome from the global superposition. Moreover, a two-state environment has recurrences: $\cos 2A$ returns to unit modulus, so the toy model does not establish irreversible macroscopic collapse. A large environment can make records effectively persistent over experimental times, but that requires further dynamical assumptions. The distinction is part of the measurement problem, not an algebraic error cured by a partial trace.

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.

The measurement problem arises from applying quantum dynamics to both a measured system and a physical apparatus. If $|0⟩|M_{\ast }⟩\to |0⟩|M_0⟩$ and $|1⟩|M_{\ast }⟩\to |1⟩|M_1⟩$, linearity maps a superposition to $\alpha |0,M_0⟩+\beta |1,M_1⟩$. That is generally not one selected apparatus record, although ordinary experience and the usual stochastic outcome rule assign a definite record in each run.

The conflict concerns the combination of a complete wavefunction description, universal unitary evolution and a unique ordinary outcome. They cannot all be used naively in the indicated example. Declaring that a measurement collapses the state can be a practical predictive rule, but a complete physical account must say when that nonunitary rule applies and why the apparatus is exempt from the system's ordinary equation.

Decoherence helps by correlating records with a large environment and suppressing observable interference between them. It explains approximate stability of record bases and why coherent reversals are hard, but the reduced density matrix is an improper mixture arising from an entangled state. Suppression of off-diagonal terms alone does not select one global component.

Physicists can make excellent laboratory predictions while leaving this issue open. It still matters when extending the theory to universal systems, precision tests of collapse, or claims about what the state represents. Responses include new configurations and guidance, modified stochastic dynamics or branch-relative outcomes in a unitary theory. These differ in what they assert physically and sometimes in additional testable effects. The problem is therefore not simply ignorance of which detector clicked, but the relation between a purportedly universal law and the definite evidence used to test it.

The absence of visibly strange superposed records is an observational constraint, but it does not by itself uniquely confirm a physical collapse law. A macroscopic superposition in the global state need not mean that an observer sees two contradictory records simultaneously. Decoherence can suppress interference between record branches, and interpretations with additional configurations or branch-relative observers can reproduce definite experiences without stochastic collapse of the universal wavefunction.

Conversely, simply invoking decoherence does not prove that one global outcome has been selected. A reduced density matrix diagonal in a pointer basis gives the same local statistics as a classical mixture but can arise from an entangled pure state. That distinction is central to the measurement problem. The adequacy of a no-collapse account requires its own explanation of observers, records and their probabilities, rather than the assertion that small off-diagonal terms settle everything.

To distinguish dynamical collapse empirically one seeks consequences beyond the common prediction of stable records, such as a specified loss of interference with mass or separation, anomalous heating or spontaneous radiation. Those predictions depend on collapse parameters and how the law couples to matter. Experiments can constrain those models while ordinary everyday definiteness alone underdetermines the alternative laws.

Thus familiar outcomes are evidence that any acceptable theory must explain. They support collapse over a naive theory that literally predicts an experienced unresolved superposition without a record account, but not over every developed no-collapse interpretation with the same outcome statistics. A fair comparison tests the full alternatives and their likelihoods, rather than treating interpretive disagreement as an observation of collapse itself.^[ref]

Quantum mechanics has a highly successful predictive calculus, but its standard informal presentation does not transparently supply one consistent physical description of all processes. An isolated system evolves unitarily, while a measurement is often said to select one outcome stochastically. If both the apparatus and the system are physical and governed by the same unitary dynamics, their interaction generally produces an entangled superposition of records. Explaining how this relates to an experienced definite result is the measurement problem.

For a limited laboratory task, an operational rule can assign probabilities to recorded outcomes without first resolving every ontological question. In that pragmatic sense, a calculation need not await agreement on interpretation. But specifying what counts as an intervention, a record and an outcome still supplies a relation between the mathematics and practice; calling this “no interpretation” may merely leave it implicit.

The need becomes sharper in cosmology or a universal theory, where an external classical observer cannot simply be assumed. Distinct responses change what is physically asserted: collapse theories alter dynamics, Bohmian mechanics adds configurations and guidance, and many-worlds accounts keep unitary dynamics and branch-relative records. Some proposals are empirically equivalent in standard regimes, whereas modified collapse models can have additional testable noise or heating. Interpretation is therefore not always an idle choice among verbal paraphrases of one unchanged theory.

The appropriate conclusion distinguishes applications from completeness. One can make reliable conditional predictions using a modest operational account, but a claim to describe the physical world requires saying what the formal state and its alternatives represent and how definite evidence arises. That need does not prove that any particular realist interpretation is correct, or that every philosophical dispute must be settled before doing useful physics.

A dynamical collapse law specifies stochastic changes of the wavefunction, including a rate, localization scale and probabilities. Such changes can suppress macroscopic superpositions, but a law for a mathematical state does not automatically identify the stuff composing a macroscopic table. If the wavefunction is on configuration space, one must still explain how it represents a three-dimensional distribution of matter and records.

One option defines mass density in ordinary space by $m(\mathbf{x},t)={\sum }_i{m}_i\int dq|\psi (q,t){|}^2\delta (\mathbf{x}-{\mathbf{q}}_i)$. A localization then changes this density so that a single dominant macroscopic pattern remains. The formula is additional interpretive structure, even if it introduces no independent evolving variable beyond the wavefunction. Another option takes discrete spacetime localization events as the primitive ontology. These two proposals can accompany closely related wavefunction dynamics while telling different stories about what matter is.

This is why mass density in particular is not logically mandatory, but some account of the relation between collapse and ordinary physical objects is required if the theory is offered as a complete ontology. A wavefunction-only view may argue that no further primitive stuff is necessary, yet it owes an explanation of spatial localization and records on that basis. Merely asserting that interference terms become small is not that explanation.

Additional posits can also have costs: small wavefunction tails survive finite localization, and the ontology must say what their tiny matter components or corresponding events mean. Choosing primitive ontology and handling such tails are distinct from specifying the stochastic dynamical law. A defensible collapse interpretation therefore makes both commitments explicit rather than suggesting that adding randomness alone solves every part of the measurement problem.^[ref][ref]

A theoretical physicist working on precise formulations of the measurement problem. His joint work compares Bohmian mechanics, in which particles have positions guided by a wave function, with Ghirardi-Rimini-Weber theory, in which localization events modify the dynamics. The comparison distinguishes an equation for the wave function from an account of what occupies physical space, such as the GRW flash ontology.^[ref]

A theoretical physicist who coauthored the original Ghirardi-Rimini-Weber theory in 1986. The proposal gives microscopic and macroscopic systems a common modified quantum dynamics: localization is rare for an isolated microscopic constituent but becomes effective for a large object. It supplies a dynamical approach to the measurement problem.^[ref]