How Real are Quantum States in $\psi$-ontic Models?

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.


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 ψ-ontology theorems. The most famous of these results is the PBR Theorem, named after Pusey, . 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 that ψ-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 (1970) and the second due to Meyer (1999), Kent (1999) and Clifton and Kent (2000). Although these models are shown to be ψ-ontic in the sense adopted in ψ-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 Section 5 with a discussion of what I do take ψ-ontology theorems to show.

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 λ 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 Λ forms a measurable space, i.e., it comes equipped with a σ-algebra Σ of subsets of Λ. This ensures that the introduction of probabilities is well-defined.
How exactly λ represents properties of a system is left open. The minimal condition is merely that λ can play the functional role for making predictions about the outcomes of future measurements. That is, for every physical quantity A, every ontic state λ determines the probability p A (a|λ) for every possible outcome a of a measurement of A. Formally, p A is a Markov kernel from (Λ, Σ) to the measurable space of possible measurement outcomes for A. 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 (Leifer, 2014a, §4)). A fragment of quantum mechanics consists of a triplet (H, P, M), where H is a finite-dimensional Hilbert space, P is a set of density operators, and M is a set of POVMs. An ontic model for a fragment (H, P, M) consists of a measurable space (Λ, Σ) and further satisfies the following two conditions.
(I) For every physical quantity A that can be represented by a POVM {E a1, , . . . , E an } ∈ M, there is a Markov kernel p A such that i p A (a i |λ) = 1 for every λ ∈ Λ and (II) For every density operator ρ ∈ P there is a no-empty set Π ρ of probability distributions over (Λ, Σ) such that p A (a i |λ)dµ(λ) = Tr(ρE ai ) for every A, a i and µ ∈ Π ρ .
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 µ associated with some quantum state ρ 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 Π ρ will typically not be a singleton set, as preparation contextuality is also to be expected (Spekkens, 2005).
The ψ-ontic/epistemic distinction was introduced by Harrigan and Spekkens (2010). The idea is that an ontic model is ψ-ontic if every complete physical state or ontic state in the theory is consistent with only one pure quantum state. (ibid., 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 ψ-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 ψ : R 3N → 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 (Albert, 1996). Or one could insist that the ontology is to be given in terms of stuff in "ordinary" 3-dimensional space -a primitive ontology (Goldstein, 1998)-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 (Wallace and Timpson, 2010). 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 ψ-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 ψ-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 (Dürr, Goldstein, and Zanghì, 1997) may be compatible with the ψ-ontic claim.
But this generality also comes at a price. The interpretation of ontic states cannot be fixed by any ψ-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 ψ-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 ψ-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. 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 ψ-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 I shall abide by this intended reading.

Ontic Models as Reducing Theories
In the previous section I clarified that, even if one can show for some quantum system that every ontic model must be ψ-ontic, this does not imply that quantum states should be given an "ontic" interpretation. But this does not mean that ψ-ontology theorems are devoid of content. I agree with Jennings and Leifer (2016) that they fall in the camp of theorems, like Bell's theorem, that chart in which sense there can be "no return to classical reality". These theorems pose serious constraints on any future theory that can (approximately) reproduce the predictions of quantum mechanics in a regime where there is strong experimental support that these predictions are correct.
When bracketing the interpretation of ontic states, ψ-ontology theorems may be understood as aiming to establish a certain inter-theoretic relation between quantum mechanics and any future theory that is to replace it. Showing that ontic models are necessarily ψ-ontic would go a long way in showing that, whatever the state space of some 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.
As I shall demonstrate in Section 4, the existence of such a rule does not trivially follow from existing ψ-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. (Einstein, 1949) 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 (Frigg, 2008;Uffink, 2007). 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 ψ-ontic models (quoted earlier), Harrigan and Spekkens provide a second characterization: In ψ-ontic models, distinct quantum states correspond to disjoint probability distributions over the space of ontic states, whereas in ψ-epistemic models, there exist distinct quantum states that correspond to overlapping probability distributions. (Harrigan and Spekkens, 2010, p.126) The idea is then that the ontic states in the support of a distribution associated with ψ can be unambiguously associated with ψ. As illustrated in Figure 1, in a ψ-ontic model the ontic state can tell us what the quantum state is, whereas in a ψ-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 Figure 1: Pictures clarifying the intuition behind the ψ-ontic/ψ-epistemic distinction.
Here f ψ and f φ are probability densities for probability measures associated with the quantum states ψ and φ. In this picture, no overlap suggests that ontic states can be associated with quantum states in an unambiguous way. When there is an overlap, the ontic states in the overlap cannot discern the quantum states ψ 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 ψ 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 ψ 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 ψ 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 microcanonical 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 ψ-ontic, this does not imply that the probabilities from quantum theory should be interpreted as objective chances. Thus ψ-ontology theorems have little to say about the meaning of probability in quantum mechanics or in future theories of physics. 3 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 (Valentini, 2020). 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, ψ-ontology theorems provide a bridge law that associates with each ontic state a unique quantum state. But the relationship between the ontic states that pick out a certain quantum state ψ and ψ as used in quantum mechanics is unclear. If some ontic state λ picks out the state ψ, this does not imply that a system in the state λ should behave in any relevant sense as a quantum system in the state ψ. 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 ψ-Ontology Theorems do Not Show 4.1 ψ-Ontic vs ψ-Determinate Models When moving away from the intended interpretation of ontic models and their components, what remains of the concept of ψ-onticity is that of an inter-theoretic relation. If successful, ψ-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, Barrett, and Rudolph (2012, 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 λ." 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 ψ-ontic model as introduced by Harrigan and Spekkens (2010) is that each ontic state is compatible with at most one pure quantum state. I shall call an ontic model that satisfies this criterion ψ-determinate and reserve the term ψ-ontic for the related notion of non-overlapping distributions that is used in ψ-ontology theorems. 4 Consider an ontic model (Λ, Σ) for a fragment (H, P, M), where P also contains pure states. Let [ψ] denote the 1-dimensional projection on the line spanned by the vector ψ ∈ H. The ontic model is called ψ-determinate if there exists a map that assigns to each pure state [ψ] ∈ P, a measurable set Λ [ψ] ∈ Σ such that for all pairs of pure states , then one can unambiguously conclude that ψ is the corresponding quantum state (up to a phase factor). Condition (ii) implies that if a system is prepared according to ψ, then with probability one an ontic state is prepared for which ψ is the corresponding quantum state. It is allowed that the union [ψ]∈P Λ [ψ] is a proper subset of Λ. 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 (2010) that ψ-determinateness implies that distinct quantum states should correspond to non-overlapping probability distributions. It is this criterion that is used in most ψ-ontology theorems and formalized explicitly as the criterion of ψ-onticity in (Leifer, 2014a). Specifically, an ontic model (Λ, Σ) for a fragment (H, P, M) is called ψ-ontic if for every distinct pair [ψ], [φ] ∈ P the corresponding probability distributions are non-overlapping, i.e., the variational distance between their corresponding probability measures equals 1: There is a strong intuition that any ontic model is ψ-determinate if and only if it is ψ-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 ψ with any ontic state in the support of the distribution corresponding to ψ.
But part of the work in this reasoning is being done by the familiar topology of the line. In Figure 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 Figure 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 ψ-ontic model. Given a pair of quantum states ψ, φ, it can be straightforward to construct distributions f ψ , f φ that have disjoint supports . But it is not trivial to introduce a single background measure with respect to which every quantum state ψ has a distribution f ψ in such a way that f ψ and f φ have disjoint supports for every pair of quantum states.
It is true that every ψ-determinate model is ψ-ontic. This follows because the supremum in (1) is attained for the choice ∆ = Λ [ψ] . In other words, if Λ [ψ] 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 ψ-ontic but not ψ-determinate was given by Montina (2011).
It is not clear if more general models exist that are ψ-ontic but not ψ-determinate. In the next two subsections I consider two sets of ontic models for which it is relatively straightforward to show that they are ψ-ontic. However, the question if they are also ψ-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 [ψ] → Λ [ψ] tend to fail and the unnatural candidates are highly non-unique. This non-uniqueness implies that even if one counts these models as ψ-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 ψ-determinate ontic model.

Gudder's Model
In this section I consider a value definite ontic model for the fragment (H, P, M) with H a Hilbert space with finite dimension d > 2, P the set of all pure states, and M the set of all self-adjoint operators. It is a type of minimal hidden variable theory as described by Gudder (1970).
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 , . . . , 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 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 (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 The state space is turned into a measurable space by treating λ as a stochastic process with C playing the role of time. 5 What this means is that the σ-algebra is defined in the following way. For any finite string of contexts C 1 , . . . , C n and quantum states ψ 1 , . . . , ψ n satisfying [ψ i ] ∈ C i define ∆ ψ1,...,ψn C1,...,Cn : the set of ontic states that pick out [ψ i ] as the true projection in the context C i for every i. Then take Σ G to be the smallest σ-algebra containing all sets of the form (5). A probability measure on (Λ G , Σ G ) is completely determined by its action on the sets of the form (5). 6 For a pure state [ψ] ∈ P, the corresponding probability measure µ [ψ] is defined as Within each context, µ [ψ] reproduces the Born rule for all observables in that context. 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 ψ-ontic.
Consider an arbitrary pure state [ψ] ∈ P and let (C ψ i ) ∞ i=1 be some countable sequence of distinct contexts such that [ψ] ∈ C ψ i for every i. 7 Now define This is a measurable set of ontic states that satisfies 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 ψ-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 [ψ] and [φ] do not commute, if λ ∈ Λ [ψ] , this poses no constraints on the values λ can take on for the contexts is not empty and knowing that λ ∈ Λ [ψ] does not allow one to infer that [ψ] is the quantum state of the system.
A natural first reaction to Λ [ψ] as defined by (7), is that it is simply too big. Thinking about what it means for an ontic state λ to be a [ψ]-state, one may start with the requirement that λ at least picks out the state [ψ] in any context where this is possible. That is, λ should lie in the set There are several problems when heading in this direction. First, it is still the case that Λ is non-empty whenever [ψ] and [φ] do not commute. But more importantly, the set Λ • [ψ] is not Σ Gmeasurable (proven below), and so it cannot be used to show that (Λ G , Σ G ) is a ψ-determinate model.
One might object that this is just a sign that also Σ G is too small. There may be the intuition to insist that sets like Λ • [ψ] 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 Λ • [ψ] 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. 8 Theorem 1. The set Λ • [ψ] is not Σ G -measurable and there exist extensions µ + [ψ] and µ − [ψ] of µ [ψ] to the smallest σ-algebra containing both Σ G and Λ • [ψ] such that This theorem shows that even if one includes a set like Λ • [ψ] , this does not mean that the set will have probability one according to the quantum state [ψ]. It may even have probability zero. The upshot is that the natural step closer to satisfying condition (i) of ψ-determinateness takes us a step further away from satisfying condition (ii). In a sense, the set Λ • [ψ] is simply too small. A different strategy is needed to determine if the model is ψ-determinate. This requires a better grasp on what kind of maps between pure quantum states and measurable subset of Λ G are possible. Consider again the map given by (7).
Whatever the set of ontic states corresponding to [ψ] is going to be, it might as well be a subset of this set since it has µ [ψ] -probability 1. Now consider any pair of distinct pure states [ψ], [φ]. The easiest way to modify Λ [ψ] and Λ [φ] to ensure that their intersection is empty, is to intersect one with the complement of the other.
For any [ψ] one can intersect Λ [ψ] with countably many sets Λ c [φ] and the resulting set is still measurable and has µ [ψ] -probability 1. This is clearly a step in the right direction. But there are uncountably many Λ [φ] that have a non-empty intersection with Λ [ψ] and taking the intersection with all sets Λ c [φ] again results in a non-measurable set. The problem may be circumvented if for any [φ] a canonically modified ψ-ontic subset. The following theorem then holds. 9 Theorem 2. There exists a map m such that the canonically modified ψ-ontic subsets make the ontic model (Λ G , Σ G ) ψ-determinate if and only if the continuum hypothesis holds.
Canonically modifying the ψ-ontic subsets is not the only possible strategy for trying to make the model ψ-determinate. 10 Therefore it is not clear if the continuum hypothesis is necessary for showing that the ontic model is ψ-determinate. But it may well be the case that whether the ontic model (Λ G , Σ G ) is ψ-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. 11 What is important in that case, has µ [φ] -probability zero, but a positive probability according to µ [ψ] . The countable union ∞ i=1 ∆ φ C i therefore also has µ [φ] -probability zero, but µ [ψ] -probability one. So one can modify Λ [ψ] and Λ [φ] by intersecting the first with ∞ i=1 ∆ φ C i and the second with the complement thereof. 11 Although it is interesting to note that the version of the continuum hypothesis used here is precisely the one used by Freiling (1986) to argue against its validity.
is that it is impossible to give an explicit map [ψ] → Λ [ψ] that makes the model ψ-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 ψ-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.

The MKC Models
The ontic models due to Meyer (1999), Kent (1999) and Clifton and Kent (2000) 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 (Barrett and Kent, 2004;Hermens, 2011). They are of interest here, because they provide even less handles to associate quantum states with ontic states than the models by Gudder (1970). Nevertheless, it is again possible to show that the models are ψ-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 C, one now considers a specific countable subset C MKC ⊂ C. This set of contexts is chosen to satisfy the following two conditions: 2. Every pair of contexts is totally incompatible. For any pair C 1 , C 2 ∈ C MKC with C 1 = C 2 and every 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 (H, P, M) is now such that P still contains all the pure states, but M now only contains the self-adjoint operators that have an orthonormal basis of eigenstates that forms a context in C MKC . The σ-algebra Σ MKC is again introduced with the use of the sets from (5), but now with Λ G replaced by Λ MKC . For any pure state [ψ] ∈ P the corresponding probability measure is again given by (6).
Showing that the MKC models are ψ-ontic is not entirely trivial. For most given states [ψ], [φ], there are no contexts that contain [ψ] or [φ] 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 [ψ] one has 0 < µ [ψ] (∆ ψ1,...,ψn C1,...,Cn ) < 1 for every set of the form ∆ ψ1,...,ψn C1,...,Cn . To show that the MKC models are ψ-ontic nonetheless, we look at the limit n → ∞. For most sequences ((C i , [ψ i ])) ∞ i=1 , the probability n i=1 | ψ|ψ i | 2 will go to zero as n → ∞. 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). What is interesting about this theorem, is that it establishes that the models are ψ-ontic without providing a candidate for a set that is big enough to contain all the ontic states corresponding to some quantum state [ψ]. But as n increases, Λ [ψ],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 Λ [ψ],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 Λ [ψ],n start to "center around" [ψ]. So instead define This set does satisfy Like with Gudder's model, the MKC models are not obviously ψ-determinate. Whenever [ψ] and [φ] do not commute, Λ [ψ] ∩ Λ [φ] 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 ψ-determinate if one assumes the continuum hypothesis.
There is however also an interesting distinction. For an ontic state λ to correspond to the quantum state [ψ] it may be taken to be a necessary condition that λ ∈ Λ [ψ] . This set is what is known as a tail event. This means that which values λ takes on at any finite set of contexts is irrelevant to determine if λ ∈ Λ [ψ] or not; it all hinges on how λ 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 λ 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 (2004, 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 C 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 ψ-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.

Conclusion
The general strategy of ψ-ontology theorems is to show that distinct quantum states correspond to nonoverlapping 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 ψ-ontic is sufficient to show that it is ψ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 ψdeterminate. It is not clear if the continuum hypothesis is in fact necessary. If it is, then we have here an example of ψ-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 : P → Σ, r : [ψ] → Λ r [ψ] that makes the model ψ-determinate. But this map would also be non-unique. So if λ ∈ Λ r [ψ] for some such map, but also λ / ∈ Λ r [ψ] for some other map r , how would we decide if [ψ] is the true quantum state or not if the ontic state is λ?
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 Figure 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 states 12 have to be associated with so-called tail events. This means that for almost every quantum state [ψ], any specification of a finite number of definite values of physical quantities is completely irrelevant for determining whether an ontic state λ is to correspond to [ψ] or not. For a given λ, only its behavior "in the limit" determines to which quantum state it corresponds.
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.

What ψ-Ontology Theorems do Show
I want to end this paper with a more positive message. If the ψ-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 ψ-ontology theorems is not appropriate. After all, these theorems do not settle the question whether ontic models should be ψ-determinate or not. This does not imply that ψ-ontology theorems are void of content. But what lessons can be drawn from these theorems then? In this section I shall argue that these theorems are best seen as putting constraints on possible explanations for certain quantum phenomena.
To show that ontic models are ψ-ontic, additional assumptions are adopted. 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 (Hall, 2011;Myrvold, 2018;Schlosshauer and Fine, 2012) (see also (Leifer, 2014a, §7.4)). The ψ-ontology theorem due to Colbeck and Renner (2017) makes use of parameter independence. In addition, all theorems make use of a no-conspiracy assumption: which measurements are performed is independent of how the system is prepared.
The no-conspiracy assumption is part and parcel of ontic models (Hermens, 2019). Although rejecting it may be a reasonable way to escape the constraints posed by ψ-ontology theorems (Friederich and Evans, 2019, §3.3), I will not consider this option here. What is interesting, is that not long after Pusey,  presented their theorem, it was shown that additional assumptions on top of the noconspiracy assumption are necessary. Without additional assumptions, it is always possible to construct a ψ-epistemic model (Aaronson et al., 2013;Lewis et al., 2012;Mansfield, 2016).
The overlap in probability distributions allowed in these ψ-epistemic models is quite small though. It was shown by Maroney (2013) that this is necessarily so: even though ψ-epistemic models can always be constructed, they cannot be "maximally ψ-epistemic". As a consequence, these models cannot do all of the explanatory work one would hope ψ-epistemic models to do. Specifically, it has now been shown thoroughly, both theoretically and experimentally, that no such model can explain the indistinguishability of non-orthogonal quantum states (Barrett, Cavalcanti, et al., 2014;Branciard, 2014;Knee, 2017;Leifer, 12 All except a countable set. 2014b; Nigg et al., 2016;Ringbauer et al., 2015). 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 ψ-ontology theorems do not go beyond the conclusions that may be drawn from the BCLM Theorem (Barrett, Cavalcanti, et al., 2014), which places constraints on the possible overlaps.
It deserves to be mentioned that, from an experimental point of view, this conclusion is not entirely novel. For example, the proof of the PBR Theorem makes use of the notion of anti-distinguishability. A measurement with possible outcomes a 1 , . . . , a n is said to anti-distinguish the set of quantum states ψ 1 , . . . , ψ n if for every i = 1, . . . , n the outcome a i has probability zero whenever the state ψ i is prepared. However, experimentally it is impossible to verify if a certain measurement is anti-distinguishing. Because of this, it is always possible to construct ψ-epistemic models that are compatible with the outcomes of experimental tests of the PBR Theorem. More generally, the notion of non-overlapping probability distributions itself is not robust with respect to measurement errors. Any ψ-ontic model may be approximated by a ψ-epistemic model by introducing an arbitrarily small overlap in the probability distributions. But although the experimental tests cannot rule out ψ-epistemic models, they do provide upper bounds on the overlaps of the distributions. 13 To conclude, proofs for ψ-ontology theorems do not show the necessity of quantum state representationalism, even if one accepts all the usual premises. Rather than forcing a certain interpretation on possible future theories, they pose constraints on the kind of explanations such theories may provide for quantum phenomena. These kinds of explanations are of the kind offered in Spekkens' ψ-epistemic toy model (Spekkens, 2007). And to be fair to Pusey, Barrett, and Rudolph (2012), 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.

A Proofs of Theorems
The first two theorems require some insight in the kind of sets that are and are not contained in Σ G . For this we make use of the σ-algebra Σ cg of countably generated subsets of Λ G .
A subset ∆ ⊂ Λ G is called countably generated if there exists a countable set C c and a subset ∆ Cc ⊂ Λ Cc such that ∆ = Π −1 Cc (∆ Cc ) .
Thus a subset of ∆ ⊂ Λ G is countably generated iff for any λ one only needs to check its action on countably many contexts to determine whether λ ∈ ∆. The following lemma has a straightforward proof which is left to the reader.
Lemma 1. The set Σ cg of all countably generated subsets of Λ G is a σ-algebra and has Σ G as a sub-σalgebra.
For the given n there exists a q n > 0 such that E(q n ) = 1 − 1 n . Now for every k ∈ N choose a context C k,n with a [ψ k,n ] ∈ C k,n such that | ψ|ψ k,n | 2 > 1 − q k n . Then define (1 − q k n ) = E(q n ) = 1 − 1 n .