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.
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.
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".
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.
In quantum causality and quantum information, there is a vast landscape of abstract quantum protocols permitting cyclic or non-acyclic causal structures between operations, including frameworks for indefinite causal order and higher-order quantum processes such as process matrices. A longstanding open question is what is the largest class of abstract processes that admit physical realisations without post-selection. In this work, we provide a rigorous answer using a top-down approach grounded in relativistic causality principles. Building on the framework of causal boxes, which characterise the most general quantum information-processing protocols compatible with fixed background spacetimes, we formalise additional constraints (Acting Once + Local Order) capturing the closed-laboratory assumptions of the process matrix framework at a fine-grained spacetime level. We prove that any protocol in a classical acyclic spacetime satisfying these conditions is behaviourally equivalent to a quantum circuit with quantum control of causal order (QC-QC), providing a top-down derivation of QC-QCs from physical principles. Our results show that QC-QCs constitute precisely the class of higher-order quantum processes, including those with indefinite order, that can be physically realised within classical spacetime, ruling out more general non-causal processes under the closed-labs assumption. This clarifies the relationship between abstract higher-order process matrix frameworks and experimentally accessible quantum protocols, as well as the interplay between coarse-grained cyclic and fine-grained acyclic operational causal structures. We also develop characterisation techniques for process box protocols that lead to new causality-based open questions concerning spacetime quantum protocols and relativistic quantum experiments.
Can quantum computation become more powerful when operations do not need to follow a definite causal order? We study this question in the process matrix formalism of Oreshkov et al. (Nature Communications, 2012), which allows quantum operations to be connected without a fixed global order. In the computational model, a quantum circuit succinctly describes a process matrix, and the algorithm is given access to its generated channel, with computational cost measured by the size of the generating circuit.
We give polynomial-time algorithms in two settings. First, general process matrix computation suffices to solve every problem in NP. The valid processes used by our algorithm satisfy the purification postulate of Araújo et al. (Quantum, 2017), and their generated channels are unitary, although their generating circuits are not. Second, requiring the process matrices themselves to be pure, we give a polynomial-time algorithm for unique-sink orientation, a general problem capturing several longstanding computational problems in optimization. Our unitary generators are constructed explicitly and efficiently. Assuming that unique-sink orientation has no quantum polynomial-time algorithm, our result shows that indefinite causal order can provide computational power beyond BQP within the process matrix formalism, even while preserving unitarity.
Process matrices are a framework to model causal relations in the absence of a well-defined acyclic causal order. The framework is very general and does not even assume the existence of a background spacetime. As a result, it is an open question how the framework should be interpreted physically and how and even if composition can be defined. On the other hand, so-called causal boxes define a framework that allows for arbitrary composition. In this work, we treat quantum circuits with quantum control of causal order (QC-QC), a subset of process matrices, which can be interpreted as generalized quantum circuits, and process box, a subset of causal boxes, which can be interpreted as processes. We analyze their state spaces and define a notion of operational equivalence between QC-QCs and process boxes based on this analysis. We then explicitly construct for each QC-QC an operationally equivalent process box. This allows us to define composition of QC-QCs in terms of composition of causal boxes which is well-defined. We further show that process boxes admit a unitary extension and conjecture that the background spacetime can be assumed to have a specific simple form. Based on this conjecture, we construct an operationally equivalent QC-QC for each process box. Our results indicate that the only class of processes that can be physically implemented in a fixed background spacetime are those that can be interpreted as quantum circuits with quantum controlled superpositions of orders. Further, they also reveal that the composability issue can be resolved by embedding processes in a spacetime structure. This in turn sheds light on the connection between physical realizability in a spacetime and composability.
Quantum processes with indefinite causal order -- so-called causally nonseparable processes -- can exhibit various advantages over quantum circuits with a fixed or a well-defined causal structure. A natural question is how much nonclassicality is required for a process to display causal nonseparability. Here we address this by investigating how many systems can be dephased (or decohered) before this property vanishes. First, for bipartite processes with open past and future we show that if all systems are dephased, or if only the future system is kept undephased, then the process becomes causally separable. However, if any single system other than the future system remains undephased, then there exist processes that retain causal nonseparability. Next, we demonstrate a similar behaviour in the multipartite case, when restricted to the physically motivated class of quantum circuits with quantum control (QC-QCs). Namely, dephasing all systems or keeping only the future system undephased renders any QC-QC causally separable; while causal nonseparability can persist if any non-future system is left undephased.