April 2024

We explore the notion of events at the intersection between quantum physics and gravity, inspired by recent research on superpositions of semiclassical spacetimes. By going through various experiments and thought experiments — from a decaying atom, to the double-slit experiment, to the quantum switch — we analyse which properties can and cannot be used to define events in such non-classical contexts. Our findings suggest an operational, context-dependent definition of events which emphasises that their properties can be accessed without destroying or altering observed phenomena. We discuss the implications of this understanding of events for indefinite causal order as well as the non-absoluteness of events in the Wigner’s friend thought experiment. These findings provide a first step for developing a notion of event in quantum spacetime.

Trends of genuine entanglement in Haar uniformly generated multimode pure Gaussian states with fixed average energy per mode are explored. A distance-based metric known as the generalized geometric measure (GGM) is used to quantify genuine entanglement. The GGM of a state is defined as its minimum distance from the set of all non-genuinely entangled states. To begin with, we derive an expression for the Haar averaged value of any function defined on the set of energy-constrained states. Subsequently, we investigate states with a large number of modes and provide a closed-form expression for the Haar averaged GGM in terms of the average energy per mode. Furthermore, we demonstrate that typical states closely approximate their Haar averaged GGM value, with deviation probabilities bounded by an exponentially suppressed limit. We then analyze the GGM content of typical states with a finite number of modes and present the distribution of GGM. Our findings indicate that as the number of modes increases, the distribution shifts towards higher entanglement values and becomes more concentrated. We quantify these features by computing the Haar averaged GGM and the standard deviation of the GGM distribution, revealing that the former increases while the latter decreases with the number of modes.

We study extensions of the mappings arising in usual Channel-State duality to the case of Hilbert spaces with a direct sum structure. This setting arises in representations of algebras with centers, which are commonly associated with constraints, and it has many physical applications from quantum many-body theory to holography and quantum gravity. We establish that there is a general relationship between non-separability of the state and the isometric properties of the induced channel. We also provide a generalisation of our approach to algebras of trace-class operators on infinite dimensional Hilbert spaces.

Discrete-time Quantum Walks (QWs) are transportation models of single quantum particles over a lattice. Their evolution is driven through causal and local unitary operators. QWs are a powerful tool for quantum simulation of fundamental physics as some of them have a continuum limit converging to well-known physics partial differential equations, such as the Dirac or the Schr”odinger equation. In this work, we show how to recover the Dirac equation in (3+1)-dimensions with a QW evolving in a tetrahedral space. This paves the way to simulate the Dirac equation on a curved spacetime. This also suggests an ordered scheme for propagating matter over a spin network, of interest in Loop Quantum Gravity where matter propagation has remained an open problem.

A catalysis state is a quantum state that is used to make some desired operation possible or more efficient, while not being consumed in the process. Recent years have seen catalysis used in state-of-the-art protocols for implementing magic state distillation or small angle phase rotations. In this paper we will see that we can also use catalysis to prove that certain gate sets are computationally universal, and to extend completeness results of graphical languages to larger fragments. In particular, we give a simple proof of the computational universality of the CS+Hadamard gate set using the catalysis of a $T$ gate using a CS gate, which sidesteps the more complicated analytic arguments of the original proof by Kitaev. This then also gives us a simple self-contained proof of the computational universality of Toffoli+Hadamard. Additionally, we show that the phase-free ZH-calculus can be extended to a larger complete fragment, just by using a single catalysis rule (and one scalar rule).

We introduce two quantitative measures of the strength of causal relations. These two measures capture the maximum and minimum changes in a quantum system induced by changes in another system. We show that both measures possess important properties, such as continuity and faithfulness, and can be evaluated through optimization over orthogonal input states. For the maximum causal effect, we provide numerical lower bounds based on a variational algorithm, which can be used to estimate the strength of causal relations without performing a full quantum process tomography. To illustrate the application of our algorithm, we analyze two paradigmatic examples, the first involving a coherent superposition of direct cause and common cause and the second involving communication through a coherent superposition of two completely depolarizing channels.

This is the second in a series of “graphical grokking” papers in which we study how stabiliser codes can be understood using the ZX calculus. In this paper we show that certain complex rules involving ZX diagrams, called spider nest identities, can be captured succinctly using the scalable ZX calculus, and all such identities can be proved inductively from a single new rule using the Clifford ZX calculus. This can be combined with the ZX picture of CSS codes, developed in the first “grokking” paper, to give a simple characterisation of the set of all transversal diagonal gates at the third level of the Clifford hierarchy implementable in an arbitrary CSS code.

We study non-terminating graph rewriting models, whose local rules are applied non-deterministically — and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is well-known that the mess introduced by asynchronous rule applications may not matter to the end result, as confluence conspires to produce a unique normal form. In the context of non-terminating computation however, confluence is a very weak property, and (almost) synchronous rule applications is always preferred e.g. when it comes to simulating dynamical systems. Here we provide sufficient conditions so that asynchronous local rule applications conspire to produce well-determined events in the space-time unfolding of the graph, regardless of their application orders. Our first example is an asynchronous simulation of a dynamical system. Our second example features time dilation, in the spirit of general relativity.

We propose a solution to a classic problem in gravitational physics consisting of defining the spin associated with asymptotically-flat spacetimes. We advocate that the correct asymptotic symmetry algebra to approach this problem is the generalized-BMS algebra $textsf{gbms}$ instead of the BMS algebra used hitherto in the literature for which a notion of spin is generically unavailable. We approach the problem of defining the spin charges from the perspective of coadjoint orbits of $textsf{gbms}$ and construct the complete set of Casimir invariants that determine $textsf{gbms}$ coadjoint orbits, using the notion of vorticity for $textsf{gbms}$. This allows us to introduce spin charges for $textsf{gbms}$ as the generators of area-preserving diffeomorphisms forming its isotropy subalgebra. To elucidate the parallelism between our analysis and the Poincar’e case, we clarify several features of the Poincar’e embedding in $textsf{gbms}$ and reveal the presence of condensate fields associated with the symmetry breaking from $textsf{gbms}$ to Poincar’e. We also introduce the notion of a rest frame available only for this extended algebra. This allows us to construct, from the spin generator, the gravitational analog of the Pauli–Luba’nski pseudo-vector. Finally, we obtain the $textsf{gbms}$ moment map, which we use to construct the gravitational spin charges and gravitational Casimirs from their dual algebra counterparts.