Papers

The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is a complete graphical rewrite system: any equation involving linear maps that is derivable in the Hilbert space formalism for quantum theory can also be derived in the calculus by rewriting. It has widespread usage within quantum industry and academia for a variety of tasks such as quantum circuit optimisation, error-correction, and education. The ZW-calculus is an alternative universal graphical language that is also complete for qubit quantum computing. In fact, its completeness was used to prove that the ZX-calculus is universally complete. This calculus has advanced how quantum circuits are compiled into photonic hardware architectures in the industry. Recently, by combining these two calculi, a new calculus has emerged for qubit quantum computation, the ZXW-calculus. Using this calculus, graphical-differentiation, -integration, and -exponentiation were made possible, thus enabling the development of novel techniques in the domains of quantum machine learning and quantum chemistry. Here, we generalise the ZXW-calculus to arbitrary finite dimensions, that is, to qudits. Moreover, we prove that this graphical rewrite system is complete for any finite dimension. This is the first completeness result for any universal graphical language beyond qubits.

We write explicitly the complete Lorentzian metric of a singularity-free spacetime where a black hole transitions into a white hole located in its same asymptotic region. In particular, the metric interpolates between the black and white horizons. The metric satisfies the Einstein field equations up to the tunneling region. The matter giving rise to the black hole is described by the Oppenheimer-Snyder model, corrected with loop-quantum-cosmology techniques in the quantum region. The interior quantum geometry is fixed by a local Killing symmetry, broken at the horizon transition. At large scale, the geometry is determined by two parameters: the mass of the hole and the duration of the transition process. The latter is a global geometrical parameter. We give the full metric outside the star in a single coordinate patch.

Observational astronomy is plagued with selection effects that must be taken into account when interpreting data from astronomical surveys. Because of the physical limitations of observing time and instrument sensitivity, datasets are rarely complete. However, determining specifically what is missing from any sample is not always straightforward. For example, there are always more faint objects (such as galaxies) than bright ones in any brightness-limited sample, but faint objects may not be of the same kind as bright ones. Assuming they are can lead to mischaracterizing the population of objects near the boundary of what can be detected. Similarly, starting with nearby objects that can be well observed and assuming that objects much farther away (and sampled from a younger universe) are of the same kind can lead us astray. Demographic models of galaxy populations can be used as inputs to observing system simulations to create “mock” catalogues that can be used to characterize and account for multiple, interacting selection effects. The use of simulations for this purpose is common practice in astronomy, and blurs the line between observations and simulations; the observational data cannot be interpreted independent of the simulations. We will describe this methodology and argue that astrophysicists have developed effective ways to establish the reliability of simulation-dependent observational programs. The reliability depends on how well the physical and demographic properties of the simulated population can be constrained through independent observations. We also identify a new challenge raised by the use of simulations, which we call the “problem of uncomputed alternatives.” Sometimes the simulations themselves create unintended selection effects when the limits of what can be simulated lead astronomers to only consider a limited space of alternative proposals.

In this paper I would like to outline what I think is the most natural interpretation of quantum mechanics. By natural, I simply mean that it requires the least amount of excess baggage and that it is universal in the sense that it can be consistently applied to all the observed phenomena including the universe as a whole. I call it the “Everything is a Quantum Wave” Interpretation (EQWI) because I think this is a more appropriate name than the Many Worlds Interpretation (MWI). The paper explains why this is so.

We propose a definition of graph subshifts of finite type that can be seen as extending both the notions of subshifts of finite type from classical symbolic dynamics and finitely presented groups from combinatorial group theory. These are sets of graphs that are defined by forbidding finitely many local patterns. In this paper, we focus on the question whether such local conditions can enforce a specific support graph, and thus relate the model to classical symbolic dynamics. We prove that the subshifts that contain only infinite graphs are either aperiodic, or feature no residual finiteness of their period group, yielding non-trivial examples as well as two natural undecidability theorems.

Universal and complete graphical languages have been successfully designed for pure state quantum mechanics, corresponding to linear maps between Hilbert spaces, and mixed states quantum mechanics, corresponding to completely positive superoperators. In this paper, we go one step further and present a universal and complete graphical language for Hermiticity-preserving superoperators. Such a language opens the possibility of diagrammatic compositional investigations of antilinear transformations featured in various physical situations, such as the Choi-Jamio{l}kowski isomorphism, spin-flip, or entanglement witnesses. Our construction relies on an extension of the ZW-calculus exhibiting a normal form for Hermitian matrices.

We summarize recent developments at the interface of quantum gravity and quantum information, and discuss applications to the quantum geometry of space in loop quantum gravity. In particular, we describe the notions of link entanglement, intertwiner entanglement, and boundary spin entanglement in a spin-network state. We discuss how these notions encode the gluing of quanta of space and their relevance for the reconstruction of a quantum geometry from a network of entanglement structures. We then focus on the geometric entanglement entropy of spin-network states at fixed spins, treated as a many-body system of quantum polyhedra, and discuss the hierarchy of volume-law, area-law and zero-law states. Using information theoretic bounds on the uncertainty of geometric observables and on their correlations, we identify area-law states as the corner of the Hilbert space that encodes a semiclassical geometry, and the geometric entanglement entropy as a probe of semiclassicality.

Quantum nonlocality, generated by strong correlations between entangled systems, defies the classical view of nature based on standard causal reasoning plus physical assumptions. The new frontier of the research on entanglement is to explore quantum correlations in complex networks, involving several parties and generating new striking quantum effects. We present recent advances on the realization of photonic quantum networks.

This paper is a transcript of the dialogue between Carlo Rovelli and Mike Jackson after Rovelli’s delivery of the 2021 Annual Mike Jackson Lecture, hosted by the Centre for Systems Studies at the University of Hull. The dialogue covers a range of topics, including how Rovelli developed a sense of curiosity in his youth; the connection between his interests in science and politics; the pathology of disciplinary divisions in academia; the value of Bogdanov’s transdisciplinarity; Rovelli’s theory of quantum gravity; the notions of granularity, indeterminism and relationality underpinning quantum mechanics; the role of the observer; mistaken uses of quantum mechanics; relational and network views of the world; how the discipline of Physics is becoming more systemic; the concept of levels of analysis in relation to nature and human inquiry; and the future for humanity.

In this chapter we take up the quantum Riemannian geometry of a spatial slice of spacetime. While researchers are still facing the challenge of observing quantum gravity, there is a geometrical core to loop quantum gravity that does much to define the approach. This core is the quantum character of its geometrical observables: space and spacetime are built up out of Planck-scale quantum grains. The interrelations between these grains are described by spin networks, graphs whose edges capture the bounding areas of the interconnected nodes, which encode the extent of each grain. We explain how quantum Riemannian geometry emerges from two different approaches: in the first half of the chapter we take the perspective of continuum geometry and explain how quantum geometry emerges from a few principles, such as the general rules of canonical quantization of field theories, a classical formulation of general relativity in which it appears embedded in the phase space of Yang-Mills theory, and general covariance. In the second half of the chapter we show that quantum geometry also emerges from the direct quantization of the finite number of degrees of freedom of the gravitational field encoded in discrete geometries. These two approaches are complimentary and are offered to assist readers with different backgrounds enter the compelling arena of quantum Riemannian geometry.