PyZX: Large Scale Automated Diagrammatic Reasoning

Kissinger, Aleks, van de Wetering, John · 2020 · Electronic Proceedings in Theoretical Computer Science

| 编号 NA104 | 主题 线路综合与等价验证 | DOI 10.4204/eptcs.318.14 |

摘要

摘要保留原文（英文）

摘要取自 arXiv / 出版方元数据，未作翻译，以保证与原文一致。

2020 · Electronic Proceedings in Theoretical Computer Science 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.

全文共 13 页；文本提取件位于 .extracted/papers/NA104.txt（不随站点发布）。

本站词条在引用该文献时，会以 wikilink（sources/NA104）链接到本页；右侧「反向链接」面板自动列出所有引用它的词条。