Encoding High-level Quantum Programs as SZX-diagrams
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.09376
- arXiv:
- arXiv:2206.09376
- Bibcode:
- 2022arXiv220609376B
- Keywords:
-
- Quantum Physics;
- Computer Science - Logic in Computer Science;
- Computer Science - Programming Languages
- E-Print:
- In Proceedings QPL 2022, arXiv:2311.08375