论文标题
编码高级量子程序作为SZX-DIAGRAM
Encoding High-level Quantum Programs as SZX-diagrams
论文作者
论文摘要
可扩展的ZX-Calculus是一种紧凑的图形语言，用于推理量子状态之间的线性图。这些图具有多个应用程序，但是通常必须逐案构建。在这项工作中，我们提出了一种方法，用来编码以依赖线性键入的原始Quipper-D语言作为SZX-DIAGRAM的片段实现的量子程序。我们定义了可翻译的原始Quipper-D程序的子集，并表明我们的过程能够将非平凡算法编码为在程序大小上线性生长的图表。
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.
