Encoding High-level Quantum Programs as SZX-diagrams
arXiv:2206.09376 · doi:10.4204/EPTCS.394.9
Abstract
The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently have to be constructed in a case-by-case basis. In this work we present a method to encode quantum programs implemented in a fragment of the linear dependently typed Proto-Quipper-D language as families of SZX-diagrams. We define a subset of translatable Proto-Quipper-D programs and show that our procedure is able to encode non-trivial algorithms as diagrams that grow linearly on the size of the program.
arXiv commentIn Proceedings QPL 2022, arXiv:2311.08375
References in corpus (10)
- ProjectQ: An Open Source Software Framework for Quantum Computing
- Quipper: A Scalable Quantum Programming Language
- The ZX calculus is a language for surface code lattice surgery
- There and back again: A circuit extraction tale
- ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
- Environment and classical channels in categorical quantum mechanics
- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
- Linear Dependent Type Theory for Quantum Programming Languages
- Hybrid quantum-classical circuit simplification with the ZX-calculus
- Quantum Algorithms and Oracles with the Scalable ZX-calculus