Abstract
There is a longstanding debate on the metaphysical relation between quantum states and the systems they describe. A series of relatively recent \(\psi\)-ontology theorems have been taken to show that, provided one accepts certain assumptions, “quantum states are real”. In this paper I investigate the question of what that claim might be taken to mean in light of these theorems. It is argued that, even if one accepts the framework and assumptions employed by such theorems, such a conclusion is not warranted. Specifically, I argue that when a so-called ontic state is taken to describe the properties of a system, the relation between this state and some quantum state as established by \(\psi\)-ontology theorems, is not of the kind that would warrant counting the quantum state among these properties in any way.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is about the central question “Is the quantum state real?”. It is a question that presumably arose in tandem with the first axiomatizations of quantum mechanics in the early twentieth century. About as old is the more important question of what that central question means. In recent years, we find ourselves in the peculiar situation that despite a lack of consensus on what the answer to this second question should be, there is some consensus that the answer to the central question should be “yes” (provided one buys into some assumptions).
At first sight, this seems as unhelpful as giving the same “yes”-answer to the question “particle or wave?”. But in the present situation, the “yes” comes in the form of a series of formal results known as \(\psi\)-ontology theorems [25]. The most famous of these results is the PBR Theorem, named after Pusey, Barrett, and Rudolph [37]. Being formal results, they can only give an answer to a specific well-defined reading of the central question. In this paper I clarify what this reading should be taken to be. More accurately, I shall argue that, somewhat provocatively, \(\psi\)-ontology theorems have little to say about the metaphysical status of quantum states.
My criticism should not be interpreted as an endorsement of an epistemic interpretation of quantum states. Nor do I wish to claim that there are no good arguments in favor of an ontic interpretation (see e.g. [8, 47]). Instead, my aim is to clarify the current import of \(\psi\)-ontology theorems on this debate. It is my view that such clarification is to be welcomed, as there seems to be some confusion about it going around. This is not in the least place due to the peculiar circumstances in which the PBR Theorem was introduced to the world. The original preprint title of the paper was “The quantum state cannot be interpreted statistically”. It was this ambiguous statement that was quickly hyped with soundbites like “This strips away obscurity and shows you can’t have an interpretation of a quantum state as probabilistic” (Wallace, as quoted in [38]). Surely, what isn’t meant here is that quantum states do not give rise to probabilities.
Only a few months later, confusion was added for those not following the developments closely, when Lewis et al. [27] put online a preprint of their paper with the title “The quantum state can be interpreted statistically” (emphasis added). Not long after that, the situation was mediated somewhat when Pusey, Barrett and Rudolph gave a modified characterization of their theorem as establishing that, under certain circumstances, “quantum states must be real”. More recently, Wallace [49] gave a more philosophically sounding characterization of what \(\psi\)-ontology theorems intend to show: the necessity of “Quantum state representationalism: The distinct states in quantum state space represent different physical possibilities.” In other words, one physical possibility cannot accurately be represented by two distinct quantum states.
There is of course a remaining ambiguity concerning what is meant with a “physical possibility” and how that is to be represented by the theory. In \(\psi\)-ontology theorems, it is assumed that these can be captured in terms of so-called ontic states (see Sect. 2). Clearly, Wallace takes this to be a reasonable assumption as he writes about \(\psi\)-ontology theorems that “it looks reasonably clear (without being universally accepted) that any plausible non-representational reading of the quantum state will have to presume instrumentalism [15] or some other radical departure from the usual scientific-realist conception of physical theories as giving a third-party, agent-independent account of the world”.
Leifer [25] adopts a similar view when discerning “realist” \(\psi\)-epistemic views and “neo-Copenhagen” \(\psi\)-epistemic views, and clarifying that \(\psi\)-ontology theorems only rule out the former. Ben-Menahem [5] in turn argues that these theorems should be interpreted as supporting a neo-Copenhagen type interpretation for those preferring a \(\psi\)-epistemic view, but denies that this means going as far as adopting a kind of anti-realist stance towards quantum mechanics as a whole. Oldofredi and Lopez [36] argue that the framework adopted in \(\psi\)-ontology theorems is actually not adequate to fully capture the realist/anti-realist dichotomy for quantum states. Finally, Halvorson [19] argues that the realist/anti-realist division for quantum states isn’t really as unambiguous as one might hope at all.
The combined impression these papers leave us with, is that the precise implications of \(\psi\)-ontology theorems are not well understood, or at least up for debate. In this paper I will steer away somewhat from the metaphysical discussion of when exactly quantum state representationalism holds or one is justified in saying that “the quantum state is real”. Instead, my focus is on what kind of partial answers to the central question \(\psi\)-ontology theorems intend to deliver, and what partial answers can actually be inferred from these theorems.
Like any formal result, \(\psi\)-ontology theorems have to presuppose a certain mathematical framework within which then certain philosophically or physically motivated assumptions can be formalized to play a role in the proof for the claim to be made. I shall not be concerned with the reasonableness of this framework or the adopted auxiliary assumptions in this paper. But understanding the framework is essential for understanding my critical stance towards \(\psi\)-ontology theorems. It will be introduced and discussed in Sect. 2, where I will also explain that the interpretation of \(\psi\)-ontology theorems is tied up with the interpretation of these frameworks. Then, in Sect. 3, I will explain that, insofar as \(\psi\)-ontology theorems prove the necessity of quantum state representationalism, this cannot be taken to imply that quantum states themselves are part of what constitutes a “physical possibility”. In Sect. 4 it is argued that \(\psi\)-ontology theorems do not even establish quantum state representationalism, even if one accepts the framework and auxiliary assumptions they adopt. To this end I also discuss two explicit ontic models. The first is due to Gudder [17] and the second due to Meyer, Kent and Clifton [9, 23, 30]. Although these models are shown to be \(\psi\)-ontic in the sense adopted in \(\psi\)-ontology theorems, there is no way of unambiguously linking quantum states to what constitutes a physical possibility in these models. I end on a more positive note in Sect. 5 with a discussion of what I do take \(\psi\)-ontology theorems to show.
2 Using Ontic Models
To be able to prove anything about the “real properties” of a system, one needs some mathematical object that is taken to represent these properties. To this end the notion of an ontic state \(\lambda\) of a system is introduced. Very little is assumed about what kind of objects ontic states are, other than that the set of all possible ontic states \({\varLambda }\) forms a measurable space, i.e., it comes equipped with a \(\sigma\)-algebra \({\varSigma }\) of subsets of \({\varLambda }\). This ensures that the introduction of probabilities is well-defined.
How exactly \(\lambda\) represents properties of a system is left open. The minimal condition is merely that \(\lambda\) can play the functional role for making predictions about the outcomes of future measurements. That is, for every physical quantity A, every ontic state \(\lambda\) determines the probability \({\text{p}}_{A}(a|\lambda )\) for every possible outcome a of a measurement of A. Formally, \({\text{p}}_{A}\) is a Markov kernel from \(({\varLambda },{\varSigma })\) to the measurable space of possible measurement outcomes for A.Footnote 1 How these measurement outcomes come about is left unspecified: ontic models need not pose a solution to the measurement problem.
Ontic models are required to (partially) reproduce the predictions of quantum mechanics. In this paper I shall look specifically at fragments of quantum mechanics (see also [25, §4]). A fragment of quantum mechanics consists of a triplet \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\), where \({\mathcal {H}}\) is a finite-dimensional Hilbert space, \({\mathcal {P}}\) is a set of density operators, and \({\mathcal {M}}\) is a set of POVMs. An ontic model for a fragment \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\) consists of a measurable space \(({\varLambda },{\varSigma })\) and further satisfies the following two conditions.
-
(I)
For every physical quantity A that can be represented by a POVM \(\{E_{a_{1}},\ldots ,E_{a_{n}}\}\in {\mathcal {M}}\), there is a Markov kernel \({\text{p}}_{A}\) such that
$$\sum _{i}{\text{p}}_{A}(a_{i}|\lambda )=1$$for every \(\lambda \in {\varLambda }\) and
-
(II)
For every density operator \(\rho \in {\mathcal {P}}\) there is a non-empty set \({\varPi }_{\rho }\) of probability distributions over \(({\varLambda },{\varSigma })\) such that
$$\int {\text{p}}_{A}(a_{i}|\lambda )\,{\text{d}}\mu (\lambda )={\text{Tr}}(\rho E_{a_{i}})$$for every \(A,a_{i}\) and \(\mu \in {\varPi }_{\rho }\).
Thus the minimal requirement for an ontic model is that on average it reproduces the Born rule. It is further standard practice to endow the probability distribution \(\mu\) associated with some quantum state \(\rho\) with an epistemic interpretation: it represents the ignorance regarding the true (ontic) state of the system. It further deserves to be noted that, in general, multiple distinct physical quantities will correspond to the same POVM. Or, in other words, a single POVM will have multiple distinct representations in the ontic model, i.e., the model will be contextual. In addition, the set \({\varPi }_{\rho }\) will typically not be a singleton set, as preparation contextuality is also to be expected [44].
The \(\psi\)-ontic/epistemic distinction was introduced by Harrigan and Spekkens [20]. The idea is that an ontic model is \(\psi\)-ontic if
every complete physical state or ontic state in the theory is consistent with only one pure quantum state. [20, p. 126]
So the ontic state determines the quantum state and, if a particular quantum state is prepared, then with certainty an ontic state obtains that is associated with that quantum state. This coincides with the notion of quantum state representationalism if one assumes ontic states encode physical possibilities. The further narrative is that, if a given ontic model is \(\psi\)-ontic, and if one interprets ontic states as encoding the properties of a system, then it reasonably follows that, in one way or another, pure quantum states correspond to possible properties of systems.
In broad terms, this all seems somewhat reasonable. But things get difficult when proposing a more concrete ontology. For ontic states it is less clear how exactly they are taken to relate to the world than it is for quantum states. Quantum states are given within a rich mathematical structure that may be taken more or less seriously when it comes to interpreting quantum mechanics. One popular view is to adopt a wave function representation of pure states in Hilbert space. Quantum states then correspond to (equivalence classes of) square-integrable functions \(\psi :{\mathbb {R}}^{3N}\rightarrow {\mathbb {C}}\). It may then be proposed that this 3N-dimensional space is to be taken seriously as a candidate for representing the true space of our world [2]. Or one could insist that the ontology is to be given in terms of stuff in “ordinary” 3-dimensional space—a primitive ontology [16]—and that the relation between quantum states and this stuff is only indirect. Or the relation between quantum states and the emergent objects from daily life could be more involved still [50]. And one could go on. In short, within quantum mechanics there is a lot of additional structure that may be taken into account when reflecting on how quantum states relate to the system that is taken to be described by it.
Ontic models do not necessarily come equipped with a specific structure that aids in the interpretation of ontic states. And if all that is known of an ontic model is that it must be \(\psi\)-ontic, then this doesn’t say much about how to interpret quantum states, because that will depend on what the ontic state is taken to represent. This may be seen as a strength of \(\psi\)-ontology theorems. If successful, they show that pure quantum states represent properties of systems, while being permissive about how this representation is to work exactly. Even a nomic reading of quantum states as preferred by some Bohmians [11] may be compatible with the \(\psi\)-ontic claim.
But this generality also comes at a price. The interpretation of ontic states cannot be fixed by any \(\psi\)-ontology theorem and this also means that the interpretation of quantum states is still much up for debate even if one accepts the use of ontic models and is able to show that they must be \(\psi\)-ontic. To illustrate this point consider an extreme example. As far as quantum Bayesianism is a viable candidate for interpreting quantum mechanics, “ontic model Bayesianism” may be a viable candidate for interpreting ontic models. That is, since the main role of ontic states is determining probabilities for the outcomes of measurements, there is no principled reason to not interpret ontic states as representing degrees of belief. If one interprets ontic states as possible expert opinions, then, if the ontic model is \(\psi\)-ontic, this only implies that distinct pure states correspond to poolings of expert opinions for disjoint sets of possible opinions. But that these sets of expert opinions are disjoint does not mean that they must necessarily attribute distinct properties to systems.Footnote 2
To illustrate the point further, consider the following example. I may have complete confidence in some weather app when it comes to setting my degrees of belief about whether it will rain tomorrow. You may have complete confidence in a different weather app that incidentally makes a different predictions for the probability of it raining tomorrow. In this case, our epistemic states have zero overlap, but our beliefs about it raining tomorrow are not incompatible and our beliefs about the correctness of these weather apps is only incompatible if it is assumed that there is some “true probability” of it raining tomorrow. But that is specifically what is denied by Quantum Bayesians who take their views about probability from subjectivists like De Finetti.
It may be noted that all these considerations about ontic states need not undermine quantum state representationalism. It all depends on how one wishes to understand “physical possibilities”. In fact, QBism itself may be seen as endorsing quantum state representationalism if one takes epistemic states of rational agents to supervene on physical possibilities. But presumably the aim of \(\psi\)-ontology theorems is to demonstrate something stronger. The intended reading is that ontic states pertain in some way to the system specifically and not just to physical possibilities broadly construed. For the remainder of this paper I shall abide by this intended reading.
3 Ontic Models as Reducing Theories
When bracketing the interpretation of ontic states, \(\psi\)-ontology theorems may be understood as aiming to establish a certain inter-theoretic relation between quantum mechanics and possible future theories that are to replace it. Showing that ontic models are necessarily \(\psi\)-ontic would go a long way in showing that, whatever the state space of such a future theory, no ontic state can be compatible with more than one pure quantum state. Thus there will be a bridge law between these ontic states and pure quantum states. The bridge law is just the rule that assigns to each ontic state its corresponding quantum state.Footnote 3
As I shall demonstrate in Sect. 4, the existence of such a rule does not trivially follow from existing \(\psi\)-ontology theorems. But suppose the existence of such bridge laws can be demonstrated. Several questions would arise. Would they justify the claim that quantum states are part of the new theory? Does the ontic model then really provide a lower-level explanation of what quantum states are? And will it fully capture the theoretical role that quantum states are taken to play?
A good starting point is to look at how quantum states are introduced in ontic models. First and foremost, quantum states are associated with probability distributions over ontic states. This structure is reminiscent of probability distributions in statistical mechanics. In fact, ontic models seem to be based on Einstein’s idea that this is just how one should try to think about quantum mechanics in light of a possible future complete theory:
Assuming the success of efforts to accomplish a complete physical description, the statistical quantum theory would, within the framework of future physics, take an approximately analogous position to the statistical mechanics within the framework of classical mechanics. [12]
Such an accomplishment would be a hopeful goal if statistical mechanics were a properly understood theory without controversy. But the justification of the use of probabilities and their meaning in statistical mechanics is by no means clear [14, 46]. Trading in the controversies of the foundations of quantum mechanics for those of statistical mechanics may be a jump from the frying pan into the fire. Nevertheless, it is worthwhile to study the analogy in some more detail.
Immediately after giving their first characterization of \(\psi\)-ontic models (quoted earlier), Harrigan and Spekkens provide a second characterization:
In \(\psi\)-ontic models, distinct quantum states correspond to disjoint probability distributions over the space of ontic states, whereas in \(\psi\)-epistemic models, there exist distinct quantum states that correspond to overlapping probability distributions. [20, p. 126]
The idea is then that the ontic states in the support of a distribution associated with \(\psi\) can be unambiguously associated with \(\psi\). As illustrated in Fig. 1, in a \(\psi\)-ontic model the ontic state can tell us what the quantum state is, whereas in a \(\psi\)-epistemic model this is not always the case. That this idea is not watertight is the main concern in the next section. But for now I will go along with it.
There is an interesting analog in statistical mechanics. For the set of micro-canonical ensembles it is the case that the probability distributions are pairwise non-overlapping. A micro-canonical ensemble corresponds to the uniform distribution over the states with the same energy, for a fixed value of the energy. Every micro state can thus unambiguously be associated with one micro-canonical ensemble, namely, that corresponding to the energy of that micro state. But not many would accept this state of affairs as an argument in favor of “micro-canonical ensemble representationalism”. At least some qualifying remarks would have to be made.
In the case of ontic models it may be that quantum states track some property of systems in the same way that micro-canonical ensembles track the energy of systems. But just like how Hamiltonians and micro-canonical ensembles are not the same thing, it is not to be expected that the property picked out by a probability distribution associated with a state \(\psi\) is the same thing as that distribution. After all, the support of a probability distribution (that what is taken to pick out the relevant property), has a lot less structure than the distribution itself. Consequently, it is also not to be expected that the property picked out can in any relevant sense be identified with \(\psi\) itself. Again, this does not undermine quantum state representationalism broadly construed. But it does highlight that quantum state representationalism should then not be taken to imply that quantum states, as understood in quantum mechanics, are a part of the physical possibilities to be associated with them.
There is a further, tangent point worth making. That the probability distribution associated with \(\psi\) might be used to pick out a property of the system does not imply that this probability distribution should be given an objective interpretation. Regarding the role the quantum state plays as giving rise to probabilities over ontic states, it may still be given an epistemic interpretation. Just like how micro-canonical ensembles may be given an epistemic interpretation despite picking out the energy of the system. Moreover, the picked out property also need not correspond to the probabilities associated with quantum states by the Born rule. If an ontic model is \(\psi\)-ontic, this does not imply that the probabilities from quantum theory should be interpreted as objective chances. Thus \(\psi\)-ontology theorems have little to say about the meaning of probability in quantum mechanics or in future theories of physics.Footnote 4
It may be objected at this point that there is an important dis-analogy between the probability distributions associated with quantum states in ontic models and micro-canonical ensembles in statistical mechanics. The micro-canonical ensembles are just a special subset of all possible probability distributions and even a special subset of the stationary distributions. When an epistemic interpretation of probability is adopted in statistical mechanics, there is in general no principled reason why, a priori, certain distributions should play a special role when it comes to epistemic attitudes. Additional considerations are needed to single out a certain subset of probability distributions. But as part of the larger set of probability distributions, the micro-canonical ones do have overlaps with other distributions. One may think that perhaps this lies behind the legitimacy of an epistemic interpretation.
I maintain that these intuitions are misguided. Although in discussions of ontic models the probability distributions associated with quantum states play a special role, this is only because these models are investigated as possible candidate models that reproduce the quantum mechanical predictions. But in principle there is no reason to not view these distributions as just a subset of all the admissible probability distributions. For example, the possibility of non-quantum probability distributions is a serious topic of discussion in Bohmian mechanics [48]. And one need not even consider exotic cases. When the distributions associated with pure quantum states are seen as just a special subset of all distributions associated with arbitrary quantum states, then there will also be overlaps. If one holds that there is no principled conceptual distinction between mixed and pure states, then the analogy with statistical mechanics again lines up.
To sum up, in the best case scenario, \(\psi\)-ontology theorems provide a bridge law that associates with each ontic state a unique quantum state. But the relationship between the property of being in an ontic state in the support of \(f_{\psi }\), and the state \(\psi\) as used in quantum mechanics is unclear. If some ontic state \(\lambda\) picks out the state \(\psi\), this does not imply that a system in the state \(\lambda\) should behave in any relevant sense as a quantum system in the state \(\psi\) (except in the case of measurements of observables for which \(\psi\) is an eigenstate). So the best case scenario doesn’t really justify the claim that “quantum states are real”. In the next section, I shall argue that the situation is actually worse than this best case scenario.
4 What \(\varvec{\psi }\)-Ontology Theorems Do Not Show
4.1 \(\varvec{\psi }\)-Ontic vs \(\varvec{\psi }\)-Determinate Models
When moving away from the intended interpretation of ontic models and their components, what remains of the concept of \(\psi\)-onticity is that of an inter-theoretic relation. If successful, \(\psi\)-ontology theorems would show that in any future theory states can be linked up with quantum states. The general strategy to try to prove this is to show that probability distributions associated with distinct pure quantum states are non-overlapping. For example, Pusey et al. [37, p. 477] state that “[a]n important step towards the derivation of our result is the idea that the quantum state is physical if distinct quantum states correspond to non-overlapping distributions for \(\lambda\).” However, if with the quantum state being physical one means that ontic states can be unambiguously associated with unique pure quantum states, then this inference is not logically valid. It is worthwhile to make the issue more precise.
The idea of a \(\psi\)-ontic model as introduced by Harrigan and Spekkens [20] is that each ontic state is compatible with at most one pure quantum state. I shall call an ontic model that satisfies this criterion \(\psi\)-determinate and reserve the term \(\psi\)-ontic for the related notion of non-overlapping distributions that is used in \(\psi\)-ontology theorems.Footnote 5
Consider an ontic model \(({\varLambda },{\varSigma })\) for a fragment \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\), where \({\mathcal {P}}\) also contains pure states. Let \([\psi ]\) denote the 1-dimensional projection on the line spanned by the vector \(\psi \in {\mathcal {H}}\). The ontic model is called \(\psi\)-determinate if there exists a map that assigns to each pure state \([\psi ]\in {\mathcal {P}}\), a measurable set \({\varLambda }_{[\psi ]}\in {\varSigma }\) such that for all pairs of pure states \([\psi ],[\phi ]\in {\mathcal {P}}\)
-
(i)
\({\varLambda }_{[\psi ]}\cap {\varLambda }_{[\phi ]}=\varnothing\), whenever \([\psi ]\ne [\phi ]\),
-
(ii)
\(\mu ({\varLambda }_{[\psi ]})=1\) for all \(\mu \in {\varPi }_{[\psi ]}\).
Condition (i) ensures that if \(\lambda \in {\varLambda }_{[\psi ]}\), then one can unambiguously conclude that \(\psi\) is the corresponding quantum state (up to a phase factor). Condition (ii) implies that if a system is prepared according to \(\psi\), then with probability one an ontic state is prepared for which \(\psi\) is the corresponding quantum state. It is allowed that the union \(\bigcup _{[\psi ]\in {\mathcal {P}}}{\varLambda }_{[\psi ]}\) is a proper subset of \({\varLambda }\). So there may be ontic states that only correspond to some mixed state, but not to any pure state. There can even be ontic states that do not correspond to any quantum state at all and thus truly go beyond quantum mechanics. Allowing for this is inconsequential for the points to be made.
It was immediately recognized by Harrigan and Spekkens [20] that \(\psi\)-determinateness implies that distinct quantum states should correspond to non-overlapping probability distributions. It is this criterion that is used in most \(\psi\)-ontology theorems and formalized explicitly as the criterion of \(\psi\)-onticity in [25]. Specifically, an ontic model \(({\varLambda },{\varSigma })\) for a fragment \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\) is called \(\psi\)-ontic if for every distinct pair \([\psi ],[\phi ]\in {\mathcal {P}}\) the corresponding probability distributions are non-overlapping, i.e., the variational distance between their corresponding probability measures equals 1:
for all \(\mu \in {\varPi }_{[\psi ]},\nu \in {\varPi }_{[\phi ]}\). The model is called \(\psi\) -epistemic if it is not \(\psi\)-ontic.
There is a strong intuition that any ontic model is \(\psi\)-determinate if and only if it is \(\psi\)-ontic. Figure 1 illustrates this. When two distributions corresponding to distinct pure quantum states do not overlap, their supports must be disjoint. And so one can associate the quantum state \(\psi\) with any ontic state in the support of the distribution corresponding to \(\psi\).
But part of the work in this reasoning is being done by the familiar topology of the line. In Fig. 1 the supports of the distributions form neat intervals of the line. But using the line is just a convenient abstraction for drawing pictures. The support of a distribution is only defined up to sets of measure zero. In the case of Fig. 1 the natural choice is of course a single interval. But in general there need not be a natural way to pick out one set as the support of the distribution.
A second problem is that the choice for the support of each distribution has to be made in such a way that they are non-overlapping for all pairs of pure quantum states. To elaborate, consider an arbitrary \(\psi\)-ontic model. Given a pair of quantum states \(\psi ,\phi\), it can be straightforward to construct distributions \(f_{\psi },f_{\phi }\) that have disjoint supports . But it is not trivial to introduce a single background measure with respect to which every quantum state \(\psi\) has a distribution \(f_{\psi }\) in such a way that \(f_{\psi }\) and \(f_{\phi }\) have disjoint supports for every pair of quantum states.
It is true that every \(\psi\)-determinate model is \(\psi\)-ontic. This follows because the supremum in (1) is attained for the choice \({\varDelta }={\varLambda }_{[\psi ]}\). In other words, if \({\varLambda }_{[\psi ]}\) is already given, it is obvious that this set should be chosen as the support for the probability distribution. The converse, however, is not true in general. An example of a model for a single qubit that is \(\psi\)-ontic but not \(\psi\)-determinate was given by Montina [31].
It is not clear if more general models exist that are \(\psi\)-ontic but not \(\psi\)-determinate. In the next two subsections I consider two sets of ontic models for which it is relatively straightforward to show that they are \(\psi\)-ontic. However, the question if they are also \(\psi\)-determinate is highly non-trivial and I have only been able to show that they are by invoking the continuum hypothesis. Natural candidates for a map \([\psi ]\mapsto {\varLambda }_{[\psi ]}\) tend to fail and the unnatural candidates are highly non-unique. This non-uniqueness implies that even if one counts these models as \(\psi\)-determinate (e.g. by accepting the continuum hypothesis), there is still no unambiguous way to associate a quantum state with a given ontic state. In the face of such complexity it is doubtful to conclude quantum state representationalism even if one accepts the intended interpretation of ontic states and has a \(\psi\)-determinate ontic model.
4.2 Gudder’s Model
In this section I consider a value definite ontic model for the fragment \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\) with \({\mathcal {H}}\) a Hilbert space with finite dimension \(d>2\), \({\mathcal {P}}\) the set of all pure states, and \({\mathcal {M}}\) the set of all self-adjoint operators. It is a type of minimal hidden variable theory as described by Gudder [17].
The Kochen–Specker Theorem implies that it is impossible to assign unique definite values to all quantum observables in a consistent way. Hidden variable theories can deal with this obstacle by allowing the definite value assigned to a quantum observable to depend on the context within which the observable is measured. From an algebraic point of view, the most obvious choice for making the notion of a context precise, is by associating it with a maximal observable A, i.e., an observable with a non-degenerate spectrum. Such a maximal observable defines a unique orthonormal basis of eigenstates \(e_{1},\ldots ,e_{d}\) (up to phase). Now take as the context the set of corresponding 1-dimensional projection operators. Thus the context \(C_{A}\) defined by A is
The possible observables that can be measured within the context \(C_{A}\) are those whose operator commutes with A or, equivalently, with all of the \([e_{i}]\). The set of all contexts is denoted by \({\mathfrak {C}}\).
An ontic state is a rule that picks out for every context the “true” projection operator within that context. Thus the set of ontic states is
where \(L_{1}({\mathcal {H}})\) denotes the set of 1-dimensional projection operators. Each ontic state determines contextual definite values for all observables in a straightforward way. Let A be any observable and C a context such that A commutes with all projections in C. Then
is the value of A in the context C when the state is \(\lambda\). It is easy to check that this ensures that \(v_{\lambda }[A|C]\) is an element of the spectrum of A and that \(v_{\lambda }[f(A)|C]=f(v_{\lambda }[A|C])\) for any real-valued function f. Thus within each contexts the functional relations between observables are respected.
The state space is turned into a measurable space by treating \(\lambda\) as a stochastic process with \({\mathfrak {C}}\) playing the role of time.Footnote 6 What this means is that the \(\sigma\)-algebra is defined in the following way. For any finite string of contexts \(C_{1},\ldots ,C_{n}\) and quantum states \(\psi _{1},\ldots ,\psi _{n}\) satisfying \([\psi _{i}]\in C_{i}\) define
the set of ontic states that pick out \([\psi _{i}]\) as the true projection in the context \(C_{i}\) for every i. Then take \({\varSigma }_{\text {G}}\) to be the smallest \(\sigma\)-algebra containing all sets of the form (5). A probability measure on \(({\varLambda }_{\text {G}},{\varSigma }_{\text {G}})\) is completely determined by its action on the sets of the form (5).Footnote 7
For a pure state \([\psi ]\in {\mathcal {P}}\), the corresponding probability measure \(\mu _{[\psi ]}\) is defined as
Within each context, \(\mu _{[\psi ]}\) reproduces the Born rule for all observables in that context.Footnote 8 On the other hand, observables in distinct contexts are treated as stochastically independent, even if they are associated with the same self-adjoint operator.
It is far from trivial to try to think of this model as a model in which “quantum states are real”. The main role of any ontic state is to assign (contextual) definite values to all observables. But such definite values have little to say about quantum states. And so, for a given ontic state, it is not clear which, if any, quantum state to associate with it. Nevertheless, it is not very difficult to show that the model is in fact \(\psi\)-ontic.
Consider an arbitrary pure state \([\psi ]\in {\mathcal {P}}\) and let \((C_{i}^{\psi })_{i=1}^{\infty }\) be some countable sequence of distinct contexts such that \([\psi ]\in C_{i}^{\psi }\) for every i.Footnote 9 Now define
This is a measurable set of ontic states that satisfies
for every \([\phi ]\). Thus for any pair of distinct states \([\psi ],[\phi ]\) the corresponding probability measures \(\mu _{[\psi ]},\mu _{[\phi ]}\) are non-overlapping.
The given construction for associating measurable sets of ontic states with pure quantum states (7) does not suffice to show that the model is \(\psi\)-determinate. For this it would be required that each ontic state is associated with at most one quantum state: condition (i) should be satisfied. But whenever \([\psi ]\) and \([\phi ]\) do not commute, if \(\lambda \in {\varLambda }_{[\psi ]}\), this poses no constraints on the values \(\lambda\) can take on for the contexts \(C_{i}^{\phi }\). Thus \({\varLambda }_{[\psi ]}\cap {\varLambda }_{[\phi ]}\) is not empty and knowing that \(\lambda \in {\varLambda }_{[\psi ]}\) does not allow one to infer that \([\psi ]\) is the quantum state of the system.
A natural first reaction to \({\varLambda }_{[\psi ]}\) as defined by (7), is that it is simply too big. Thinking about what it means for an ontic state \(\lambda\) to be a \([\psi ]\)-state, one may start with the requirement that \(\lambda\) at least picks out the state \([\psi ]\) in any context where this is possible. That is, \(\lambda\) should lie in the set
There are several problems when heading in this direction. First, it is still the case that \({\varLambda }_{[\psi ]}^{\circ }\cap {\varLambda }_{[\phi ]}^{\circ }\) is non-empty whenever \([\psi ]\) and \([\phi ]\) do not commute. But more importantly, the set \({\varLambda }_{[\psi ]}^{\circ }\) is not \({\varSigma }_{\text {G}}\)-measurable (proven below), and so it cannot be used to show that \(({\varLambda }_{\text {G}},{\varSigma }_{\text {G}})\) is a \(\psi\)-determinate model. One might object that this is just a sign that also \({\varSigma }_{\text {G}}\) is too small. There may be the intuition to insist that sets like \({\varLambda }_{[\psi ]}^{\circ }\) should just be measurable. But this intuition seems to rely on taking quantum states as a natural ingredient to constructing ontic models, which would be question begging. The fact is that, from the point of view of the ontic model, there is no obvious reason to include \({\varLambda }_{[\psi ]}^{\circ }\) as a measurable set. But even if one does have a non-question begging argument for including the set, it is not helpful as the following theorem demonstrates.Footnote 10
Theorem 1
The set \({\varLambda }_{[\psi ]}^{\circ }\) is not \({\varSigma }_{\text {G}}\)-measurable and there exist extensions \(\mu _{[\psi ]}^{+}\) and \(\mu _{[\psi ]}^{-}\) of \(\mu _{[\psi ]}\) to the smallest \(\sigma\)-algebra containing both \({\varSigma }_{\text {G}}\) and \({\varLambda }_{[\psi ]}^{\circ }\) such that
This theorem shows that even if one includes a set like \({\varLambda }_{[\psi ]}^{\circ }\), this does not mean that the set will have probability one according to the quantum state \([\psi ]\). It may even have probability zero. The upshot is that the natural step closer to satisfying condition (i) of \(\psi\)-determinateness takes us a step further away from satisfying condition (ii). In a sense, the set \({\varLambda }_{[\psi ]}^{\circ }\) is simply too small.
A different strategy is needed to determine if the model is \(\psi\)-determinate. This requires a better grasp on what kind of maps between pure quantum states and measurable subset of \({\varLambda }_{\text {G}}\) are possible. Consider again the map given by (7).
Whatever the set of ontic states corresponding to \([\psi ]\) is going to be, it might as well be a subset of this set since it has \(\mu _{[\psi ]}\)-probability 1. Now consider any pair of distinct pure states \([\psi ],[\phi ]\). The easiest way to modify \({\varLambda }_{[\psi ]}\) and \({\varLambda }_{[\phi ]}\) to ensure that their intersection is empty, is to intersect one with the complement of the other.
For any \([\psi ]\) one can intersect \({\varLambda }_{[\psi ]}\) with countably many sets \({\varLambda }_{[\phi ]}^{c}\) and the resulting set is still measurable and has \(\mu _{[\psi ]}\)-probability 1. This is clearly a step in the right direction. But there are uncountably many \({\varLambda }_{[\phi ]}\) that have a non-empty intersection with \({\varLambda }_{[\psi ]}\) and taking the intersection with all sets \({\varLambda }_{[\phi ]}^{c}\) again results in a non-measurable set. The problem may be circumvented if for any \([\phi ]\) for which \({\varLambda }_{[\psi ]}\) is not modified by intersecting it with \({\varLambda }_{[\phi ]}^{c}\), instead, \({\varLambda }_{[\phi ]}\) is modified by intersecting it with \({\varLambda }_{[\psi ]}^{c}\). Thus for any pair \([\psi ],[\phi ]\) one needs to either intersect \({\varLambda }_{[\psi ]}\) with \({\varLambda }_{[\phi ]}^{c}\), or \({\varLambda }_{[\phi ]}\) with \({\varLambda }_{[\psi ]}^{c}\) such that for any \([\psi ]\) the set \({\varLambda }_{[\psi ]}\) is being intersected with only countably many \({\varLambda }_{[\phi ]}^{c}\). This turns out to be possible if and only if the continuum hypothesis holds.
To make this strategy more precise, consider maps \(m:L_{1}({\mathcal {H}})\rightarrow L_{1}({\mathcal {H}})^{\mathbb {N}}\) that satisfy
For any such m call
a canonically modified \(\psi\) -ontic subset. The following theorem then holds.Footnote 11
Theorem 2
There exists a map m such that the canonically modified \(\psi\)-ontic subsets make the ontic model \(({\varLambda }_G,{\varSigma }_G)\) \(\psi\)-determinate if and only if the continuum hypothesis holds.
Canonically modifying the \(\psi\)-ontic subsets is not the only possible strategy for trying to make the model \(\psi\)-determinate.Footnote 12 Therefore it is not clear if the continuum hypothesis is necessary for showing that the ontic model is \(\psi\)-determinate. But it may well be the case that whether the ontic model \(({\varLambda }_{\text {G}},{\varSigma }_{\text {G}})\) is \(\psi\)-determinate or not depends on whether one accepts the continuum hypothesis. If so, I don’t think the main lesson would be about the validity of the continuum hypothesis.Footnote 13 What is important in that case, is that it is impossible to give an explicit map \([\psi ]\mapsto {\varLambda }_{[\psi ]}\) that makes the model \(\psi\)-determinate. Without an explicit map, there is no meaningful sense in which a quantum state can be considered to be part of the ontic state of a system in this model, even though the model is \(\psi\) -determinate. Before discussing the further lessons from this model regardless of whether the continuum hypothesis is needed, I first consider a related set of ontic models.
4.3 The MKC Models
The ontic models due to Meyer [30], Kent [23] and Clifton and Kent [9] were specifically designed to show the possibility of noncontextual value definite ontic models that can reproduce the predictions of quantum mechanics with arbitrary precision. Thus, even though the Kochen–Specker Theorem rules out noncontextual models that reproduce all of quantum mechanics, there are noncontextual models that are empirically indiscernible from quantum mechanics [3, 21]. They are of interest here, because they provide even less handles to associate quantum states with ontic states than the models by Gudder [17]. Nevertheless, it is again possible to show that the models are \(\psi\)-determinate with the use of the continuum hypothesis.
The construction of the models resembles the construction above. Ontic states assign definite values to observables within a given context. But instead of considering the complete set of contexts \({\mathfrak {C}}\), one now considers a specific countable subset \({\mathfrak {C}}_{\text {MKC}}\subset {\mathfrak {C}}\). This set of contexts is chosen to satisfy the following two conditions:
-
1.
Any context can be approximated up to arbitrary precision. For every \(C=\{[e_{1}],\ldots ,[e_{d}]\}\in {\mathfrak {C}}\) and \(\epsilon >0\) there exists a \(C^{\epsilon }=\{[e_{1}'],\ldots ,[e_{d}']\}\in {\mathfrak {C}}_{\text {MKC}}\) such that \({\text {Tr}}([e_{i}][e_{i}'])>1-\epsilon\) for all i.
-
2.
Every pair of contexts is totally incompatible. For any pair \(C_{1},C_{2}\in {\mathfrak {C}}_{\text {MKC}}\) with \(C_{1}\ne C_{2}\) and every \([\psi ]\in C_{1},[\phi ]\in C_{2}\), \([\psi ]\) and \([\phi ]\) do not commute.
The set of ontic states is now given by
Because of condition 2, every (non-trivial) observable is compatible with at most one context. Therefore, a definite value assigned to it is automatically noncontextual. Because of the first condition, for every observable A in quantum mechanics, there is a context C in the model and an observable \(A'\) that is compatible with C, such that \(A'\) is a good approximation of A.
The fragment of quantum mechanics \(({\mathcal {H}},{\mathcal {P}},{\mathcal {M}})\) is now such that \({\mathcal {P}}\) still contains all the pure states, but \({\mathcal {M}}\) now only contains the self-adjoint operators that have an orthonormal basis of eigenstates that forms a context in \({\mathfrak {C}}_{\text {MKC}}\). The \(\sigma\)-algebra \({\varSigma }_{\text {MKC}}\) is again introduced with the use of the sets from (5), but now with \({\varLambda }_{\text {G}}\) replaced by \({\varLambda }_{\text {MKC}}\). For any pure state \([\psi ]\in {\mathcal {P}}\) the corresponding probability measure is again given by (6).
Showing that the MKC models are \(\psi\)-ontic is not entirely trivial. For most given states \([\psi ],[\phi ]\), there are no contexts that contain \([\psi ]\) or \([\phi ]\) or a pure state perpendicular to one of these. This is because only countably many pure states occur in some context. Thus, for almost every pure state \([\psi ]\) one has
for every set of the form \({\varDelta }_{C_{1},\ldots ,C_{n}}^{\psi _{1},\ldots ,\psi _{n}}\).
To show that the MKC models are \(\psi\)-ontic nonetheless, we look at the limit \(n\rightarrow \infty\). For most sequences \(((C_{i},[\psi _{i}]))_{i=1}^{\infty }\), the probability \(\prod _{i=1}^{n}\left| \left\langle \psi \Big |\psi _{i}\right\rangle \right| ^{2}\) will go to zero as \(n\rightarrow \infty\). But if the sequence is appropriately chosen, it will be finite. This is applied in the proof of the following theorem (see Appendix A.3).
Theorem 3
For every pure state \([\psi ]\) and every non-zero \(n\in {\mathbb {N}},\) there exists a set \({\varLambda }_{[\psi ],n}\in {\varSigma }_{\text {MKC}}\) such that
for all \([\phi ]\ne [\psi ]\). Thus the MKC models are \(\psi\)-ontic.
What is interesting about this theorem, is that it establishes that the models are \(\psi\)-ontic without providing a candidate for a set that is big enough to contain all the ontic states corresponding to some quantum state \([\psi ]\). But as n increases, \({\varLambda }_{[\psi ],n}\) gets closer to being such a candidate. So as a first step to getting such a set, one can take the union of all the \({\varLambda }_{[\psi ],n}\) for all values of n. This in turn is much larger than required, for only when n approaches infinity do the ontic states in \({\varLambda }_{[\psi ],n}\) start to “center around” \([\psi ]\). So instead define
This set does satisfy
Like with Gudder’s model, the MKC models are not obviously \(\psi\)-determinate. Whenever \([\psi ]\) and \([\phi ]\) do not commute, \({\varLambda }_{[\psi ]}\cap {\varLambda }_{[\phi ]}\) will be non-empty. But as is the case with Gudder’s model, a canonical modification of these sets can be used to make the model \(\psi\)-determinate if one assumes the continuum hypothesis.
There is however also an interesting distinction. For an ontic state \(\lambda\) to correspond to the quantum state \([\psi ]\) it may be taken to be a necessary condition that \(\lambda \in {\varLambda }_{[\psi ]}\). This set is what is known as a tail event. This means that which values \(\lambda\) takes on at any finite set of contexts is irrelevant to determine if \(\lambda \in {\varLambda }_{[\psi ]}\) or not; it all hinges on how \(\lambda\) behaves in the limit (the tail). But for all practical purposes, if the model is to be used for making predictions, it suffices to know how \(\lambda\) behaves for a large, but finite, set of contexts. So which quantum state corresponds to some ontic state is more or less irrelevant from the point of view of the model. It then seems peculiar to attach any ontological significance to this quantum state.
This point can even be exploited a bit further. As Barrett and Kent [3, p. 159] have discussed, when it comes to reproducing the predictions of quantum mechanics up to a finite precision, one does not need the full set of contexts \({\mathfrak {C}}_{\text {MKC}}\). An appropriately chosen finite subset will do as well. Although such a model is in principle discernible from quantum mechanics, there also always exists such a model that is not discernible given the present day finite precision of measurement. So within the bounds of such finite precision, the finite model is just as good as the full model. But such finite models are also trivially not \(\psi\)-determinate; they only have a finite number of ontic states, while there are uncountably many pure quantum states. Dragging in finite ontic models may not be an entirely fair move to make here. But it merely serves to drive the point home that, from the perspective of the ontic states in the MKC models, what the “true” quantum state is does not matter.
4.4 Conclusion
The general strategy of \(\psi\)-ontology theorems is to show that distinct quantum states correspond to non-overlapping probability distributions. But “non-overlap” is a somewhat misleading term here. It suggests that the probability distributions corresponding to distinct quantum states have disjoint supports, and that quantum states can unambiguously be associated with the ontic states in those supports. In other words, it is taken for granted that showing that a model is \(\psi\)-ontic is sufficient to show that it is \(\psi\)-determinate. The ontic models just discussed demonstrate that this is not an innocent inference.
As demonstrated, if one assumes that the continuum hypothesis is true, then these models are \(\psi\)-determinate. It is not clear if the continuum hypothesis is in fact necessary. If it is, then we have here an example of \(\psi\)-determinate ontic models for which it is questionable that they endorse quantum state representationalism, even in the broad sense. It is true that in this case there exists a map that makes it the case that changing the quantum state necessitates a change in the ontic state. But since this map only exists in the Platonic realm as some inaccessible mathematical entity, there is no way of telling what kind of change in the ontic state is required. From the point of view of the, allegedly more fundamental, ontic state, there is also no way of telling what the quantum state is. And whatever the quantum state is, it is irrelevant from the point of view of the ontic state. So there is no merit in granting the quantum state any metaphysical status here.
Would the case for quantum state representationalism be helped if the continuum hypothesis turned out to not be necessary? I don’t think so. In this case, it would be possible for any of the models to give an explicit map \(r:{\mathcal {P}}\rightarrow {\varSigma }\), \(r:[\psi ]\mapsto {\varLambda }_{[\psi ]}^{r}\) that makes the model \(\psi\)-determinate. But this map would also be non-unique. So if \(\lambda \in {\varLambda }_{[\psi ]}^{r}\) for some such map, but also \(\lambda \notin {\varLambda }_{[\psi ]}^{r'}\) for some other map \(r'\), how would we decide if \([\psi ]\) is the true quantum state or not if the ontic state is \(\lambda\)?
The problem is that one can shuffle around sets of ontic states of measure zero from one quantum state to another to modify a given map r. Of course, shuffling around such sets is always possible in probability theory. In many cases this is unproblematic because there is a natural candidate for how to do this like in Fig. 1. But in the case of the ontic models just discussed there is no natural way to remove the ambiguity.
The reason behind this is that the ontic states in these models do not care about quantum states. What matters from the point of view of the ontic model, is which observables have which values. These may be considered the genuine properties of the system. If by some rule, some attribution of definite values also gives rise to some quantum state, this information is irrelevant and arbitrary.
This point is even stronger in the case of the MKC models. In these models most quantum statesFootnote 14 have to be associated with so-called tail events. This means that for almost every quantum state \([\psi ]\), any specification of a finite number of definite values of physical quantities is completely irrelevant for determining whether an ontic state \(\lambda\) is to correspond to \([\psi ]\) or not. For a given \(\lambda\), only its behavior “in the limit” determines to which quantum state it corresponds.
Thus from within the ontic models there is no way to introduce a preferred map r that would establish the “true” relationship between ontic states and quantum states. The most natural interpretation of this state of affairs is that there simply is no such relationship and the existence of these maps that make the models \(\psi\)-determinate is merely a mathematical artifact.
Another way to understand the issues at hand is by looking at an analogy with classical mechanics. For a classical system, any physical quantity can be represented by a function on phase space. The state of the system in this way naturally determines the value of that quantity. But this does not mean that it is meaningful to interpret every function on phase space as a physical quantity. Especially when that function becomes rather complex or even requires the validity of the continuum hypothesis to warrant its existence. That would be a case of taking your mathematics too seriously for interpreting your physical model.
5 What \(\varvec{\psi }\)-Ontology Theorems Do Show
I want to end this paper with a more positive message. If the \(\psi\)-ontic/epistemic distinction is supposed to capture whether the quantum state corresponds to an objective property of an individual quantum system or not, then the formal definition adopted in \(\psi\)-ontology theorems is not appropriate. After all, these theorems do not settle the question whether ontic models should be \(\psi\)-determinate or not.
This does not imply that \(\psi\)-ontology theorems are void of content. The theorems do show that ontic models must be \(\psi\)-ontic in the sense that distinct quantum states correspond to non-overlapping probability distributions. This implies that these theorems do rule out some of the explanatory strategies that some have hoped to find in \(\psi\)-epistemic models and set out in Spekkens’ toy model [45]. And to be fair to Pusey et al. [37], their theorem seems to have been designed first and foremost to demonstrate the impossibility of extending this toy model to more serious quantum systems. The grand metaphysical claims that followed after that may have been not much more than a (successful) marketing hype.
The untenability of these metaphysical claims also sheds new light on how existing \(\psi\)-ontology theorems may be compared. These theorems typically adopt additional assumptions. The PBR Theorem, for example, makes use of the assumption of preparation independence (a weak version of separability). Over the years, it has been shown that weaker versions of this assumption also suffice [18, 33, 41] (see also [25, §7.4]). The \(\psi\)-ontology theorem due to Colbeck and Renner [10] makes use of parameter independence. In fact, not long after Pusey et al. [37] presented their theorem, it was shown that additional assumptions are necessary. Without additional assumptions, it is always possible to construct a \(\psi\)-epistemic model [1, 27, 28].
The overlap in probability distributions allowed in these \(\psi\)-epistemic models is quite small though. It was shown by Maroney [29] that this is necessarily so.Footnote 15 This result on its own suffices to rule out the perks some would hope to attribute to \(\psi\)-epistemic models [25, §2]. In particular, it has been shown thoroughly, both theoretically and experimentally, that no such model can explain the indistinguishability of non-orthogonal quantum states [4, 7, 24, 26, 35, 39]. Thus even if in some ontic model a non-negligible set of ontic states is compatible with multiple quantum states, this cannot be used to explain why the success rate for finding out which quantum state was prepared with using a single shot measurement is as low as it is according to quantum mechanics.
The results in this paper do nothing to counter those conclusions. The new claim I have made here, is that even in the limit of zero overlap, one cannot conclude that ontic states should determine quantum states. Therefore, the conclusions that may be drawn from \(\psi\)-ontology theorems do not go beyond the conclusions that may be drawn from the BCLM Theorem [4], which places constraints on the possible overlaps.
As a final note it is worth pointing out that from an experimental point of view this conclusion is not entirely novel. The notion of non-overlapping probability distributions itself is not robust with respect to measurement errors. Any \(\psi\)-ontic model can always be approximated by a \(\psi\)-epistemic model by introducing an arbitrarily small overlap in the probability distributions.Footnote 16 Thus experimentally it was already the case that demonstrating the necessity of quantum state representationalism is impossible, even if one accepts all the usual premises. The novel conclusion here is that this also the case at the theoretical level.
Notes
This means that the map \(\lambda \mapsto {\text{p}}_{A}({\varDelta }|\lambda )\) is a measurable function for every measurable set of possible outcomes \({\varDelta }\) and \({\varDelta }\mapsto {\text{p}}_{A}({\varDelta }|\lambda )\) is a probability measure for every \(\lambda\).
But see [34] for an argument that QBists should nevertheless adopt an ontic reading of quantum states.
The background assumption is of course that these future theories are compatible with the ontic model framework. It reasonable to assume that talk about ontic states of systems only occurs at some emergent level where it is also meaningful to talk about individual systems and interventions on such systems in terms of measurements. After all, we also do not expect that quantum states will be fundamental in such a theory [8]. The further assumption is that at this level the choice of the measurement is independent of the state of the system [22].
There seems to have been a bit of confusion on this point, for example in [6].
Montina [32] uses the term “\(\psi\)-ontic in the strong sense” instead of “\(\psi\)-determinate”.
It is of course much more common to use \({\mathbb {R}}\) or \({\mathbb {Z}}\) to represent time, because these sets have a natural ordering. But to the extend that I make use of the theory of stochastic processes here, the existence of such an ordering is irrelevant.
This follows from Kolmogorov’s Extension Theorem.
Of course, most observables occur in multiple contexts and thus underdetermine which context is to be used. It does not matter which context is then selected or how it is selected: the Born rule holds in each of them.
This is the point where it is relevant that \(d>2\) because if \(d=2\) every \([\psi ]\) belongs to only one context.
A proof for this theorem is given in Appendix A.1.
A proof is given in Appendix A.2.
Here is another possible strategy. Suppose \([\psi ],[\phi ]\) are given and non-commuting. Let \(\phi '\) be any state such that \([\phi '][\phi ]=0\) and \([\phi '][\psi ]\ne 0\) and let \((C_{i}^{\phi '})_{i=1}^{\infty }\) be a countable sequence of distinct contexts containing \([\phi ']\). Each set \({\varDelta }_{C_{i}}^{\phi '}\) has \(\mu _{[\phi ]}\)-probability zero, but a positive probability according to \(\mu _{[\psi ]}\). The countable union \(\bigcup _{i=1}^{\infty }{\varDelta }_{C_{i}}^{\phi '}\) therefore also has \(\mu _{[\phi ]}\)-probability zero, but \(\mu _{[\psi ]}\)-probability one. So one can modify \({\varLambda }_{[\psi ]}\) and \({\varLambda }_{[\phi ]}\) by intersecting the first with \(\bigcup _{i=1}^{\infty }{\varDelta }_{C_{i}}^{\phi '}\) and the second with the complement thereof.
Although it is interesting to note that the version of the continuum hypothesis used here is precisely the one used by Freiling [13] to argue against its validity.
All except a countable set.
Even though \(\psi\)-epistemic models can always be constructed, they cannot be maximally \(\psi\)-epistemic.
For further discussion see [40].
Validity of the axiom of choice is assumed here.
References
Aaronson, S., Bouland, A., Chua, L., Lowther, G.: \(\psi\)-Epistemic theories: the role of symmetry. Phys. Rev. A 88, 032111 (2013)
Albert, D.Z.: Elementary quantum metaphysics. In: Cushing, J.T., Fine, A., Goldstein, S. (eds.) Bohmian Mechanics and Quantum Theory: An Appraisal, pp. 277–284. Springer, Dordrecht (1996)
Barrett, J., Kent, A.: Non-contextuality, finite precision measurement and the Kochen–Specker theorem. Stud. Hist. Philos. Mod. Phys. 35, 151–176 (2004)
Barrett, J., Cavalcanti, E.G., Lal, R., Maroney, O.J.E.: No \(\psi\)-epistemic model can fully explain the indistinguishability of quantum states. Phys. Rev. Lett. 112, 250403 (2014)
Ben-Menahem, Y.: The PBR theorem: whose side is it on? Stud. Hist. Philos. Mod. Phys. 57, 80–88 (2017)
Ben-Menahem, Y.: Pitowskys epistemic interpretation of quantum mechanics and the PBR theorem. In: Hemmo, M., Shenker, O. (eds.) Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky, pp. 101–124. Springer, Cham (2020)
Branciard, C.: How \(\psi\)-epistemic models fail at explaining the indistinguishability of quantum states. Phys. Rev. Lett. 113, 020409 (2014)
Brown, H.R.: The reality of the wavefunction: old arguments and new. In: Cordero, A. (ed.) Philosophers Look at Quantum Mechanics, pp. 63–86. Springer, Cham (2019). ISBN 978-3- 030-15659-6
Clifton, R., Kent, A.: Simulating quantum mechanics by non-contextual hidden variables. Proc. R. Soc. A 456(2001), 2101–2114 (2000). ISSN 1364-5021
Colbeck, R., Renner, R.: A system’s wave function is uniquely determined by its underlying physical state. N. J. Phys. 19, 013016 (2017)
Dürr, D., Goldstein, S., Zanghì, N.: Bohmian mechanics and the meaning of the wave function. In: Cohen, R.S., Horne, M., Stachel, J. (eds.) Experimental Metaphysics: Quantum Mechanical Studies for Abner Shimony, pp. 25–38. Kluwer Academic Publisher, Dordrecht (1997)
Einstein, A.: Remarks concerning the essays brought together in this co-operative volume. In: Schilpp, P.A. (ed.) Albert Einstein Philosopher-Scientist, pp. 663–688. MJF Books, New York (1949)
Freiling, C.: Axioms of symmetry: throwing darts at the real number line. J. Symb. Log. 51(1), 190–200 (1986)
Frigg, R.: A field guide to recent work on the foundations of statistical mechanics. In: Rickles, D. (ed.) The Ashgate Companion to Contemporary Philosophy of Physics. Routledge Handbooks Online. Ashgate, Aldershot (2008)
Fuchs, C.A., Peres, A.: Quantum theory needs no ‘Interpretation’. Phys. Today 53(3), 70–71 (2000)
Goldstein, S.: Quantum theory without observers—Part Two. Phys. Today 51(4), 38–42 (1998)
Gudder, S.P.: On hidden variable theories. J. Math. Phys. 11, 431–436 (1970)
Hall, M.J.W.: Generalisations of the recent Pusey–Barrett–Rudolph theorem for statistical models of quantum phenomena (2011). arXiv:1111.6304 [quant-ph]
Halvorson, H.: To be a realist about quantum theory. In: Lombardi, O., Fortin, S., López, C., Holik, F. (eds.) Quantum Worlds: Perspectives on the Ontology of Quantum Mechanics, pp. 133–163. Cambridge University Press, Cambridge (2019)
Harrigan, N., Spekkens, R.W.: Einstein, incompleteness, and the epistemic view of quantum states. Found. Phys. 40(2), 125–157 (2010). ISSN 1572-9516
Hermens, R.: The problem of contextuality and the impossibility of experimental metaphysics thereof. Stud. Hist. Philos. Mod. Phys. 42, 214–225 (2011)
Hermens, R.: An operationalist perspective on setting dependence. Found. Phys. 49, 260–282 (2019)
Kent, A.: Noncontextual hidden variables and physical measurements. Phys. Rev. Lett. 83, 3755–3757 (1999)
Knee, G.C.: Towards optimal experimental tests on the reality of the quantum state. N. J. Phys. 19(2), 023004 (2017)
Leifer, M.: Is the quantum state real? An extended review of \(\psi\)-ontology theorems. Quanta 3(1), 67–155 (2014)
Leifer, M.: \(\psi\)-Epistemic models are exponentially bad at explaining the distinguishability of quantum states. Phys. Rev. Lett. 112, 160404 (2014)
Lewis, P.G., Jennings, D., Barrett, J., Rudolph, T.: Distinct quantum states can be compatible with a single state of reality. Phys. Rev. Lett. 109, 150404 (2012)
Mansfield, S.: Reality of the quantum state: towards a stronger \(\psi\)-ontology theorem. Phys. Rev. A 94, 042124 (2016)
Maroney, O.J.E.: How statistical are quantum states? (2013). arXiv:1207.6906v2 [quant-ph]
Meyer, D.A.: Finite precision measurement nullifies the Kochen–Specker theorem. Phys. Rev. Lett. 83, 3751–3754 (1999)
Montina, A.: Compressing the hidden variable space of a qubit. Phys. Lett. A 375, 1385–1390 (2011). ISSN 0375-9601
Montina, A.: Communication complexity and the reality of the wave function. Mod. Phys. Lett. A 30, 1530001 (2015)
Myrvold, W.C.: \(\psi\)-Ontology result without the Cartesian product assumption. Phys. Rev. A 97, 052109 (2018)
Myrvold, W.C.: Subjectivists about quantum probabilities should be realists about quantum states. In: Hemmo, M., Shenker, O. (eds.) Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky, pp. 449–465. Springer, Cham (2020)
Nigg, D., Monz, T., Schindler, P., Martinez, E.A., Hennrich, M., Blatt, R., Pusey, M.F., Rudolph, T., Barrett, J.: Can different quantum state vectors correspond to the same physical state? An experimental test. N. J. Phys. 18(1), 013007 (2016)
Oldofredi, A., Lopez, C.: On the classification between \(\psi\)-ontic and \(\psi\)-epistemic ontological models. Found. Phys. 50, 1315–1345 (2020)
Pusey, M.F., Barrett, J., Rudolph, T.: On the reality of the quantum state. Nat. Phys. 8(6), 475–478 (2012)
Reich, E.S.: Quantum theorem shakes foundations. Nature (2011). https://doi.org/10.1038/nature.2011.9392
Ringbauer, M., Duffus, B., Branciard, C., Cavalcanti, E.G., White, A.G., Fedrizzi, A.: Measurements on the reality of the wavefunction. Nat. Phys. 11, 249–254 (2015)
Ringbauer, M.: On the reality of the wavefunction. In: Exploring Quantum Foundations with Single Photons, pp. 85–136. Springer, Cham (2017)
Schlosshauer, M., Fine, A.: Implications of the Pusey–Barrett–Rudolph quantum no-go theorem. Phys. Rev. Lett. 108(26), 260404 (2012)
Sierpiński, W.: Sur un théorème équivalent à l’hypothèse du continu. Bull. int. de l’Acad. sci. Crac. A 1–3 (1919)
Sierpiński, W.: Hypothèse du continu. Instytut Matematyczny Polskiej Akademi Nauk, Warszawa-Lwów (1934)
Spekkens, R.W.: Contextuality for preparations, transformations, and unsharp measurements. Phys. Rev. A 71(5), 052108 (2005)
Spekkens, R.W.: Evidence for the epistemic view of quantum states: a toy theory. Phys. Rev. A 75(3), 032110 (2007)
Uffnk, J.: Compendium of the foundations of classical statistical physics. In: Butterfield, J., Earman, J. (eds.) Handbook of the Philosophy of Science: Philosophy of Physics, pp. 923–1074. Elsevier, Amsterdam (2007)
Vaidman, L.: Quantum theory and determinism. Quantum Stud. Math. Found. 1, 5–38 (2014)
Valentini, A.: Foundations of statistical mechanics and the status of the Born Rule in de Broglie-Bohm Pilot-Wave Theory. In: Allori, V. (ed.) Statistical Mechanics and Scientific Explanation, pp. 423–477. World Scientific, Singapore (2020)
Wallace, D.: Lessons from realistic physics for the metaphysics of quantum theory. Synthese 197, 4303–4318 (2018)
Wallace, D., Timpson, C.G.: Quantum mechanics on spacetime I: spacetime state realism. Br. J. Philos. Sci. 61(4), 697–727 (2010)
Acknowledgements
I would like to thank Owen Maroney for helpful discussions about \(\psi\)-ontology theorems and the MKC models. I also want to thank Harvey Brown for stimulating discussions on the reality of the quantum state, for inviting me to give a talk about this paper in Oxford, and for complimenting me on the drawings in Fig. 1. I further want to thank the people at the Mathematics Stack Exchange for leading me towards the realization that I have wasted quite a bit of time trying to disprove the continuum hypothesis. Finally, I want to thank the anonymous referees for helpful feedback. This research was funded by the Netherlands Organisation for Scientific Research (NWO), Veni Project Number 275-20-070.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Proofs of Theorems
Proofs of Theorems
The first two theorems require some insight in the kind of sets that are and are not contained in \({\varSigma }_{\text {G}}\). For this we make use of the \(\sigma\)-algebra \({\varSigma }_{\text {cg}}\) of countably generated subsets of \({\varLambda }_{\text {G}}\).
Definition 1
For an arbitrary countable set of contexts \({\mathfrak {C}}_{c}\subset {\mathfrak {C}}\) define
A subset \({\varDelta }\subset {\varLambda }_{\text {G}}\) is called countably generated if there exists a countable set \({\mathfrak {C}}_{c}\) and a subset \({\varDelta }_{{\mathfrak {C}}_{c}}\subset {\varLambda }_{{\mathfrak {C}}_{c}}\) such that
Thus a subset of \({\varDelta }\subset {\varLambda }_{\text {G}}\) is countably generated iff for any \(\lambda\) one only needs to check its action on countably many contexts to determine whether \(\lambda \in {\varDelta }\). The following lemma has a straightforward proof which is left to the reader.
Lemma 1
The set \({\varSigma }_{\text {cg}}\) of all countably generated subsets of \({\varLambda }_{\text {G}}\) is a \(\sigma\)-algebra and has \({\varSigma }_{\text {G}}\) as a sub-\(\sigma\)-algebra.
1.1 Proof of Theorem 1
The proof of Theorem 1 requires the following lemma:
Lemma 2
Let \(({\varLambda },{\varSigma },\mu )\) be a probability space and A be a possibly non-measurable subset of \({\varLambda }\) such that
then there exists an extension \(\mu ^{+}\) of \(\mu\) to \({\varSigma }_{A},\) the \(\sigma\)-algebra generated by \({\varSigma }\) and A, such that \(\mu ^{+}(A)=1\).
Proof
The smallest \(\sigma\)-algebra containing \({\varSigma }\) and A is given by
Now define \(\mu ^{+}:{\varSigma }_{A}\rightarrow [0,1]\) by
To see that this is well-defined, suppose \(A\cap {\varDelta }_{1}=A\cap {\tilde{{\varDelta }}}_{1}\) for some \({\varDelta }_{1},{\tilde{{\varDelta }}}_{1}\in {\varSigma }\). Then
From (20) it follows that \(\mu ({\varDelta }_{1}\cap {\tilde{{\varDelta }}}_{1}^{c})=\mu ({\varDelta }_{1}^{c}\cap {\tilde{{\varDelta }}}_{1})=0\) and therefore
That \(\mu ^{+}\) is a probability measure follows from the fact that \(\mu\) is a probability measure. Finally, it holds that
\(\square\)
We now turn to the proof of Theorem 1. The set \({\varLambda }_{[\psi ]}^{\circ }\) is not countably generated so by Lemma 1 it is not \({\varSigma }_{\text {G}}\)-measurable. For the remainder of the proof it only needs to be shown that both \({\varLambda }_{[\psi ]}^{\circ }\) and \({\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }\) satisfy condition (20) and then Lemma 2 can be applied.
To see that \({\varLambda }_{[\psi ]}^{\circ }\) satisfies (20) let \({\varDelta }\in {\varSigma }\) be any subset that satisfies \({\varDelta }\cap {\varLambda }_{[\psi ]}^{\circ }=\varnothing\). By Lemma 1 there exists a countable set \({\mathfrak {C}}_{c}\) and a subset \({\varDelta }_{{\mathfrak {C}}_{c}}\subset {\varLambda }_{{\mathfrak {C}}_{c}}\) such that \({\varDelta }={\varPi }_{{\mathfrak {C}}_{c}}^{-1}\left( {\varDelta }_{{\mathfrak {C}}_{c}}\right)\). Now suppose \(\lambda \in {\varDelta }\). Because \(\lambda \notin {\varLambda }_{[\psi ]}^{\circ }\), there exists a context \(C\in {\mathfrak {C}}_{c}\) such that \([\psi ]\in C\) and \(\lambda (C)\ne [\psi ]\). Thus \(\lambda \in {\varLambda }_{\text {G}}\backslash {\varDelta }_{C}^{\psi }\) and, more generally,
Because \({\overline{{\varDelta }}}\) is the countable union of sets with \(\mu _{[\psi ]}\)-probability zero, \({\overline{{\varDelta }}}\) is itself a measurable set with \(\mu _{[\psi ]}\)-probability zero. Hence \(\mu _{[\psi ]}({\varDelta })=0\) and there exists an extension \(\mu _{[\psi ]}^{+}\) such that \(\mu _{[\psi ]}^{+}({\varLambda }_{[\psi ]}^{\circ })=1\).
To see that \({\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }\) satisfies (20) let \({\varDelta }\in {\varSigma }\) be any subset that satisfies \({\varDelta }\cap {\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }=\varnothing\). It will be shown that this only holds if \({\varDelta }\) is empty. Suppose towards a contradiction that \({\varDelta }\) is not empty and \(\lambda \in {\varDelta }\). Let \({\mathfrak {C}}_{c}\) and \({\varDelta }_{{\mathfrak {C}}_{c}}\) again be as in Lemma 1. Because \({\mathfrak {C}}_{c}\) is countable there is a C that contains \([\psi ]\) such that \(C\notin {\mathfrak {C}}_{c}\). If \(\lambda (C)\ne [\psi ]\) then \(\lambda \in {\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }\) and a contradiction is obtained. If \(\lambda (C)=[\psi ]\), then define \(\lambda '\) to be equal to \(\lambda\) for all contexts except for C where it attains any value other than \([\psi ]\). Then \(\lambda '\in {\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }\) but also, since \(C\notin {\mathfrak {C}}_{c}\), \(\lambda '\in {\varDelta }\), again giving a contradiction. Hence \({\varDelta }\cap {\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ }=\varnothing\) if and only if \({\varDelta }=\varnothing\). By Lemma 1 then there exists a measure \(\mu ^{-}_{\psi }\) which is an extension of \(\mu _{[\psi ]}\) and which satisfies \(\mu _{[\psi ]}^{-}({\varLambda }_{\text {G}}\backslash {\varLambda }_{[\psi ]}^{\circ })=1\).
1.2 Proof of Theorem 2
Here we require the following lemma.
Lemma 3
Let X be a set with the cardinality of \({\mathbb {R}}\). Then the continuum hypothesis is equivalent to the existence of a map \(X\ni x\mapsto {\varDelta }_{x}\subset X\) such that \({\varDelta }_{x}\) is countable for every x and for all \(x_{1},x_{2}\in X\)
Proof
The proof takes place in \(X^{2}\). For any \(x\in X\) define sets corresponding to rows and columns in \(X^{2}\):
It was shown by Sierpiński [42, 43] that the continuum hypothesis is equivalent with the existence of two subsets \(R,C\subset X^{2}\) such that \(X^{2}=R\cup C\) and for every \(x\in X\) the sets \(R\cap R_{x}\) and \(C\cap C_{x}\) are countable.Footnote 17
Now assume the continuum hypothesis holds and suppose R, C are subsets of \(X^{2}\) as above. Because for every \((x_{1},x_{2})\in X^{2}\) it holds that it is either an element of R or C it follows that either
or
Now take \({\varDelta }_{x}:=r_{x}\cup c_{x}\). Then \({\varDelta }_{x}\) is a countable set for every x and from (29) and (30) it follows that for all \(x_{1},x_{2}\in X\) either \(x_{1}\in {\varDelta }_{x_{2}}\) or \(x_{2}\in {\varDelta }_{x_{1}}\).
For the converse assume \(x\mapsto {\varDelta }_{x}\) is given. Define \(C:=\{(x_{1},x_{2})\,|\,x_{2}\in {\varDelta }_{x_{1}}\}\) and \(R:=\{(x_{1},x_{2})\,|\,x_{1}\in {\varDelta }_{x_{2}}\}\). Because \({\varDelta }_{x}\) is countable, so are \(C\cap C_{x}\) and \(R\cap R_{x}\) and from Eq. (27) it follows that \(R\cup C=X^{2}\). \(\square\)
Proof of Theorem 2
I start with showing that if the continuum hypothesis holds, then \(({\varLambda }_{\text {G}},{\varSigma }_{\text {G}})\) is \(\psi\)-determinate. Apply Lemma 3 to the set \(L_{1}({\mathcal {H}})\) and let \({\varDelta }_{[\psi ]}\subset L_{1}({\mathcal {H}})\) be a countable subset for every \([\psi ]\) such that for all \([\psi ],[\phi ]\) either \([\psi ]\in {\varDelta }_{[\phi ]}\) or \([\phi ]\in {\varDelta }_{[\psi ]}\).
Now define canonical \(\psi\)-ontic subsets \({\varLambda }^{m}_{[\psi ]}\) by choosing m such that \(m([\psi ])\) ranges over all elements of \({\varDelta }_{[\psi ]}\) but skipping the value \([\psi ]\). From property (27) it follows that for any pair of distinct pure states \([\psi ],[\phi ]\)
Thus it follows that
Conversely, suppose there is a map m such that (32) holds for all \([\psi ],[\phi ]\). This equation holds iff
Therefore, the map
satisfies the criteria of the map in Lemma 3 and the continuum hypothesis holds. \(\square\)
1.3 Proof of Theorem 3
Let \([\psi ]\) and n be given. Now consider the Euler function \(E:[0,1]\rightarrow [0,1]\) given by
For the given n there exists a \(q_{n}>0\) such that \(E(q_{n})=1-\tfrac{1}{n}\). Now for every \(k\in {\mathbb {N}}\) choose a context \(C_{k,n}\) with a \([\psi _{k,n}]\in C_{k,n}\) such that \(\left| \left\langle \psi \Big |\psi _{k,n}\right\rangle \right| ^{2}>1-q_{n}^{k}\). Then define
so
For every n, \(\psi _{k,n}\) gets closer and closer to \(\psi\) as \(k\rightarrow \infty\). So for any \([\phi ]\ne [\psi ]\) there exists some \(\delta >0\) and \(K\in {\mathbb {N}}\) such that \(\left| \left\langle \phi \Big |\psi _{k,n}\right\rangle \right| ^{2}<1-\delta\) for all \(k>K\). Therefore \(\mu _{[\phi ]}\left( {\varLambda }_{[\psi ],n}\right) =0\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hermens, R. How Real are Quantum States in \(\psi\)-Ontic Models?. Found Phys 51, 38 (2021). https://doi.org/10.1007/s10701-021-00448-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10701-021-00448-7