Complex information-processing systems, for example, quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic information-processing systems. A modular analysis of such systems requires a mathematical model of systems that is closed under composition, i.e., a network of these objects is again an object of the same type. We propose such a model and call the corresponding systems causal boxes. Causal boxes capture superpositions of causal structures, e.g., messages sent by a causal box A can be in a superposition of different orders or in a superposition of being sent to box B and box C. Furthermore, causal boxes can model systems whose behavior depends on time. By instantiating the abstract cryptography framework with causal boxes, we obtain the first composable security framework that can handle arbitrary quantum protocols and relativistic protocols.
Complex information-processing systems, for example, quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic information-processing systems. A modular analysis of such systems requires a mathematical model of systems that is closed under composition, i.e., a network of these objects is again an object of the same type. We propose such a model and call the corresponding systems causal boxes. Causal boxes capture superpositions of causal structures, e.g., messages sent by a causal box A can be in a superposition of different orders or in a superposition of being sent to box B and box C. Furthermore, causal boxes can model systems whose behavior depends on time. By instantiating the abstract cryptography framework with causal boxes, we obtain the first composable security framework that can handle arbitrary quantum protocols and relativistic protocols.
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.
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.
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.
We study the cryptographic primitive Oblivious Transfer; a composable construction of this resource would allow arbitrary multi-party computation to be carried out in a secure way, i.e. to compute functions in a distributed way while keeping inputs from different parties private. First we review a framework that allows us to analyze composability of classical and quantum cryptographic protocols in special relativity: Abstract Cryptography implemented with Causal Boxes. We then (1) explore and formalize different versions of oblivious transfer found in the literature, (2) prove that their equivalence holds also in relativistic quantum settings, (3) show that it is impossible to composably construct any of these versions of oblivious transfer from only classical or quantum communication among distrusting agents in relativistic settings, (4) prove that the impossibility also extends to multi-party computation, and (5) provide a mutual construction between oblivious transfer and bit commitment.
Quantum theory challenges classical causal explanations for physical phenomena, calling for a quantum generalisation of causal structure. This thesis advances the study of causal decompositions, a research programme that aims to bridge two prominent, yet conceptually distinct types of structural assumption found across the quantum causality literature. The first is in terms of the global dependency relations between input and output systems of quantum transformations, which in the unitary case we shall refer to as causal structure; the second is in terms of the compositional structure of quantum circuits or networks. Concretely, a causal decomposition is a circuit representation of a unitary transformation in which no-influence relations that hold between its inputs and outputs are made manifest in the absence of paths through the circuit connecting them. Applications include translating between different quantum causal modelling frameworks; equipping a framework based on unitary causal structure with a local, bottom-up description via generalised autonomous causal mechanisms; and relating notions of compatibility between quantum transformations and relativistic causality. Whether causal decompositions always exist remains an open problem. The contributions of this thesis are threefold. First, we develop an order-theoretic account of circuit syntax and demonstrate that every circuit with a given input-output connectivity can be rewritten into a one of a canonical form given by the concept lattice construction from lattice theory. This systematises the search for causal decompositions by providing the shape of the quantum circuit one should look for. Second, we establish a combinatorial condition that fully characterises when causal decompositions into unitary quantum circuits exist without requiring the generalisation to routed quantum circuits prompted by earlier research. This solves a well-defined subproblem of the broader quest, and our proof, an interplay of order theory and operator algebra, lays a foundation for future extensions. Third, we detail the application to relativistic causality. Within a multipartite framework generalising existing literature, we emphasise that the mere lack of superluminal signalling through a quantum channel is not sufficient to conclude its realisability by dynamics that are locally consistent with relativity theory. We conjecture that, on the other hand, a lack of superluminal causal influences through its unitary dilations is sufficient—at least up to arbitrarily small errors. We demonstrate this in various special cases and show that the general statement reduces to the existence of a weak version of causal decompositions.
We present a general framework for representing cryptographic protocols and analyzing their security. The framework allows specifying the security requirements of practically any cryptographic task in a unified and systematic way. Furthermore, in this framework the security of protocols is preserved under a general protocol composition operation, called universal composition. The proposed framework with its security-preserving composition operation allows for modular design and analysis of complex cryptographic protocols from relatively simple building blocks. Moreover, within this framework, protocols are guaranteed to maintain their security in any context, even in the presence of an unbounded number of arbitrary protocol instances that run concurrently in an adversarially controlled manner. This is a useful guarantee, that allows arguing about the security of cryptographic protocols in complex and unpredictable environments such as modern communication networks.