Quantum Foundations

The theory of quantum computation has brought us rapid technological developments, together with remarkable improvements in how we understand quantum theory. In this talk, I shall describe the foundations of a theoretical programme to extend the quantum theory of computation beyond quantum theory itself, based on the recently proposed constructor theory. I will then explain a recent application of this new approach to the problem of witnessing quantum effects in gravity.

---

Zoom link https://pitp.zoom.us/j/99012897226?pwd=U2hFQlU3TWxkSDIwZ1E5OHNPMVJhUT09

Network nonlocality, and more specifically, triangle network nonlocality, is a basic feature of modern causal modelling when going beyond Bell scenarios. However, despite the apparent simplicity of the problems one may formulate, relatively little is known due to the hardness of certifying nonlocality in networks. In this talk, I will describe a motivating example of a quantum triangle distribution, the Elegant Joint Measurement due to Nicolas Gisin, that is strongly believed to be nonlocal even in the presence of experimental noise. I will then present the ongoing effort to produce a computer-assisted proof of nonlocality for this distribution, thereby developing a toolkit to tackle general nonlocality problems. This effort is based on the inflation technique for causal inference, but taken to higher levels than what was generally considered tractable. This is made possible by a number of optimization techniques, involving symmetry reductions, branch-and-bound optimization, and most importantly, the use of a Frank-Wolfe algorithm to bypass the need to call a standard linear program solver.

---

Zoom link https://pitp.zoom.us/j/97499052021?pwd=R1EyU2pmc1hFSzJ1UEpJQ1h0RnQzdz09

In the usual operational picture, operations are represented by boxes having inputs and outputs. Further, we usually consider the causally simple case where the inputs are prior to the outputs for each such operation. In this talk (motivated by an attempt to formulate an operational probabilistic field theory) I will consider what I call the "causally complex" situation. Operations are represented by circles. These circles have wires going in and out. Each such wire can represent an input and an output. Further, each operation will have a causal diagram associated with it. The causal structure can be more complicated than the simple case. These circles can be joined together to create new operations. I will discuss conditions on these causally complex operations so that we have positivity (probabilities are non-negative) and causality (to be understood in a time symmetric manner). I will also discuss how these properties compose when we join causally complex operations. Causally complex operations are related to objects in the causaloid formalism as well as to quantum combs.

---

Zoom link https://pitp.zoom.us/j/99425886198?pwd=ODR0VVFzQUJHeER4OVJ2cEo3cVdDQT09

We will present a teleportation protocol which uses the properties of superoscillatory wavefunctions. Then we will briefly introduce a different protocol, the port based teleportation. We will use it to study teleportation over infinitesimally small distances, where the vacuum of a quantum field serves as the source of entanglement. We find that the resulting motion is equivalent to a quantum teleportation-induced Brownian motion. Purifying the interactions, from measurements to unitary operations, leads to motion described by Schrodinger’s equation. Therefore, we find that the notions of teleportation and continuous quantum and classical motion are unified in this sense.

--- 

Zoom link https://pitp.zoom.us/j/93504138534?pwd=VUFPSXpRd2g0TVNxVTNlY3Rxa1ZjUT09

Out of the many lessons quantum mechanics seems to teach us, one is that it seems there are things we cannot experimentally have access to. There is, indeed, a fundamental limit to our ability to experimentally explore the world. In this work we accept this lesson as a fact and we build a general theory based on this principle. We start by assuming the existence of statements whose truth value is not experimentally accessible. That is, there is no way, not even in theory, to directly test if these statements are true or false. We further develop a theory in which experimentally accessible statements are a union of a fixed minimum number of inaccessible statements. For example, the value of truth of the statements a and b is not accessible, but the value of truth of the statement “a or b" is accessible. We do not directly assume probability theory, we exclusively define experimentally accessible and inaccessible statements and build on these notions using the rules of classical logic. We find that an interesting structure emerges. Developing this theory, we relax the logical structure, naturally obtaining a derivation of a constrained quasi-probabilistic theory rich in structure that we name theory of inaccessible information. Surprisingly, the simplest model of theory of inaccessible information is the qubit in quantum mechanics. Along the path for the construction of this theory, we characterise and study a family of multiplicative information measures that we call inaccessibility measures. arXiv:https://arxiv.org/abs/2305.05734

---

Zoom link https://pitp.zoom.us/j/91350754706?pwd=V1dVdGM3Zk9MNkp4VlpCYUoxbXg3UT09

We report a deterministic and exact protocol to reverse any unknown qubit-unitary and qubit-encoding isometry operations. To avoid known no-go results on universal deterministic exact unitary inversion, we consider the most general class of protocols transforming unknown unitary operations within the quantum circuit model, where the input unitary operation is called multiple times in sequence and fixed quantum circuits are inserted between the calls. In the proposed protocol, the input qubit-unitary operation is called 4 times to achieve the inverse operation, and the output state in an auxiliary system can be reused as a catalyst state in another run of the unitary inversion. This protocol only applies only for qubit-unitary operations, but we extend this protocol to any qubit-encoding isometry operations. We also present the simplification of the semidefinite programming for searching the optimal deterministic unitary inversion protocol for an arbitrary dimension presented by M. T. Quintino and D. Ebler [Quantum 6, 679 (2022)]. We show a method to reduce the large search space representing all possible protocols, which provides a useful tool for analyzing higher-order quantum transformations for unitary operations.

---

Zoom link https://pitp.zoom.us/j/92900413520?pwd=a1JqU1IzMVdSRGQreWJIbEFCT2hWUT09

Supermaps are higher-order transformations taking maps as input.  We consider quantum algorithms implementing supermaps for the input given by unknown Hamiltonian dynamics, which can be regarded as infinitely divisible unitary operations.  We first show a quantum algorithm that approximately but universally transforms black-box Hamiltonian dynamics into controlled Hamiltonian dynamics utilizing a higher-order transformation called neutralization.  Then, we present another universal algorithm that efficiently simulates linear transformations of any Hamiltonian consisting of a polynomial number of terms in system size, using only controlled-Pauli gates and time-correlated randomness.  This algorithm for implementing Hamiltonian supermaps is an instance of quantum functional programming, where the desired function is specified as a concatenation of higher-order quantum transformations. As examples, we demonstrate the simulation of negative time-evolution and time-reversal, and perform a Hamiltonian learning task.

References:

Q. Dong, S. Nakayama, A. Soeda and M. Murao, arXiv:1911.01645v3
T. Odake, Hlér Kristjánsson, A. Soeda M. Murao, arXiv:2303.09788

---

Zoom Link: https://pitp.zoom.us/j/94278362588?pwd=MGszYk9uN1A3K1RTOVhYSGpkL1FQdz09

In this informal talk, I shall give a short introduction to the field of higher-order quantum transformations, including its subfield of indefinite causal order. I shall discuss some of the motivations and important results in the field, current research directions and open problems, as well potential applications in quantum information processing.

I will begin by reviewing the general mathematical concept of representation. I will then show that representation theory is more generally applicable than one might expect, for example in quantum foundations, in quantum gravity and in machine learning. In those contexts, I will first talk about the notion of representation underlying phenomena of emergence in quantum gravity. I will then discuss how quantum reference frames might be viewed as representations. Finally, I will talk about how transformer models, such as GPT-4, construct representations of what they learn and, in that light, what it may take for machines to reach AGI or even consciousness.  

---

Zoom link: https://pitp.zoom.us/j/99349397588?pwd=T056VjZXRWZWT28zY3VOZHFDcmQ3QT09

One hundred years after Heisenberg’s Uncertainty Principle, the question of how to make simultaneous measurements of noncommuting observables lingers. I will survey one hundred years of measurement theory, which brings us to the point where we can formulate how to measure any set observables weakly and simultaneously and then concatenate such measurements continuously to determine what is a strong measurement of the same observables. The description of the measurements is independent of quantum states---this we call instrument autonomy---and even independent of Hilbert space---this we call the universal Instrument Manifold Program. But what space, if not Hilbert space? It’s a whole new world: the Kraus operators of an instrument live in a Lie-group manifold generated by the measured observables themselves. I will describe measuring position and momentum and measuring the three components of angular momentum, special cases where the instrument approaches asymptotically a phase-space boundary of the instrumental Lie-group manifold populated by coherent states; these special universal instruments structure any Hilbert space in which they are represented. In contrast, for almost all sets of observables other than these special cases, the universal instrument descends into chaos ... literally. This work was done with Christopher S. Jackson, whose genius and vision inform every aspect.

---

Zoom link https://pitp.zoom.us/j/94135518267?pwd=T2JOL21VaEcrY05KeG1SYTVYdHhxdz09