机构名称：
¥ 1.0
我们的图形微积分的能力远远超出了这一长度的文章。尚未讨论经典控制，但是对控制的研究是[11]中†-Frobenius algebras的原始公理化的动力。这种控制概念允许表示量子测量的分支行为。因此，该系统包含测量计算的方程理论[22]，并且可以模拟其他基于测量的方案，例如逻辑栅极传送[23]和状态转移[24]。正在进行的工作旨在在我们的图形环境中对基于一般测量的量子计算进行统一处理。我们强调，我们所描述的演算足以在量子力学领域进行许多计算。然而，已知它是代数不完整的；也就是说，并非可以以图形方式得出希尔伯特空间中的每个真实方程。additional，尚不清楚，将需要公理才能使所有理想的方程式衍生。由于其简单形式 - 方程是无向图的局部变形 - 我们呈现的演算是可以自动化的，打开了通向协议和算法的半自动或全自动推导的门，以及其正确性的证明。
量子可观察的图形微积分
主要关键词
相关文件推荐
