This series consists of talks in the area of Foundations of Quantum Theory. Seminar and group meetings will alternate.
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) [2]. 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 [1].
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.
We present a new formulation of quantum mechanics for closed systems like the universe using an extension of familiar probability theory that incorporates negative probabilities. Probabilities must be positive for alternative histories that are the basis of settleable bets. However, quantum mechanics describes alternative histories are not the basis for settleable bets as in the two-slit experiment. These alternatives can be assigned extended probabilities that are sometimes negative. We will compare this with the decoherent (consistent) histories formulation of quantum theory.
The nature of antimatter is examined in the context of algebraic quantum
field theory. It is shown that the notion of antimatter is more general
than that of antiparticles. Properly speaking, then, antimatter is not
matter made up of antiparticles --- rather, antiparticles are particles
made up of antimatter. We go on to discuss whether the notion of antimatter
is itself completely general in quantum field theory. Does the
matter-antimatter distinction apply to all field theoretic systems? The
Recently rediscovered results in the theory of partial differential equations show that for free fields, the properties of the field in an arbitrarily small volume of space, traced through eternity,
determine completely the field everywhere at all times. Over finite
times, the field is determined in the entire region spanned by the intersection of the future null cone of the earliest event and the past
null cone of the latest event. Thus this paradigm of classical field
Symmetric monoidal categories provide a convenient and enlightening framework within which to compare and contrast physical theories on a common mathematical footing. In this talk we consider two theories: stabiliser qubit quantum mechanics and the toy bit theory proposed by Rob Spekkens. Expressed in the categorical framework the two theories look very similar mathematically, reflecting their common physical features.
Quantum mechanics does not allow us to measure all possible combinations of observables on one system. Even in the simplest case of two observables we know, that measuring one of the observables changes the system in such way, that the other measurement will not give us desired precise information about the state of the system.
Nonlocality is arguably one of the most remarkable features of
quantum mechanics. On the other hand nature seems to forbid other
no-signaling correlations that cannot be generated by quantum systems.
Usual approaches to explain this limitation is based on information
theoretic properties of the correlations without any reference to
physical theories they might emerge from. However, as shown in [PRL 104,
140401 (2010)], it is the structure of local quantum systems that
determines the bipartite correlations possible in quantum mechanics. We
A picture can be used to represent an experiment. In this talk we will consider such pictures and show how to turn them into pictures representing calculations (in the style of Penrose's diagrammatic tensor notation). In particular, we will consider circuits described probabilistically. A circuit represents an experiment where we act on various systems with boxes, these boxes being connected by the passage of systems between them. We will make two assumptions concerning such circuits.
I will review some recent advances on the line of deriving quantum field theory from pure quantum information processing. The general idea is that there is only Quantum Theory (without quantization rules), and the whole Physics---including space-time and relativity---is emergent from the processing. And, since Quantum Theory itself is made with purely informational principles, the whole Physics must be reformulated in information-theoretical terms.