Papers New

Arguments by Sorkin arXiv:gr-qc/9302018 and Borsten, Jubb, and Kells arXiv:1912.06141 establish that a natural extension of quantum measurement theory from non-relativistic quantum mechanics to relativistic quantum theory leads to the unacceptable consequence that expectation values in one region depend on which unitary operation is performed in a spacelike separated region. Sorkin labels such scenarios “impossible measurements”. We explicitly present these arguments as a no-go result with the logical form of a reductio argument and investigate the consequences for measurement in quantum field theory (QFT). Sorkin-type impossible measurement scenarios clearly illustrate the moral that Microcausality is not by itself sufficient to rule out superluminal signalling in relativistic quantum theories that use Lüders’ rule. We review three different approaches to formulating an account of measurement for QFT and analyze their responses to the “impossible measurements” problem. Two of the approaches are: a measurement theory based on detector models proposed in Polo-Gómez, Garay, and Martín-MartÍnez arXiv:2108.02793 and a measurement framework for algebraic QFT proposed in Fewster and Verch arXiv:1810.06512. Of particular interest for foundations of QFT is that they share common features that may hold general morals about how to represent measurement in QFT. These morals are about the role that dynamics plays in eliminating “impossible measurements”, the abandonment of the operational interpretation of local algebras as representing possible operations carried out in a region, and the interpretation of state update rules. Finally, we examine the form that the “impossible measurements” problem takes in histories-based approaches and we discuss the remaining challenges.

Artificial intelligence (AI) is currently based largely on black-box machine learning models which lack interpretability. The field of eXplainable AI (XAI) strives to address this major concern, being critical in high-stakes areas such as the finance, legal and health sectors. We present an approach to defining AI models and their interpretability based on category theory. For this we employ the notion of a compositional model, which sees a model in terms of formal string diagrams which capture its abstract structure together with its concrete implementation. This comprehensive view incorporates deterministic, probabilistic and quantum models. We compare a wide range of AI models as compositional models, including linear and rule-based models, (recurrent) neural networks, transformers, VAEs, and causal and DisCoCirc models. Next we give a definition of interpretation of a model in terms of its compositional structure, demonstrating how to analyse the interpretability of a model, and using this to clarify common themes in XAI. We find that what makes the standard ‘intrinsically interpretable’ models so transparent is brought out most clearly diagrammatically. This leads us to the more general notion of compositionally-interpretable (CI) models, which additionally include, for instance, causal, conceptual space, and DisCoCirc models. We next demonstrate the explainability benefits of CI models. Firstly, their compositional structure may allow the computation of other quantities of interest, and may facilitate inference from the model to the modelled phenomenon by matching its structure. Secondly, they allow for diagrammatic explanations for their behaviour, based on influence constraints, diagram surgery and rewrite explanations. Finally, we discuss many future directions for the approach, raising the question of how to learn such meaningfully structured models in practice.

The no-go theorems of Bell and Kochen and Specker could be interpreted as implying that the notions of system and experimental context are fundamentally inseparable. In this interpretation, statements such as “spin is ‘up’ along direction $x$” are relational statements about the configurations of macroscopic devices which are mediated by the spin and not about any intrinsic properties of the spin. The operational meaning of these statements is provided by the practically infinite resources of macroscopic devices that serve to define the notion of a direction in three-dimensional space. This is the subject of “textbook quantum mechanics”: The description of quantum systems in relation to an experimental context.. Can one go beyond that? Relational quantum mechanics endeavors to provide a relational description between any quantum systems without the necessity of involving macroscopic devices. However, by applying “textbook quantum mechanics” in such situations, it implicitly assumes infinite resources, even for simple quantum systems such as spins, which have no capacity to define an experimental context. This leads to conceptual difficulties. We analyse Penrose’s spin network proposal as a potential formalisation of quantum theory that goes beyond the textbook framework: A description in presence of finite resources, which is inherently relational and inseparable in the system-context entity.

Time-reversal symmetry is a prevalent feature of microscopic physics, including operational quantum theory and classical general relativity. Previous works have studied indefinite causal structure using the language of operational quantum theory, however, these rely on time-asymmetric conditions to constrain both operations and the process matrix. Here, we use time-symmetric, operational probabilistic theory to develop a time-symmetric process matrix formalism for indefinite causal structure. This framework allows for more processes than previously considered and a larger set of causal inequalities. We demonstrate that this larger set of causal inequalities offers new opportunities for device-independent certification of causal non-separability by violating new inequalities. Additionally, we determined that the larger class of time-symmetric processes found here is equivalent to those with Indefinite Causal Order and Time Direction (ICOTD) considered by Chiribella and Liu, thereby providing a description of these processes in terms of process matrices.

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.

The ZX-calculus is a graphical language for reasoning about quantum computing and quantum information theory. As a complete graphical language, it incorporates a set of axioms rich enough to derive any equation of the underlying formalism. While completeness of the ZX-calculus has been established for qubits and the Clifford fragment of prime-dimensional qudits, universal completeness beyond two-level systems has remained unproven until now. In this paper, we present a proof establishing the completeness of finite-dimensional ZX-calculus, incorporating only the mixed-dimensional Z-spider and the qudit X-spider as generators. Our approach builds on the completeness of another graphical language, the finite-dimensional ZW-calculus, with direct translations between these two calculi. By proving its completeness, we lay a solid foundation for the ZX-calculus as a versatile tool not only for quantum computation but also for various fields within finite-dimensional quantum theory.

The Causaloid framework is an operational approach aimed to house both the radical aspects of General Relativity — dynamic causal structure, and Quantum Theory — indefiniteness, to provide a scaffolding that might be suitable for Quantum Gravity by providing a landscape of theories that allow for indefinite causal structure. One may consider it as a generalisation of generalised probability theories (or GPTs) where a priori regions are not assumed to have any given causal relationship, to incorporate the possibility of indefinite causal structure. Since its conception, there have been many advances in the field of indefinite causal structure mostly stemming from the work of Chiribella et al. on the quantum switch and supermaps and from Oreshkov et al. on causal inequalities and process matrices. These approaches have systems moving along wires and use Hilbert space structure. They violate the standard causality constraints of Quantum Theory and, in this sense, can be regarded as post-quantum. The Causaloid approach does not necessarily have systems moving along wires or Hilbert spaces. This is the first paper in a trilogy of papers aiming to close the gap between the Causaloid (that allows for GPTs) and post-quantum studies that employ Hilbert spaces. To do so in the present paper, we provide a diagrammatic language for the Causaloid framework along with new terminology for the three levels of physical compression (called Tomographic, Compositional, and Meta compression).

Recent studies have shown that quantum information may be effectively transmitted by a finite collection of completely depolarizing channels in a coherent superposition of different orders, via an operation known as the quantum $tt SWITCH$. Such results are quite remarkable, as completely depolarizing channels taken in isolation and in a definite order can only output white noise. For general channels however, little is known about the potential communication enhancement provided by the quantum $tt SWITCH$. In this Letter, we define an easily computable quantity $mathcal{P}_n$ associated with the quantum ${tt SWITCH}$ of $n$ copies of a fixed channel, and we conjecture that $mathcal{P}_n>0$ is both a necessary and sufficient condition for communication enhancement via the quantum $tt SWITCH$. In support of our conjecture, we derive a simple analytic expression for the classical capacity of the quantum $tt SWITCH$ of $n$ copies of an arbitrary Pauli channel in terms of the quantity $mathcal{P}_n$, which we then use to show that our conjecture indeed holds in the space of all Pauli channels. Utilizing such results, we then formulate a communication protocol involving the quantum $tt SWITCH$ which enhances the private capacity of the BB84 channel.

We introduce a Hamiltonian framework tailored to degrees of freedom (DOF) of field theories that reside in suitable 3-dimensional open regions, and then apply it to the gravitational DOF of general relativity. Specifically, these DOF now refer to open regions of null infinity, and of black hole (and cosmological) horizons representing equilibrium situations. At null infinity the new Hamiltonian framework yields the well-known BMS fluxes and charges. By contrast, all fluxes vanish identically at black hole (and cosmological) horizons just as one would physically expect. In a companion paper we showed that, somewhat surprisingly, the geometry and symmetries of these two physical configurations descend from a common framework. This paper reinforces that theme: Very different physics emerges in the two cases from a common Hamiltonian framework because of the difference in the nature of degrees of freedom. Finally, we compare and contrast this Hamiltonian approach with those available in the literature.

These are lectures notes prepared for a series of seminars I am invited to give at Princeton Philosophy Department in November 2024. They cover the conceptual structure of quantum gravity, the relational interpretation of quantum mechanics, the structure of time, its orientation and the openness of the future, the physical underpinning of information and meaning, and some general considerations on the fact that concepts evolve, on perspectivalism and anti-foundationalism.