Quantum Physics

Coin flipping by telephone (Blum \'81) is one of the most basic cryptographic tasks of two-party secure computation. In a quantum setting, it is possible to realize (weak) coin flipping with information theoretic security. Quantum coin flipping has been a longstanding open problem, and its solution uses an innovative formalism developed by Alexei Kitaev for mapping quantum games into convex optimization problems. The optimizations are carried out over duals to the cone of operator monotone functions, though the mapped problem can also be described in a very simple language that involves moving points in the plane. Time permitting, I will discuss both Kitaev\'s formalism, and the solution that leads to quantum weak coin flipping with arbitrarily small bias.

At a very basic level, physics is about what we can say about propositions like \'A has a value in S\' (or \'A is in S\' for short), where A is some physical quantity like energy, position, momentum etc. of a physical system, and S is some subset of the real line. In classical physics, given a state of the system, every proposition of the form \'A is in S\' is either true or false, and thus classical physics is realist in the sense that there is a \'way things are\'. In contrast to that, quantum theory only delivers a probability of \'A is in S\' being true. The usual instrumentalist interpretation of the formalism leading to these probabilities involves an external observer, measurements etc.In a future theory of quantum gravity/cosmology, we will have to treat the whole universe as a quantum system, which renders instrumentalism meaningless, since there is no external observer. Moreover, space-time presumably does not have a smooth continuum structure at small scales, and possibly physical quantities will take their values in some other mathematical structure than the real numbers, which are the \'mathematical continuum\'. In my talk, I will show how the use of topos theory, which is a branch of category theory, may help to formulate physical theories in a way that (a) is neo-realist in the sense that all propositions \'A is in S\' do have truth values and (b) does not depend fundamentally on the continuum in the form of the real numbers. After introducing topoi and their internal logic, I will identify suitable topoi for classical and quantum physics and show which structures within these topoi are of physical significance. This is still very far from a theory of quantum gravity, but it can already shed some light on ordinary quantum theory, since we avoid the usual instrumentalism. Moreover, the formalism is general enough to allow for major generalisations. I will conclude with some more general remarks on related developments.

Decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (POVM). This generalization makes it possible to characterize the emergence of a realistic classical phase-space. In addition, this model clarifies the relations among the information preserved in the system, the information flowing from the system to the environment (measurement), and the establishment of correlations between the system and the environment.

It is common to assert that the discovery of quantum theory overthrew our classical conception of nature. But what, precisely, was overthrown? Providing a rigorous answer to this question is of practical concern, as it helps to identify quantum technologies that outperform their classical counterparts, and of significance for modern physics, where progress may be slowed by poor physical intuitions and where the ability to apply quantum theory in a new realm or to move beyond quantum theory necessitates a deep understanding of the principles upon which it is based. In this talk, I demonstrate that a large part of quantum theory can be obtained from a single innovation relative to classical theories, namely, that there is a fundamental restriction on the sorts of statistical distributions over classical states that can be prepared. This restriction implies a fundamental limit on the amount of knowledge that any observer can have about the classical state. I will also discuss the quantum phenomena that are not captured by this principle, and I will end with a few speculations on what conceptual innovations might underlie the latter set and what might be the origin of the statistical restriction.

We prove that all non-conspiratorial/retro-causal hidden variable theories has to be measurement ordering contextual, i.e. there exists *commuting* operator pair (A,B) and a hidden state \\\\lambda such that the outcome of A depends on whether we measure B before or after. Interestingly this rules out a recent proposal for a psi-epistemic due to Barrett, Hardy, and Spekkens. We also show that the model was in fact partly discovered already by vanFraassen 1973; the only thing missing was giving a probability distribution on the space of ontic states (the hidden variables).

The purpose of this talk is to describe bosonic fields and their Lagrangians in the causal set context. Spin-0 fields are defined to be real-valued functions on a causal set. Gauge fields are viewed as SU(n)-valued functions on the set of pairs of elements of a causal set, and gravity is viewed as the causal relation itself. The purpose of this talk is to come up with expressions for the Lagrangian densities of these fields in such a way that they approximate the Lagrangian densities expected from regular Quantum Field Theory on a differentiable manifold in the special case where the causal set is a random sprinkling of points in the manifold. I will then conjecture that that same expression is appropriate for an arbitrary causal set.

I should like to show how particular mathematical properties can limit our metaphysical choices, by discussing old and new theorems within the statistical-model framework of Mielnik, Foulis & Randall, and Holevo, and what these theorems have to say about possible metaphysical models of quantum mechanics. Time permitting, I should also like to show how metaphysical assumptions lead to particular mathematical choices, by discussing how the assumption of space as a relational concept leads to a not widely known frame-invariant formulation of classical point-particle mechanics by Föppl and Zanstra, and related research topics in continuum mechanics and general relativity.

Mutually unbiased bases (MUBs) have attracted a lot of attention the last years. These bases are interesting for their potential use within quantum information processing and when trying to understand quantum state space. A central question is if there exists complete sets of N+1 MUBs in N-dimensional Hilbert space, as these are desired for quantum state tomography. Despite a lot of effort they are only known in prime power dimensions. I will describe in geometrical terms how a complete set of MUBs would sit in the set of density matrices and present a distance between bases–a measure of unbiasedness. Then I will explain the relation between MUBs and Hadamard matrices, and report on a search for MUB-sets in dimension N=6. In this case no sets of more than three MUBs are found, but there are several inequivalent triplets.

The \\\"frequency comb\\\" defined by the eigenmodes of an optical resonator is a naturally large set of exquisitely well defined quantum systems, such as in the broadband mode-locked lasers which have redefined time/frequency metrology and ultra precise measurements in recent years. High coherence can therefore be expected in the quantum version of the frequency comb, in which nonlinear interactions couple different cavity modes, as can be modeled by different forms of graph states. We show that is possible to thereby generate states of interest to quantum metrology and computing, such as multipartite entangled cluster and Greenberger-Horne-Zeilinger states.

The Achilles\\\' heel of quantum information processors is the fragility of quantum states and processes. Without a method to control imperfection and imprecision of quantum devices, the probability that a quantum computation succeed will decrease exponentially in the number of gates it requires. In the last ten years, building on the discovery of quantum error correction, accuracy threshold theorems were proved showing that error can be controlled using a reasonable amount of resources as long as the error rate is smaller than a certain threshold. We thus have a scalable theory describing how to control quantum systems. I will briefly review some of the assumptions of the accuracy threshold theorems and comment on experiments that have been done and should be done to turn quantum error correction into an experimental reality.

We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process, requiring only initial product state preparation. Both the quantum circuit and its input are encoded in an initial canonical basis state of the qudit chain. The computational process is then carried out by the autonomous Hamiltonian time evolution. After a time greater than a polynomial in the size of the quantum circuit has passed, the result of the computation can be obtained with high probability by measuring a few qudits in the computational basis. This result also implies that there cannot exist efficient classical simulation methods for generic translationally invariant nearest-neighbor Hamiltonians on qudit chains, unless quantum computers can be efficiently simulated by classical computers (or, put in complexity theoretic terms, unless BPP=BQP). This is joint work with Daniel Nagaj.

The renormalization group (RG) is one of the conceptual pillars of statistical mechanics and quantum field theory, and a key theoretical element in the modern formulation of critical phenomena and phase transitions. RG transformations are also the basis of numerical approaches to the study of low energy properties and emergent phenomena in quantum many-body systems. In this colloquium I will introduce the notion of \\\"entanglement renormalization\\\" and use it to define a coarse-graining transformation for quantum systems on a lattice [G.Vidal, Phys. Rev. Lett. 99, 220405 (2007)]. The resulting real-space RG approach is able to numerically address 1D and 2D lattice systems with thousands of quantum spins using only very modest computational resources. From the theoretical point of view, entanglement renormalization sheds new light into the structure of correlations in the ground state of extended quantum systems. I will discuss how it leads to a novel, efficient representation for the ground state of a system at a quantum critical point or with topological order.