Layers of a Foundations Claim

A foundations claim often crosses several kinds of reasoning: a mathematical framework permits a model; that model predicts observations; data constrain it; an interpretation says what its successful description means. A reliable argument makes these crossings explicit. This page gives a common vocabulary for assessing such claims throughout the volume.

The layers below are analytical distinctions, not a ranking of intellectual importance. A rigorous theorem can have a contested physical premise. An interpretation can be precise without making an experimentally distinct prediction. A highly significant observation can still underdetermine its theoretical explanation.

Formal frameworks and mathematical consequences

A formal framework specifies the objects and rules used to represent physical situations. Finite-dimensional quantum theory uses positive unit-trace density operators, positive measurement effects summing to the identity, and the rule $p(a)=\operatorname{Tr}(\rho E_a)$. A generalized probabilistic theory may replace this state space while retaining normalized probabilities.

A theorem states a consequence of specified assumptions within a mathematical setting. The Kochen–Specker theorem constrains certain noncontextual value assignments; it does not prohibit every possible use of hidden variables. Gleason’s theorem constrains probability assignments under dimension and additivity conditions; it should not be paraphrased as deriving probability without any assumptions about probabilities.

The test is logical: do the conclusion and proof follow from the stated premises? Evidence that a premise is physically suitable is an additional question. No-go theorem assumptions provide the relevant inventory.

Physical models and empirical inferences

A physical model identifies the formal objects with preparations, apparatus settings, interactions, and records. It also specifies approximations: neglected degrees of freedom, an isolation time, a noise process, or a detector response. Different models may use the same mathematics while assigning it different physical roles.

A prediction is obtained by applying that model to a specified protocol. An empirical inference compares the prediction with records and uncertainties. A likelihood, calibration procedure, event-selection rule, and alternative explanation can be as important as the central theoretical equation.

For example, an observed loss of interference is an empirical feature. Assigning it to environmental scattering is a model-based explanation. Assigning the residual to a new collapse process requires an additional inference. The collapse-test page explains how geometry and conventional noise enter that step.

Worked example: what does a coherence decay establish?

Suppose tomography of a prepared qubit is consistent with

$$\rho(t)=\frac12 \begin{pmatrix} 1 & e^{-\Gamma t}\\ e^{-\Gamma t} & 1 \end{pmatrix}, \qquad \Gamma\geq0.$$

Its eigenvalues $(1\pm e^{-\Gamma t})/2$ are nonnegative, so the proposed state is mathematically admissible. For an $X$ measurement, the model predicts

$$p(+x|t)=\frac{1+e^{-\Gamma t}}2.$$

These are formal and predictive statements. Estimating $\Gamma$ from data is an empirical task. Calling $\Gamma$ a rate of environmental dephasing identifies a physical mechanism; a microscopic model should justify that identification.

A hypothetical intrinsic collapse mechanism could produce the same reduced matrix in this experiment. If its effective rate adds independently, then $\Gamma=\Gamma_{\mathrm{env}}+\Gamma_{\mathrm{new}}$. A measured total rate does not uniquely determine its two nonnegative components. Environmental calibration, changed geometry, heating measurements, or other predictions may distinguish them.

Even perfect agreement with the matrix does not by itself imply that one outcome has been selected in a complete isolated system. The reduced description leaves a question that belongs to the outcome problem. Schlosshauer’s review and Bassi and collaborators’ review place the environmental and modified-dynamics explanations in their respective settings.

Interpretation and ontology

An interpretation specifies how the formal description connects with experience and physical explanation: the meaning of a quantum state, probabilities, measurement updates, and records. An ontology states what entities or structures the account treats as physically existent. These categories overlap, but a statement about ontology need not change a laboratory probability.

“Quantum states are real” is insufficiently precise on its own. It might mean that the wavefunction is a field on configuration space, that distinct pure states correspond to disjoint distributions over underlying states, or simply that state assignments are objectively constrained. These are different claims. Leifer’s review explains the specific ontological-model sense used in state-reality theorems and its assumptions.

Modifications of quantum dynamics, such as specified collapse models, add or change equations and may yield new predictions. They are often discussed alongside interpretations, but their experimental status requires independent treatment. A proposal becomes scientifically assessable by specifying mathematical consistency, empirical recovery, and potential discriminators. A suggestive verbal mechanism alone supplies none of these.

How conclusions travel between layers

A careful argument can move upward or downward through these layers, but each move needs a warrant. Experimental support for a probability formula supports every model that gives the same formula in the tested regime. It does not equally establish every additional ontological assertion of those models. Conversely, a theorem can sharply constrain interpretations that explicitly accept its premises even before a new experiment is performed.

No universal boundary cleanly separates all interpretation from theory construction. Use the concrete commitments of a proposal rather than its advertised label. The interpretation comparison applies this rule to particular accounts.

Exercise: separate an observed rate from its cause

In the qubit example, an idealized exact measurement gives $\Gamma=5\,\mathrm{s}^{-1}$. Environmental calibration only establishes $3\leq\Gamma_{\mathrm{env}}\leq5\,\mathrm{s}^{-1}$. With the additive model and nonnegative new rate, what follows?

Solution

The allowed interval is $0\leq\Gamma_{\mathrm{new}}\leq2\,\mathrm{s}^{-1}$. The data do not establish a positive new rate, because $\Gamma_{\mathrm{env}}=5\,\mathrm{s}^{-1}$ remains allowed. Real error bars would require a statistical confidence or posterior construction; subtracting two central estimates would not replace it.

References

• Bassi, A., Lochan, K., Satin, S., Singh, T. P., and Ulbricht, H., “Models of wave-function collapse, underlying theories, and experimental tests,” Reviews of Modern Physics 85, 471–527 (2013), arXiv:1204.4325.
• Leifer, M. S., “Is the quantum state real? An extended review of ψ-ontology theorems,” Quanta 3, 67–155 (2014), arXiv:1409.1570.
• Schlosshauer, M., “Quantum decoherence,” Physics Reports 831, 1–57 (2019), arXiv:1911.06282.