Completeness of Graphical Languages for Mixed State Quantum Mechanics - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Quantum Computing Year : 2021

Completeness of Graphical Languages for Mixed State Quantum Mechanics


There exist several graphical languages for quantum information processing, like quantum circuits, ZX-calculus, ZW-calculus, and so on. Each of these languages forms a †-symmetric monoidal category (†-SMC) and comes with an interpretation functor to the †-SMC of finite-dimensional Hilbert spaces. In recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of how to extend these languages beyond pure quantum mechanics to reason about mixed states and general quantum operations, i.e., completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map that allows one to get rid of a quantum system, an operation that is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction , which transforms any †-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction, we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However, this construction fails for some fringe cases like Clifford+T quantum mechanics, as the category does not have enough isometries.
Fichier principal
Vignette du fichier
journalTQC.pdf (556.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04082921 , version 1 (26-04-2023)



Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Completeness of Graphical Languages for Mixed State Quantum Mechanics. ACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩. ⟨hal-04082921⟩
44 View
25 Download



Gmail Facebook X LinkedIn More