Does Locality Imply Reality of the Wave Function? Hardy’s Theorem Revisited

Hardy’s \(\psi\)-ontology theorem proves the reality of the wave function under the assumption of restricted ontic indifference. It has been conjectured that restricted ontic indifference, which is a very strong assumption from the \(\psi\)-epistemic view, can be derived from two weaker sub-assumptions: an ontic state assumption and a locality assumption. However, Leifer argued that this derivation cannot go through when considering the existence of the vacuum state in the second-quantized description of quantum states. In this paper, I present a new analysis of Hardy’s theorem. First, I argue that the ontic state assumption is valid in the second-quantized description of quantum states. Second, I argue that the locality assumption is a locality assumption for product states and it is weaker than the preparation independence assumption of the PBR theorem. Third, I argue that Leifer’s objection to the derivation of restricted ontic indifference is invalid. Finally, I argue that although the vacuum state is irrelevant, the existence of the tails of the wave function will block the derivation of restricted ontic indifference from the ontic state assumption and the locality assumption.