Y-Calculus：一种源自ZX-Calculus的实矩阵语言
量子物理
2018-03-05 v2 计算机科学中的逻辑
摘要
我们引入一种类ZX的图语言，致力于操作实矩阵与rebits，并带有其自身的公理集。我们证明了其中一些非平凡公理的必要性。我们展示了该语言的某种限制是完备的。我们给出了与ZX-Calculus的双向解释，从而显示了两种语言之间的一致性。最后，我们从工作中推导出提取ZX图实部或虚部的方法，并证明若ZX-calculus的等价限制是完备的，则我们语言的某种限制也是完备的。
关键词
引用
@article{arxiv.1702.00934,
title = {Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus},
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
journal= {arXiv preprint arXiv:1702.00934},
year = {2018}
}
备注
In Proceedings QPL 2017, arXiv:1802.09737