定量的

用图形重写和计算机代数探索量子理论。将复杂矩阵表达式视为电路,将矩阵解释为电路的一部分,将组合解释为“布线”或信息流,这是很有用的。在描述量子计算时尤其如此,图形语言可以大大降低许多计算的复杂性。然而,对于大型图形或大量图形来说,手动操作描述此类系统的图形很快就变得不合理了。为了解决这个问题,我们正在开发一个叫做Quantomatic的工具,它允许自动和半自动地探索图形重写系统及其底层语义。本文着重介绍了量子力学与计算机代数系统相互作用,通过矩阵方程的统一来发现图形关系的特点。由于这些方程可以随着图的大小呈指数增长,我们使用这种方法来发现小恒等式,并将这些恒等式作为图重写来扩展理论。