PyZX：大规模自动化图解推理
PyZX: Large Scale Automated Diagrammatic Reasoning
摘要：
ZX演算是一种用于推理ZX图的图形语言，ZX图是一种张量网络，可以表示量子位之间的任意线性映射。使用ZX演算，我们可以直观地推理量子理论，优化和验证量子线路。在本文中，我们介绍PyZX，一个开源的自动推理与大型ZX图库。我们简要介绍了ZX演算，然后展示了PyZX如何实现电路优化，等式验证和可视化方法，以及如何与其他软件一起使用。最后，我们提出了一系列的挑战，解决这些挑战后，自动图解推理的实用性将得到增强。
英文摘要：
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits. Using the ZX-calculus, we can intuitively reason about quantum theory, and optimise and validate quantum circuits. In this paper we introduce PyZX, an open source library for automated reasoning with large ZX-diagrams. We give a brief introduction to the ZX-calculus, then show how PyZX implements methods for circuit optimisation, equality validation, and visualisation and how it can be used in tandem with other software. We end with a set of challenges that when solved would enhance the utility of automated diagrammatic reasoning.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
