Quantum Foundations

A very general way of describing the abstract structure of quantum theory is to say that the set of observables on a quantum system form a C*-algebra.  A natural question is then, why should this be the case - why can observables be added and multiplied together to form any algebra, let alone of the special C* variety?  I will present recent work with Markus Mueller and Howard Barnum, showing that the closest algebraic cousins to standard quantum theory, namely the Jordan-algebras, can be characterized by three principles having an informational flavour, namely: (1) a generalized spectral decomposition, (2) a high degree of symmetry, and (3) a requirement on conditioning on the results of observations.   I'll then discuss alternatives to the third principle, as well as the possibility of dropping it as a way of searching for natural post-quantum theories.

It is certainly possible to express ordinary quantum mechanics in the framework of a real vector space: by adopting a suitable restriction on all operators--Stueckelberg’s rule--one can make the real-vector-space theory exactly equivalent to the standard complex theory.  But can we achieve a similar effect without invoking such a restriction?  In this talk I explore a model within real-vector-space quantum theory in which the role of the complex phase is played by a separate physical system called the ubit (for “universal rebit”).  The ubit is a single binary real-vector-space quantum object that is allowed to interact with everything in the world.  It also rotates in its two-dimensional state space.  In the limit of infinitely fast rotation, one recovers standard quantum theory.  When the rotation rate is large but not infinite, one finds small deviations from the standard theory.  Here I describe a few such deviations that we have seen numerically and explained analytically.

The distinction between a realist interpretation of quantum theory that is psi-ontic and one that is psi-epistemic is whether or not a difference in the quantum state necessarily implies a difference in the underlying ontic state. Psi-ontologists believe that it does, psi-epistemicists that it does not. This talk will address the question of whether the PBR theorem should be interpreted as lending evidence against the psi-epistemic research program. I will review the evidence in favour of the psi-epistemic approach and describe the pre-existing reasons for thinking that if a quantum state represents knowledge about reality then it is not reality as we know it, i.e., it is not the kind of reality that is posited in the standard hidden variable framework. I will argue that the PBR theorem provides additional clues for "what has to give" in the hidden variable framework rather than providing a reason to retreat from the psi-epistemic position. The first assumption of the theorem - that holistic properties may exist for composite systems, but do not arise for unentangled quantum states - is only appealing if one is already predisposed to a psi-ontic view. The more natural assumption of separability (no holistic properties) coupled with the other assumptions of the theorem rules out both psi-ontic and psi-epistemic models and so does not decide between them. The connection between the PBR theorem and other no-go results will be discussed. In particular, I will point out how the second assumption of the theorem is an instance of preparation noncontextuality, a property that is known not to be achievable in any ontological model of quantum theory, regardless of the status of separability (though not in the form posited by PBR). I will also consider the connection of PBR to the failure of local causality by considering an experimental scenario which is in a sense a time-inversion of the PBR scenario.

It is sometimes pointed out as a curiosity that the state space of quantum theory and actual physical space seem related in a surprising way: not only is space three-dimensional and Euclidean, but so is the Bloch ball which describes quantum two-level systems. In the talk, I report on joint work with Lluis Masanes, where we show how this observation can be turned into a mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (dropping quantum theory and complex amplitudes altogether). Furthermore, suppose there are systems that in some sense behave as “binary units of direction information”, interacting via some continuous reversible time evolution. We prove that this uniquely determines d=3 and quantum theory, and that it allows observers to infer local spatial geometry from probability measurements.

One of the most important open problems in physics is to reconcile quantum mechanics with our classical intuition. In this talk we look at quantum foundations through the lens of mathematical foundations and uncover a deep connection between the two fields. We show that Cantorian set theory is based on classical concepts incompatible with quantum experiments. Specifically, we prove that Zermelo-Fraenkel axioms of set theory (and the background classical logic) imply a Bell-type inequality. Consequently, quantum experiments violating Bell inequality cannot be described in the framework of classical set theory. This suggests that a non-Cantorian set theory could be a better framework to capture the elusive nature of quantum world. Finally, we discuss several possible options for a future logico-mathematical framework compatible with quantum experiments. 

We establish a tight relationship between two key quantum theoretical notions: non-locality and complementarity. In particular, we establish a direct connection between Mermin-type non-locality scenarios, which we generalise to an arbitrary number of parties, using systems of arbitrary dimension, and performing arbitrary measurements, and a new stronger notion of complementarity which we introduce here.    Our derivation of the fact that strong complementarity is a necessary condition for a Mermin scenario provides a crisp operational interpretation for strong complementarity. We also provide a complete classification of strongly complementary observables for quantum theory, something which has not yet been achieved for ordinary complementarity.  Since our main results are expressed in a diagrammatic language (the one of dagger-compact categories) they can be applied outside of quantum theory, in any setting which supports the purely algebraic notion of strongly complementary observables. We have therefore introduced a method for discussing non-locality in a wide variety of models in addition to quantum theory.    The diagrammatic calculus substantially simplifies (and sometimes even trivialises) many of the derivations, and provides new insights. In particular, the diagrammatic computation of correlations clearly shows how local measurements interact to yield a global overall effect. In other words, we depict non-locality.   This is joint work with Ross Duncan, Aleks Kissinger and Quanlong (Harny) Wang. Paper: arXiv:1203.4988 - LiCS'12