Quantum Foundations

In 2020 our Oxford-based Quantinuum team performed Quantum Natural Language Processing (QNLP) on IBM quantum hardware [1, 2].  Key to having been able to achieve what is conceived as a heavily data-driven task, is the observation that quantum theory and natural language are governed by much of the same compositional structure -- a.k.a. tensor structure.  

Hence our language model is in a sense quantum-native, and we provide an analogy with simulation of quantum systems in terms of algorithmic speed-up [forthcoming].  Meanwhile we have made all our software available open-source, and with support [github.com/CQCL/lambeq].    

The compositional match between natural language and quantum extends to other domains than language, and argue that a new generation of AI can emerge when fully pushing this analogy, while exploiting the completeness of categorical quantum mechanics / ZX-calculus [3, 4, 5] for novel reasoning purposes that go hand-in-hand with modern machine learning.

[1]     B. Coecke, G. De Felice, K. Meichanetzidis and A. Toumi (2020) Foundations for Near-Term Quantum Natural Language Processing.  https://arxiv.org/abs/2012.03755

[2]     R. Lorenz, A. Pearson, K. Meichanetzidis, D. Kartsaklis and B. Coecke (2020) QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer.  https://arxiv.org/abs/2102.12846

[3]     B. Coecke and A. Kissinger (2017) Picturing Quantum Processes. A first course on quantum theory and diagrammatic reasoning.  Cambridge University Press.

[4]     B. Coecke, D. Horsman, A. Kissinger and Q. Wang (2021) Kindergarten quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).  https://arxiv.org/abs/2102.10984

[5]     B. Coecke and S. Gogioso (2022) Quantum in Pictures.  Quantinuum, 2023.

Zoom Link: https://pitp.zoom.us/j/92333285960?pwd=MlpJSklmMlVlUlRTTWhsNjc2T2Y4QT09

It is often the case that interaction with a quantum system does not simply occur between an initial point in time and a final one, but rather over many time steps. In such cases, an interaction at a given time step can have an influence on the dynamics of the system at a much later time. Just as quantum channels model dynamics between two time steps, quantum combs model the more general multi-time dynamics described above, and have accordingly found application in such fields as open quantum systems and quantum cryptography. In this talk, we will consider ensembles of combs indexed by a random variable, dubbed classical-quantum combs, and discuss how much can be learnt about said variable through interacting with the system. We characterise the amount of information gain using the comb min-entropy, an extension of the analogous entropic quantity for quantum states. With combs and the min-entropy in our toolbox, we turn to a number of applications largely inspired by Measurement-Based Quantum Computing (MBQC), including the security analysis of a specific Blind Quantum Computing protocol and some comments regarding learning causal structure.

Zoom Link: https://pitp.zoom.us/j/98315660866?pwd=cWU3RzB6SG9DOGIza1BqV1lqNklvQT09

Every unitary map with a factorisation of domain and codomain into subsystems has a well-defined causal structure given by the set of influence relations between its input and output subsystems. A causal decomposition of a unitary map U is, roughly, one that makes all there is to know about U in terms of causal structure evident and understandable in compositional terms. We'll argue that this is more than just about drawing more intuitive pictures for the causal structure of U -- it is about really understanding it at all. Now, it has been known for a while that decompositions in terms of ordinary circuit diagrams do not suffice to this end and that at least so called 'extended circuit diagrams', or 'routed circuit diagrams' are necessary, revealing a close connection between causal structure and algebraic structures that involve a particular interplay of direct sum and tensor product. Though whether or not these sorts of routed circuit diagrams suffice has been an open question since. I will give an introduction and overview of this business of causal decompositions of unitary maps, and share what is an on-going thriller.

Zoom link:  https://pitp.zoom.us/j/95689128162?pwd=RFNqWlVHMFV0RjRaakszSTBsWkZkUT09

There are numerous properties of quantum states that one might be interested in characterizing, including statistical moments of observables such as expectations or variances, or more generally purities, entropies, probabilities, eigenvalues, symmetries, marginals, etc. Given a fixed collection of properties, the realizability problem aims to determine which value-assignments to those properties are jointly exhibited by at least one quantum state. In addition to the decision problem of realizability, one might also be interested in quantifying what proportion of quantum states possesses those property values. 

Any property of a quantum state can always, at least in principle, be estimated empirically by suitably measuring an ensemble of many independently and identically prepared copies of that quantum state. The particular sequence of positive operator valued measures which estimates a given property is known as a property estimation scheme. The purpose of this talk is to discuss a strategy for tackling realizability problems by studying the large deviation behaviour of property estimation schemes.

The key idea of this approach is the following:
A given collection of properties is realized by a quantum state if and only if a random quantum state occasionally produces that collection of properties as estimates.
Under suitable conditions, this observation leads to a complete hierarchy of necessary conditions for realizability.

Zoom link:  https://pitp.zoom.us/j/91945653382?pwd=QTZqSnpjYjlxYndqaHZwN2lES1h1Zz09

The theory of polynomial optimisation considers a polynomial objective function subject to countable many polynomial constraints. In a seminal contribution Navascués, Pironio and Acín (NPA) generalised a previous result from Lassere, allowing for its application in quantum information theory by considering its non-commutative variant. Non-commutative variables are represented as bounded operators on potentially infinite dimensional Hilbert spaces. These infinite-dimensional non-commutative polynomials optimisation (NPO) problems are recast as a complete hierarchy of semidefinite programming (SDP) relaxations by a suitable partitioning of the underlying spaces.

The reformulation into convex optimisation problems allows for numerical analysis. We focus on an operator theoretical approach to the NPA hierarchy and show its equiv-
alence to the original NPA hierarchy. To do so, we introduce the necessary mathematical preliminaries from operator algebra theory and semidefinite programming. We conclude by showing how certain relations on operators translate to SDP relaxations yielding drastically reduced problem sizes.

Zoom Link: https://pitp.zoom.us/j/98583295694?pwd=SlcvNG90RzFrODBKSHNaUi84bG9DZz09

Abstract: TBD

Zoom Link: https://pitp.zoom.us/j/95212522185?pwd=eWx4R3o3cmZISmtPY0xwMmdxc2EzZz09

Bell's theorem proves that quantum theory is inconsistent with local physical models and, from the perspective of causal inference, it can be seen as the impossibility of providing a classical causal explanation to quantum correlations. Bell's theorem has propelled research in the foundations of quantum theory and quantum information science. In the last decade, the investigation of nonlocality has moved beyond Bell's theorem to consider more complicated causal structures allowing for communication between the parts and involving several independent sources which distribute shares of physical systems in a network. For the case of three observable variables, it is known that there are three non-trivial causal networks. Two of those, are known to give rise to quantum non-classicality: the instrumental and the triangle scenarios. In this talk, we introduce new tools to tackle the compatibility problem in the general framework of Bayesian networks and explore the remaining non-trivial network, which we call the Evans scenario. We do not solve its main open problem –whether quantum non-classical correlations can arise from it – but give a significant step in this direction by proving that post-quantum correlations, analogous to the Popescu-Rohrlich box, do violate the constraints imposed by a classical description of Evans causal structure.

Zoom Link: https://pitp.zoom.us/j/98549320714?pwd=QVllZXNpZTFqekI1ZVUrK3ZLdnRjZz09

No-go theorems (Bell, Kochen-Specker, …) formally show the departure of quantum theory from classical theory. These are formulated in the framework of ontological models and, if one accepts such framework, entail that quantum theory involves problematic (“fine-tuned”) properties. I will argue that the lesson to take from the no-go theorems is to abandon the framework of ontological models as the way to model reality. I will analyze what I believe to be the unnatural assumptions of such framework and I will propose a way to change it. The basic principle of the new notion of reality I propose is that for something to exist is for something to be recorded. I will motivate the principle and explore its consequences. In order to implement such proposal into a precise theory-independent mathematical framework I will make use of point-free topological spaces (locales). I will discuss why this new proposal should be promising for understanding quantum theory and I will present several open questions.

Zoom link:  https://pitp.zoom.us/j/91292006884?pwd=V2EzaEw5Z3NRUGd4cVdSRnlOOWFVZz09

Understanding gravity in the framework of quantum mechanics is one of the great challenges in modern physics. Along this line, a prime question is to find whether gravity is a quantum entity subject to the rules of quantum mechanics. It is fair to say that there are no feasible ideas yet to test the quantum coherent behaviour of gravity directly in a laboratory experiment. I will introduce an idea for such a test based on the principle that two objects cannot be entangled without a quantum mediator.  I will show that despite the weakness of gravity, the phase evolution induced by the gravitational interaction of two micron size test masses in adjacent matter-wave interferometers can detectably entangle them even when they are placed far apart enough to keep Casimir-Polder forces at bay. I will provide a prescription for witnessing this entanglement, which certifies gravity as a quantum coherent mediator, through simple correlation measurements between two spins: one embedded in each test mass. Fundamentally, the above entanglement is shown to certify the presence of non-zero off-diagonal terms in the coherent state basis of the gravitational field modes.

Zoom link:  https://pitp.zoom.us/j/99584743899?pwd=aHl1cVlpK29ZVDkrdFZyM01GemJJdz09

Nonclassicality, as witnessed by the incapacity of Classical Causal Theory (CCT) of explaining a system's behavior given its causal structure, come to be one of the hottest topics in Quantum Foundations over the last decades, a movement that was motivated both by its vast range of practical applications and by the powerful insights it provides about the rules of the quantum world. Among the many attempts at understanding/quantifying this phenomenon, we highlight the idea of inquiring how further would it be necessary to relax the causal structure associated with a given system in order to have its nonclassical behavior explained by CCT. More recently, we showed that the relaxation demanded to explain the behavior of a subset of variables in a given experiment may not be allowed by the embedding causal structure when considering the behavior of the remaining variables, which led to a new way of witnessing nonclassicality. In this seminar, we discuss a new way of quantifying this incompatibility and possible generalizations of this approach to different scenarios.

Zoom link:  https://pitp.zoom.us/j/96051313203?pwd=bFNhOEhkSVhXWk8yd1hVZWVVa0U4UT09

In this talk, I present the latest works on anyonic information theory and how it is linked to aspects of quantum foundations. First, the theory of 2+1 D non-abelian anyons will be introduced. The newly discovered notion of anyonic creation operators will be presented, as well as their use as local elements of reality within the Deutsch-Hayden interpretation of quantum mechanics. Lastly, I will show strange properties of anyonic entanglement that appear due to the lack of a tensor product structure, such as the different spectra of marginals in bipartite systems. This property makes the Von Neumann entropy a bad entanglement measure. I will explain the challenges of defining entanglement measures for anyonic systems and current approaches. 

Zoom link:  https://pitp.zoom.us/j/99863263804?pwd=MUhkYTBzcUlwTmJ0Z3F4aFo3Rkt6QT09