We show a method of describing processes with indefinite causal order (ICO) by a definite causal order. We do so by relabeling the processes that take place in the circuit in accordance with the basis of measurement of control qubit. Causal nonseparability is alleviated at a cost of nonlocality of the acting processes. This result highlights the key role of superposition in creating the paradox of ICO. We also draw attention to the issue of growing incompatibility of language in its current form (especially the logical structures it embodies) with the quantum logic.
We show a method of describing processes with indefinite causal order (ICO) by a definite causal order. We do so by relabeling the processes that take place in the circuit in accordance with the basis of measurement of control qubit. Causal nonseparability is alleviated at a cost of nonlocality of the acting processes. This result highlights the key role of superposition in creating the paradox of ICO. We also draw attention to the issue of growing incompatibility of language in its current form (especially the logical structures it embodies) with the quantum logic.
Investigating the role of causal order in quantum mechanics has recently revealed that the causal relations of events may not be a priori well defined in quantum theory. Although this has triggered a growing interest on the theoretical side, creating processes without a causal order is an experimental task. We report the first decisive demonstration of a process with an indefinite causal order. To do this, we quantify how incompatible our setup is with a definite causal order by measuring a "causal witness." This mathematical object incorporates a series of measurements that are designed to yield a certain outcome only if the process under examination is not consistent with any well-defined causal order. In our experiment, we perform a measurement in a superposition of causal orders-without destroying the coherence-to acquire information both inside and outside of a "causally nonordered process." Using this information, we experimentally determine a causal witness, demonstrating by almost 7 SDs that the experimentally implemented process does not have a definite causal order.
Indefinite causal order (ICO) has been studied via higher-order quantum processes (e.g.\ the quantum switch), process matrices, and quantum-gravity proposals involving superposed causal structure, yet the meaning of ``indefiniteness'' and its relation to definite-order explanations often remain opaque.
Part~I develops a category-theoretic formulation of definite-order explainability as a gluing problem: each definite causal ordering (a partial order/DAG type) is treated as a context, and causal separability amounts to a consistent global section (possibly after convex mixing), whereas causal nonseparability is a failure-to-glue. We also introduce a compact seven-valued contextual classifier -- an intuitionistic elaboration -- that separates variation across contexts from genuine indeterminacy.
Part~II applies this framework to a quantum-gravity motivated setting where the fundamental time is a parametric ordering variable τ, distinct from geometric (spacetime) time. Adopting a stochastic-quantization perspective on spin-network dynamics (Hilbert space not assumed fundamental) and reading the Wheeler--DeWitt condition as an equilibrium/stationarity constraint, we interpret ICO as indeterminacy of the parametric order of coarse-grained relational interventions, even when the microscopic update process is globally ordered by τ. Together, the two parts provide a common language for comparing ICO criteria and for stating precisely what ``no hidden definite order'' means.
Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders.These may be the key resource for experimental violations of causal inequalities and have been recently identified as resources for concrete information-theoretic tasks.Here, we take a step forward by deriving a complete operational framework for causal nonseparability as a resource.Our first contribution is a formal definition for the specific notion of quantum control of causal orders, a stronger form of causal nonseparability-with the celebrated quantum switch as best-known example-where the causal orders of events for a target system are coherently controlled by a control system.We then build a resource theory-for both generic causal nonseparability as well as quantum control of causal orders-with a physically motivated class of free operations, based on process-matrix concatenations.We present the framework explicitly in the mindset with a control register.However, our machinery is totally versatile, being directly applicable also to scenarios with a target register alone.Moreover, an important subclass of our operations is free not only with respect to causal nonseparability and quantum control of causal orders but it also preserves the very causal structure of causal processes.Hence, our treatment contains, as a built-in feature, the basis of a resource theory of quantum causal networks too.As applications, first, we establish a simple sufficient condition for pure-process free convertibility.This imposes a hierarchy of quantum control of causal orders with the quantum switch at the top.Second, we prove that causal-nonseparability distillation exists.More precisely, we show how to convert multiple copies of a process with arbitrarily little causal nonseparability into fewer copies of a quantum switch.Our findings reveal conceptually new, unexpected phenomena, with both fundamental and practical implications.
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.
We address the superposition of causal orders in the quantum switch as a convenient framework for quantum process discrimination in the presence of noise in qubit systems, using Bayes strategy. We show that, for different kinds of qubit noises, the indefinite causal order between the unitary to be discriminated and noise gives enhancement compared to the definite causal order case without reaching the ultimate bound of discrimination in general. Whereas, for entanglement breaking channels, the enhancement is significant, where the quantum switch allows for the attainability of the ultimate bound for discrimination posed by quantum mechanics. Memory effects escorting the superposition of causal orders are discussed, where we point out that processes describing an indefinite causal order, violate the notion of Markov locality. Accordingly, a suggestion for the simulation of indefinite causal orders in more generic scenarios beyond the quantum switch is given.
Abstract Formalisms for higher order quantum processes provide a theoretical formalisation of quantum processes where the order of agents’ operations need not be definite and acyclic, but may be subject to quantum superpositions. This has led to the concept of indefinite causal structures (ICS) which have garnered much interest. However, the interface between these information-theoretic approaches and spatiotemporal notions of causality is less understood, and questions relating to the physical realisability of ICS in a spatiotemporal context persist despite progress in their information-theoretic characterisation. Further, previous work suggests that composition of processes is not so straightforward in ICS frameworks, which raises the question of how this connects with the observed composability of physical experiments in spacetime. To address these points, we compare the formalism of quantum circuits with quantum control of causal order (QC-QC), which models an interesting class of ICS processes, with that of causal boxes, which models composable quantum information protocols in spacetime. We incorporate the set-up assumptions of the QC-QC framework into the spatiotemporal perspective and show that every QC-QC can be mapped to a causal box that satisfies these set up assumptions and acts on a Fock space while reproducing the QC-QC’s behaviour in a relevant subspace defined by the assumptions. Using a recently introduced concept of fine-graining, we show that the causal box corresponds to a fine-graining of the QC-QC, which unravels the original ICS of the QC-QC into a set of quantum operations with a well-defined and acyclic causal order, compatible with the spacetime structure. Our results also clarify how the composability of physical experiments is recovered, while highlighting the essential role of relativistic causality and the Fock space structure.