Affiliation:
1. Université de Lorraine, CNRS, Inria, LORIA, F 54000 Nancy, France
2. Université Paris-Saclay, CNRS, LRI, 91405, Orsay, France
Abstract
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.
Funder
SoftQPro
VanQuTe
PIA-GDN/Quantex
LUE/UOQ
European Union’s Horizon 2020 research and innovation programme
Publisher
Association for Computing Machinery (ACM)
Reference51 articles.
1. Entanglement on mixed stabilizer states: Normal forms and reduction procedures;Audenaert Koenraad M. R.;New J. Phys.,2005
2. Proceedings of the 11th Workshop on Quantum Physics and Logic;Backens Miriam,2014
3. A complete graphical calculus for spekkens’ toy bit theory;Backens Miriam;Found. Phys. 46, 70 (2016),2014
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras;Electronic Proceedings in Theoretical Computer Science;2023-11-16
2. Optimized Compiler for Distributed Quantum Computing;ACM Transactions on Quantum Computing;2023-02-24
3. A Graphical Calculus for Lagrangian Relations;Electronic Proceedings in Theoretical Computer Science;2022-11-03