Causality is one of the most fundamental notions in physics. Generalized probabilistic theories (GPTs) and the process matrix framework incorporate it in different forms. However, a direct connection between these frameworks remains unexplored. By demonstrating the duality between no-signaling principle and classical processes in tripartite classical systems, and extending some results to multipartite systems, we first establish a strong link between these two frameworks, which are two sides of the same coin. This provides an axiomatic approach to describe the measurement space within both box world and local theories. Furthermore, we describe a logically consistent 4-partite classical process acting as an extension of the quantum switch. By incorporating more than two control states, it allows both parallel and serial application of operations. We also provide a device-independent certification of its quantum variant in the form of an inequality.
Causality is one of the most fundamental notions in physics. Generalized probabilistic theories (GPTs) and the process matrix framework incorporate it in different forms. However, a direct connection between these frameworks remains unexplored. By demonstrating the duality between no-signaling principle and classical processes in tripartite classical systems, and extending some results to multipartite systems, we first establish a strong link between these two frameworks, which are two sides of the same coin. This provides an axiomatic approach to describe the measurement space within both box world and local theories. Furthermore, we describe a logically consistent 4-partite classical process acting as an extension of the quantum switch. By incorporating more than two control states, it allows both parallel and serial application of operations. We also provide a device-independent certification of its quantum variant in the form of an inequality.
Generalized probabilistic theories (GPTs) provide a framework in which a range of possible theories can be examined, including classical theory, quantum theory, and those beyond. In general, enlarging the state space of a GPT leads to fewer possible measurements because the additional states give stronger constraints on the set of effects, the constituents of measurements. This can have implications for information processing. In box world, for example, a GPT in which any no-signaling distribution can be realized, there is no analog of a measurement in the Bell basis and hence the analog of entanglement swapping is impossible. A comprehensive study of measurements on multiple systems in box world has been lacking. Here we consider such measurements in detail, distinguishing those that can be performed by interacting with individual systems sequentially (termed wirings), and the more interesting set of those that cannot. We compute all the possible box-world effects for cases with small numbers of inputs, outputs, and parties, identifying those that are wirings. The large state space of box world leads to a small effect space and hence the effects of box world are widely applicable in GPTs. We also show some possible uses of nonwirings for information processing by studying state discrimination, nonlocality distillation, and the box-world analog of nonlocality without entanglement. Finally, we connect our results to the study of logically consistent classical processes and to the composition of contextuality scenarios. By enhancing understanding of measurements in box world, our results could be useful in studies of possible underlying principles on which quantum theory can be based.
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.
Quantum states over time were introduced, in part, to extend Bayesian probability to quantum theory and have since found applications across diverse areas, ranging from quantum causality and open-system dynamics to tests of macroscopic realism. While axiomatic characterizations of these states exist for Markovian dynamics, a general framework accommodating non-Markovian dynamics is still lacking. Moreover, extending this framework beyond quantum mechanics to general physical theories also remains elusive. In this work, we develop an axiomatic framework for multi-time states within a class of operational probabilistic theories (OPTs) that includes quantum mechanics as a special case. Based on three assumptions---compositionality, reconstructibility, and spatio-temporal marginal consistency---the framework accommodates both Markovian and non-Markovian dynamics, and provides sufficient conditions to certify signaling and temporal memory within OPT. As a concrete application of our OPT framework, we fully characterize the unique multi-time state in boxworld and develop a method for Bayesian retrodiction of physical transformations there. Our general framework is consistent with quantum theory, reproducing several existing results. In the non-Markovian quantum dynamics, we establish a correspondence between multi-time states and the process-matrix framework, and fully characterize the multi-time states compatible with general dynamics. This correspondence also lets us infer quantum causal models from multi-time states, and as a proof of principle, we propose a semidefinite program to infer causal order from quantum multi-time states. These results provide a unified framework for studying spatio-temporal states, causal relations, and Bayesian reasoning within OPTs, with implications for both fundamental and applied research.
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.
While the standard formulation of quantum theory assumes a fixed background causal structure, one can relax this assumption within the so-called process matrix framework. Remarkably, some processes, termed causally nonseparable, are incompatible with a definite causal order. We explore a form of certification of causal nonseparability in a semi-device-independent scenario where the involved parties receive trusted quantum inputs, but whose operations are otherwise uncharacterized. Defining the notion of causally nonseparable distributed measurements, we show that certain causally nonseparable processes that cannot violate any causal inequality, including the canonical example of the quantum switch, can generate noncausal correlations in such a scenario. Moreover, by imposing some further natural structure to the untrusted operations, we show that all bipartite causally nonseparable process matrices can be certified with trusted quantum inputs.
Indefinite causal order extends the conventional circuit paradigm by allowing local quantum operations to be connected without a predetermined global order. Within the process-matrix framework, it is characterized by causal nonseparability, whereas extensible causal separability (ECS) requires that, under arbitrary input-ancilla extensions, a process admit a recursive decomposition into components, each compatible with a particular operation acting first. Quantum circuits with classical control of causal order (QC-CC), in which previous outcomes dynamically determine which operation acts next, are known to generate ECS processes, but whether every ECS process admits such a realization has remained a longstanding open problem. We settle it through a generalized teleportation construction that realizes every multipartite ECS process as a QC-CC. We further establish consistency between ECS definitions for trivial and nontrivial global past and future systems. These results provide ECS with an exact operational interpretation and identify QC-CC as the complete circuit structure underlying this class of processes.