Abstract

The causal structure of a unitary transformation is the set of relations of possible influence between any input subsystem and any output subsystem. We study whether such causal structure can be understood in terms of compositional structure of the unitary. Given a quantum circuit with no path from input systemAto output systemB, systemAcannot influence systemB. Conversely, given a unitaryUwith a no-influence relation from inputAto outputB, it follows from [B. Schumacher and M. D. Westmoreland, Quantum Information Processing 4 no. 1, (Feb, 2005)] that there exists a circuit decomposition ofUwith no path fromAtoB. However, as we argue, there are unitaries for which there does not exist a circuit decomposition that makes all causal constraints evidentsimultaneously. To address this, we introduce a new formalism of `extended circuit diagrams', which goes beyond what is expressible with quantum circuits, with the core new feature being the ability to represent direct sum structures in addition to sequential and tensor product composition. Acausally faithfulextended circuit decomposition, representing a unitaryU, is then one for which there is a path from an inputAto an outputBif and only if there actually is influence fromAtoBinU. We derive causally faithful extended circuit decompositions for a large class of unitaries, where in each case, the decomposition is implied by the unitary's respective causal structure. We hypothesize that every finite-dimensional unitary transformation has a causally faithful extended circuit decomposition.

Highlights

  • Understanding causal structure in quantum theory is important to the foundations of quantum theory, as well as to applications in the field of quantum information science

  • Each of the examples discussed so far has the feature that if the assumed causal constraints are the only ones that the respective unitary transformation satisfies, the causal structure of the unitary transformation is made explicit in a circuit diagram, such that in the diagram, there is a path from a given input to a given output if and only if that input has a causal influence on that output

  • Given an extended circuit diagram representing a unitary U : HA1 ⊗ ... ⊗ HAn → HB1 ⊗ ... ⊗ HBk, let the diagram be causally faithful if the following holds: there is no path in the diagram from Ai to Bj if and only if Ai Bj in U

Read more

Summary

Introduction

Understanding causal structure in quantum theory is important to the foundations of quantum theory, as well as to applications in the field of quantum information science. Circuit diagrams built from sequential and tensor product composition of unitary transformations do not suffice to understand causal structure. Referring to a unitary transformation with n input and k output subsystems as being of type (n, k), we provide causally faithful extended circuit decompositions for all unitaries of type (n, k) with n ≤ 3, all of type (n, k) with k ≤ 3, and for a range of type (4, 4) cases. That a unitary can have, and the application of the results to broken unitary circuits (or unitary combs)

Causal structure of unitary transformations
Decompositions using circuit diagrams
B2 B3 V
Decomposition of a unitary beyond circuit diagrams
B2 B3 T i Vi i i
Extending circuit diagrams
Results on decompositions of unitaries
A2 A3 B1 B2 B3
W jk i i jj
A2 A3 A4 Figure 39
B2 B3 B4 STVW
Further discussion
The permissible causal structures
Extended circuit decompositions of higher-order maps
Conclusion
Proof of Lemma 2
Proof of Theorem 5
Proof of Theorem 6
Proof of Theorem 7
Proof of Lemma 3
Proof of Theorem 8
Proof of Theorem 9
Proof Theorem 10
Proof Theorem 11
A.10 Soundness of extended circuit diagrams for causal structure
A.10.1 Soundness – an example
A3 A4 A5 A6
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call