CNOT 范畴
计算机科学中的逻辑
2018-03-05 v2 量子物理
摘要
我们给出了 CNOT 的一组完备恒等式，CNOT 是由受控非门、交换门与计算辅助位生成的对称幺半范畴。我们证明 CNOT 是一个离散逆范畴。此外，我们证明 CNOT 等价于特征为 2 的有限生成非空交换 torsors 的偏同构范畴。等价地，此为有限维 Z2 向量空间之间的仿射偏同构范畴。
引用
@article{arxiv.1707.02348,
title = {The Category CNOT},
author = {Robin Cockett and Cole Comfort and Priyaa Srinivasan},
journal= {arXiv preprint arXiv:1707.02348},
year = {2018}
}
备注
In Proceedings QPL 2017, arXiv:1802.09737