Witnesses of causal nonseparability: an introduction and a few case studies

It was recently realised that quantum theory allows for so-called causally nonseparable processes, which are incompatible with any definite causal order. This was first suggested on a rather abstract level by the formalism of process matrices, an extension of the quantum formalism which only assumes that quantum theory holds locally in some observers’ laboratories, but does not impose a global causal structure; it was then shown, on a more practical level, that the quantum switch—a new, already implementable resource for quantum computation that goes beyond causally ordered circuits—provided precisely a physical example of a causally nonseparable process. To demonstrate that a given process is causally nonseparable, the concept of witnesses of causal nonseparability was introduced. Here we present a shorter introduction to this concept, and concentrate on some explicit examples—by considering in particular different noise models for the quantum switch—to show how to construct and use such witnesses in practice.