Abstract One of the basic observations of the classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, the idea of physical realism is not well established. A framework to analyse how observations in experiments can be described using some physical states of reality was recently developed, known as ontological models framework. Different principles when imposed on the ontological level give rise to different theories, the validity of which can be tested based on the statistics generated by these theories. Using the ontological models framework, we formulate a novel notion of classicality termed ontic-distinguishability, which is based upon the physical principles that in classical theories extremal states are physical states of reality and every sharp measurement observes the state of the system perfectly. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of ontic-distinguishability. Contrary to previous notions of classicality which either required systems of dimension strictly greater than two or atleast three preparations, a violation of ontic-distinguishability can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violation of previously known notions of classicality such as preparation non-contextuality and Bell’s local causality is a violation of ontic-distinguishability.
Abstract One of the basic observations of the classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, the idea of physical realism is not well established. A framework to analyse how observations in experiments can be described using some physical states of reality was recently developed, known as ontological models framework. Different principles when imposed on the ontological level give rise to different theories, the validity of which can be tested based on the statistics generated by these theories. Using the ontological models framework, we formulate a novel notion of classicality termed ontic-distinguishability, which is based upon the physical principles that in classical theories extremal states are physical states of reality and every sharp measurement observes the state of the system perfectly. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of ontic-distinguishability. Contrary to previous notions of classicality which either required systems of dimension strictly greater than two or atleast three preparations, a violation of ontic-distinguishability can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violation of previously known notions of classicality such as preparation non-contextuality and Bell’s local causality is a violation of ontic-distinguishability.
Existence of physical reality in the classical world is a well-established fact from day-to-day observations. However within quantum theory, it is not straightforward to reach such a conclusion. A framework to analyse how observations can be described using some physical states of reality in a theory independent way was recently developed, known as ontological framework. Different principles when imposed on the ontological level give rise to different observations in physical experiments. Using the ontological framework, we formulate a novel notion of termed classicality which is based upon the physical principles that in classical theories pure states are physical states of reality and every projective measurement just observes the state of the system. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of universal classicality. Contrary to previous notions of which either required systems of dimension strictly greater than two or atleast three preparations, a violation of classicality can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violations of previously known notions of such as preparation non-contexuality and Bell's local causality is a violation of universal classicality.
Quantum theory describes our universe incredibly successfully. To our classically-inclined brains, however, it is a bizarre description that requires a reimagining of what fundamental reality, or “ontology”, could look like. This thesis examines different ontological features in light of the success of quantum theory, what it requires, and what it rules out. While these investigations are primarily foundational, they also have relevance to quantum information, quantum communication, and experiments on quantum systems. The way that quantum theory describes the state of a system is one of its most unintuitive features. It is natural, therefore, to ask whether a similarly strange description of states is required on an ontological level. This thesis proves that almost all quantum superposition states for d > 3 dimensions must be real—that is, present in the ontology in a well-defined sense. This is a strong requirement which prevents intuitive explanations of the many quantum phenomena which are based on superpositions. A new theorem is also presented showing that quantum theory is incompatible with macro-realist ontologies, where certain physical quantities must always have definite values. This improves on the Leggett-Garg argument, which also aims to prove incompatibility with macro-realism but contains loopholes. Variations on both of these results that are error-tolerant (and therefore amenable to experimentation) are presented, as well as numerous related theorems showing that the ontology of quantum states must be somewhat similar to the quantum states themselves in various specific ways. Extending these same methods to quantum communication, a simple proof is found showing that an exponential number of classical bits are required to communicate a linear number of qubits. That is, classical systems are exponentially bad at storing quantum data. Causal influences are another part of ontology where quantum theory demands a revision of our classical notions. This follows from the outcomes of Bell experiments, as rigorously shown in recent analyses. Here, the task of constructing a native quantum framework for reasoning about causal influences is tackled. This is done by first analysing the simple example of a common cause, from which a quantum version of Reichenbach’s principle is identified. This quantum principle relies on an identification of quantum conditional independence which can be defined in four ways, each naturally generalising a corresponding definition for classical conditional independence. Not only does this allow one to reason about common causes in a quantum experiments, but it can also be generalised to a full framework of quantum causal models (mirroring how classical causal models generalise Reichenbach’s principle). This new definition of quantum causal models is illustrated by examples and strengthened by it’s foundation on a robust quantum Reichenbach’s principle. An unusual, but surprisingly fruitful, setting for considering quantum ontology is found by considering time travel to the past. This provides a testbed for different ontological concepts in quantum theory and new ways to compare classical and quantum frameworks. It is especially useful for comparing computational properties. In particular, time travel introduces non-linearity to quantum theory, which brings (sometimes implicit) ontological assumptions to the fore while introducing strange new abilities. Here, a model for quantum time travel is presented which arguably has fewer objectionable features than previous attempts, while remaining similarly well-motivated. This model is discussed and compared with previous quantum models, as well as with the classical case. Together, these threads of investigation develop a better understanding of how quantum theory affects possible ontologies and how ontological prejudices influence quantum theory.
Based on an intuitive generalization of the Leibniz principle of `the identity of indiscernibles', we introduce a novel ontological notion of classicality, called bounded ontological distinctness. Formulated as a principle, bounded ontological distinctness equates the distinguishability of a set of operational physical entities to the distinctness of their ontological counterparts. Employing three instances of two-dimensional quantum preparations, we demonstrate the violation of bounded ontological distinctness or excess ontological distinctness of quantum preparations, without invoking any additional assumptions. Moreover, our methodology enables the inference of tight lower bounds on the extent of excess ontological distinctness of quantum preparations. Similarly, we demonstrate excess ontological distinctness of quantum transformations, using three two-dimensional unitary transformations. However, to demonstrate excess ontological distinctness of quantum measurements, an additional assumption such as outcome determinism or bounded ontological distinctness of preparations is required. Moreover, we show that quantum violations of other well-known ontological principles implicate quantum excess ontological distinctness. Finally, to showcase the operational vitality of excess ontological distinctness, we introduce two distinct classes of communication tasks powered by excess ontological distinctness.
Quantum nonlocality has been a long-standing and fascinating problem in the foundations of quantum theory since its proof by the Bell inequality. It seems to contradict our intuitive picture of space-time and thus urges us to reconsider its foundation. With the advent of quantum information science, it has attracted renewed interest from a fundamental point of view as well as from a quantum information-theoretic one. Another fundamental question on the nature of quantum theory is how we understand what quantum states represent. (Quantum states hereafter refer to pure states.) This is also a long-standing problem since the early days of quantum theory. Roughly speaking, there are two conflicting views on this matter: one is ontology and the other is epistemology. Ontological models of quantum theory are models in which we assume some underlying reality for physical systems and require that all the predictions of quantum theory should be reproduced. The ontological models are divided into two categories, depending on which views the models are based on, ontology or epistemology. In the models based on ontology, quantum states represent the underlying reality in some sense, and different quantum states correspond to different realities. In the models based on epistemology, quantum states do not necessarily correspond to the underlying realities, and even different quantum states can be consistent with a common underlying reality. The former type of ontological models of quantum theory is called 1⁄4-ontic. The latter is called 1⁄4-epistemic. Thus, it might be rather confusing that ontological models are classified further into 1⁄4-ontic models and 1⁄4-epistemic ones. We use these terms here in accordance with the recent literature on quantum foundations. (For details of these notions in the ontological models of quantum theory, see the paper by Harrigan and Spekkens.) Quite recently, the question just mentioned has been answered by Pusey et al., and one of the above models has been refuted. It was shown that 1⁄4-epistemic models are inconsistent with the predictions of quantum theory. In other words, epistemological views on quantum states turned out to be false as long as we assume some underlying reality for physical systems. Therefore, only 1⁄4-ontic models of quantum theory are valid for describing quantum systems. This significantly advances our understanding on the nature of quantum states. It is expected that various conclusions will be drawn from this fact. In this paper, we will discuss a connection with nonlocality. The above two fundamental questions, nonlocality and the nature of quantum states, are intimately connected, and the connection was first implicitly recognised by Einstein in the early days of quantum theory. In a private correspondence with Schrodinger, Einstein constructed a fascinating argument that relates the above two. (That argument is distinctly different from the well-known EPR argument.) Recently, it was revisited and reconstructed in accordance with more rigorous notions in quantum foundations. Nonlocality is usually shown by violations of Bell inequalities. (Bell inequalities hereafter include all the subsequent developments such as the CHSH inequality.) Even if it is not clear whether the models of quantum theory are 1⁄4-ontic or 1⁄4-epistemic, we can prove nonlocality just by showing the violation of Bell inequalities. However, the above argument originated by Einstein implies that if we know the models are 1⁄4-ontic in advance (as we do now), we can prove nonlocality in a simpler way without Bell inequalities. (This argument had been known in quantum foundations before the refutation of 1⁄4-epistemic models.) Nonlocality is rigorously defined as a violation of the notion of local causality defined by Bell. Showing the violation of Bell inequalities is one way of demonstrating the violation of local causality. Since the simpler proof initiated by Einstein directly demonstrates the violation of local causality, it is a more straightforward proof of nonlocality from a conceptual point of view. In the following, we will see that this simple argument of nonlocality without Bell inequalities can be used to show multipartite nonlocality as well. Before moving onto multipartite cases, first let us define the necessary notions for presenting our result. First of all, we assume that there exists a complete specification of the properties of a physical system, which we refer to as the ontic state of that system. The ontic states represent the underlying realities and are not necessarily equal to ordinary quantum states. (In other words, the ontic states correspond to hidden variables.) Ontological models of quantum theory are models that assume ontic states and reproduce all the predictions of quantum theory. An important question is how ontic states correspond to quantum states in quantum theory. In order to frame the question accurately, we need the notion of an epistemic state, which represents the relation between them. Suppose we prepare a physical system in a quantum state 1⁄4. Although the system is uniquely specified as 1⁄4 in quantum theory, there still remains a possibility that it allows a more detailed specification in the ontic state space, in which case many different ontic states turn out to be consistent with 1⁄4. The relation between ontic states and the preparation procedure, P1⁄4, is described by a conditional probability distribution over the ontic state space, pð jP1⁄4Þ, which we refer to as an epistemic state. In general, the preparation P can be a preparation of a physical system in a mixed sate. Unless there exists a one-to-one correspondence between ontic states and quantum states, the probability distribution spreads over . (See Fig. 1.) The question of whether an ontological model is 1⁄4-ontic or 1⁄4-epistemic is concerned with the behaviour of the epistemic states for two distinct preparations of quantum states. Consider two distinct preparations of quantum states, Journal of the Physical Society of Japan 82 (2013) 055003
The main question under investigation in this thesis was the reality of the quantum state. We approached this problem by studying a recent no-go result by Pusey, Barrett and Rudolph, namely the PBR theorem. In Section 1 we provided a short introduction to quantum theory. A few relevant examples were covered, namely decompositions of quantum states, impossibility of the ignorance interpretation and the distinguishability of pure quantum states. Section 2 developed measure theoretic tools needed in the framework of ontological models. The Radon-Nikodym theorem was proven in order to justify the use of an alternative expression of the variational distance of probability measures. In Section 3 we developed a general framework for ontological models. In short, the ontological models framework can be considered the most general framework currently available for hidden variable theories and no-go results. We used the measure theoretic tools of Section 2 to make the formalism rigorous. Original research included in Section 3 was the characterization of a property called antidistinguishability for qubit states. A necessary and sufficient condition for antidistinguishability was given. It was then proven that any set of pure qubit states that is not antidistinguishable can be made antidistinguishable by adding a single carefully chosen state into the set. In the end of Section 3, some original observations were presented. Namely, a specific connection with contextuality was proven for sometimes ψ-ontic and never ψ-ontic ontological models. However, it was then noted that these observations were not enough to exclude never ψ-ontic ontological models, a feat that would have provided a new no-go theorem on its own. Contextuality in the ontological models framework was studied in Section 4. The main results were establishing preparation contextuality from the failure of maximal ψ-epistemicity and a proof of Bell's theorem based on preparation contextuality established this way. We concluded that ψ-ontic models cannot be Bell local based on these results. Finally in Section 5 the implications of ψ-ontology were discussed. By careful analysis of the results, it was noted that accepting the reality of the quantum state exposes explanatory gaps in the formalism. Possible solutions to the challenges introduced by these explanatory gaps were discussed through interpretations of quantum mechanics and the so-called measurement problem.
We ask whether the operational quantum description is complete at the level of preparations: can the empirically accessible properties of a finite preparation set be reproduced exactly by a hidden-variable description, or must every such completion contain additional structure that is not operationally accessible? We formalize this through epistemic completeness, a preparation-side notion of classicality requiring exact preservation of empirical preparation-properties by the corresponding ontic quantities obtained by conditioning on the ontic state and allowing all response schemes compatible with positivity and normalization. For the canonical family of set-distinguishability tasks, we prove that every epistemically complete theory satisfies an equality: for every finite preparation set, the average pairwise distinguishability equals the average set-distinguishability. Any nonzero deviation certifies epistemic incompleteness and lower-bounds the excess ontic communication power that every ontic completion must conceal. Because unrestricted classical communication models, and more generally commuting quantum theories, are epistemically complete, every nonzero deviation also yields a quantum communication advantage and witnesses of coherence and measurement incompatibility. We formulate semidefinite-programming relaxations and see-saw lower bounds, and show that quantum theory violates the equality in both directions. The trine and tetrahedral qubit ensembles are numerically certified maximizers for the n=3 and n=4 equalities; their violations persist for arbitrarily low positive visibility and arbitrarily large leakage short of complete disclosure; and the Kochen--Specker ψ-epistemic model exactly saturates the hidden ontic excess for these maximal positive violations. Numerics suggest that the maximal positive deviation increases with the number of preparations.