This series consists of talks in the area of Foundations of Quantum Theory. Seminar and group meetings will alternate.
This is a geometric tutorial about straight and twisted vectors and forms (ie, de Rham currents) leading to some wild thoughts about the EM field as a *thing*, ie with properties similar to a piece of matter; and to some even wilder thoughts about a metric-free GR.
I provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of positive operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Definiteness.
Quantum theory can be thought of a noncommutative generalization of classical probability and, from this perspective, it is puzzling that no quantum generalization of conditional probability is in widespread use. In this talk, I discuss one such generalization and show how it can unify the description of ensemble preparations of quantum states, POVM measurements and the description of correlations between quantum systems.
We will analyze different aspects of locality in causal operational probabilistic theories. We will first discuss the notion of local state and local objective information in operational probabilistic theories, and define an operational notion of discord that coincides with quantum discord in the case of quantum theory. Using such notion, we will show that the only theory in which all separable states have null discord is the classical one. We will then analyze locality of transformations, reviewing some general properties of no-signaling channels in causal theories.
A new ensemble interpretation of quantum mechanics is proposed according to which the ensemble associated to a quantum state really exists: it is the ensemble of all the systems in the same quantum state in the universe. Individual systems within the ensemble have microscopic states, described by beables. The probabilities of quantum theory turn out to be just ordinary relative frequencies probabilities in these ensembles.
We begin with a fundamental approach to quantum mechanics based on the unitary representations of the group of diffeomorphisms of physical space (and correspondingly, self-adjoint representations of a local current algebra). From these, various classes of quantum configuration spaces arise naturally.
Ideal measurements are described in quantum mechanics textbooks by two postulates: the collapse of the wave packet and BornÃ¢ÂÂs rule for the probabilities of outcomes. The quantum evolution of a system then has two components: a unitary (Hamiltonian) evolution in between measurements and non-unitary one when a measurement is performed. This situation was considered to be unsatisfactory by many people, including Einstein, Bohr, de Broglie, von Neumann and Wigner, but has remained unsolved to date.
I consider systems that consist of a few hot and a few cold two-level systems and define heat engines as unitaries that extract energy. These unitaries perform logical operations whose complexity depends on both the desired efficiency and the temperature quotient. I show cases where the optimal heat engine solves a hard computational task (e.g. an NP-hard problem) . Heat engines can also drive refrigerators and use the temperature difference between two systems for cooling a third one. I argue that these triples of systems define a classification of thermodynamic resources .
Usually, quantum theory (QT) is introduced by giving a list of abstract mathematical postulates, including the Hilbert space formalism and the Born rule. Even though the result is mathematically sound and in perfect agreement with experiment, there remains the question of why this formalism is a natural choice, and how QT could possibly be modified in a consistent way. My talk is on recent work with Lluis Masanes, where we show that five simple operational axioms actually determine the formalism of QT uniquely. This is based to a large extent on Lucien Hardy's seminal work.