August 2022

We introduce Compositional Quantum Field Theory (CQFT) as an axiomatic model of Quantum Field Theory, based on the principles of locality and compositionality. Our model is a refinement of the axioms of General Boundary Quantum Field Theory, and is phrased in terms of correspondences between certain commuting diagrams of gluing identifications between manifolds and corresponding commuting diagrams of state-spaces and linear maps, thus making it amenable to formalization in terms of involutive symmetric monoidal functors and operad algebras. The underlying novel framework for gluing leads to equivariance of CQFT. We study CQFTs in dimension 2 and the algebraic structure they define on open and closed strings. We also consider, as a particular case, the compositional structure of 2-dimensional pure quantum Yang-Mills theory.

The existence of incompatible observables is a cornerstone of quantum mechanics and a valuable resource in quantum technologies. Here we introduce a measure of incompatibility, called the mutual eigenspace disturbance (MED), which quantifies the amount of disturbance induced by the measurement of a sharp observable on the eigenspaces of another. The MED provides a metric on the space of von Neumann measurements, and can be efficiently estimated by letting the measurement processes act in an indefinite order, using a setup known as the quantum switch, which also allows one to quantify the noncommutativity of arbitrary quantum processes. Thanks to these features, the MED can be used in quantum machine learning tasks. We demonstrate this application by providing an unsupervised algorithm that clusters unknown von Neumann measurements. Our algorithm is robust to noise can be used to identify groups of observers that share approximately the same measurement context.

Quantum theory is compatible with scenarios in which the order of operations is indefinite. Experimental investigations of such scenarios, all of which have been based on a process known as the quantum switch, have provided demonstrations of indefinite causal order conditioned on assumptions on the devices used in the laboratory. But is a device-independent certification possible, similar to the certification of Bell nonlocality through the violation of Bell inequalities? Previous results have shown that the answer is negative if the switch is considered in isolation. Here, however, we present an inequality that can be used to device-independently certify indefinite causal order in the quantum switch in the presence of an additional spacelike-separated observer under an assumption asserting the impossibility of superluminal and retrocausal influences.