Papers QISS1

The notion of a joint system, as captured by the monoidal (a.k.a. tensor) product, is fundamental to the compositional, process-theoretic approach to physical theories. Promonoidal categories generalise monoidal categories by replacing the functors normally used to form joint systems with profunctors. Intuitively, this allows the formation of joint systems which may not always give a system again, but instead a generalised system given by a presheaf. This extra freedom gives a new, richer notion of joint systems that can be applied to categorical formulations of spacetime. Whereas previous formulations have relied on partial monoidal structure that is only defined on pairs of independent (i.e. spacelike separated) systems, here we give a concrete formulation of spacetime where the notion of a joint system is defined for any pair of systems as a presheaf. The representable presheaves correspond precisely to those actual systems that arise from combining spacelike systems, whereas more general presheaves correspond to virtual systems which inherit some of the logical/compositional properties of their “actual” counterparts. We show that there are two ways of doing this, corresponding roughly to relativistic versions of conjunction and disjunction. The former endows the category of spacetime slices in a Lorentzian manifold with a promonoidal structure, whereas the latter augments this structure with an (even more) generalised way to combine systems that fails the interchange law.

Transformations of transformations, also called higher-order transformations, is a natural concept in information processing, which has recently attracted significant interest in the study of quantum causal relations. In this work, a framework for characterizing higher-order quantum transformations which relies on the use of superoperator projectors is presented. More precisely, working with projectors in the Choi-Jamiolkowski picture is shown to provide a handy way of defining the characterization constraints on any class of higher-order transformations. The algebraic properties of these projectors are furthermore identified as a model of multiplicative additive linear logic (MALL). The main novelty of this work is the introduction in the algebra of the ‘prec’ connector. It is used for the characterization of maps that are no signaling from input to output or the other way around. This allows to assess the possible signaling structure of any maps characterized within the projective framework. The properties of the prec are moreover shown to yield a canonical form for projective expressions. This provides an unambiguous way to compare different higher-order theories.

A central feature of quantum metrology is the possibility of Heisenberg scaling, a quadratic improvement over the limits of classical statistics. This scaling, however, is notoriously fragile to noise. While for some noise types it can be restored through error correction, for other important types, such as dephasing, the Heisenberg scaling appears to be irremediably lost. Here we show that this limitation can sometimes be lifted if the exPerimeter Institute has the ability to probe physical processes in a coherent superposition of alternative configurations. As a concrete example, we consider the problem of phase estimation in the presence of a random phase kick, which in normal conditions is known to prevent the Heisenberg scaling. We provide a parallel protocol that achieves Heisenberg scaling with respect to the probes’ energy, as well as a sequential protocol that achieves Heisenberg scaling with respect to the total probing time. In addition, we show that Heisenberg scaling can also be achieved for frequency estimation in the presence of continuous-time dephasing noise, by combining the superposition of paths with fast control operations.

In the histories formulation of quantum theory, sets of coarse-grained histories, that are called consistent, obey classical probability rules. It has been argued that these sets can describe the semi-classical behaviour of closed quantum systems. Most physical scenarios admit multiple different consistent sets and one can view each consistent set as a separate context. Using propositions from different consistent sets to make inferences leads to paradoxes such as the contrary inferences first noted by Kent [Physical Review Letters, 78(15):2874, 1997]. Proponents of the consistent histories formulation argue that one should not mipropositions coming from different consistent sets in making logical arguments, and that paradoxes such as the aforementioned contrary inferences are nothing else than the usual microscopic paradoxes of quantum contextuality as first demonstrated by Kochen and Specker theorem. In this contribution we use the consistent histories to describe a macroscopic (semi-classical) system to show that paradoxes involving contextuality (mixing different consistent sets) persist even in the semi-classical limit. This is distinctively different from the contextuality of standard quantum theory, where the contextuality paradoxes do not persist in the semi-classical limit. Specifically, we consider different consistent sets for the arrival time of a semi-classical wave packet in an infinite square well. Surprisingly, we get consistent sets that disagree on whether the motion of the semi-classical system, that started within a subregion, ever left that subregion or not. Our results point to the need for constraints, additional to the consistency condition, to recover the correct semi-classical limit in this formalism and lead to the motto `all consistent sets are equal’, but `some consistent sets are more equal than others’.

Erasure is fundamental for information processing. It is also key in connecting information theory and thermodynamics, as it is a logically irreversible task. We provide a new angle on this connection, noting that there may be an additional cost to erasure, that is not captured by standard results such as Landauer’s principle. To make this point we use a model of irreversibility based on Constructor Theory – a recently proposed generalization of the quantum theory of computation. The model uses a machine called the “quantum homogenizer”, which has the ability to approximately realise the transformation of a qubit from any state to any other state and remain approximately unchanged, through overall entirely unitary interactions. We argue that when performing erasure via quantum homogenization there is an additional cost to performing the erasure step of the Szilard’s engine, because it is more difficult to reliably produce pure states in a cycle than to produce mixed states. We also discuss the implications of this result for the cost of erasure in more general terms.

This work provides a relativistic, digital quantum simulation scheme for both $2+1$ and $3+1$ dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step $Delta_t=Delta_x$. Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.

Existing work on quantum causal structure assumes that one can perform arbitrary operations on the systems of interest. But this condition is often not met. Here, we extend the framework for quantum causal modelling to situations where a system can suffer sectorial constraints, that is, restrictions on the orthogonal subspaces of its Hilbert space that may be mapped to one another. Our framework (a) proves that a number of different intuitions about causal relations turn out to be equivalent; (b) shows that quantum causal structures in the presence of sectorial constraints can be represented with a directed graph; and (c) defines a fine-graining of the causal structure in which the individual sectors of a system bear causal relations. As an example, we apply our framework to purported photonic implementations of the quantum switch to show that while their coarse-grained causal structure is cyclic, their fine-grained causal structure is acyclic. We therefore conclude that these experiments realize indefinite causal order only in a weak sense. Notably, this is the first argument to this effect that is not rooted in the assumption that the causal relata must be localized in spacetime.

Relational quantum mechanics (RQM) is an interpretation of quantum mechanics based on the idea that quantum states describe not an absolute property of a system but rather a relationship between systems. In this article, we observe that there is a tension between RQM’s naturalistic emphasis on the physicality of information and the inaccessibility of certain sorts of information in current formulations of RQM. Therefore we propose a new postulate for RQM which requires that all of the information possessed by a certain observer is stored in physical variables of that observer and thus accessible by measurement to other observers, so observers can reach intersubjective agreement about quantum events which have occurred in the past. Based on this postulate, we suggest an ontology for RQM which upholds the principle that quantum states are always relational, but which also postulates a set of quantum events which are not strictly relational. We show that the new postulate helps address some existing objections to RQM and finally we address the Frauchiger-Renner experiment in the context of RQM.

It has been theorized that when a quantum communication protocol takes place near a black hole, the spacetime structure induced by the black hole causes an inescapable and fundamental degradation in the protocol’s performance compared to if the protocol took place in flat spacetime. This is due to quantum information beyond the event horizon being inaccessible, introducing noise and degrading the entanglement resources of the protocol. However, despite black holes being a place where we expect quantum gravity to be integral, it has been assumed in these results that the black hole is a classical object with a classical spacetime. We show that when the quantum nature of a black hole and its spacetime are taken into account, their quantum properties can be used as resources to allay the degradation of entanglement caused by the event horizon, and thus improve the performance of quantum communication protocols near black holes. Investigating the resourceful nature of quantum gravity could be useful in better understanding the fundamental features of quantum gravity, just as the resourcefulness of quantum theory has revealed new insights into its foundations.

Quantum teleportation is a very helpful information-theoretic protocol that allows to transfer an unknown arbitrary quantum state from one location to another without having to transmit the quantum system through the intermediate region. Quantum states, quantum channels, and indefinite causal structures are all examples of quantum causal structures that not only enable advanced quantum information processing functions, but can also model causal structures in nonclassical spacetimes. In this letter, we develop quantum teleportation of arbitrary quantum causal structures, as formalized by the process matriframework. Instead of teleporting all the physical degrees of freedom that implement the causal structure, the central idea is to just teleport the inputs to and outputs from the operations of agents. The communication of outcomes of Bell state measurements, which is necessary for deterministic quantum teleportation, is not possible for all causal structures that one might wish to investigate. To avoid this problem, we propose partially and fully post-selected teleportation protocols. We prove that our partially post-selected teleportation protocol is compatible with all quantum causal structures, including those that involve indefinite causal order.