Our common understanding of the physical world deeply relies on the notion that events are ordered with respect to some time parameter, with past events serving as causes for future ones. Nonetheless, it was recently found that it is possible to formulate quantum mechanics without any reference to a global time or causal structure. The resulting framework includes new kinds of quantum resources that allow performing tasks—in particular, the violation of causal inequalities —which are impossible for events ordered according to a global causal order. However, no physical implementation of such resources is known. Here we show that a recently demonstrated resource for quantum computation—the quantum switch —is a genuine example of ‘indefinite causal order’. We do this by introducing a new tool—the causal witness —which can detect the causal nonseparability of any quantum resource that is incompatible with a definite causal order. We show however that the quantum switch does not violate any causal inequality.
Our common understanding of the physical world deeply relies on the notion that events are ordered with respect to some time parameter, with past events serving as causes for future ones. Nonetheless, it was recently found that it is possible to formulate quantum mechanics without any reference to a global time or causal structure. The resulting framework includes new kinds of quantum resources that allow performing tasks—in particular, the violation of causal inequalities —which are impossible for events ordered according to a global causal order. However, no physical implementation of such resources is known. Here we show that a recently demonstrated resource for quantum computation—the quantum switch —is a genuine example of ‘indefinite causal order’. We do this by introducing a new tool—the causal witness —which can detect the causal nonseparability of any quantum resource that is incompatible with a definite causal order. We show however that the quantum switch does not violate any causal inequality.
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.
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.
The idea that events obey a definite causal order is deeply rooted in our understanding of the world and at the basis of the very notion of time. But where does causal order come from, and is it a necessary property of nature? Here, we address these questions from the standpoint of quantum mechanics in a new framework for multipartite correlations that does not assume a pre-defined global causal structure but only the validity of quantum mechanics locally. All known situations that respect causal order, including space-like and time-like separated experiments, are captured by this framework in a unified way. Surprisingly, we find correlations that cannot be understood in terms of definite causal order. These correlations violate a 'causal inequality' that is satisfied by all space-like and time-like correlations. We further show that in a classical limit causal order always arises, which suggests that space-time may emerge from a more fundamental structure in a quantum-to-classical transition. Causal order is a concept that is engrained in the standard understanding of time, both in classical and quantum mechanics. Oreshkovet al.generalize the standard formalism of quantum theory to a framework with no pre-existing causal order, and find a new class of correlations that have no analogue in the classical world.
Logical consistency with free local operations is compatible with nontrivial classical communications, where all parties can be both in each other’s past and future—a phenomenon known as noncausality. Noncausal processes, such as the “Lugano process,” violate causal inequalities, yet their physical realizability remains an open question. In contrast, the quantum switch—a physically realizable process with indefinite causal order—can only generate causal correlations. Building on a recently established correspondence [Kunjwal and Baumeler, ] between the SHIFT measurement, which exhibits nonlocality without entanglement, and the Lugano process, we demonstrate that the SHIFT measurement can be implemented using a quantum switch of classical communications in a scenario with quantum inputs. This shows that the structure of the Lugano process can be simulated by a quantum switch and that successful SHIFT discrimination witnesses causal nonseparability rather than noncausality. Finally, we identify a broad class of “superposition of classical communications” derived from classical processes without global past capable of realizing similar causally indefinite measurements. We examine these results in relation to the ongoing debate on implementations of indefinite causal orders.
The fundamental notion of fixed order between two events is challenged by formulations of quantum mechanics that makes no reference to a global time. The indefinite causal order arising from these formalisms can be realised using the quantum switch, a device where two operations can act in two different orders simultaneously. Similar to entanglement verification which employ entanglement witness, we verify indefinite causal order using a causal witness. In our experiment, we use polarisation as a control for the order of the operations that act on the spatial mode of a photon. We measure a causal witness value of -0.16±0.013, below the threshold of zero, thus demonstrating indefinite causal order in the quantum switch.
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.