文章基本信息

标题：A Recipe for Quantum Graphical Languages
本地全文：下载
作者：Titouan Carette ; Emmanuel Jeandel
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：168
页码：118:1-118:17
DOI：10.4230/LIPIcs.ICALP.2020.118
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Different graphical calculi have been proposed to represent quantum computation. First the ZX-calculus [Coecke and Duncan, 2011], followed by the ZW-calculus [Hadzihasanovic, 2015] and then the ZH-calculus [Backens and Kissinger, 2018]. We can wonder if new ZX-like calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z^*-algebras. We classify Z^*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [Bonchi et al., 2017] is essentially the unique one.
关键词：Categorical Quantum Mechanics; Quantum Computing; Category Theory