Phase lies at the heart of quantum physics and quantum information theory. A quantum bit is qualitatively different from a classical bit as it allows for the coherent superposition of possibilities, which demonstrate different behaviours depending on the phase between them. These behaviours constitute as interference phenomena, and lie behind the existence of algorithms in quantum computing which are arguably faster than the best classical alternatives. The concept of phase is deeply steeped in the structure of Hilbert spaces: the mathematical framework that underlies quantum theory. What if quantum theory did not hold in all scenarios, or was only a limiting case of some broader theory? In this case, would we still be able to meaningfully talk about phase and interference? In this thesis, we will adopt an operational generalisation of quantum theory known as the framework of generalised probabilistic theories. We will provide a reasonable definition of phase in this framework. Using this, we shall explore single-particle interferometry set-ups (particularly Mach-Zehnder interferometers): experiments whose output is highly dependent on the phase between the spatially disjoint branches through which a particle might be traversing. By applying physically-motivated locality considerations, we identify the crucial role that the uncertainty principle and its generalisations play in quantum theory as an enabler of non-trivial interference. By taking into account relativity of simultaneity, we will also provide a physical motivation for why standard quantum theory provides the best description of the location of a particle traversing such a system. Finally, we apply our generalised definition of phase in the related context of particle exchange behaviour, and identify a method for classifying post-quantum particles. All of this will demonstrate that phase between possibilities and its consequences are not uniquely quantum phenomena. Much of the behaviour we might ascribe to phase in quantum theory in fact holds generally true for phase in probabilistic theories.
Phase lies at the heart of quantum physics and quantum information theory. A quantum bit is qualitatively different from a classical bit as it allows for the coherent superposition of possibilities, which demonstrate different behaviours depending on the phase between them. These behaviours constitute as interference phenomena, and lie behind the existence of algorithms in quantum computing which are arguably faster than the best classical alternatives. The concept of phase is deeply steeped in the structure of Hilbert spaces: the mathematical framework that underlies quantum theory. What if quantum theory did not hold in all scenarios, or was only a limiting case of some broader theory? In this case, would we still be able to meaningfully talk about phase and interference? In this thesis, we will adopt an operational generalisation of quantum theory known as the framework of generalised probabilistic theories. We will provide a reasonable definition of phase in this framework. Using this, we shall explore single-particle interferometry set-ups (particularly Mach-Zehnder interferometers): experiments whose output is highly dependent on the phase between the spatially disjoint branches through which a particle might be traversing. By applying physically-motivated locality considerations, we identify the crucial role that the uncertainty principle and its generalisations play in quantum theory as an enabler of non-trivial interference. By taking into account relativity of simultaneity, we will also provide a physical motivation for why standard quantum theory provides the best description of the location of a particle traversing such a system. Finally, we apply our generalised definition of phase in the related context of particle exchange behaviour, and identify a method for classifying post-quantum particles. All of this will demonstrate that phase between possibilities and its consequences are not uniquely quantum phenomena. Much of the behaviour we might ascribe to phase in quantum theory in fact holds generally true for phase in probabilistic theories.
Phase plays a crucial role in many quantum effects including interference. Here we lay the foundations for the study of phase in probabilistic theories more generally. Phase is normally defined in terms of complex numbers that appear when representing quantum states as complex vectors. Here we give an operational definition whereby phase is instead defined in terms of measurement statistics. Our definition is phrased in terms of the operational framework known as generalized probabilistic theories or the convex framework . The definition makes it possible to ask whether other theories in this framework can also have phase. We apply our definition to investigate phase and interference in several example theories: classical probability theory, a version of Spekkens' toy model, quantum theory and box-world. We find that phase is ubiquitous; any non-classical theory can be said to have non-trivial phase dynamics.
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.
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.
We give an introduction to research associated with the generalised probabilistic theories framework, also known as the convex framework. States are real vectors representing lists of probabilities of measurement outcomes. Convex combinations of the vectors represent probabilistic combinations of different state preparations. Transformations are real matrices. Measurement outcomes are represented by functionals of the states, inner products of the state with a real vector, whose values are the probability of the measurement outcome in question. The framework generalises quantum theory. We describe the operational meaning of the framework, and how the concepts can be defined in terms of cones of states and measurement outcome vectors. We describe how the classical and quantum probability theories are represented in the framework. We describe Bell non-locality and the theory with super-quantum non-locality known as box world. We discuss generalised Hamiltonian mechanics in the discrete case and in continuous phase space, including the role of negativity of the phase space density in contextuality and tunnelling.
The advent of quantum computing has challenged classical conceptions of which problems are efficiently solvable in our physical world. This motivates the general study of how physical principles bound computational power. In this paper we show that some of the essential machinery of quantum computation—namely reversible controlled transformations and the phase kick-back mechanism—exist in any operational-defined theory with a consistent notion of information. These results provide the tools for an exploration of the physics underpinning the structure of computational algorithms. We investigate the relationship between interference behaviour and computational power, demonstrating that non-trivial interference behaviour is a general resource for post-classical computation. In proving the above, we connect higher-order interference to the existence of post-quantum particle types, potentially providing a novel experimental test for higher-order interference. Finally, we conjecture that theories with post-quantum interference—the higher-order interference of Sorkin—can solve problems intractable even on a quantum computer.
We use the analogy between the quadrature operators in quantum optics and the phase-space coordinates in a mechanical harmonic oscillator to generalise the theory of linear optics beyond quantum theory. For this, we introduce a framework for analysing photonic circuits within generalised probabilistic theories based on quadrature operators. Using this framework, we ask whether phenomena like the Hong-Ou-Mandel effect, Mach-Zehnder interferometry are specific to quantum theory or also occur across a broader class of theories. We find the latter: the vanishing photon coincidences at the output of a beam splitter also occur for classical light and for a modified version of quantised light. Similarly, for Mach-Zehnder interferometry we find that there is no qualitative difference between quantum theory and these alternative theories. Our framework can serve as a foundation to study generalised theories of complex photonic set-ups and photonic quantum computers.