July 2021

Quantum supermaps provide a framework in which higher order quantum processes can act on lower order quantum processes. In doing so, they enable the definition and analysis of new quantum protocols and causal structures. Recently, key features of quantum supermaps were captured through a general categorical framework, which led to a framework of higher order process theories (HOPT). The HOPT framework models lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed symmetric monoidal category. Here we provide an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature. We then use the HOPT framework to establish connections between foundational features such as causality, determinism and signalling, alongside exploring their interaction with the mathematical structure of *-autonomy.

The definition of well-behaved coordinate charts for black hole spacetimes can be tricky, as they can lead for example to either unphysical coordinate singularities in the metric (e.g. $r=2M$ in the Schwarzschild black hole) or to an implicit dependence of the chosen coordinate to physical relevant coordinates (e.g. the dependence of the null coordinates in the Kruskal metric). Here we discuss two approaches for coordinate choices in spherical symmetry allowing us to discuss explicitly “solitary” and spherically symmetric black holes from a regular horizon to null infinity. The first approach relies on a construction of a regular null coordinate (where regular is meant as being defined from the horizon to null infinity) given an explicit solution of the Einstein-matter equations. The second approach is based on an affine-null formulation of the Einstein equations and the respective characteristic initial value problem. In particular, we present a derivation of the Reissner-Nordstr”om black holes expressed in terms of these regular coordinates.

The relational approach to quantum states asserts that the physical description of quantum systems is always relative to something or someone. In relational quantum mechanics (RQM) it is relative to other quantum systems, in the (neo-)Copenhagen interpretation of quantum theory to measurement contexts, and in QBism to the beliefs of the agents. In contrast to the other two interpretations, in RQM any interaction between two quantum systems counts as a “measurement”, and the terms “observer” and “observed system” apply to arbitrary systems. We show, in the form of a no-go theorem, that in RQM the physical description of a system relative to an observer cannot represent knowledge about the observer in the conventional sense of this term. The problem lies in the ambiguity in the choice of the basis with respect to which the relative states are to be defined in RQM. In interpretations of quantum theory where observations play a fundamental role, the problem does not arise because the experimental context defines a preferred basis.

The study of thermodynamic fluctuations allows one to relate the free energy difference between two equilibrium states with the work done on a system through processes far from equilibrium. This finding plays a crucial role in the quantum regime, where the definition of work becomes non-trivial. Based on these relations, here we develop a simple interfeQILab Rometric method allowing a direct estimation of the work distribution and the average dissipative work during a driven thermodynamic process by superposing the forward and time-reversal evolutions of the process. We show that our scheme provides useful upper bounds on the average dissipative work even without full control over the thermodynamic process, and we propose methodological variations depending on the possible experimental limitations encountered. Finally, we exemplify its applicability by an experimental proposal for implementing our method on a quantum photonics system, on which the thermodynamic process is performed through polarization rotations induced by liquid crystals acting in a discrete temporal regime.