To date, quantum theory is the most successful physical theory that has been discovered. However, there is still the possibility that an inconsistency between experimental observations and the predictions of quantum theory may one day be found, thus prompting the replacement of quantum theory with a superior, post-quantum theory. To narrow down the scope of possibilities for the true theory that describes nature, one can perform experiments that falsify other physical theories, by demonstrating an incompatibility between experimental observations and the predictions of these theories. This thesis details two such experiments. First we provide relevant background information, beginning with a review of experimental quantum optics. Next, we review noncontextual ontological theories and discuss requirements for experimental tests of such theories. Finally, we discuss the framework of generalised probabilistic theories before introducing the two experiments. \n \n \nThe first experiment is a test of noncontextual ontological (or hidden-variable) models of nature. An ontological model of a physical theory is one in which systems have preexisting properties, and a noncontextual ontological model is one in which systems that are indistinguishable experimentally are represented identically in the model. Physical theories that cannot be represented by a noncontextual ontological model are said to be nonclassical; quantum theory is an example of such a physical theory that is nonclassical in this sense. Prior to this thesis, experimental tests of the assumption of noncontextuality had assumed that the experiments were free of both systematic and statistical errors, which is not justifiable for any experiment. We introduce new analytical techniques that allow us to avoid making these assumptions, and perform an experiment with single photons that, with high confidence, rules out the possibility of describing nature with a noncontextual ontological model. \n \n \nThe second experiment is a demonstration of self-consistent state and measurement tomography in the framework of generalised probabilistic theories (GPTs). The GPT framework is a very general, operationally-motivated framework for describing a physical theory in terms of the observable events predicted by the theory. We develop a technique for inferring the GPT description of a set of states and measurements directly from experimental data. By analysing our data in this general framework, we are able to test various candidate physical theories of nature. We perform an experiment with single photons, and quantify the size of possible variations between quantum theory and the true physical theory that describes nature.
To date, quantum theory is the most successful physical theory that has been discovered. However, there is still the possibility that an inconsistency between experimental observations and the predictions of quantum theory may one day be found, thus prompting the replacement of quantum theory with a superior, post-quantum theory. To narrow down the scope of possibilities for the true theory that describes nature, one can perform experiments that falsify other physical theories, by demonstrating an incompatibility between experimental observations and the predictions of these theories. This thesis details two such experiments. First we provide relevant background information, beginning with a review of experimental quantum optics. Next, we review noncontextual ontological theories and discuss requirements for experimental tests of such theories. Finally, we discuss the framework of generalised probabilistic theories before introducing the two experiments. \n \n \nThe first experiment is a test of noncontextual ontological (or hidden-variable) models of nature. An ontological model of a physical theory is one in which systems have preexisting properties, and a noncontextual ontological model is one in which systems that are indistinguishable experimentally are represented identically in the model. Physical theories that cannot be represented by a noncontextual ontological model are said to be nonclassical; quantum theory is an example of such a physical theory that is nonclassical in this sense. Prior to this thesis, experimental tests of the assumption of noncontextuality had assumed that the experiments were free of both systematic and statistical errors, which is not justifiable for any experiment. We introduce new analytical techniques that allow us to avoid making these assumptions, and perform an experiment with single photons that, with high confidence, rules out the possibility of describing nature with a noncontextual ontological model. \n \n \nThe second experiment is a demonstration of self-consistent state and measurement tomography in the framework of generalised probabilistic theories (GPTs). The GPT framework is a very general, operationally-motivated framework for describing a physical theory in terms of the observable events predicted by the theory. We develop a technique for inferring the GPT description of a set of states and measurements directly from experimental data. By analysing our data in this general framework, we are able to test various candidate physical theories of nature. We perform an experiment with single photons, and quantify the size of possible variations between quantum theory and the true physical theory that describes nature.
Many experiments in the field of quantum foundations seek to adjudicate between quantum theory and speculative alternatives to it.This requires one to analyze the experimental data in a manner that does not presume the correctness of the quantum formalism.The mathematical framework of generalized probabilistic theories (GPTs) provides a means of doing so.We present a scheme for determining which GPTs are consistent with a given set of experimental data.It proceeds by performing tomography on the preparations and measurements in a self-consistent manner, i.e., without presuming a prior characterization of either.We illustrate the scheme by analyzing experimental data for a large set of preparations and measurements on the polarization degree of freedom of a single photon.We first test various hypotheses for the dimension of the GPT vector space for this degree of freedom.Our analysis identifies the most plausible hypothesis to be dimension 4, which is the value predicted by quantum theory.Under this hypothesis, we can draw the following additional conclusions from our scheme: (i) that the smallest and largest GPT state spaces that could describe photon polarization are a pair of polytopes, each approximating the shape of the Bloch sphere and having a volume ratio of 0.977 ± 0.001, which provides a quantitative bound on the scope for deviations from the state and effect spaces predicted by quantum theory, and (ii) that the maximal violation of the Clauser, Horne, Shimony, and Holt inequality can be at most 1.3% ± 0.1 greater than the maximum violation allowed by quantum theory, and the maximal violation of a particular inequality for universal noncontextuality can not differ from the quantum prediction by more than this factor on either side.The only possibility for a greater deviation from the quantum state and effect spaces or for greater degrees of supraquantum nonlocality or contextuality, according to our analysis, is if a future experiment (perhaps following the scheme developed here) discovers that additional dimensions of GPT vector space are required to describe photon polarization, in excess of the four dimensions predicted by quantum theory to be adequate to the task.
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.
To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subject to direct experimental test, and it should be applicable in a wide variety of experimental scenarios so that it can cover the breadth of phenomena thought to defy classical understanding. Bell's notion of local causality fulfils the first criterion but not the second. The notion of noncontextuality fulfils the second criterion, but it is a long-standing question whether it can be made to fulfil the first. Previous attempts to test noncontextuality have all assumed idealizations that real experiments cannot achieve, namely noiseless measurements and exact operational equivalences. Here we show how to devise tests that are free of these idealizations. We perform a photonic implementation of one such test, ruling out noncontextual models with high confidence.
This thesis details two experimental tests that can be applied to particular quantum states to reveal important information. We begin by discussing the relevant background in quantum information. We introduce qubits and qudits as basic quantum states, and we discuss the evolution and measurement of quantum states. We then discuss quantum state tomography as a means by which to obtain complete information about a state, followed by a discussion of state discrimination as a means by which to determine the state given the promise that it is drawn from some known set. We then discuss relevant experimental techniques in quantum optics, including measurement, generation of entanglement, and generation of single photons from entanglement. \n \nThe first experiment we discuss deals with the causal structure of a system, which is the description of the origin of correlations between two or more states. The causal structure can be direct-cause, meaning that one state causes the other; common-cause, meaning that both states are caused by another; or hybrid-cause, which is a combination of the two. We perform the first implementation of a new type of tomography to determine the causal structure; this is called causal tomography and functions regardless of whether two qubits are related by a common state, a process, or some combination thereof. We implement a process on two entangled photons so that we can select the exact causal structure that results, which ranges continuously between direct-cause and common-cause structures. Using causal tomography, we recover causal structures that closely match expected results and demonstrate that quantum mechanics provides an advantage in causal inference. \n \nThe second experiment we discuss deals with the unambiguous discrimination of multiple quantum states. For the first time, we apply the principles of unambiguous state discrimination to high-dimensional systems. Given a state chosen randomly out of d possible states encoded in d dimensions, we implement a procedure for determining which state was chosen; this procedure in theory functions without error. We encode and detect the states in the orbital angular momentum degree of freedom up to dimension d=14. Although no experiment can provide perfectly error-free measurement due to inevitable imperfections, we obtain an error rate below the theoretical error rate of minimum-error state discrimination for dimensions up to d=12. At the time of submission of this thesis, this work has been accepted for publication in Physical Review Letters.
Quantum theory is considered to be the most fundamental and most accurate physical theory of today. Although quantum theory is conceptually difficult to understand, its mathematical structure is quite simple. What determines this particularly simple and elegant mathematical structure? In short: Why is quantum theory as it is? Addressing such questions is the aim of investigating the foundations of quantum theory. In the past this field of research was sometimes considered as an academic subject without much practical impact. However, with the emergence of quantum information theory this perception has changed significantly and both fields started to fruitfully influence each other. Today fundamental aspects of quantum theory attract increasing attention and the field belongs to the most exciting subjects of theoretical physics. This thesis is concerned with a particular branch in this field, namely, with so-called Generalized Probabilistic Theories (GPTs), which provide a unified theoretical framework in which classical and quantum theory emerge as special cases. This is used to examine nonlocal features that help to distinguish quantum theory from alternative toy theories. In order to extend the scope of theories that can be examined with the framework, we also introduce several generalizations to the framework itself. We start in Chapter 1 with introducing the standard GPT framework and summarize previous results, based on a review paper of the author [New J. Phys. 13, 063024 (2011)]. To keep the introduction accessible to a broad readership, we follow a constructive approach. Starting from few basic physically motivated assumptions we show how a given set of observations can be manifested in an operational theory. Furthermore, we characterize consistency conditions limiting the range of possible extensions. We point out that non-classical features of single systems can equivalently result from higher dimensional classical theories that have been restricted. Entanglement and non-locality, however, are shown to be genuine non-classical features. We review features that have been found to be specific for quantum theory separably or single and joint systems. Chapter 2 incorporates results published in [J. Phys. A 47(32), pp. 1-32 (2014)] and [Proc. QPL 2011 via EPTCS vol. 95, pp. 183–192 (2012)]. The GPT framework is applied to show how the structure of local state spaces indirectly affects possible nonlocal correlations, which are global properties of a theory. These correlations are stronger than those possible in a classical theory, but happen to show different restrictions that can be linked to the structure of subsystems. We first illustrate the phenomenon with toy theories with particular local state spaces. We than show that a particular class of joint states (inner product states), whose existence depends on geometrical properties of the local subsystems, can only have correlations for a known limited set called Q1. All bipartite correlations of both, quantum and classical correlations, can be mapped to measurement statistics from such joint states. Chapter 3 shows unpublished results on entanglement swapping in GPTs. This protocol, which is well known in quantum information theory, allows to nonlocally transfer entanglement to initially unentangled parties with the help of a third party that shares entanglement with each. We review our approach published in [Proc. QPL 2011 via EPTCS vol. 95, pp. 183–192 (2012)], which mimics the joint systems' structure of quantum theory by modifying a popular toy theory known as boxworld. However, it is illustrated that this approach fails for bigger multipartite systems due to inconsistencies evoked by entanglement swapping. It turns out that the GPT framework does not allow entanglement swapping for general subsystems with two-dimensional state spaces with transitive pure states. Altering the GPT framework to allow completely globally degrees of freedom, however, enables us to construct consistent entanglement swapping for these subsystems. This construction resembles the situation in quantum theory on a real Hilbert space. A questionable assumption usually taken in the standard GPT framework is the so-called no-restriction hypothesis. It states that the measurement that are possible in a theory can be derived from the state space. In fact, this assumption seems to exist for reasons of mathematical convenience, but it seems to lack physical motivation. We generalize the GPT framework to also account for systems that do not obey the no-restriction hypothesis in Chapter 4, which presents results published in [Phys. Rev. A 87, 052131 (2013)] and [Proc. QPL 2013, to be published in EPTCS]. The extended framework includes new classes of probabilistic theories. As an example, we show how to construct theories that include intrinsic noise. We also provide a "self-dualization" procedure that requires the violation of the no-restriction hypothesis. This procedure restricts the measurement of arbitrary theories such that the theories act as if they were self-dual. Self-duality has recently gathered lots of interest, since such theories share many features of quantum theory. For example Tsirelson’s bound holds for correlations on the maximally entangled state in these theories. Finally, we characterize the maximal set of joint states that can be consistently defined for given subsystems. This generalizes the maximal tensor product of the standard GPT framework.
A causal understanding of a physical theory is vital. They provide profound insights into the implications of the theory and contain the information required to manipulate, not only predict, our surroundings. Unfortunately, one of the most broadly used and successful theories, quantum theory, continues to evade a satisfactory causal description. The progress is hindered by the difficulty of faithfully testing causal explanations in an experimental setting. This thesis presents a novel causal discovery algorithm which allows a direct comparison of a wide variety of causal explanations for experimental data. They include causal influences both classical and quantum mechanical in nature. First we provide relevant background information, predominately on quantum mechanics, quantum optics and statistical inference. Next, we review the framework of classical causality and the connection between a causal assumption and statistical model. We then present a novel causal discovery algorithm for noisy experimental data. Finally, we perform two Bell experiments and apply the newly developed algorithm on the resulting data. \nThe causal discovery algorithm operates on observational data without any interven- tions required. It utilizes the concept of predictive accuracy to assign a score to each causal explanation. This allows the simultaneous consideration of classical and quantum causal theories. In addition, this approach allows the identification of overly complex explanations as these perform poorly with respect to this criterion. \nBoth experiments are implemented using quantum optics. The first Bell experiment has a near maximally entangled shared resource state while the second has a separable resource state. The results indicate that a quantum local causal explanation bests describes the first experiment, whereas a classical local causal explanation is preferred for the second. A super-luminal or super-deterministic theory are sub-optimal for both.