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.
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.
In recent years, the investigation of causal relations in quantum theory has attracted a lot of interest. In particular, it has been found that it is possible to conceive of scenarios where some parties perform operations that are compatible with quantum theory locally, but that cannot be embedded into a global background causal structure. Such indefinite causal structures are of interest from a fundamental point of view, but also from the perspective of quantum information processing, since they do not fit into the usual paradigm of quantum circuits, which assumes a definite causal order. The main aim of this thesis is to study indefinite quantum causal relations involving more than two parties. Compared to the bipartite case, there are many new aspects and complications that arise in multipartite situations, which need to be clarified in order to fundamentally understand quantum causal structures, and to shed light on their implications and potential usefulness for quantum information processing.A suitable mathematical framework for the investigation of quantum causal relations is the process matrix formalism. In this framework, the notion of causal nonseparability was introduced in order to qualify scenarios that are incompatible with a definite causal order. In Chapter 2, we study how to generalise this concept to the multipartite case, how to characterise multipartite causally (non)separable quantum processes, and how to certify multipartite causal nonseparability. Another important topic is to determine which quantum scenarios with indefinite causal order are physically implementable, and how they can be realised concretely. In Chapter 3, we introduce two new classes of physically realisable multipartite quantum processes, and characterise them in terms of their process matrix descriptions. In particular, we define the class of quantum circuits with quantum control of causal order. The simplest example of such a circuit is the quantum switch, a protocol in which the order between two operations is controlled by a qubit in a superposition state, and which defines a causally nonseparable process. The class we introduce also contains more general examples of causally nonseparable processes with new features. We then show how the process matrix characterisation of this class allows us to search for new quantum information processing applications of causal nonseparability. In Chapter 4, we investigate a particular quantum communication effect in a scenario involving coherent control between two quantum channels. This leads us to a more general analysis of the notion of a coherently controlled channel, which involves certain subtilities. In Chapter 5, we turn to another problem that arises in multipartite scenarios, namely whether a given phenomenon is genuinely multipartite or not. More particularly, we study genuinely multipartite (non)causal correlations. In Chapter 6, we show that anomalous weak values are possible without post-selection. In Chapter 7, we show that certain tripartite process matrices, namely those that are unitarily extensible, have a realisation on so-called time-delocalised subsystems, i.e., quantum subsystems that are not associated with a definite time. The class of unitarily extensible tripartite process matrices is larger than the class of quantum circuits with quantum control, and in particular contains processes that violate so-called causal inequalities.
The concept of causal (non)separability describes whether the causal order between parties that perform local quantum operations is well-defined or indefinite. Causal (non)separability in the general multipartite setting was introduced and studied in [Oreshkov and Giarmatzi, New J. Phys. 18, 093020 (2016); Wechs, Abbott, and Branciard, New J. Phys. 21, 013027 (2019)]. We resolve an open problem from these earlier works by showing -- using a novel "coherent teleportation technique" -- that a sufficient condition for causal separability identified in [Wechs, Abbott, and Branciard, New J. Phys. 21, 013027 (2019)] is also necessary, and thus provides a complete characterisation of multipartite causal separability. A consequence of this result is that all causally separable processes admit a realisation as generalised quantum circuits in which the order between the operations is classically controlled, known as "quantum circuits with classical control of causal order".
The idea that events are equipped with a partial causal order is central to our understanding of physics in the tested regimes: given two pointlike events A and B , either A is in the causal past of B , B is in the causal past of A , or A and B are space-like separated. Operationally, the meaning of these order relations corresponds to constraints on the possible correlations between experiments performed in the vicinities of the respective events: if A is in the causal past of B , an experimenter at A could signal to an experimenter at B but not the other way around, while if A and B are space-like separated, no signaling is possible in either direction. In the context of a concrete physical theory, the correlations compatible with a given causal configuration may obey further constraints. For instance, space-like correlations in quantum mechanics arise from local measurements on joint quantum states, while time-like correlations are established via quantum channels. Similarly to other variables, however, the causal order of a set of events could be random, and little is understood about the constraints that causality implies in this case. A main difficulty concerns the fact that the order of events can now generally depend on the operations performed at the locations of these events, since, for instance, an operation at A could influence the order in which B and C occur in A ’s future. So far, no formal theory of causality compatible with such dynamical causal order has been developed. Apart from being of fundamental interest in the context of inferring causal relations, such a theory is imperative for understanding recent suggestions that the causal order of events in quantum mechanics can be indefinite. Here, we develop such a theory in the general multipartite case. Starting from a background-independent definition of causality, we derive an iteratively formulated canonical decomposition of multipartite causal correlations. For a fixed number of settings and outcomes for each party, these correlations form a polytope whose facets define causal inequalities. The case of quantum correlations in this paradigm is captured by the process matrix formalism. We investigate the link between causality and the closely related notion of causal separability of quantum processes, which we here define rigorously in analogy with the link between Bell locality and separability of quantum states. We show that causality and causal separability are not equivalent in general by giving an example of a physically admissible tripartite quantum process that is causal but not causally separable. We also show that there are causally separable quantum processes that become non-causal if extended by supplying the parties with entangled ancillas. This motivates the concepts of extensibly causal and extensibly causally separable (ECS) processes, for which the respective property remains invariant under extension. We characterize the class of ECS quantum processes in the tripartite case via simple conditions on the form of the process matrix. We show that the processes realizable by classically controlled quantum circuits are ECS and conjecture that the reverse also holds.
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.
The no-signalling principle lies at the heart of Bell-type experiments involving spacelike-separated parties. Although not all no-signalling correlations can be realized within quantum theory, the no-sinalling principle itself remains fundamental even for post-quantum theories, since its violation would imply superluminal signalling. In the spirit of device independent nature of the Bell inequalities, there has recently been growing interest in causal inequalities, which identify correlations admitting no causal explanation. Such correlations have been rigorously studied within the process-matrix formalism, which is built upon a constraint analogous to spacelike separation in Bell scenarios. We refer to this constraint as the single-interaction constraint, whereby each party interacts with the environment only once. Despite considerable effort, no fundamental guiding principle is currently known that characterizes the restrictions this constraint imposes on the correlations generated by Process Matrices. In this work, we address this gap by proposing a generalized causality principle for the bipartite case. We show that for certain cases, the generalised causality principle defines a strict subset of the set of all signalling correlations. This principle thus provides a fundamental limit on quantum and even post-quantum theories subject to the single-interaction constraint. By analogy with no-signalling, whose violation excludes certain causal structures among the parties, a violation of the generalised causality principle rules out a corresponding class of causal structures(causal structures with the single interaction constraint). More broadly, our techniques provide a general framework for deriving generalised causal constraints, applicable to a wide class of indefinite-causal-order scenarios.
In quantum mechanics, quantum nonseparability is at the core of philosophical debates regarding its meaning. In the context of the process matrix formalism, causal nonseparability characterises quantum processes (connecting the inputs and outputs of different local quantum operations) that are incompatible with any definite causal structure among interacting parties. One talks about indefinite causal orders. A famous example of causally nonseparable processes is called the quantum switch (QS). It is extensively studied in the literature in virtue of its simple architecture and its various implementations in laboratories.The present work will discuss the possible interpretations of the QS's causal nonseparability under the assumption that causal nonseparability is seen as pointing towards novel objective features of nature.It was first defended that a scientific realist approach towards the process matrix formalism, which is an operational theory generalising quantum mechanics, was as much legitimate as any possible antirealist reading, contrary to certain views found in the literature. The reason is that operational formalisms are ontologically and epistemically neutral.From there, the theoretical concepts of interest, namely causal nonseparability and its model-independent counterpart called noncausality, were analysed in more details, in order to highlight in what sense they are distinct from the standard notions of quantum nonseparability and nonlocality in quantum mechanics.The discussion then focused on noncausality. It was argued that noncausality has a strong connection with a notion of temporal nonlocality. In the same way that Bell nonlocality is given different underlying explanations depending on the details of the chosen quantum mechanics' account, noncausality pointing towards temporal nonlocality can be given a variety of underlying descriptions depending on the exact way to interpret the process matrix formalism.The last chapter focused precisely on this particular point, namely on the various ways to understand process matrices and causal nonseparability in a realist context. In order to explore the potential impact of causal nonseparability on spacetime,we shifted from the notion of (indefinite) causal structure to (indefinite) spatiotemporal ones. This shift was allowed under a set of reasonable assumptions regarding the properties of a physical spacetime manifold and the connection between an operational and relativistic notions of causal relations.While different readings were suggested for indefiniteness of spatiotemporal relations, we insisted in particular on an objective understanding appealing to the concept of metaphysical indeterminacy. It was argued that such an approach could prove useful in a more general theoretical context such as quantum gravity, while being already partly supported in standard quantum mechanics.