zxcalc/pyzx

解决的问题

PyZX 可简化和优化大规模量子电路。它通过将量子程序转换为图示表示（ZX-演算）来解决降低量子程序复杂性的挑战，然后在图示中自动重写和简化，最后再转换回电路形式。

工作原理

该工具使用 ZX-演算，这是一种图形语言，其中量子操作以“蜘蛛”（Z-蜘蛛和 X-蜘蛛）的张量网络表示。PyZX 将 QASM、Quipper 或 Quantomatic 等格式的量子电路转换为这些图，应用一组重写规则（特别是针对 Clifford 片段的规则），将图简化为伪正规形式，然后从结果中提取出新的简化电路。

适用人群

专为需要优化量子电路以提升性能或可视化的量子计算研究人员和开发者设计。

主要亮点

• 多格式支持：支持读取和输出 QASM、QC 和 QUIPPER 格式的电路。
• 自动重写：使用 Clifford 图的完整重写规则集来简化电路。
• 可视化：支持通过 Matplotlib、Quantomatic 或 TikZ（用于 LaTeX）渲染图形。
• 集成性：可作为 Python 模块、命令行工具或在 Jupyter 笔记本中使用。