Higher-order maps account for the most general transformations in quantum mechanics—they transform input quantum maps to output quantum maps. In this thesis, I focus on the application of such higher-order maps representing two important processes: (1) a particular type of non-Markovian quantum dynamics, and (2) indefinite causal order. First, I will introduce our work on the non-Markovian evolution of quantum states. Such a situation occurs when the past system-environment interaction leads the environment to memorize the information about the system. The measure of the non-Markovianity is given by the temporal correlation among the operations on the system. One way to estimate such correlation is to employ a full tomography of the process matrix, which is computationally intractable. Instead, we utilize machine learning algorithms without using tomographically complete measurement, to estimate the measure of non-Markovianity. We apply our model to a dataset obtained from an optical experiment and show that we are able to predict the measure of non-Markovianity with 90% accuracy. I then introduce various aspects of indefinite causal order. Ordinary experience points only to a definite causal structure, but quantum mechanics admits a more general causal structure that allows for the superposition of different causal orders. That means that the statements, is in the causal past of event B, and B is in the causal past of event A can both be true. The quantum switch can physically realise such an indefinite causal structure where a control quantum system controls the order of operations acting on a target quantum system. Superposition in the control leads to the superposition of the order. We experimentally realise a quantum switch with the control qubit being the polarisation of light and the target qubit being the transverse spatial mode of light. We first verify our quantum switch by measuring a `causal witness'. We then demonstrate an advantage of the quantum switch for classical communication. Finally, I present our work on classical communication through the most general quantum causal structures, represented by the process matrix. We formulate different classical capacities of a bi-partite process matrix. We also study one-way and bidirectional communication protocols through such a process and establish the relevant communication bounds. These enable further analyses of higher-order maps that take advantage of the full suite of processes that quantum mechanics allows.
Higher-order maps account for the most general transformations in quantum mechanics—they transform input quantum maps to output quantum maps. In this thesis, I focus on the application of such higher-order maps representing two important processes: (1) a particular type of non-Markovian quantum dynamics, and (2) indefinite causal order. First, I will introduce our work on the non-Markovian evolution of quantum states. Such a situation occurs when the past system-environment interaction leads the environment to memorize the information about the system. The measure of the non-Markovianity is given by the temporal correlation among the operations on the system. One way to estimate such correlation is to employ a full tomography of the process matrix, which is computationally intractable. Instead, we utilize machine learning algorithms without using tomographically complete measurement, to estimate the measure of non-Markovianity. We apply our model to a dataset obtained from an optical experiment and show that we are able to predict the measure of non-Markovianity with 90% accuracy. I then introduce various aspects of indefinite causal order. Ordinary experience points only to a definite causal structure, but quantum mechanics admits a more general causal structure that allows for the superposition of different causal orders. That means that the statements, is in the causal past of event B, and B is in the causal past of event A can both be true. The quantum switch can physically realise such an indefinite causal structure where a control quantum system controls the order of operations acting on a target quantum system. Superposition in the control leads to the superposition of the order. We experimentally realise a quantum switch with the control qubit being the polarisation of light and the target qubit being the transverse spatial mode of light. We first verify our quantum switch by measuring a `causal witness'. We then demonstrate an advantage of the quantum switch for classical communication. Finally, I present our work on classical communication through the most general quantum causal structures, represented by the process matrix. We formulate different classical capacities of a bi-partite process matrix. We also study one-way and bidirectional communication protocols through such a process and establish the relevant communication bounds. These enable further analyses of higher-order maps that take advantage of the full suite of processes that quantum mechanics allows.
The field of indefinite causal order (ICO) has seen a recent surge in interest. Much of this research has focused on the quantum switch, wherein multiple parties act in a superposition of different orders in a manner transcending the quantum circuit model. This results in a new resource for quantum protocols, and is exciting for its relation to issues in foundational physics. The quantum switch is also an example of a higher-order quantum operation, in that it transforms not only quantum states but also other quantum operations. To date, no quantum process without a definite causal order has been completely experimentally characterized. Indeed, past work on the quantum switch has confirmed its ICO by measuring causal witnesses or demonstrating resource advantages, but the complete process matrix has been described only theoretically. Here we report our performing higher-order quantum process tomography. However, doing so requires exponentially many measurements with a scaling worse than that of standard process tomography. We overcome this challenge by creating a new fiber-based quantum switch using active optical elements to deterministically generate and manipulate time-bin encoded qubits. Moreover, our new architecture for the quantum switch can be readily scaled to multiple parties. By reconstructing the process matrix, we estimate its fidelity and tailor different causal witnesses directly for our experiment. To achieve this, we measure a set of tomographically complete settings, which also spans the input operation space. Our tomography protocol allows the characterization and debugging of higher-order quantum operations with and without an ICO, while our experimental time-bin techniques could enable the creation of a new realm of higher-order quantum operations with an ICO. Published by the American Physical Society 2024
Quantum compositions of channels can grant advantages over classical compositions in quantum information processing or thermodynamical tasks. One of such quantum composition is one with indefinite causal order, where multiple quantum channels are placed in a superposition of different causal or operation orders. The advantages of indefinite causal order were demonstrated in an experimentally realizable setup known as the quantum switch and were often attributed to this new quantum resource of indefinite causality, but some doubts and disagreements still remains as compositions without indefinite causal order can achieve the same advantages. In this work, we proposed that the quantum switch's uniqueness lies in its ability to exhibit coherent non-Markovianity, where memory effects acts across different paths of superposition. We showed that the quantum switch violates completely positive or CP-divisibility and thus has intrinsic non-Markovianity in its evolution, which allows for non-Markovian backflow of information from the environment. This backflow of information can then play a role in the many advantages seen in the quantum switch, and by extending the quantum switch operation such that the non-Markovianity is controllable, we showed that these advantages depend on the presence and amount of non-Markovianity, achieving the quantum switch case when the system is fully non-Markovian. Particularly, we demonstrated this for the quantum switch's advantages in communication capacities, work extraction via daemonic ergotropy, and refrigeration via heat extraction. Other quantum compositions that are often compared to indefinite causal order, such as the superposition of independent channels and superposition of trajectories, are also captured by this extended construction of the quantum switch, and we showed that their difference with the quantum switch lies in the presence or absence of non-Markovianity. Our work suggests that non-Markovianity is an important recipe for the quantum switch or indefinite causal order, and is a nonnegligible factor for its advantages.
Processes with indefinite causal orders (ICOs), such as the quantum switch, are higher-order quantum processes that superpose the order in which quantum operations are performed. Such coherent control yields computational advantages but is not faithfully captured by existing quantum programming languages: either they are restricted to the unitary case, and thus cannot combine ICOs with measurement, or they treat coherent control nonlinearly. In both cases, they do not realize the full computational power of ICOs. We introduce a higher-order quantum functional language that supports general quantum computation, not merely the permutation of channels, and whose linear type system allows quantum control to be well-defined beyond the unitary case, on arbitrary quantum channels. We equip this language with a small-step operational semantics that synchronizes measurement outcomes across superposed branches, using device references and a memory function. We also give a denotational semantics by means of completely positive maps. With linearity as the only constraint, some well-typed terms would denote unphysical maps. We therefore impose a typing discipline that goes beyond linearity, and interpret programs in the causal category Caus[CPM], under which every well-typed program is physically meaningful, a property that can be checked statically and efficiently. We prove soundness, and study the language's expressive power: it can express every quantum channel at first order, and at second order a large subclass of the so-called quantum circuits with quantum control (QC-QCs), containing the quantum switch. Last but not least, we show that this language is well-designed enough to be extended to the nonlinear setting with recursion.
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.
Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure includes basic quantum elements such as states, measurements, channels, instruments, non-signalling channels and channels with memory, and also higher-order operations such as superchannels, quantum combs, n-time processes, testers, and process matrices which may not respect a definite causal order. Deducing and characterising their structural properties in terms of linear and semidefinite constraints is not only of foundational relevance, but plays an important role in enabling the numerical optimisation over sets of quantum objects and allowing simpler connections between different concepts and objects. Here, we provide a general framework to deduce these properties in a direct and easy to use way. While primarily guided by practical quantum mechanical considerations, we also extend our analysis to mappings between general linear/affine spaces and derive their properties, opening the possibility for analysing sets which are not explicitly forbidden by quantum theory, but are still not much explored. Together, these results yield versatile and readily applicable tools for all tasks that require the characterisation of linear transformations, in quantum mechanics and beyond. As an application of our methods, we discuss how the existence of indefinite causality naturally emerges in higher-order quantum transformations and provide a simple strategy for the characterisation of mappings that have to preserve properties in a 'complete' sense, i.e., when acting non-trivially only on parts of an input space.
Indefinite causal order extends quantum information processing beyond fixed causal structures, with the quantum SWITCH serving as its canonical realization. By coherently superposing different orders of quantum channels, the quantum SWITCH has been shown to provide operational advantages in communication, computation, metrology, and related tasks. Despite these advances, the physical resources responsible for these advantages remains unclear. Recent studies have further revealed that the quantum SWITCH can generate memory effects, manifested as non-Markovian information backflow. In this work, we examine the origin of such memory and determine whether they reflect genuine (quantum) non-Markovianity or instead arises from classical origin. To this end, we analyze two representative scenarios: one based on discrete-time evolution and another formulated through dynamical maps in open quantum systems. We show that the memory effects generated by the quantum SWITCH are not genuinely quantum non-Markovian, thereby prompting a re-examination of the source of quantum advantage in indefinite causal order frameworks.