Consistent circuits for indefinite causal order

Abstract

Over the past decade, a number of quantum processes have been proposed which are logically consistent, yet feature a cyclic causal structure. However, there is no general formal method to construct a process with an exotic causal structure in a way that ensures, and makes clear why, it is consistent. Here we provide such a method, given by an extended circuit formalism. This only requires directed graphs endowed with Boolean matrices, which encode basic constraints on operations. Our framework (a) defines a set of elementary rules for checking the validity of any such graph, (b) provides a way of constructing consistent processes as a circuit from valid graphs, and (c) yields an intuitive interpretation of the causal relations within a process and an explanation of why they do not lead to inconsistencies. We display how several standard examples of exotic processes, including ones that violate causal inequalities, are among the class of processes that can be generated in this way; we conjecture that this class in fact includes all unitarily extendible processes.

46 pages + appendices, 29 figures

References in corpus (22)

• Quantum correlations with no causal order
• Quantum computations without definite causal structure
• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• Transforming quantum operations: quantum supermaps
• Quantum Shannon theory with superpositions of trajectories
• The simplest causal inequalities and their violation
• Quantum computation with programmable connections between gates
• Time-delocalized quantum subsystems and operations: on the existence of processes with indefinite causal structure in quantum mechanics
• Maximal incompatibility of locally classical behavior and global causal order in multi-party scenarios
• Quantum circuits with classical versus quantum control of causal order
• A purification postulate for quantum mechanics with indefinite causal order
• Cyclic Quantum Causal Models
• The space of logically consistent classical processes without causal order
• Quantum computation with indefinite causal structures
• Bounding quantum correlations with indefinite causal order
• Causal structure in the presence of sectorial constraints, with application to the quantum switch
• Consequences of preserving reversibility in quantum superchannels
• Routed quantum circuits
• Causal and compositional structure of unitary transformations
• Admissible Causal Structures and Correlations
• Equivalence of Grandfather and Information Antinomy Under Intervention
• Tsirelson bounds for quantum correlations with indefinite causal order

Cited by in corpus (1)

• Mapping indefinite causal order processes to composable quantum protocols in a spacetime