Within the framework of Categorical Quantum Mechanics, it was found that orthogonal bases are subsumed by the so called classical structures. So, there must be classical structures which have the eigenbases of the Pauli X,Y and Z operators as their underlying bases. In this article, we propose a procedure for composing these classical structures on a single qubit which produces classical structures on multiple qubits.
As a result, we can present orthogonal bases within a multiple qubit system as diagrams which makes explicit the entanglement structure of those bases.
Topics
Quantum computing
REFERENCES
1.
P.
Selinger
, “Dagger compact closed categories and completely positive maps (extended abstract)
,” Electronic Notes in Theoretical Computer Science
, 139
–163
(2007
).2.
S.
Abramsky
and B.
Coecke
, “Categorical quantum mechanics,” in Handbook of quantum logic and quantum structures: quantum logic
, edited by D. L. Kurt
Engesser
, Dov M.
Gabbay
(Elsevier
Amsterdam
, 2009
) pp. 261
–324
.3.
B.
Coecke
and r. O.
Paquette
, “POVMs and Naimark’s Theorem Without Sums
,” Electronic Notes in Theoretical Computer Science
210
, 15
–31
(2008
), arXiv:0608072v2 [quant-ph].4.
B.
Coecke
, D.
Pavlovic
, and J.
Vicary
, “A new description of orthogonal bases
,” Mathematical Structures in Computer Science
3
, 555
–567
(2013
).5.
B.
Coecke
and R.
Duncan
, “Interacting quantum observables: Categorical algebra and diagrammatics
,” New Journal of Physics
13
, 0
–85
(2011
).6.
M.
Backens
, Completeness and the ZX-calculus
, Ph.D. thesis, University of Oxford
(2016
).
This content is only available via PDF.
© 2021 Author(s).
2021
Author(s)
You do not currently have access to this content.
