机构名称：
¥ 3.0
存在几种用于量子信息处理的图形语言，例如量子电路、ZX 演算、ZW 演算等。每种语言都形成一个 † -对称幺半范畴（† -SMC），并带有一个指向有限维希尔伯特空间的 † -SMC 的解释函子。近年来，量子力学范畴化方法的主要成就之一是为大多数这些图形语言提供了几种方程理论，使它们能够完成纯量子力学的各种片段。我们讨论如何将这些语言扩展到纯量子力学之外的问题，以便推理混合态和一般量子操作，即完全正映射。直观地说，这种扩展依赖于丢弃图的公理化，它允许人们摆脱量子系统，而这在纯量子力学中是不允许的。我们引入了一种新的构造，即丢弃构造，它将任何 † -对称幺半范畴转换为配备丢弃图的对称幺半范畴。粗略地说，这种构造在于使任何等距因果化。使用这种构造，我们为几种图形语言提供了扩展，我们证明这些语言对于一般量子操作是完整的。然而，这种构造对于一些边缘情况（如 Clifford+T 量子力学）不起作用，因为该类别没有足够的等距。
混合状态图形语言的完整性...
主要关键词
相关文件推荐
