Papers New

On the Inevitable Lightness of Vacuum

In this essay, we present a new understanding of the cosmological constant problem, built upon the realization that the vacuum energy density can be expressed in terms of a phase space volume. We introduce a UV-IR regularization which implies a relationship between the vacuum energy and entropy. Combining this insight with the holographic bound on entropy then yields a bound on the cosmological constant consistent with observations. It follows that the universe is large, and the cosmological constant is naturally small, because the universe is filled with a large number of degrees of freedom.

Experimental super-Heisenberg quantum metrology with indefinite gate order

The precision of quantum metrology is widely believed to be restricted by the Heisenberg limit, corresponding to a root mean square error that is inversely proportional to the number of independent processes probed in an experiment, N. In the past, some proposals have challenged this belief, for example using non-linear interactions among the probes. However, these proposals turned out to still obey the Heisenberg limit with respect to other relevant resources, such as the total energy of the probes. Here, we present a photonic implementation of a quantum metrology protocol surpassing the Heisenberg limit by probing two groups of independent processes in a superposition of two alternative causal orders. Each process creates a phase space displacement, and our setup is able to estimate a geometric phase associated to two sets of N displacements with an error that falls quadratically with N. Our results only require a single-photon probe with an initial energy that is independent of N. Using a superposition of causal orders outperforms every setup where the displacements are probed in a definite order. Our experiment features the demonstration of indefinite causal order in a continuous-variable system, and opens up the experimental investigation of quantum metrology setups boosted by indefinite causal order.

How to sum and exponentiate Hamiltonians in ZXW calculus

This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide class of sums of linear operators, including arbitrary qubits Hamiltonians, in ZXW calculus. As an application, we demonstrate the linearity of the Schr”odinger equation and give a diagrammatic representation of the Hamiltonian in Greene-Diniz et al (Gabriel, 2022), which is the first paper that models carbon capture using quantum computing. We then use the Cayley-Hamilton theorem to show in principle how to exponentiate arbitrary qubits Hamiltonians in ZXW calculus. Finally, we develop practical techniques and show how to do Taylor expansion and Trotterization diagrammatically for Hamiltonian simulation. This sets up the framework for using ZXW calculus to the problems in quantum chemistry and condensed matter physics.

Basic ZX-calculus for students and professionals

These are the lecture notes of guest lectures for Artur Ekert’s course Introduction to Quantum Information at the Mathematical Institute of Oxford University, Hilary Term 2023. Some basic familiarity with Dirac notation is assumed. For the readers of Quantum in Pictures (QiP) who have some basic quantum background, these notes also constitute the shortest path to an explanation of how what they learn in QIP relates to the traditional quantum formalism.

Contemporary Philosophical Perspectives on the Cosmological Constant

The (re)introduction of $Lambda$ into cosmology has spurred debates that touch on central questions in philosophy of science, as well as the foundations of general relativity and particle physics. We provide a systematic assessment of the often implicit philosophical assumptions guiding the methodology of precision cosmology in relation to dark energy. We start by briefly introducing a recent account of scientific progress in terms of risky and constrained lines of inquiry. This allows us to contrast aspects of $Lambda$ that make it relevantly different from other theoretical entities in science, such as its remoteness from direct observation or manipulability. We lay out a classification for possible ways to explain apparent accelerated expansion but conclude that these conceptually clear distinctions may blur heavily in practice. Finally, we consider the important role played in cosmology by critical tests of background assumptions, approximation techniques, and core principles, arguing that the weak anthropic principle fits into this category. We argue that some core typicality assumptions — like the Copernican principle and the cosmological principle — are necessary though not provable, while others — like the strong anthropic principle and appeals to naturalness or probability in the multiverse — are not similarly justifiable.

Distilling Text into Circuits

This paper concerns the structure of meanings within natural language. Earlier, a framework named DisCoCirc was sketched that (1) is compositional and distributional (a.k.a. vectorial); (2) applies to general text; (3) captures linguistic `connections’ between meanings (cf. grammar) (4) updates word meanings as text progresses; (5) structures sentence types; (6) accommodates ambiguity. Here, we realise DisCoCirc for a substantial fragment of English. When passing to DisCoCirc’s text circuits, some `grammatical bureaucracy’ is eliminated, that is, DisCoCirc displays a significant degree of (7) inter- and intra-language independence. That is, e.g., independence from word-order conventions that differ across languages, and independence from choices like many short sentences vs. few long sentences. This inter-language independence means our text circuits should carry over to other languages, unlike the language-specific typings of categorial grammars. Hence, text circuits are a lean structure for the `actual substance of text’, that is, the inner-workings of meanings within text across several layers of expressiveness (cf. words, sentences, text), and may capture that what is truly universal beneath grammar. The elimination of grammatical bureaucracy also explains why DisCoCirc: (8) applies beyond language, e.g. to spatial, visual and other cognitive modes. While humans could not verbally communicate in terms of text circuits, machines can. We first define a `hybrid grammar’ for a fragment of English, i.e. a purpose-built, minimal grammatical formalism needed to obtain text circuits. We then detail a translation process such that all text generated by this grammar yields a text circuit. Conversely, for any text circuit obtained by freely composing the generators, there exists a text (with hybrid grammar) that gives rise to it. Hence: (9) text circuits are generative for text.

Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus

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.

Modelling quantum particles falling into a black hole: the deep interior limit

In this paper we construct a solvable toy model of the quantum dynamics of the interior of a spherical black hole with falling spherical scalar field excitations. We first argue about how some aspects of the quantum gravity dynamics of realistic black holes emitting Hawking radiation can be modelled using Kantowski-Sachs solutions with a massless scalar field when one focuses on the deep interior region $rll M$ (including the singularity). Further, we show that in the $rll M$ regime, and in suitable variables, the KS model becomes exactly solvable at both the classical and quantum levels. The quantum dynamics inspired by loop quantum gravity is revisited. We propose a natural polymer-quantization where the area $a$ of the orbits of the rotation group is quantized. The polymer (or loop) dynamics is closely related with the Schroedinger dynamics away from the singularity with a form of continuum limit naturally emerging from the polymer treatment. The Dirac observable associated to the mass is quantized and shown to have an infinite degeneracy associated to the so-called $epsilon$-sectors. Suitable continuum superpositions of these are well defined distributions in the fundamental Hilbert space and satisfy the continuum Schroedinger dynamics.

On the geometry of the black-to-white hole transition within a single asymptotic region

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.

Do We Have Any Viable Solution to the Measurement Problem?

Wallace (2022) has recently argued that a number of popular approaches to the measurement problem can’t be fully extended to relativistic quantum mechanics and quantum field theory; Wallace thus contends that as things currently stand, only the unitary-only approaches to the measurement problem are viable. However, the unitary-only approaches face serious epistemic problems which may threaten their viability as solutions, and thus we consider that it remains an urgent outstanding problem to find a viable solution to the measurement problem which can be extended to relativistic quantum mechanics. In this article we seek to understand in general terms what such a thing might look like. We argue that in order to avoid serious epistemic problems, the solution must be a single-world realist approach, and we further argue that any single-world realist approach which is able to reproduce the predictions of relativistic quantum mechanics will most likely have the property that our observable reality does not supervene on dynamical, precisely-defined microscopic beables. Thus we suggest three possible routes for further exploration: observable reality could be approximate and emergent, as in relational quantum mechanics with the addition of cross-perspective links, or observable reality could supervene on beables which are not microscopically defined, as in the consistent histories approach, or observable reality could supervene on beables which are not dynamical, as in Kent’s solution to the Lorentzian classical reality problem. We conclude that once all of these issues are taken into account, the options for a viable solution to the measurement problem are significantly narrowed down.