We propose a bipartite quantum key distribution (QKD) protocol based on causal nonseparability: the presence of a resource -- a process matrix -- that does not correspond to any definite causal order between two parties. In our protocol, Alice and Bob perform local operations arranged in a ``causal-order guessing game,'' whereby each round yields an 85.35\% probability of matching bits when the communication is undisturbed. This raw matching probability (or equivalently, a $\sim14.65\%$ error rate) is amenable to standard forward error-correction strategies. We further discuss the practical construction of the QKD protocol using indefinite causal order, where several different scenarios are deeply analyzed.
We propose a bipartite quantum key distribution (QKD) protocol based on causal nonseparability: the presence of a resource -- a process matrix -- that does not correspond to any definite causal order between two parties. In our protocol, Alice and Bob perform local operations arranged in a ``causal-order guessing game,'' whereby each round yields an 85.35% probability of matching bits when the communication is undisturbed. This raw matching probability (or equivalently, a ∼14.65% error rate) is amenable to standard forward error-correction strategies. We further discuss the practical construction of the QKD protocol using indefinite causal order, where several different scenarios are deeply analyzed.
Abstract We propose a quantum key distribution (QKD) protocol that is carried out in an indefinite causal order (ICO). In QKD, one considers a setup in which two parties, Alice and Bob, share a key with one another in such a way that they can detect whether an eavesdropper, Eve, has learnt anything about the key. To our knowledge, in all QKD protocols proposed until now, Eve is detected by publicly comparing a subset of Alice and Bob’s key and checking for errors. We find that a consequence of our protocol is that it is possible to detect eavesdroppers without publicly comparing any information about the key. Indeed, we prove that it is not possible for eavesdroppers, performing any individual attack, to extract useful information about the shared key without inducing a nonzero probability of being detected. We also prove the security of this protocol against a class of individual eavesdropping attacks. The role ICO plays in causing unusual phenomena in quantum technologies is an important question. By considering it we find a two-way QKD protocol that exhibits a similar private detection feature, albeit with some interesting differences. After noting some implications of these differences and discussing some of the practicalities of our protocol, we conclude that this work is best considered as a first step in applying quantum cryptographic ideas in an ICO.
In quantum physics, the order in which different operations occur can be placed in superposition. The resulting processes have an indefinite causal order, which is of fundamental interest and can be viewed as a novel quantum resource enabling new protocols. Here, we report an experimental proof-of-principle implementation of one such protocol, where we perform BB84-like quantum cryptography by placing \AB's measurement-and-preparation operations in a photonic quantum SWITCH. By embedding \AB\ within the quantum SWITCH, the protocol achieves an average eavesdropper detection probability of 0.15±0.02 per shared qubit, with eavesdropper detection performed through measurements of the control qubit rather than comparing the key. Unlike standard BB84 and related schemes, which detect eavesdropping by publicly revealing and discarding a fraction of the raw key, our approach requires no disclosure of key material: every retained qubit can, in principle, be tested for eavesdropping while remaining available for key generation. Although the present implementation does not yet constitute a secure quantum key distribution protocol, owing to post-selection required for measurements within the quantum SWITCH, it provides a proof of principle that indefinite causal order can be exploited to detect eavesdropping without sacrificing key bits.
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.
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.
Quantum mechanics allows operations to be in indefinite causal order, leading to advantages in computational and communication tasks. However, basic notions such as communication capacity have not yet been formalized. In light of this, through the process matrix formalism, we formulate different classical capacities for a bipartite quantum process. For one-way communication, we find that general quantum processes satisfy a generalization of the Holevo bound, i.e., we can send, at most, one bit per qubit. The result also holds for processes with indefinite causal order and with shared entanglement between the sender and the receiver. We further extend known bounds to classical channel capacities, showing that general processes cannot outperform causally separable ones. Next, we study bidirectional communication through a causally separable process. Our result shows that a bidirectional protocol cannot exceed the limit of a one-way communication protocol. Finally, we generalize this result to a multiparty broadcast communication protocol through a definite ordered process.
Recent studies suggest that physical theories can exhibit indefinite causal structures, where the causal order of events is fundamentally undefined yet logically consistent. Beyond its foundational appeal, causal indefiniteness has also emerged as a novel information-theoretic resource, offering advantages in various information processing tasks. Here, we investigate its utility in the classical Data Retrieval (DR) task. In its simplest version, a referee encodes classical messages into bipartite quantum states and distributes the local parts to two distant parties, ensuring that neither can independently extract any information about the encoded message. To retrieve their assigned data, parties must collaborate, and we show that those embedded in an indefinite causal structure generally outperform those operating within a definite causal framework. For the bipartite case, we establish a duality between the DR task and the well known Guess Your Neighbour's Input game and derive a criterion analogous to the Peres-Horodecki separability test to identify quantum processes that yield nontrivial success in the DR task. We also report an intriguing super-activation phenomenon, where two quantum processes, each individually inefficient for the DR task, become useful when combined. Extending the analysis to tripartite case, we show that classical causally inseparable processes can outperform quantum bi-causal processes in the DR task. Our study, thus, reveals several unexplored aspects of causal indefiniteness, inviting deeper investigation.