Search Talks

Recent results have shown that quantum computers can approximate the value of a tensor network efficiently. These results have initiated a search for tensor networks which contract to computationally interesting quantities. Topological Lattice Field Theories (TLFTs) are one source of such networks; when defined appropriately, networks arising from TLFTs contract to give topological invariants. In this elementary talk, we will define and classify TLFTs which lead to invariants of surfaces, and sketch out the corresponding quantum algorithm. Our exposition will be targetted at a general mathematically-inclined audience; no previous knowledge of field theories is required.

Condensed matter systems at ultra low-temperature that show purely quantum phenomena – even on big scales (superfluidity, superconductivity, Bose-Einstein condensates); measurements in the quantum world; probing the foundations of quantum theory.

We introduce a two-body quantum Hamiltonian model of spin-1/2 on a 2D spatial lattice with exact topological degeneracy in all coupling regimes. There exists a gapped phase in which the low-energy sector reproduces an effective color code model. High energy excitations fall into three families of anyonic fermions that turn out to be strongly interacting. The model exhibits a Z_2xZ_2 gauge group symmetry and string-net integrals of motion, which are related to the existence of topological charges that are invisible to moving high-energy fermions.

The essential ingredients of a quantum theory are usually a Hilbert space of states and an algebra of operators encoding observables. The mathematical operations available with these structures translate fairly well into physical operations (preparation, measurement etc.) in a non-relativistic world. This correspondence weakens in quantum field theory, where the direct operational meaning of the observable algebra structure (encoded usually through commutators) is lost. The situation becomes even worse when we want to give a more dynamical role to spacetime as for example in attempts to formulate a quantum theory of gravity. I argue that a revision of the structures that we think of as fundamental in a quantum theory is in order. I go on to outline a proposal in this direction, based on the so called 'general boundary formulation', emphasizing the operational meaning of the ingredients. If time permits I will also comment on the relation to the framework of algebraic quantum field theory.

Both classical probability theory and quantum theory lend themselves to a Bayesian interpretation where probabilities represent degrees of belief, and where the various rules for combining and updating probabilities are but algorithms for plausible reasoning in the face of uncertainty. I elucidate the differences and commonalities of these two theories, and argue that they are in fact the only two algorithms to satisfy certain basic consistency requirements. In order to arrive at this result I develop an over-arching framework for plausible reasoning that incorporates both classical probability and quantum theory as special cases.

Lee Smolin has argued that one of the barriers to understanding time in a quantum world is our tendency to spatialize time. The question is whether there is anything in physics that could lead us to mathematically characterize time so that it is not just another funny spatial dimension. I will explore the possibility(already considered by Smolin and others) that time may be distinguished from space by what I will call a measure of Booleanity. The Bell-Kochen-Specker Theorem shows that the statistics of quantum systems (unlike that of classical systems) do not in general permit of a Boolean substructure. I will outline reasons for thinking that time is the dimension in which the Booleanity of spacetime (considered as a quantum system) varies, while space is characterized by constant Booleanity. I will not be able to give a mathematically complete characterization of the Booleanity of a region of spacetime, since that would require nothing less than knowing how to quantize spacetime; however, I will argue that something like this is needed if one is to make any sense of an ontological distinction between past, present, and future in terms of modern physics. I will also briefly consider possible objections to this view arising from the relativity of simultaneity, which (on its usual interpretation) apparently places all events on an equal ontological footing. In order to get around this we need a generalized conception of simultaneity that treats Einstein's notion of simultaneity as a special case, and which allows for equivalence classes of spacelike separate events distinguished by covariant quantities such as action, phase, and (as I will argue) any reasonable measure of Booleanity.

Quantum operations are known to be the most general state transformations that can be applied to parts of compound systems compatibly with the probabilistic structure of quantum mechanics. What about the most general transformations of quantum operations? It turns out that any such general transformation can be realized by a quantum network with an open slot in which the input operation can be inserted, thus programming the resulting circuit. Moreover, one can recursively iterate this construction, generating an infinite hierarchy of admissible transformations and proving their realization within the circuit model of quantum mechanics. These results provide the basis of a new method to optimize quantum networks for information processing tasks, including e.g. gate estimation, discrimination, programming, and cloning. As examples of application, I will present here the optimal quantum networks for estimation of group transformations, for the alignment of reference frames with multiple communication rounds, and for universal cloning of unitary transformations.

More than 40 years ago, Bell ruled out completely local hidden variable models as an explanation for quantum correlations. However, a new type of hidden variable model has recently been brought to light by the work of Leggett. Such a model has both local and non-local parts. Roughly speaking, having a local part means that the measurement outcomes can be guessed with better than 50% success. In this talk, I will explain that there exist quantum correlations for which any hidden variable model must have a trivial local part. I will then discuss how an extension of the original theorem implies that these correlations can be used to enhance the quality of a private random string.

Despite over 40 years of research on Bell-type inequalities and the question of non-locality, new technical results that have general foundational relevance can still be obtained. In this talk will present a number of new results that deal with the question of how to discern local, quantum and no-signaling correlations. • 1) I will present a non-trivial no-signaling inequality that discerns no-signaling correlations from general correlations - the first to our knowledge. This inequality has a striking similarity with the CHSH inequality, yet it is crucially different. • 2) I will next discuss interesting relationships that can be inferred between some well-known conditions at different hidden- variable levels (such as the assumptions of outcome and parameter independence). The upshot of the analysis will be that which conditions are to be obeyed by different kinds of correlations and which are not, depends on the level of consideration. A conclusive picture therefore depends on which hidden-variable level is considered to be fundamental. • 3) I will further comment on interesting relationships that exist between inferences on the surface and subsurface level. Here the surface level deals with experimentally accessible probabilities (e.g., via relative frequencies) and the sub-surface level deals with probabilities that are conditioned on a hidden-variable (or the quantum state). The most interesting such a relationship is the following: any deterministic hidden-variable theory that obeys no- signaling and gives non-local correlations must show randomness at the surface, i.e., the surface probabilities cannot be deterministic. This is the case in Bohmian mechanics but this result shows it to be generic. Throughout the talk I will show how these three topics are related, and comment on the foundational impact of the results obtained.