Abstract

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.

Highlights

  • The notion of a causal order between events is an essential ingredient in our understanding of the world

  • We provide a characterisation of multipartite causallyseparable processes via necessary as well as sufficient conditions (Propositions 3, 4 and 5), allowing us to generalise the tool of witnesses of causal nonseparability

  • The formalism of process matrices was introduced in Ref. [2] to study correlations between events that locally obey the laws of quantum theory, but which are not a priori embedded into any global causal order

Read more

Summary

INTRODUCTION

The notion of a causal order between events is an essential ingredient in our understanding of the world. A particular model describing causal relations between quantum events is the so-called process matrix formalism [2]. The physical resource relating the local events is described by a process matrix, which, broadly speaking, is a generalisation of a multipartite density matrix allowing for the description of signalling scenarios, such as quantum channels. As it turns out, some scenarios arising within this formalism are incompatible with any definite causal order. We provide a characterisation of multipartite causally (non)separable processes via necessary as well as sufficient conditions (Propositions 3, 4 and 5), allowing us to generalise the tool of witnesses of causal nonseparability

PROCESS MATRIX FORMALISM
Bipartite process matrices
Towards generalising to more parties
Oreshkov and Giarmatzi’s definitions
For a properly normalised process matrix W compatible with
Comparison
Our choice of definition
Valid process matrices and compatibility with a fixed causal order
Necessary condition
Sufficient condition
Witnesses of causal nonseparability
Examples
DISCUSSION
Valid process matrices
Compatibility with fixed causal orders
Operations on process matrices
14 They can be verified straightforwardly using for instance
A necessary but not sufficient condition
Duality of SDP problems
Explicit SDP constraints and example constructions
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.