定量的

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

zbMATH中的参考文献(参考 2篇文章 引用)

显示结果1到2,共2个。
按年份排序(引用)

  1. Duncan,Ross;Perdrix,Simon:用广义流重写基于测量的量子计算(2010)
  2. 《探索代数与量子理论:基辛格2009》


更多出版物请访问:https://sites.google.com/site/quantomatic/publications