Papers QISS1

ZW-calculus is a useful graphical language for pure qubit quantum computing. It is via the translation of the completeness of ZW-calculus that the first proof of completeness of ZX-calculus was obtained. A d-level generalisation of qubit ZW-calculus (anyonic qudit ZW-calculus) has been given in [Hadzihasanovic 2017] which is universal for pure qudit quantum computing. However, the interpretation of the W spider in this type of ZW-calculus has so-called q-binomial coefficients involved, thus makes computation quite complicated. In this paper, we give a new type of qudit ZW-calculus which has generators and rewriting rules similar to that of the qubit ZW-calculus. Especially, the Z spider is exactly the same as that of the qudit ZX-calculus as given in [Wang 2021], and the new W spider has much simpler interpretation as a linear map. Furthermore, we establish a translation between this qudit ZW-calculus and the qudit ZX-calculus which is universal as shown in [Wang 2021], therefore this qudit ZW-calculus is also universal for pure qudit quantum computing.

The relational interpretation (or RQM, for Relational Quantum Mechanics) solves the measurement problem by considering an ontology of sparse relative events, or “facts”. Facts are realized in interactions between any two physical systems and are relative to these systems. RQM’s technical core is the realisation that quantum transition amplitudes determine physical probabilities only when their arguments are facts relative to the same system. The relativity of facts can be neglected in the approximation where decoherence hides interference, thus making facts approximately stable.

We extend the circuit model of quantum computation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing indefinite causal orders and making their geometrical layout explicit: we express the quantum switch and the polarizing beam-splitter within the model. In this context, our main contribution is a full characterization of the anonymity constraints. Indeed, the names used as addresses should not matter beyond the wiring they describe, i.e. quantum evolutions should commute with “renamings”. We show that these quantum evolutions can still act non-trivially upon the names. We specify the structure of “nameblind” matrices.

Famously, Klein and Einstein were embroiled in an epistolary dispute over whether General Relativity has any physically meaningful conserved quantities. In this paper, we explore the consequences of Noether’s second theorem for this debate, and connect it to Einstein’s search for a `substantive’ version of general covariance as well as his quest to extend the Principle of Relativity. We will argue that Noether’s second theorem provides a clear way to distinguish between theories in which gauge or diffeomorphism symmetry is doing real work in defining charges, as opposed to cases in which this symmetry stems from Kretchmannization. Finally, we comment on the relationship between this Noetherian form of substantive general covariance and the notion of `background independence’.

Quantum networks play a crucial role for distributed quantum information processing, enabling the establishment of entanglement and quantum communication among distant nodes. Fundamentally, networks with independent sources allow for new forms of nonlocality, beyond the paradigmatic Bell’s theorem. Here we implement the simplest of such networks — the bilocality scenario — in an urban network connecting different buildings with a fully scalable and hybrid approach. Two independent sources using different technologies, respectively a quantum dot and a nonlinear crystal, are used to share photonic entangled state among three nodes connected through a 270 m free-space channel and fiber links. By violating a suitable non-linear Bell inequality, we demonstrate the nonlocal behaviour of the correlations among the nodes of the network. Our results pave the way towards the realization of more complenetworks and the implementation of quantum communication protocols in an urban environment, leveraging on the capabilities of hybrid photonic technologies.

This paper concerns the intersection of natural language and the physical space around us in which we live, that we observe and/or imagine things within. Many important features of language have spatial connotations, for example, many prepositions (like in, next to, after, on, etc.) are fundamentally spatial. Space is also a key factor of the meanings of many words/phrases/sentences/text, and space is a, if not the key, context for referencing (e.g. pointing) and embodiment. We propose a mechanism for how space and linguistic structure can be made to interact in a matching compositional fashion. Examples include Cartesian space, subway stations, chesspieces on a chess-board, and Penrose’s staircase. The starting point for our construction is the DisCoCat model of compositional natural language meaning, which we relato accommodate physical space. We address the issue of having multiple agents/objects in a space, including the case that each agent has different capabilities with respect to that space, e.g., the specific moves each chesspiece can make, or the different velocities one may be able to reach. Once our model is in place, we show how inferences drawing from the structure of physical space can be made. We also how how linguistic model of space can interact with other such models related to our senses and/or embodiment, such as the conceptual spaces of colour, taste and smell, resulting in a rich compositional model of meaning that is close to human experience and embodiment in the world.

We show that we can derive the asymptotic Einstein’s equations that arises at order $1/r$ in asymptotically flat gravity purely from symmetry considerations. This is achieved by studying the transformation properties of functionals of the metric and the stress-energy tensor under the action of the Weyl BMS group, a recently introduced asymptotic symmetry group that includes arbitrary diffeomorphisms and local conformal transformations of the metric on the 2-sphere. Our derivation, which encompasses the inclusion of matter sources, leads to the identification of covariant observables that provide a definition of conserved charges parametrizing the non-radiative corner phase space. These observables, related to the Weyl scalars, reveal a duality symmetry and a spin-2 generator which allow us to recast the asymptotic evolution equations in a simple and elegant form as conservation equations for a null fluid living at null infinity. Finally we identify non-linear gravitational impulse waves that describe transitions among gravitational vacua and are non-perturbative solutions of the asymptotic Einstein’s equations. This provides a new picture of quantization of the asymptotic phase space, where gravitational vacua are representations of the asymptotic symmetry group and impulsive waves are encoded in their couplings.

We compute the Hamiltonian surface charges of gravity for a family of conservative boundary conditions, that include Dirichlet, Neumann, and York’s mixed boundary conditions defined by holding fixed the conformal induced metric and the trace of the extrinsic curvature. We show that for all boundary conditions considered, canonical methods give the same answer as covariant phase space methods improved by a boundary Lagrangian, a prescription recently developed in the literature and thus supported by our results. The procedure also suggests a new integrable charge for the Einstein-Hilbert Lagrangian, different from the Komar charge for non-Killing and non-tangential diffeomorphisms. We study how the energy depends on the choice of boundary conditions, showing that both the quasi-local and the asymptotic expressions are affected. Finally, we generalize the analysis to non-orthogonal corners, confirm the matching between the covariant and canonical results without any change in the prescription, and discuss the subtleties associated with this case.

We challenge the view that there is a basic conflict between the fundamental principles of Quantum Theory and General Relativity, and in particular the fact that a superposition of massive bodies would lead to a violation of the Equivalence Principle. It has been argued that this violation implies that such a superposition must inevitably spontaneously collapse (like in the Di’osi-Penrose model). We identify the origin of such an assertion in the impossibility of finding a local, classical reference frame in which Einstein’s Equivalence Principle would hold. In contrast, we argue that the formulation of the Equivalence Principle can be generalised so that it holds for reference frames that are associated to quantum systems in a superposition of spacetimes. The core of this new formulation is the introduction of a quantum diffeomorphism to such Quantum Reference Frames (QRFs). This procedure reconciles the principle of linear superposition in Quantum Theory with the principle of general covariance and the Equivalence Principle of General Relativity. Hence, it is not necessary to invoke a gravity-induced spontaneous state reduction when a massive body is prepared in a spatial superposition.

The metric field of general relativity is almost fully determined by its causal structure. Yet, in spin-foam models for quantum gravity, the role played by the causal structure is still largely unexplored. The goal of this paper is to clarify how causality is encoded in such models. The quest unveils the physical meaning of the orientation of the two-compleand its role as a dynamical variable. We propose a causal version of the EPRL spin-foam model and discuss the role of the causal structure in the reconstruction of a semiclassical spacetime geometry.