罗宾·科克特;舒适，科尔;普利亚·斯里尼瓦桑 类别中国石油天然气集团公司. （英语） Zbl 1486.18025号 Coecke，Bob（编辑）等人，《第14届量子物理与逻辑国际会议论文集》，QPL'17，荷兰奈梅亨，2017年7月3-7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）266258-293（2018）。 摘要：我们展示了一套完整的身份中国石油天然气集团公司，由受控非门、交换门和计算辅助门生成的对称单oid类。我们证明了这一点中国石油天然气集团公司是一个离散的逆范畴。此外，我们证明了中海油等价于特征2的有限生成非空可换tors的部分同构范畴。等价地，这是有限维\（\mathbb）之间仿射部分同构的范畴{Z} _2\)向量空间。关于整个系列，请参见[Zbl 1434.03012号]. 引用于三文件 MSC公司： 2005年5月18日 单体范畴，对称单体范畴 81第68页 量子计算 PDF格式BibTeX公司 XML格式引用 \textit{R.Cockett}等人，《电子》。程序。西奥。计算。科学。（EPTCS）266258--293（2018；Zbl 1486.18025） 全文： arXiv公司 链接 参考文献： [1] Matthew Amy、Jianxin Chen和Neil J.Ross（2017）：CNOT二面体算子的有限表示。ArXiv电子打印。https://arxiv.org/abs/1701.00140。 ·兹比尔1486.81056 [2] Miriam Backens（2014）：ZX演算对于稳定器量子力学来说是完整的。《新物理杂志》16（9），第093021页，doi:10.1088/1367-2630/16/9/093021·Zbl 1451.81014号 ·doi:10.1088/1367-2630/16/9/093021 [3] Miriam Backens、Simon Perdrix和Quanlong Wang（2016）：简化的稳定器zx-演算。arXiv预打印arXiv:1602.04744，doi:10.4204/EPTCS.236.1·doi:10.4204/EPTCS.236.1 [4] 沃尔夫冈·伯特伦和迈克尔·基扬（2009）：关联几何。一： 托索尔人、线性关系人和草人。arXiv预打印arXiv:0903.5441。https://arxiv.org/abs/0903.5441。 [5] John Chiaverini、Dietrich Leibfried、Tobias Schaetz、Murray D.Barrett、Bradford R.Blakestad、Joseph W.Britton、Wayne M.Itano、John D.Jost、Emanuel Knill、Christopher Langer等人（2004）：量子纠错的实现。《自然》432（7017），第602-605页，doi:10.1103/PhysRevLett.81.1525·doi:10.1103/PhysRevLett.81.1525 [6] J.Robin B.Cockett和Stephen Lack（2002）：限制类别I：部分映射的类别。理论计算机科学270（1），第223-259页，doi:10.1016/S0304-3975（00）00382-0·Zbl 0988.18003号 ·doi:10.1016/S0304-3975（00）00382-0 [7] Bob Coecke和Ross Duncan（2011）：相互作用的量子观测量：范畴代数和图解学。《新物理杂志》13（4），第043016页，doi:10.1088/1367-2630/13/4/043016·Zbl 1448.81025号 ·doi:10.1088/1367-2630/13/4/043016 [8] Brett Giles（2014）：对可逆计算的一些理论方面的研究。博士论文。http://pages.cpsc.ucalgary.ca/robin/Theses/BrettGilesPhD.pdf。 [9] 丹尼尔·戈特斯曼（1997）：稳定码和量子纠错。arXiv预印量-ph/9705052。https://arxiv.org/abs/quant-ph/9705052。 [10] Martin Idel和Michael M.Wolf（2014）：酉矩阵的辛霍恩范式。doi:10.1016/j.laa.2014.12.031·Zbl 1307.15014号 ·doi:10.1016/j.laa.2014.12.031 [11] Maxim Kontsevich（1999）：变形量化的操作和动机。《数学物理快报》48（1），第35-72页，doi:10.1023/A:100755725247·Zbl 0945.18008号 ·doi:10.1023/A:1007555725247 [12] Yves Lafont（2003）：布尔电路的代数理论。《纯粹与应用代数杂志》184，p.2003，doi:10.1016/S0022-4049（03）00069-0·Zbl 1037.94015号 ·doi:10.1016/S0022-4049（03）00069-0 [13] 彼得·塞林格（2007）：Dagger紧凑的封闭类别和完全积极的地图。理论计算机科学电子笔记170，第139-163页，doi:10.1016/j.entcs.2006.12.018·Zbl 1277.18008号 ·doi:10.1016/j.entcs.2006.12.018 [14] 徐思尧（2015）：最小使用Ancilla位的可逆逻辑合成。ArXiv电子打印。https://arxiv.org/abs/1506.03777。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。