Witnessing Causal Nonseparability: Theory and Experiment

Laurie Letertre

Richard Healey

O. Costa de Beauregard

O. Costa de Beauregard

Cyril Branciard

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.

Julian Wechs, Alastair A. Abbott, Cyril Branciard

The concept of causal nonseparability has been recently introduced, in opposition to that of causal separability, to qualify physical processes that locally abide by the laws of quantum theory, but cannot be embedded in a well-defined global causal structure. While the definition is unambiguous in the bipartite case, its generalisation to the multipartite case is not so straightforward. Two seemingly different generalisations have been proposed, one for a restricted tripartite scenario and one for the general multipartite case. Here we compare the two, showing that they are in fact inequivalent. We propose our own definition of causal (non)separability for the general case, which—although a priori subtly different—turns out to be equivalent to the concept of ‘extensible causal (non)separability’ introduced before, and which we argue is a more natural definition for general multipartite scenarios. We then derive necessary, as well as sufficient conditions to characterise causally (non)separable processes in practice. These allow one to devise practical tests, by generalising the tool of witnesses of causal nonseparability.