1 Introduction

Quantum mechanics describes the behaviour of subatomic particles. Unlike classical mechanics, which attributes particles particular values of position and momentum, quantum mechanics attributes wavefunctions, from which can be derived probabilities for possible values of position, momentum and other observables. In the quantum case the products of the standard deviation of position and the momentum (and other pairs of incompatible observables) have a minimum value given by the uncertainty principle [23], unlike in the classical case. However, in some ways the situation is similar to how a probability distribution in classical statistical mechanics can be interpreted as describing what is known about microstate of the particles in a gas given its macrostate, and so as ‘epistemic’. Quantum mechanical wavefunctions behave like classical ensembles in the limit, and so perhaps the wavefunction in quantum mechanics is epistemic in a similar way. On the other hand, Fuch’s Quantum Bayesianism (QBism) treats the wavefunction as representing knowledge of possible results, rather than of the underlying microstate [10, 11] and so as epistemic, but in a different way, while Ben–Menahem’s interpretation holds “quantum probabilities as objective constraints on the information made available by measurement” [1].All these responses to the peculiarities of quantum mechanics—phenomena such as contextuality, entanglement and collapse—do not posit any kind of novel metaphysics and are exclusively epistemic interpretations.

By contrast, dynamical collapse theories [12, 31], Bohmian mechanics [2] and Everett’s relative-state interpretation [8], take the wavefunction to represent something physical, and not to be epistemic in any way.Footnote 1 An influential paper by Harrigan and Spekkens formally defines the wavefunction being \(\psi \)-ontic or being \(\psi \)-epistemic as contradictory, such that the wavefunction can only be one or the other [19]. However, the informal ideas of pertaining to what exists, and pertaining to knowledge do not exclude each other, as the next section shows. Section 3 explains Harrigan and Spekkens’s formalisation, and shows how their definitions of \(\psi \)-ontology and \(\psi \)-epistemicism simply presuppose that the wavefunction cannot pertain to both knowledge and reality. If, as we argue, it is right that nothing about the informal ideas of epistemic and ontic interpretations rules out wavefunctions pertaining to both knowledge and reality, then the now standard definitions create a false dichotomy.Footnote 2 Section 5 considers the consequences of this for discussions of quantum foundations.

2 Ontic and epistemic interpretations of terms in physical theories

The notions of epistemic and ontic have wide application in philosophy. For example, an epistemic interpretation of probability takes it to be a matter of belief, information or knowledge, while an ontic interpretation of probability takes it to be something in the world and nothing to do with the representations of agents. In this and many other cases, epistemic and ontic interpretations are taken to be mutually exclusive. In general however, ‘epistemic’ means pertaining to cognition or knowledge, while ‘ontic’ means pertaining to what is exists (the words are directly based on Greek genitive forms of the words for cognition or knowledge and reality respectively), and there is clearly no contradiction in predicating both of the same thing without the assumption that nothing can be both epistemic and ontic. There is no argument for such an assumption in general of which we are aware, and indeed it is arguably false in particular cases.

For example, the thermodynamic entropy S of a system is a candidate for being both ontic and epistemic. Arguably, the entropy assigned to a system depends on knowledge of it as well as how the system is objectively. For instance, the entropy assigned to an equally divided box of particles is higher if an observer can distinguish these particles than if they cannot [4]. David Wallace [41] argues that thermodynamics should be interpreted as a ‘control theory’ in which what agents know about systems is essential to what they can do with them. Arguably, at least, the entropy of a system represents the system as it is independently of us to some extent, while also representing what is known about it [24].

Another example is that of proper mixtures in quantum mechanics, which represent both systems and what is known (or not known) about them. For example, the (proper) mixed state \((_x\left| \uparrow \right\rangle \left\langle \uparrow \right| _x + _x\left| \downarrow \right\rangle \left\langle \downarrow \right| _x)/2\), is assigned to a system when it is really either in the state \(\left| \uparrow \right\rangle _x\) or \(\left| \downarrow \right\rangle _x\)), and when the epistemic probability of state \(\left| \uparrow \right\rangle _x\) and of state \(\left| \downarrow \right\rangle _x\) is a half. Clearly, proper mixtures pertain to both what exists and what is known about it. Similarly, one can imagine another observer validly assigning the state \((2_x\left| \uparrow \right\rangle \left\langle \uparrow \right| _x + _x\left| \downarrow \right\rangle \left\langle \downarrow \right| _x)/3\), illustrating that these states are to some degree epistemic—but given they are also based on the knowledge the system is actually in one of the two eigenstates of spin-x with certainty (we are just unsure which), they are also ontic.

However, the terminology of ‘epistemic’ and ‘ontic’ that has become standard among physicists working in quantum foundations is understood so as to make the application of the terms mutually exclusive without an argument being given that they should be. In his influential review of the PBR theorem, Matt Leifer says that an ontic state represents ‘something that objectively exists in the world, independently of any observer or agent’ [26]. This is stronger than the definition above because it rules out that the state also represents our knowledge of the world. He gives the example of the ontic state of a single classical particle being its position and momentum. His corresponding example of an epistemic state is then a probability distribution over the particle’s phase space. Note that in the case Leifer considers there is clearly a many-one map between the epistemic state and the underlying state, in the sense that many epistemic states are compatible with the true state of the system (because there are many probability distributions that give a non-zero probability to a given state of the particle). However, this is not so for the ontic state. Only one mathematical representation is compatible with the underlying state of the system, because the mathematical representation of each possible microstate is a complete specification of all the degrees of freedom of the system over which the probability distribution is defined. As the next section explains, Harrigan and Spekkens make this difference between a many-one and one-one relationship definitive of epistemic and ontic interpretations respectively.

Simon Friedrich says a (\(\psi \)-)epistemic interpretation is any view according to which “quantum states do not represent features of physical reality, but reflect, in some way to be specified, the epistemic relations of the agents who assign them to systems they are assigned to” [9]. So he (and Leifer) agree that epistemic and ontic interpretations are exclusive of each other, so that an epistemic interpretation of a term rules out that the term represents the world as well. This is so for Harrigan and Spekkens too, as explained in the next section.

However, not everything in physics is as straightforward as the toy model Leifer considers, and it is not always clear whether terms in physical theories represent real things (for example, component versus resultant forces, gauges and so on). In quantum mechanics, individual particles do not in general have their own pure quantum states. Nothing about the idea of a determinate reality requires that all physical states are decomposable into the states of particles, and the states of quantum field theory do not take individual particles to be the fundamental bearers of physical properties. The probability distributions we get from quantum mechanics are over eigenvalues associated with observables, not over underlying states-of-the-world as in classical statistical mechanics. For all these reasons and more the framework and definitions of the next section that have become orthodox are at least questionable.Footnote 3

Moreover, it is possible to give definitions of ontic and epistemic, which capture the informal usage of the terms reasonably well, and which do not make them exclusive of each other. Wavefunctions, like particle coordinates or vector fields, are part of the mathematical apparatus of physical theory. Such a term in a physical theory has an ontic interpretation (is an ‘ontic state’) when it is taken to represent how the world is independently of our knowledge of it to some extent or other.Footnote 4 For example, the number 9.81 represents the acceleration due to gravity near the surface of the Earth. It is not perfectly accurate and depends on the conventional choice of units, but arguably all representations are like this to some extent. Many mathematical terms used in classical physics, whether scalars, like mass or charge, or vectors, such as magnetic field strength or linear momentum, are apt to be taken as representing real physical properties. On the other hand, a term in physical theory has an epistemic interpretation (is an ‘epistemic state’) when it is taken to represent knowledge or information about the world to some extent or other. (Note that the positive second part of Friederich’s definition of a (\(\psi \)-)epistemic interpretation is very similar to ours.)

Fig. 1
figure 1

Harrigan and Spekkens’s \(\psi \)-epistemic (A) and \(\psi \)-ontic (B) models of reality. Wavefunctions \(\psi \) and \(\varphi \) each have probability distributions over state-space \(\Lambda =\{\lambda \}\). In a \(\psi \)-epistemic model, these can overlap over a subspace \(\Delta \), so a state \(\lambda \) within this overlap could be represented by both \(\psi \) and \(\varphi \). However, in their formalism, in \(\psi \)-ontic models, each state can only be represented by one wavefunction

3 The ontological models framework

The wavefunction \(\psi \) gives the relative (Born) probability \(p^\psi _A(s)\) that, upon measurement, a certain degree of freedom (described by observable A) will have the specific value s. The wavefunction can be represented as a normalised vector \(\left| \psi \right\rangle \) in a Hilbert Space \(\mathcal {H}\), where there is a complete orthonormal basis of vectors, corresponding to possible values of A (and we write vector \(\left| s \right\rangle \) with eigenvalue s for A). Harrigan and Spekkens’s Ontological Models framework considers how the wavefunction relates to some particular underlying real state of the world \(\lambda \), from the space \(\Lambda \) of possible such states [17, 19, 33, 39, 40].

In any hidden variable model, each observable A has an associated response function \(\mathcal {A}(S\vert \lambda )\), which gives the probability for state \(\lambda \) that a measurement of variable A would give an outcome s in set S [36]. \(p(\lambda \vert \psi )\) is the probability a situation described by wavefunction \(\psi \) has the underlying state \(\lambda \). This probability function is normalised over \(\psi \)’s support in state space \(\Lambda _\psi \). The framework assumes these are both probabilities (i.e., non-negative and additive) rather than quasiprobabilities (which need not be either) [18].Footnote 5 From these we get the Born rule,

$$\begin{aligned} p^\psi _A(S) =\sum _S\vert \langle s|\psi \rangle \vert ^2 = \int _{\Lambda }\mathcal {A}(S\vert \lambda ) p(\lambda \vert \psi ) \mathrm{{d}}\lambda \end{aligned}$$
(1)

Imagining our (arbitrary) observable A had the original wavefunction \(\left| \psi \right\rangle \) as a possible state after measurement (i.e., \(\left| \psi \right\rangle =\left| s \right\rangle \) for some \(\left| s \right\rangle \) that is an eigenstate of A with some value q), we find

$$\begin{aligned} \forall \lambda \in \Lambda _\psi ,\;\mathcal {A}(q\vert \lambda ) = 1 \end{aligned}$$
(2)

(as \(\vert \langle \psi |\psi \rangle \vert ^2=1\), and \(p(\lambda \vert \psi )\) is normalised over \(\Lambda _\psi \) [27]).

If we now consider a second wavefunction, \(\varphi \), with probability distribution \(p(\lambda \vert \varphi )\) over its support \(\Lambda _\varphi \), obeying these same rules, then, by Eq. 1,

$$\begin{aligned} \vert \langle \psi |\varphi \rangle \vert ^2 = \int _{\Lambda }\mathcal {A}(q\vert \lambda ) p(\lambda \vert \varphi ) \mathrm{{d}}\lambda . \end{aligned}$$
(3)

By restricting this to the subspace \(\Lambda _\psi \), we define

$$\begin{aligned} \begin{aligned} \Delta&\equiv \int _{\Lambda _\psi }\mathcal {A}(q\vert \lambda ) p(\lambda \vert \varphi ) \mathrm{{d}}\lambda \\&=\int _{\Lambda _\psi } p(\lambda \vert \varphi ) \mathrm{{d}}\lambda \le \vert \langle \psi |\varphi \rangle \vert ^2 \end{aligned} \end{aligned}$$
(4)

If \(\Delta >0\), Harrigan and Spekkens claim this overlap of \(p(\lambda \vert \varphi )\) and \(\Lambda _\psi \) implies the two wavefunctions in this model are epistemic states, because the same underlying state \(\lambda \) could be represented by either depending on what it known about the system.Footnote 6 Harrigan and Spekkens take the existence of two distinct wavefunctions with overlapping support within a model as necessary and sufficient for that model being \(\psi \)-epistemic (and not \(\psi \)-ontic). This is as, given two different wavefunctions can represent the same underlying state, the wavefunction is not determined completely by the underlying state. Therefore, some other factor must fix the wavefunction, and that factor is what is known about the system.

Harrigan and Spekkens stipulate that all models that do not meet their criterion for being \(\psi \)-epistemic are \(\psi \)-ontic, based on how, classically, states can be understood as either ontic (points of state space) or epistemic (probability distributions over state space) as discussed above.Footnote 7

Harrigan and Spekkens give three subcategories of \(\psi \)-ontic model. In the strongest (\(\psi \)-complete), the wavefunction describes the system’s state completely and no hidden variables are left out by it (as in, for example, Everettian interpretations). In the other two models, both referred to as \(\psi \)-supplemented, the state is supplemented by some hidden variable—in the first as a one-to-one mapping between the wavefunction and the state; and in the second where wavefunctions can map to more than one state (but each state still only maps to one wavefunction). While the wavefunction may not itself be the state, in \(\psi \)-ontic models each ontic state corresponds to at most one wavefunction (see Fig. 1B), so all wavefunctions have disjoint support in the state-space:

$$\begin{aligned} \forall \psi ,\varphi ,\;\text {s.t. }\psi \ne \varphi ;\;\Lambda _{\psi }\cap \Lambda _{\varphi }=\oslash \end{aligned}$$
(5)

4 Analysing Harrigan and Spekkens’s definitions

In Harrigan and Spekkens’s framework, only \(\psi \)-epistemic models allow multiple wavefunctions to have overlapping support from the same underlying real state (see Fig. 1A). As noted above, they also take such overlap also to be necessary for a model to interpreted epistemically. However, while we grant that within the ontological models formalism overlap is sufficient for a model to be interpreted epistemically, we believe it is not necessary for it to be interpreted epistemically, because there is no reason to suppose that a one-one map between the wavefunction and the ontic state rules out that the wavefunction represents knowledge. Indeed, if the response functions for individual \(\lambda \) within a wavefunction’s support \(\Lambda _\psi \) for S, are not equal to the Born probability for S conditional on the wavefunction, then this surely suggests the wavefunction could be interpreted epistemically:

$$\begin{aligned} \begin{aligned} \exists \{\psi ,S,A\},\;\mathrm{{s.t.}}\;\lnot ((\mathcal {A}(S\vert \lambda )=p^\psi _A(S)\;\forall \lambda \in \Lambda _{\psi })\\ \implies \;\text {epistemic} \end{aligned} \end{aligned}$$
(6)

On this condition the Born probability is just the weighted average of response functions over \(\Lambda _\psi \), rather than equalling the response function of the state of the world \(\lambda \) (suggesting there is a real difference between the \(\lambda \)s in the support of \(\psi \), but that the experimenter does not know enough to distinguish between these different \(\lambda \)s).Footnote 8 All cases of overlap obey this condition, as within \(\Lambda _\psi \), \(\mathcal {A}(\psi \vert \lambda )=1\), but \(p^\varphi _A(\psi )=\vert \langle \psi |\varphi \rangle \vert ^2\) which isn’t equal to 1 if \(\psi \ne \varphi \). However, cases without overlap could also obey this condition, as it applies to the response function of any observable, rather than the one represented by the operator whose eigenstates include \(\psi \) whatever that is. Hence, Harrigan and Spekkens’s criterion for a model being \(\psi \)-ontic—that wavefunctions never have overlapping support in the space of underlying states—is wrong to make it not \(\psi \)-epistemic by definition.

\(\psi \)-ontic models either take the wavefunction to represent the exact underlying state, or to represent some part of the state and so to be incomplete. What Harrigan and Spekkens ignore is the possibility that the wavefunction represents both the state of reality and the epistemic state of an observer, as with the case of a proper mixture or entropy discussed above. Hence, even though the wavefunction represents reality, wavefunctions could still have overlapping support on state space, because they could simultaneously represent different states of knowledge.

Because of this, there is nothing in Harrigan and Spekkens’ formal definition for a model being \(\psi \)-ontic, nor a criterion we can build from their model, which is necessary or sufficient for a model to have wavefunctions representing reality. The closest we can come to is that, if the wavefunction doesn’t represent knowledge, it must represent something else (and so represent reality)—but, given our condition for a model representing knowledge above is sufficient rather than necessary, there is no reason models without overlap need represent reality.

Harrigan and Spekkens admit that all models that are not \(\psi \)-complete could be said to have an epistemic character, especially where multiple states map onto one wavefunction, given this associates the wavefunction with a probability distribution over state space. However, they say they are instead interested only in pure quantum states—hence their definitions being based on overlap, given they claim, with pure states, “\(\psi \) has an ontic character if and only if a variation of \(\psi \) implies a variation of reality and an epistemic character if and only if a variation of \(\psi \) does not necessarily imply a variation of reality” [19]. Hardy agrees, saying, given no overlap between the support of wavefunctions on the underlying state, we could deduce the wavefunction from \(\lambda \), which he takes to mean the wavefunction would be written into the underlying reality of the world [16]. However, this is questionable, given that, as noted above, correlation between \(\lambda \) and a wavefunction does not necessarily make that wavefunction physical, any more than the correspondence between your fingers and the numbers 1–10 makes those numbers physical [36] (which is why we defined wavefunction-ontic as the wavefunction representing the real state, rather than being real itself).

Further, considering the wavefunction to be ontic if and only if variation in it implies variation in the underlying state ignores that, while ontic models require that the wavefunction represent an element of reality, they need not only represent that. Even for pure states, so long as we are not considering a \(\psi \)-complete model, there is always some factor supplementing the wavefunction in the full underlying state of the world—so, conversely, knowledge could supplement that representation of reality to give us the wavefunction. Therefore, there is no reason for change in wavefunction to imply change in reality in an ontic model, even for pure states.

This is demonstrated by \(\psi \)-dependent models [36]. In a \(\psi \)-dependent model, the response functions depends on \(\psi \)—individual overlap possibilities for each possible state are given by the relevant measurement probabilities, rather than being uniform. The simplest case of this is when \(p_\psi \) is uniform across \(\Lambda _\psi \), as, to retrieve the Born probabilities, \(\mathcal {A}^\psi (S,\lambda )\) must then depend on \(\psi \). As the wavefunction still to some degree reflects the underlying state, these models are ontic in our sense. However, they also allow overlap of wavefunctions on state space, making them \(\psi \)-epistemic. Schlosshauer and Fine give an ontic model which is also \(\psi \)-epistemic, also showing models can be both.

5 Consequences

The Pusey–Barrett–Rudolph (PBR) argument shows that wavefunctions cannot overlap on state space, but it says nothing about whether they are epistemic in the broader sense of Sect. 2. The same applies for other no-go theorems based on these definitions, such as Colbeck and Renner’s [5], Patra et al.’s [30], Hardy’s [16], and Ruebeck et al.’s [34]. Pusey et al showed, given certain assumptions, that any model that is \(\psi \)-epistemic by Harrigan and Spekkens’s criterion (i.e. allows wavefunction-overlap on state space) always contradicts quantum theory [32]. However, above we showed that wavefunctions being able to overlap on state space is a sufficient, rather than necessary condition for a model being epistemic. This means, even if those assumptions are valid, and so wavefunction overlap is incompatible with quantum physics, that does not rule out all epistemic models.

Even in the ontological models framework, models can be simultaneously ontic and epistemic—the wavefunction can represent both elements of reality, and knowledge about that reality. Harrigan’s and Spekkens’s terms, \(\psi \)-ontic and \(\psi \)-epistemic, do not formalise these informal ideas.

In light of our analysis, it is important that people do not conflate the ideas of ontic and epistemic in general with Harrigan and Spekkens’ specific definitions, as to do so confuses the debate about quantum foundations.