Quantum Physics

The usual quantum mechanical description of measurements, unitary kicks, and other local operations has the potential to produce pathological causality violations in the relativistic setting of quantum field theory (QFT). While there are some operations that do not violate causality, those that do cannot be physically realisable. For local observables in QFT it is an open question whether the projection postulate, or more specifically the associated ideal measurement operation, is consistent with causality, and hence whether it is physically realisable in principle.

In this talk I will recap a criteria that distinguishes causal and acausal operations in real scalar QFT. I will then focus on operations constructed from smeared field operators - the basic local observables of the theory. For this simple class of operations we can write down a more practical causality criteria. With this we find that, under certain assumptions - such as there being a continuum spacetime - ideal measurements of smeared fields are acausal, despite prior heuristic arguments to the contrary. For a discrete spacetime (e.g. a causal set), however, one can evade this result in a ‘natural’ way, and thus uphold causality while retaining the projection postulate.

Zoom link:  https://pitp.zoom.us/j/94464896161?pwd=UkhPQnJONmlxYy9pQXJINThpY3l4QT09

We give a new definition of self-testing for correlations in terms of states on C*-algebras. We show that this definition is equivalent to the standard definition for any class of finite-dimensional quantum models which is closed under submodels and direct sums, provided that the correlation is extremal and has a full-rank model in the class. This last condition automatically holds for the class of POVM quantum models, but does not necessarily hold for the class of projective models by a result of Mancinska and Kaniewski. For extremal binary correlations and for extremal synchronous correlations, we show that any self-test for projective models is a self-test for POVM models. The question of whether there is a self-test for projective models which is not a self-test for POVM models remains open. An advantage of our new definition is that it extends naturally to commuting operator models. We show that an extremal correlation is a self-test for finite-dimensional quantum models if and only if it is a self-test for finite-dimensional commuting operator models, and also observe that many known finite-dimensional self-tests are in fact self-tests for infinite-dimensional commuting operator models.

Zoom link: https://pitp.zoom.us/j/95783943431?pwd=SDFyQVVZR1d4WlVNSDZ4OENzSmJQUT09

We present broadly applicable nonperturbative results on the behavior of eigenvalues and eigenvectors under the addition of self-adjoint operators and under the multiplication of unitary operators, in finite-dimensional Hilbert spaces. To this end, we decompose these operations into elementary 1-parameter processes in which the eigenvalues move similarly to the spheres in Newton's cradle. As special cases, we recover level repulsion and Cauchy interlacing. We discuss two examples of applications. Applied to adiabatic quantum computing, we obtain new tools to relate algorithmic complexity to computational slowdown through gap narrowing. Applied to information theory, we obtain a generalization of Shannon sampling theory, the theory that establishes the equivalence of continuous and discrete representations of information. The new generalization of Shannon sampling applies to signals of varying information density and finite length.

Zoom link: https://pitp.zoom.us/j/94120657832?pwd=SmpsWFhhVCtyeXM3a0pVQU9lMGFLdz09

Generalized noncontextuality is a well-studied notion of classicality that is applicable to a single system, as opposed to Bell locality. It relies on representing operationally indistinguishable procedures identically in an ontological model. However, operational indistinguishability depends on the set of operations that one may use to distinguish two procedures: we refer to this set as the reference of indistinguishability. Thus, whether or not a given experiment is noncontextual depends on the choice of reference. The choices of references appearing in the literature are seldom discussed, but typically relate to a notion of system underlying the experiment. This shift in perspective then begs the question: how should one define the extent of the system underlying an experiment? Our paper primarily aims at exposing this question rather than providing a definitive answer to it. We start by formulating a notion of relative noncontextuality for prepare-and-measure scenarios, which is simply noncontextuality with respect to an explicit reference of indistinguishability. We investigate how verdicts of relative noncontextuality depend on this choice of reference, and in the process introduce the concept of the noncontextuality graph of a prepare-and-measure scenario. We then discuss several proposals that one may appeal to in order to fix the reference to a specific choice, and relate these proposals to different conceptions of what a system really is.

arXiv link:  https://arxiv.org/abs/2209.04469

Zoom link:  https://pitp.zoom.us/j/97393198973?pwd=dWhCOUJQLytxeXVIVmEvOHRnRHc1QT09

We revisit the problem of how interactions emerge in quantum gravity. Namely, we show that bulk scattering of multiple particles in the AdS space requires multipartite entanglement on the boundary. This statement can be proven by two totally different methods, 1) general relativity and 2) quantum cryptographic argument. Furthermore, we argue that interactions among particles in the scattering event emerge from the mechanism of entanglement-assisted quantum error-correcting codes (EAQECCs) which utilize pre-existing multipartite entanglement in CFT. We also propose a concrete protocol to implement a certain class of multi-partite unitary interactions by using transversal logical operators of quantum codes. This talk is based on a (very) recent work with Alex May and Jonathan Sorce.

Zoom Link: https://pitp.zoom.us/j/91349028320?pwd=TGF2Q2ZNdTZtZGxkQ0NiMURLdW5Zdz09

The phase diagram of a material is of central importance in describing the properties and behaviour of a condensed matter system. Indeed, the study of quantum phase transitions has formed a central part of 20th and 21st Century physics. We examine the complexity and computability of determining the phase diagram of a general Hamiltonian. We show that in the worst case it is uncomputable and in more restricted cases, where the Hamiltonian is “better behaved”, it remains computationally intractable even for a quantum computer. Finally, we take a look at the relations between the Renormalization Group and uncomputable Hamiltonians.

Zoom Link: https://pitp.zoom.us/j/96048987715?pwd=WGtwWk1SUnFsanNIVTZVYjNmbTh3Zz09

Joint work (in progress) with Ladina Hausmann, Nuriya Nurgalieva and Renato Renner

We can classify contemporary approaches to thermodynamics in roughly four camps:

(1) Top-down microscopic approaches. These are for example resource-theoretical approaches to quantum thermodynamics: they have a microscopic model of states and systems, and which microscopic restrictions implement macroscopic properties. For instance, in the resource theory of quantum thermodynamics, states are represented by density operators, thermal states in particular have a specific micro-canonical form, and constraints like energy preservation are enforced by forcing quantum transformations to commute with a global Hamiltonian. These approaches success at deriving thermodynamic laws in general settings that satisfy the microscopic model (like non-relativistic quantum systems.

(2) Bottom-up microscopic approaches. These also start from a microscopic model, but rather than looking for universal restrictions, they search for explicit thermodynamics protocols: this is the case of recent proposals for quantum work extraction or nano quantum heat engines.

(3) Top-down phenomenological approaches. These try to derive thermodynamic laws from first principles independently of a microscopic model. In principle the results derived in this framework can be applied to a wider variety of explicit systems, and the challenge is then to find the right implementations.  The first derivations of thermodynamics were naturally phenomenological, and some modern information-inspired derivations follow this approach.

(4) Bottom-up phenomenological approaches. These approaches try to find explicit thermodynamic protocols independently of the microscopic model, based only on operational properties of the systems at hand. It was the case for Carnot's original engines and more recently for some approaches to deriving black hole thermodynamics, or thermodynamics of new materials; some experimental results also fit in this camp.

In this work we generalize top-down phenomenological approaches to the case of multiple conserved quantities. Note that multiple conserved quantities have been studied in top-down and bottom-up microscopic approaches to quantum thermodynamics. We argue that our framework is more general, in that it can be applied to systems for which we don't have an explicit microscopic model; in particular we will apply the results of this framework to black hole thermodynamics. Moreover, having a phenomenological axiomatic approach to thermodynamics allows us to identify which properties are specific to a microscopic model like quantum physics, and which hold in any physical theory: our results can be applied to study the thermodynamics of generalized process theories, and other generalizations and foils of quantum mechanics. This generalization makes us reconsider the second law of thermodynamics, adapting for an exchange of different conserved quantities, for example, energy and angular momentum, or energy and spin. Our guiding principle here is to use information as a universal token of exchange to convert between different quantities via Landauer's principle.

Zoom Link: https://pitp.zoom.us/j/96001094153?pwd=YTArTGpPdEJ1NFBMcnFqV1dIRTVyZz09

Information is physical, and for a physical theory to be universal, it
should model observers as physical systems, with concrete memories where
they store the information acquired through experiments and reasoning.
Here we address these issues in Spekkens' toy theory, a non-contextual
epistemically restricted model that partially mimics the behaviour of
quantum mechanics. We propose a way to model physical implementations of
agents, memories, measurements, conditional actions and information
processing. We find that the actions of toy agents are severely limited:
although there are non-orthogonal states in the theory, there is no way
for physical agents to consciously prepare them. Their memories are also
constrained: agents cannot forget in which of two arbitrary states a
system is. Finally, we formalize the process of making inferences about
other agents' experiments and model multi-agent experiments like
Wigner's friend. Unlike quantum theory or box world, in the toy theory
there are no inconsistencies when physical agents reason about each
other's knowledge.

Zoom Link: TBD

As a recent combination of two strong global leaders in quantum computing, Honeywell Quantum Solutions and Cambridge Quantum, Quantinuum integrates quantum hardware and software, including solutions for drug discovery, materials science, finance, and other applications. Quantinuum aims to be a center of gravity for quantum computing, supporting collaboration across the ecosystem. For this we have also developed “TKET”, an open-source architecture-agnostic quantum software stack and ‘best in class’ compiler. This enables our partners, collaborators and clients to effortlessly work across multiple platforms and tackle some of the most intriguing and important problems in quantum computing. 

Bio: Dr. Mark Jackson is the Senior Quantum Evangelist at Quantinuum. He received his B.S. in Physics and Mathematics from Duke University and Ph.D. in Theoretical Physics from Columbia University. He then spent 10 years researching superstring theory and cosmology, co-authoring almost 40 technical articles. To promote the public understanding of science, he founded the science crowdfunding platform Fiat Physica and non-profit Science Partnership Fund. He is Adjunct Faculty at Singularity University and a Director of Astronomers Without Borders.

Zoom link: https://pitp.zoom.us/j/98433088425?pwd=UzgwcGpUYnBKNzJmMnQ1ZVNOdGVXZz09

Tensor network provides a geometric representation of quantum many-body wave functions. Inspired by holography, we discuss a geometric realization of (one-shot) entanglement distillation for tensor networks including the multi-scale entanglement renormalization ansatz and matrix product states. We evaluate the trace distances between the ‘distilled' states and EPR states step by step and see a trend of distillation. If time permits, I will mention a possible field theoretic generalization of this geometric distillation.

Zoom link: https://pitp.zoom.us/j/98545776462?pwd=b1Z3ZENNRWVITlNOZG1GdzJaMmN1Zz09

Z2 lattice gauge theories (LGTs) coupled to dynamical matter show rich physics, including topological phases with anyons (toric code) and fractionalized Fermi liquids, with potential realizations in strongly correlated quantum matter. In this talk I report on recent progress — theoretical and experimental — in performing analog quantum simulations of such models. Starting from several distinct zero-dimensional building blocks I will move on to discuss extensions to extended 1D and 2D systems, including the realization of the plaquette operators in 2D. Next I will discuss how experimental imperfects, such as gauge-symmetry breaking errors, impact quantum simulations, and how they can be overcome. Then I will show how the insights gained lead us to an inherently stable protocol for quantum simulations of Z2 LGTs with dynamical matter with existing Rydberg tweezer arrays. I will close with an outlook and by discussing possible near-term experimental goals ranging from disorder-free localization to finite-temperature deconfinement transitions.

Zoom link:  https://pitp.zoom.us/j/91839919649?pwd=Tm1uOVljWUV3R05aUkxFVkFzN3lIZz09

The NLTS (No Low-Energy Trivial State) conjecture of Freedman and Hastings [2014] posits that there exist families of Hamiltonians with all low energy states of non-trivial complexity (with complexity measured by the quantum circuit depth preparing the state). Our recent work https://arxiv.org/abs/2206.13228 (with Nikolas Breuckmann and Chinmay Nirkhe) proves this conjecture by showing that the recently discovered families of constant-rate and linear-distance QLDPC codes correspond to NLTS local Hamiltonians. This talk will provide background on the conjecture, its relevance to quantum many-body physics and quantum complexity theory, and touch upon the proof techniques.

Zoom link: https://pitp.zoom.us/j/94224635225?pwd=SUovNXA3MWlkRUJlcTIxV0pLQzQxdz09