Abstract:
Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite number of qub...Show MoreMetadata
Abstract:
Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite number of qubits. Meanwhile, delayed traces have been used as a graphical way to represent finite-memory computations on streams, in a classical setting (cartesian data types). We merge those two approaches and describe a general construction that extends any graphical language, equipped with a notion of discarding, to a graphical language of finite memory computations. In order to handle cases like the ZX-calculus, which is complete for post-selected quantum mechanics, we extend the delayed trace formalism beyond the causal case, refining the notion of causality for stream transformers. We design a stream semantics based on stateful morphism sequences and, under some assumptions, show universality and completeness results. Finally, we investigate the links of our framework with previous works on cartesian data types, signal flow graphs, and quantum channels with memories.
Date of Conference: 29 June 2021 - 02 July 2021
Date Added to IEEE Xplore: 07 July 2021
ISBN Information:
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Quantum Computing ,
- Graphical Language ,
- Finite Memory ,
- Causality ,
- Semantic ,
- Transformer ,
- Quantum Mechanics ,
- Quantum Circuit ,
- Quantum Channel ,
- Hilbert Space ,
- Mixed State ,
- Quantum Information ,
- Density Matrix ,
- Unit Data ,
- Pure State ,
- Causal Conditions ,
- Isometry ,
- Idempotent ,
- Sequential Estimation ,
- Finite Approximation ,
- Ticking Clock ,
- Quantum Case ,
- Bell States ,
- Causal Function ,
- Completely Positive ,
- Monotonicity Condition ,
- Sequence Of Objects ,
- Finite Sequence
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Quantum Computing ,
- Graphical Language ,
- Finite Memory ,
- Causality ,
- Semantic ,
- Transformer ,
- Quantum Mechanics ,
- Quantum Circuit ,
- Quantum Channel ,
- Hilbert Space ,
- Mixed State ,
- Quantum Information ,
- Density Matrix ,
- Unit Data ,
- Pure State ,
- Causal Conditions ,
- Isometry ,
- Idempotent ,
- Sequential Estimation ,
- Finite Approximation ,
- Ticking Clock ,
- Quantum Case ,
- Bell States ,
- Causal Function ,
- Completely Positive ,
- Monotonicity Condition ,
- Sequence Of Objects ,
- Finite Sequence