A decompositional framework for process theories in spacetime

Abstract

There has been a recent surge of interest within the field of quantum foundations regarding incorporating ideas from general relativity and quantum gravity. However, many quantum information tools remain agnostic to the underlying spacetime. For instance, whenever we draw a quantum circuit the effective spacetime imposed by the connectivity of the physical qubits which will realize this circuit is not taken into account. In this work, we aim to address this limitation by extending the framework of process theories to include a background spacetime structure. We introduce the notion of process implementations, i.e., decompositions of a process. A process is then embeddable if and only if one of its implementations can be embedded in such a way that all the component processes are localized and all wires follow timelike paths. While conceptually simple, checking for embeddability is generally computationally intractable. We therefore work towards simplifying this problem as much as possible, identifying a canonical subset of implementations that determine both the embeddability of a process and the causal structures distinguishable at least in some process theory. Notably, we discover countably infinite ''zigzag'' causal structures beyond those typically considered. While these can be ignored in classical theory, they seem to be essential in quantum theory, as the quantum CNOT gate can be implemented by all zigzag structures but not in a standard causal structure, except in the trivial undecomposed way. These zigzags could be significant for quantum causal modeling and the study of novel quantum resources.

36+30 pages, single column, many figures and diagrams, v3 is accepted/published version, incorporating feedback from referees

References in corpus (24)

• Violations of local realism by two entangled quNits are stronger than for two qubits
• Probabilistic theories with purification
• Asymptotic teleportation scheme as a universal programmable quantum processor
• Theory-independent limits on correlations from generalised Bayesian networks
• Unconditionally Secure Bit Commitment by Transmitting Measurement Outcomes
• Disintegration and Bayesian Inversion via String Diagrams
• Position-Based Quantum Cryptography: Impossibility and Constructions
• Time-delocalized quantum subsystems and operations: on the existence of processes with indefinite causal structure in quantum mechanics
• Quantum Mechanical Realization of a Popescu-Rohrlich Box
• Causal categories: relativistically interacting processes
• Practical relativistic bit commitment
• Margins of discrete Bayesian networks
• Secure bit commitment from relativistic constraints
• Reconstructing quantum theory from diagrammatic postulates
• Categorical Probabilistic Theories
• Terminality implies non-signalling
• Determinism without causality
• Composable security in relativistic quantum cryptography
• Routed quantum circuits
• Causal and compositional structure of unitary transformations
• Universal Properties in Quantum Theory
• Deterministic Relativistic Quantum Bit Commitment
• Embedding cyclic information-theoretic structures in acyclic spacetimes: no-go results for indefinite causality
• Wiring diagrams as normal forms for computing in symmetric monoidal categories