将高级量子程序编码为 SZX 图
量子物理
2023-11-17 v2 计算机科学中的逻辑
编程语言
摘要
可扩展 ZX 演算是一种紧凑的图形语言，用于推理量子态之间的线性映射。这些图有多种应用，但通常需要逐例构建。在这项工作中，我们提出了一种方法，将在线性依赖类型 Proto-Quipper-D 语言片段中实现的量子程序编码为 SZX 图族。我们定义了可翻译 Proto-Quipper-D 程序的一个子集，并表明我们的过程能够将非平凡算法编码为大小随程序规模线性增长的图。
引用
@article{arxiv.2206.09376,
title = {Encoding High-level Quantum Programs as SZX-diagrams},
author = {Augustin Borgna and Rafael Romero},
journal= {arXiv preprint arXiv:2206.09376},
year = {2023}
}
备注
In Proceedings QPL 2022, arXiv:2311.08375