The Category CNOT
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillæ. We prove that CNOT is a discrete inverse category. Moreover, we prove that CNOT is equivalent to the category of partial isomorphisms...
Сохранить в:
| Главные авторы: | , , |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
Open Publishing Association
2018-02-01
|
| Серии: | Electronic Proceedings in Theoretical Computer Science |
| Online-ссылка: | http://arxiv.org/pdf/1707.02348v2 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|