Quantum Physics

The experimental violation of Bell inequalities using spacelike separated measurements precludes the explanation of quantum correlations through causal influences propagating at subluminal speed. Yet, it is always possible, in principle, to explain such experimental violations through models based on hidden influences propagating at a finite speed v>c, provided v is large enough. Here, we show that for any finite speed v>c, such models predict correlations that can be exploited for faster-than-light communication. This superluminal communication does not require access to any hidden physical quantities, but only the manipulation of measurement devices at the level of our present-day description of quantum experiments. Hence, assuming the impossibility of using quantum non-locality for superluminal communication, we exclude any possible explanation of quantum correlations in term of finite-speed influences.

It is my contention that non-commutative geometry is really "ordinary geometry" carried out in a non-commutative logic. I will sketch a specific project, relating groupoid C*-algebras to toposes, by means of which I hope to detect the nature of this non-commutative logic.

Quantum theory can be thought of as a noncommutative generalization of Bayesian probability theory, but for the analogy to be convincing, it should be possible to describe inferences among quantum systems in a manner that is independent of the causal relationship between those systems. In particular, it should be possible to unify the treatment of two kinds of inferences: (i) from beliefs about one system to beliefs about another, for instance, in the Einstein-Podolsky-Rosen or "quantum steering" phenomenon, and (ii) from beliefs about a system at one time to beliefs about that same system at another time, for instance, in predictions or retrodictions about a system undergoing dynamical evolution or undergoing a measurement. I will present a formalism that achieves such a unification by making use of "conditional quantum states", a noncommutative generalization of conditional probabilities. I argue for causal neutrality by drawing a comparison with a classical statistical theory with an epistemic restriction. (Joint work with Matthew Leifer).

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, which generalizes the familiar probability tables used in non-locality theory to cover Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to *obstructions to the existence of global sections*. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. Some ongoing work with Shane Mansfield and Rui Soares Barbosa is described, which identifies *cohomological obstructions* to the existence of global sections, opening the possibility of applying the powerful methods of cohomology to non-locality and contextuality.

We construct a class of entangled supersymmetric states which is used as a non-local resource in the CHSH game. This class of super entangled states is more non-local then maximally entangled states if the supersymmetric degrees of freedom are accessible to measurement. Consequently, we show that the winning probability for the CHSH game is greater than cos2(pi/8) corresponding to an expected value greater than Tsirelson's bound.