Quantum Foundations

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 

I present our work on inferring causality in the classical world and encourage the audience to think about possible generalizations to the quantum world. Statistical dependences between observed quantities X and Y indicate a causal relation, but it is a priori not clear whether X caused Y or Y caused X or there is a common cause of both. It is widely believed that this can only be decided if either one is able to do interventions on the system, or if X and Y are part of a larger set of variables. In the latter case, conditional statistical independences contain some information on causal directions, formalized by the Causal Markov Condition on directed acyclic graphs. Contrary to this belief, we have shown that empirical joint distributions of just two variables often indicate the causal direction. The observed asymmetry between cause and effect is, on the one hand, related to the thermodynamic arrow of time. On the other hand, it can be derived from a new principle that we have postulated: the Algorithmic Causal Markov Condition, which relates Kolmogorov complexity to causality.  
Literature: [1] Janzing, Schoelkopf: Causal inference using the algorithmic Markov condition, IEEE TIT 2010. 
[2] Daniusis, Janzing,...: Inferring deterministic causal relations, UAI 2010. 
[3] Janzing: On the entropy production of time-series with uni-directional linearity.Journ. Stat. Phys. 2010.

In the de Broglie-Bohm pilot-wave theory, an ensemble of fermions is not only described by a spinor,  but also by a distribution of position beables. If the distribution of positions is different from the one predicted by the Born rule, the ensemble is said to be in quantum non-equilibrium. Such ensembles, which can lead to an experimental discrimination between the pilot-wave theory and standard quantum mechanics, are thought to quickly relax to quantum equilibrium in most cases.   In this talk, I will look at the Majorana equation from the point of view of the pilot-wave theory and I will show that it predicts peculiar trajectories for the beables; they have to move luminally at all times and they usually undergo complex helical trajectories to give the illusion that their motion is subluminal. The nature of the Majorana trajectory suggests that relaxation to quantum equilibrium could only be partial and that quantum non-equilibrium could still survive at length scales below the Compton wavelength.  I investigate this claim, thanks to some numerical simulations of the temporal evolution of non-equilibrium distributions,  for three-dimensional confined systems governed by the Dirac and Majorana equations.

This talk presents two results on the interplay between causality and quantum information flow. First I will discuss about the task of switching the connections among quantum gates in a network. In ordinary quantum circuits, gates are connected in a fixed causal sequence.  However, we can imagine a physical mechanism where the connections among gates are not fixed, but instead are controlled by the quantum state of a control system. Such a "quantum switch" mechanism is consistent with quantum theory but cannot be described with in the standard model of causally ordered circuits, where it would be equivalent to a deterministic time travel and hence would violate the causality principle. With respect to the standard circuit model, the quantum switch is a new primitive that enables new information-processing protocols, such as the perfect discrimination between two classes of channels that are not perfectly distinguishable in a single query by any ordinary quantum circuit. Second, I will discuss about the probabilistic simulation of impossible channels that take an input in the future and produce an output in the past. In this case, I will show that the maximum probability of success in such a simulation is determined by causality and is inversely proportional to the amount of information that the channel can transmit.

The standard approach to quantum nonlocality (Bell's Theorem) relies on the assumption of the existence of "free will". I will explain how to get rid of this mysterious assumption in favor of the independence of sources. From this new point of view, Bell's Theorem becomes a statement about Bayesian networks. Besides allowing a more intuitive formulation of the standard result, our formalism also provides new network topologies giving rise to new kinds of nonlocality. Some of these relate to results by Steudel and Ay on the statistical inference of causal relations. Witnessing quantum nonlocality in new network topologies is a challenge which I will pose as an open problem.

We present a quantization method based on theEhrenfest theorem embedded in an extended algebraic structure capableof consistently describing hybrid quantum-classical systems, where thestandard quantum and classical mechanics are two limiting cases. TheWigner phase space formulation and the Schordinger equation are foundto be two alternative representations of the quantum case while theKoopman-von Neumann equation is the corresponding classicalcounterpart. Moreover, the developed quantization procedure isgeneralized to describe open systems, quantum/classical field theoriesand relativistic mechanics where new dynamical equations appear,shedding new light on important practical problems such asunderstanding of the quantum/classical transition and modeling ofmesoscopic systems.

Related references: arXiv:1105.4014, arXiv:1112.3679, arXiv:1107.5139

Categorical quantum mechanics (CQM) uses symmetric monoidal categories to formalize quantum theory, in order to extract the key structures that yield protocols such as teleportation in an abstract way. This formalism admits a purely graphical calculus, but the causal structure of these diagrams, and the formalism in general, is unclear. We begin by considering the signaling abilities of probabilistic devices with inputs and outputs and we show how a non-signaling device can become a perfect signaling device under time-reversal. This conflicts with the causal structure of relativity, and suggests that an `asymmetry' is needed when formalizing causality in CQM. We then show how a fixed causal structure within CQM corresponds to topological connectedness in the graphical language, and that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of a global state forces the monoidal product to be only partially defined, which in turn results in a covariance theorem. These structural results lead to a mathematical entity which we call a `causal category'.

I will present a new approach to information theoretic foundations of quantum theory, developed in order to encompass quantum field theory and curved space-times. Its kinematics is based on the geometry of spaces of integrals on W*-algebras, and is independent of probability theory and Hilbert spaces. It allows to recover ordinary quantum mechanical kinematics as well as emergent curved space-times. Unlike the approaches based on lattices of projections, this kinematics provides a direct mathematical generalisation of the ordinary probability theory to the regime of non-commutative algebras. The new quantum information dynamics is provided by the constrained maximisation of quantum relative entropy. The von Neumann-Lueders rule and several other rules of that type, including Bayes' rule in commutative case, are the special cases of it. Using Favretti's generalisation of the Jaynes-Mitchell source theory, I will show how this dynamics allows one to derive `interacting QFT'-like correlation functions and perturbation expansions in geometric terms of experimental control-and-response parameters, without using Hilbert spaces or measure spaces. Finally, I will present a new bayesian interpretation of quantum theory, aimed at dealing with the intersubjective experimental verifiability, but without providing any ontological claims. Quite noticeably, this interpretation leads to a concrete category theoretic formulation of the new foundations.

We prove an uncertainty relation for energy and arrival time, where the arrival of a particle at a detector is modeled by an absorbing term added to the Hamiltonian. In this well-known scheme the probability for the particle's arrival at the counter is identified with the loss of normalization for an initial wave packet. The result is obtained under the sole assumption that the absorbing term vanishes on the initial wave function. Nearly minimal uncertainty can be achieved in a two-level system.