定量的

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


zbMATH中的参考文献(参考文献14条)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 耶安德尔,以马内尔;佩德里克斯,西蒙;维尔马特,雷诺:ZX微积分的完备性(2020)
  2. 德费利斯,乔凡尼;哈齐哈萨诺维奇,阿马尔;吴康峰:费米子量子电路图解演算(2019)
  3. 路透社,大卫·雅各布;杰米·维卡里:量子信息中的双酉结构(2019)
  4. 邦奇,菲利波;加杜奇,法比奥;基辛格,亚历克斯;索波辛斯基,帕维尔;Zanasi,Fabio:与Frobenius重写(2018)
  5. 哈齐哈萨诺维奇,阿马尔;德费利斯,乔凡尼;吴康峰:费米子量子电路的图解公理化(2018)
  6. 基辛格,亚历克斯;快点,大卫:张量-图和非交换量子结构(2016)
  7. 林玉辉;格罗夫,古德蒙德;Arthan,Rob:以图形化的方式理解和维护战术,或者我们是如何认识到一个图表的价值可以超过10万LoC(2016年)
  8. 基辛格,亚历克斯;Zamdzhiev,Vladimir:Quantomatic:图解推理的证明助手(2015)
  9. 邓肯,罗斯;Lucas,Maxime:用Quantomatic验证Steane代码(2014)
  10. 科克,鲍勃;Spekkens,Robert W.:描绘经典和量子贝叶斯推理(2012)
  11. 科克,鲍勃;Duncan,Ross:相互作用的量子观测:范畴代数和图解(2011)
  12. 克莱尔·霍斯曼:拓扑簇态计算的量子图论(2011)
  13. 邓肯,罗斯;Perdrix,Simon:用广义流重写基于测量的量子计算(2010)
  14. 基辛格,亚历克斯:用图形重写和计算机代数探索量子理论(2009)


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