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 first present a theorem based on the Decoupling Theorem of [1] which gives sufficient and necessary conditions for a quantum channel (CPTPM) being such that it yields the same output for almost all possible inputs. This theorem allows us to reproduce and generalize results oft [2,3], in which cornerstones of statistical physics are derived from first principles of quantum mechanics, in a very natural and easy way. Specifically, we express them in a way which allows to apply results about random 2-qubit interactions [4]. Furthermore, we apply this theorem to provide a criterion for whether different initial states of some subspace of a quantum mechanical system in contact with an environment have at some given time already evolved to the same state or not. As it turns out, this question can be answered by examining a simple entropic inequality evaluated for just one particular state [5]. Applying this criterion to realistic Hamiltonians with local interactions may lead to improved bounds on the thermalization times of quantum mechanical systems.
Quantum gravity is about finding out what is the more fundamental nature of spacetime, as a physical system. Several approaches to quantum gravity, suggest that the very description of spacetime as a continuum fails at shorter distances and higher energies, and should be replaced by one in terms of discrete, pre-geometric degrees of freedom, possibly of combinatorial and algebraic nature.
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.