鲍勃·科克;多米尼克·霍斯曼;亚历克斯·基辛格;王全龙 幼儿园量子力学毕业生……或者我是如何学会不再把乐高粘在一起而爱上ZX演算的. （英语） Zbl 1484.81023号 理论。计算。科学。 897, 1-22 (2022). 摘要：本文是2005年课堂讲稿中的一个“灵童”幼儿园量子力学科克（2005）[S.阿布兰斯基和B.科克《第19届IEEE计算机科学逻辑会议论文集》（LiCS’04）。IEEE计算机科学出版社（2004），预印本，21页（2007；arxiv:quant-ph/0402130v5)]，它展示了Dirac符号的一个简单的图形化扩展是如何让几个量子特征很容易地表达和推导出来的，使用的语言甚至连幼儿园的孩子都能理解。这种方法的核心是使用图像和图像转换规则来理解和推导量子理论和计算的特征。然而，这种方法让许多人想知道“牛肉在哪里？”换言之，这种新方法是否能够产生新的结果，或者仅仅是一种美学上令人愉悦的方式来重述我们已经知道的东西？这篇续篇论文的目的是说“牛肉来了！”，并重点介绍了《幼儿园量子力学》中提倡的方法的一些主要结果，以及如何将其应用于解决实际量子计算机上的实际问题。为此，我们将主要关注图片形式主义的瑞士军刀：ZX微积分，一种图形工具，用于在（2^N）维空间上表示和操作复杂的线性映射。首先，我们看看ZX演算背后的一些思想，将其与通常的量子电路形式主义进行比较。然后，我们将过去几年的结果归纳为三类：（1）ZX演算规则的完整性，（2）基于ZX的商业和开源量子编译器中最先进的量子电路优化结果，以及（3）使用ZX将自然语言等现实世界的东西转换成可以在当今（非常有限的）量子硬件上运行的量子电路。我们也从字面上理解了这个标题，并概述了一个正在进行的实验，旨在证明ZX-演算能让孩子们做尖端的量子计算。如果有什么不同的话，这将真正证实“幼儿园量子力学”不仅仅是一个笑话。 MSC公司： 81页68 量子计算 68兰特 计算机科学中的图论（包括图形绘制） 97N60型 数学编程（教育方面） 2006年第68季度 作为计算模型的网络和电路；电路复杂性 关键词：量子计算;量子硬件（NISQ）;量子画法;重写;数学教育 软件：皮特基特;量子力学;PyZX公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Coecke}等人，Theor。计算。科学。897，1--22（2022；Zbl 1484.81023） 全文： 内政部 arXiv公司 参考文献： [1] Abramsky，S。；Coecke，B.，量子协议的分类语义，（IEEE第19届计算机科学逻辑研讨会（LICS）论文集（2004）），415-425 [2] 艾米，M。；陈，J。；Ross，N.J.，《cnot-二面体算符的有限表示》，（Coecke，Bob；Kissinger，Aleks，《第十四届量子物理和逻辑国际会议论文集》，荷兰奈梅亨，2017年7月3-7日。第14届量子物理和逻辑国际会议论文集。第14届量子物理和逻辑国际会议论文集，荷兰奈梅亨，2017年7月3-7日，理论计算机科学电子论文集，第266卷（2018年），开放出版协会，84-97·Zbl 1486.81056号 [3] Backens，M.，《ZX演算对于稳定器量子力学来说是完整的》，《新物理学杂志》。，16，第093021条pp.（2014）·Zbl 1451.81014号 [4] Backens，M.，《ZX-演算对于单量子比特Clifford+t群是完全的》，（Coecke，B.；Hasuo，I.；Panangaden，P.，《第十一届量子物理与逻辑研讨会论文集》，《第11届量子物理和逻辑研讨会论文录》，理论计算机科学电子论文集，第172卷（2014），开放出版协会）， 293-303 ·Zbl 1467.81025号 [5] Backens，M.，《使标量的稳定器ZX-演算完整》，电子。程序。理论计算。科学。，195、17-32（2015年11月）·兹比尔1477.81025 [6] 巴克斯，M。；Miller-Bakewell，H。；de Felice，G。；van de Wetering，J.，《There and back again:a circuit extraction tale（2020），arXiv预印本》 [7] 巴肯斯，M。；Nabi Duman，A.，《Spekkens玩具比特理论的完整图形演算》（《物理学基础》（2015））·Zbl 1347.81019号 [8] 巴肯斯，M。；佩德里克斯，S。；Wang，Q.，走向最小稳定器ZX-演算，Log。方法计算。科学。，16、4（2020年12月）·Zbl 1509.81240号 [9] 巴肯斯，米里亚姆；Kissinger Zh，Aleks，《涉及经典非线性的量子计算的完整图形演算》（第十五届量子物理与逻辑年会（QPL）会议记录（2018）） [10] Baez，J.C。；Erbele，J.，《受控类别》（2014年） [11] Baez，J.C。；Fong，B.，被动线性网络的组成框架（2015） [12] Bennett，C.H。；Brassard，G.，《量子密码学：公钥分发和抛硬币》，（IEEE计算机、系统和信号处理国际会议论文集（1984），IEEE），175-179 [13] Birkhoff，G。；冯·诺依曼，J.，《量子力学的逻辑》，《数学年鉴》。，37, 823-843 (1936) [14] 博尔特，J。；科克，B。；Genovese，F。；刘易斯，M。；D.马斯登。；Piedeleu，R.，《交互概念空间I》（Kaipainen，M.；Hautamäki，A.；Gärdefors，P.；Zenker，F.，《概念及其应用》，综合图书馆，《认识论、逻辑、方法论和科学哲学研究》（2018），施普林格出版社） [15] Bonchi，F。；Gadducci，F。；基辛格，A。；索博辛斯基，P。；Zanasi，F.，《弦图重写理论I：用Frobenius结构重写》（2020），arXiv预印本 [16] Bonchi，F。；Holland，J。；Piedeleu，R。；索波辛斯基，P。；Zanasi，F.，《图解代数：从线性系统到并发系统》，Proc。ACM程序。语言，3，持久性有机污染物清单，1-28（2019） [17] Bonchi，F。；Piedeleu，R。；索博辛斯基，P。；Zanasi，F.，图形仿射代数，（2019年第34届ACM/IEEE计算机科学逻辑年度研讨会（LICS）（2019），IEEE），1-12 [18] Bonchi，F。；Piedeleu，R。；索波辛斯基，P。；Zanasi，F.，《信号流图的上下文等效》，（Goubault-Larrecq，Jean；König，Barbara，《软件科学和计算结构基础》（2020），Springer International Publishing：Springer国际出版公司Cham），77-96·Zbl 07250933号 [19] Bonchi，F。；索博辛斯基，P。；Zanasi，F.，交互双代数是Frobenius，（第17届软件科学和计算结构基础国际会议（FOSSACS）（2014）），351-365·Zbl 1395.18009号 [20] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，信号流图的完全抽象，（编程语言原理，POPL’15（2015））·Zbl 1346.68143号 [21] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，交互Hopf代数，J.Pure Appl。代数，221，1，144-184（2017）·Zbl 1345.68229号 [22] Carboni，A。；Walters，R.F.C.，笛卡尔二分类I，J.Pure Appl。代数，49，11-32（1987）·Zbl 0637.18003号 [23] Cartier，P.，Hopf代数入门，（数论、物理学和几何前沿II（2007），Springer），537-615·Zbl 1184.16031号 [24] Coecke，B.，《幼儿园量子力学》（Khrennikov，A.，《量子理论：对基础III的重新思考》（2005），AIP出版社），81-98·Zbl 1116.81011号 [25] 库克，B.，《量子图像学》，康斯坦普。物理。，51, 59-83 (2009) [26] Coecke，B.，《过程的宇宙及其一些伪装》（Halvorson，H.，《深度美：通过数学创新理解量子世界》（2011），剑桥大学出版社），129-186·Zbl 1236.81008号 [27] Coecke，B.，Terminality意味着不屈服。。。更重要的是，新一代。计算。，34, 69-85 (2016) ·Zbl 1396.81010号 [28] Coecke，B.，《文本结构的数学》（2019） [29] 科克，B。；de Felice，G。；Meichanetzidis，K。；Toumi，A.，《近期量子自然语言处理基础》（2020），arXiv预印本 [30] Coecke，B。；Duncan，R.，《量子观测的图形演算》（2007） [31] Coecke，B。；Duncan，R.，《相互作用的量子可观察性》（第37届自动机、语言和程序设计国际学术讨论会论文集）。第37届国际自动化、语言和编程学术讨论会（ICALP）论文集，计算机科学讲稿（2008））·Zbl 1155.81316号 [32] 科克，B。；邓肯，R.，《相互作用的量子观测量：范畴代数和图解学》，《新物理学杂志》。，第13条，第043016页（2011年）·Zbl 1448.81025号 [33] 科克，B。；R.Duncan，量子电路的图形演算教程（可逆计算国际研讨会（2012年），Springer），1-13·Zbl 1451.81015号 [34] 科克，B。；邓肯，R。；基辛格，A。；Wang，Q.，范畴量子力学中的强互补性和非定域性，（第27届IEEE计算机科学逻辑研讨会论文集（2012））·Zbl 1364.81077号 [35] 科克，B。；邓肯，R。；基辛格，A。；Wang，Q.，《广义组合理论和图解推理》（Chiribella，G.；Spekkens，R.W.，《量子理论：信息基础和箔》，《物理学基础理论》（2016），Springer）·Zbl 1328.81012号 [36] 科克，B。；Edwards，B.，图形Z/X演算中的三量子比特纠缠，电子。程序。理论。计算。科学。，52, 22-33 (2010) [37] 科克，B。；Edwards，B.，《玩具量子分类》，《电子》。注释Theor。计算。科学。，270, 1, 29-40 (2011) ·Zbl 1348.81049号 [38] 科克，B。；爱德华兹，B。；Spekkens，R.W.，量子比特的相群和非定域起源，电子。注释Theor。计算。科学。，270, 2, 15-36 (2011) ·Zbl 1348.81050号 [39] 科克，B。；Gogioso，S.，《图片中的量子理论》（2020），教程 [40] 科克，B。；基辛格，A.，《多部分量子纠缠的组成结构》，（自动机，语言与编程。自动机，语文与编程，计算机科学讲义（2010），斯普林格），297-308·Zbl 1288.81025号 [41] Coecke，B。；基辛格，A.，《描绘量子过程》。《量子理论与图解推理第一堂课》（2017），剑桥大学出版社·兹比尔1405.81001 [42] 科克，B。；基辛格，A。；梅里，A。；Roy，S.，《GHZ/W演算包含有理算术，Electron》。程序。理论。计算。科学。，52, 34-48 (2010) [43] 科克，B。；Meichanetzidis，K.，密度矩阵的意义更新（2020）·Zbl 1513.03069号 [44] 科克，B。；巴甫洛维奇，D。；维卡里，J.，《正交基的新描述》，数学。结构。计算。科学。，23，555-567（2013），出版中·Zbl 1276.46016号 [45] 科克，B。；萨达德，M。；Clark，S.，《意义组成分布模型的数学基础》，（van Benthem，J.；Moortgat，M.；Buszkowski，W.，《Jim Lambek的一场盛会》。《Jim Rambek的盛会》，语言分析，第36卷（2010）），345-384 [46] 科克，B。；Wang，Q.，ZX-2量子比特Clifford+T电路的规则，（Kari，Jarkko；Ulidowski，Irek，《可逆计算——第十届国际会议》，RC 2018，英国莱斯特，2018年9月12日至14日，会议记录。可逆计算——第十届国际会议，RC 2018，英国莱斯特，2018年9月12日至14日，计算机科学论文集，第11106卷（2018），Springer），144-161·Zbl 1515.81073号 [47] Comfort，Cole；基辛格，阿列克斯，拉格朗日关系的图形演算（2021），arXiv预印本 [48] 北卡罗来纳州波德拉普。；卞，X。；Wang，Q.，通过蜘蛛巢身份快速有效地减少t计数的技术，（第15届量子计算、通信和密码理论会议（TQC 2020）。Dagstuhl-Leibniz-Zentrum für Informatik学校（2020年）·Zbl 1518.81033号 [49] 北卡罗来纳州波德拉普。；邓肯，R。；霍斯曼，D。；Perdrix，S.，Pauli Fusion：从ZX项实现量子变换的计算模型，（Coecke，Bob；Leifer，Matthew，Proceedings 16th International Conference on Quantum Physics and Logic），第16届国际量子物理与逻辑会议论文集，美国加利福尼亚州奥兰治查普曼大学，2019年6月10-14日。第16届量子物理和逻辑国际会议论文集。2019年6月10日至14日，美国加利福尼亚州奥兰治查普曼大学第16届量子物理和逻辑国际会议论文集，《理论计算机科学电子论文集》，第318卷（2020年），开放出版协会，85-105·Zbl 07453176号 [50] 北卡罗来纳州波德拉普。；Horsman，D.，ZX微积分是一种用于表面代码晶格手术的语言，Quantum，41218（2020年1月） [51] Dixon，L。；Kissinger，A.，《开放图与单群理论》，数学。结构。计算。科学。，23, 02, 308-359 (2013) ·Zbl 1268.18002号 [52] 邓肯，R。；Dunne，K.，交互Frobenius代数是Hopf，（第31届IEEE计算机科学逻辑研讨会论文集（2016））·Zbl 1392.68297号 [53] 邓肯，R。；基辛格，A。；佩德里克斯，S。；Van De Wetering，J.，用ZX演算对量子电路进行图论简化，量子，4279（2020） [54] 邓肯，R。；Perdrix，S.，《图形状态和Euler分解的必要性》，（欧洲可计算性会议（2009），施普林格），167-177·Zbl 1268.81046号 [55] 邓肯，R。；Perdrix，S.，用广义流重写基于测量的量子计算，（ICALP论文集，ICALP文献集，计算机科学讲稿（2010），Springer），285-296·Zbl 1288.68069号 [56] 邓肯，R。；Perdrix，S.，Pivoting为实际稳定器完成了ZX演算（第十届量子物理和逻辑国际研讨会论文集（2013）） [57] 杜尔，W。；维达尔，G。；Cirac，J.I.，《物理学》，三个量子位可以以两种不相等的方式纠缠。版本A，62062314（2000） [58] Ehrig，H。；P挡泥板，M。；图文法，H.J.Schneider，代数方法，（第14届交换与自动机理论年度研讨会（Swat 1973）（1973），IEEE），167-180 [59] 埃哈德，A。；Poulsen-Nautrup，H。；Meth，M。；Postler，L。；斯特里克（R.Stricker）。；斯塔德勒，M。；内格涅维茨基，V。；林鲍尔，M。；辛德勒，P。；Briegel，H.J。；布拉特·R。；弗里斯，N。；Monz，T.，《纠缠逻辑量子位与晶格手术》，《自然》，5897841220-224（2021年1月） [60] 北加尼。；Hedges，J.，《经济博弈论的组合方法》（2016），arXiv预印本 [61] Ghica，D.R。；Jung，A.，数字电路的范畴语义，（2016计算机辅助设计中的形式化方法（FMCAD）（2016年10月）），41-48 [62] Gidney，C。；Fowler，A.G.，催化\（|C C Z \ rangle \）到\（2|T \ rangle \）转化的高效魔态工厂，量子，35135（2019年4月） [63] Gogioso，S.，薛定谔方程的范畴语义（2015） [64] Gogioso，S.，《量子动力学的图解法》（第八届计算机科学代数和余代数会议（2019年））·Zbl 07649902号 [65] Gogioso，S。；Scandolo，C.M.，分类概率理论，EPTCS，266（2018）·Zbl 1486.81005号 [66] Gogioso，S。；Scandolo，C.M.，《密度超立方体、高阶干涉和超退相干：一种分类方法》（量子相互作用国际研讨会（2018），Springer），141-160 [67] Gogioso，S。；Zeng，W.，《来自强互补观测的傅里叶变换》（2015），arXiv预印本 [68] Gogioso，S。；Zeng，W.，广义mermin-type非局部性参数，Log。方法计算。科学。，15, 2 (2019) ·Zbl 1418.81011号 [69] Gottesman，D.，量子计算机的海森堡表示（1998） [70] Grefenstette，E。；Sadrzadeh，M.，《意义的分类组合分布模型的实验支持》（2014年自然语言处理实证方法会议（2011年）），1394-1404 [71] Hadzihasanovic，A.，量子比特纠缠的图解公理化，（第30届IEEE计算机科学逻辑研讨会（LICS）论文集（2015））·Zbl 1401.81012号 [72] Hadzihasanovic，A.，《纠缠代数与合成几何》（2017），牛津大学博士论文 [73] Hadzihasanovic，A。；Ng，K.F。；王琦，纯态量子计算的两个完整公理化，（第33届ACM/IEEE计算机科学逻辑研讨会论文集（2018），ACM），502-511·Zbl 1452.81079号 [74] 汉克斯，M。；Estarellas，M.P。；蒙罗·W·J。；Nemoto，K.，《利用ZX-演算辅助量子编织电路的有效压缩》，Phys。第十版，第10条，第041030页（2020年11月） [75] 霍斯曼，C。；福勒，A.G。；德维特，S。；Van Meter，R.，《晶格手术的表面代码量子计算》，《新物理学杂志》。，第14、12条，第123011页（2012年12月）·Zbl 1448.81240号 [76] Jeandel，E。；佩德里克斯，S。；Vilmart，R.，Clifford+T量子力学ZX微积分的完全公理化，（第33届ACM/IEEE计算机科学逻辑年度研讨会论文集（2018）），559-568，arXiv预印本·兹比尔1452.81080 [77] Jeandel，E。；佩德里克斯，S。；Vilmart，R.，《超越Clifford+T量子力学的图解推理》（2018），arXiv预印本·Zbl 1452.81081号 [78] Jeandel，E。；佩德里克斯，S。；Vilmart，R.，《ZX图的通用范式及其在有理角完备性中的应用》，（第34届ACM/IEEE计算机科学逻辑研讨会（LICS）（2019）），1-10 [79] Kartsaklis，D。；Sadrzadeh，M.，《自然语言范畴框架中的纠缠研究》（第11届量子物理与逻辑研讨会论文集）。第十一届量子物理与逻辑研讨会论文集，日本京都（2014年）·Zbl 1464.03033号 [80] 基辛格，A。；Uijlen，S.，因果结构的范畴语义，（2017年第32届ACM/IEEE计算机科学逻辑研讨会（LICS）（2017），IEEE），1-12·Zbl 1457.68190号 [81] 基辛格，A。；van de Wetering，J.，《具有广义偶相相互作用和泡利测量的通用MBQC》，量子，3134（2019年4月） [82] 基辛格，A。；van de，J。；Pyzx，Wetering，《大规模自动图解推理》（Coecke，Bob；Leifer，Matthew，《第16届量子物理和逻辑国际会议论文集》。第16届国际量子物理和逻辑学会议论文集，美国加利福尼亚州奥兰治市查普曼大学，2019年6月10-14日。第16届量子物理和逻辑国际会议论文集。第16届量子物理和逻辑国际会议论文集，美国加利福尼亚州奥兰治查普曼大学，2019年6月10日至14日，理论计算机科学电子论文集，第318卷（2020年），开放出版协会，229-241 [83] 基辛格，A。；van de Wetering，J.，减少量子电路中非Clifford门的数量，物理学。A版，102，第022406条pp.（2020年8月） [84] 基辛格，A。；Quantomatic，V.Zamdzhiev，图解推理的证明助理，（自动演绎国际会议（2015），施普林格），326-336·Zbl 1465.68288号 [85] Lack，S.，撰写PROPs，理论应用。类别。，13, 147-163 (2004) ·Zbl 1062.18007号 [86] Lafont，Y.，《走向布尔电路的代数理论》，J.Pure Appl。代数，184，2，257-310（2003）·Zbl 1037.94015号 [87] Lambek，J.，重新审视类型语法，（计算语言学的逻辑方面（1999）），1582·Zbl 0934.03043号 [88] Lambek，J.，什么是预分组？，（Casadio，C.；Scott，P.J.；Seely，R.A.G.，《语言与语法：数学语言学和自然语言研究》（2004年），CSLI出版物） [89] Lang，A。；Coecke，B.，《理解量子位的三色开有向图》，（第十届量子物理和逻辑研讨会论文集，第十届量子物理和逻辑会议论文集，理论计算机科学电子论文集，卷95（2012）），193-209·Zbl 1462.81060号 [90] Lee，C.M。；Selby，J.H.，一个不符合量子力学理论的定理，Proc。R.Soc.A，数学。物理学。工程科学。，474、2214，第20170732条pp.（2018）·Zbl 1402.81053号 [91] Litinski，D.，《表面代码的游戏：大规模量子计算与晶格手术》，《量子》，3128（2019年3月） [92] Majid，S.，《量子群论基础》（2000），剑桥大学出版社 [93] Meichanetzidis，K。；Gogioso，S。；de Felice，G。；Toumi，A。；Chiappori，N。；Coecke，B.，近期量子计算机上的量子自然语言处理（2020），QPL 2020接受，arXiv预印本 [94] Meichanetzidis，K。；Toumi，A。；de Felice，G。；Coecke，B.，量子计算机上的语法软件问题解答（2020），arXiv预印本 [95] Miller-Bakewell，Hector，《纠缠和四元数：图形微积分zq》（2020），arXiv预印本 [96] Ng，K.F。；Wang，Q.，ZX-演算的通用完稿（2017），arXiv预印本 [97] Ng，K.F。；Wang，Q.，纯量子位Clifford+t量子力学ZX演算的完备性（2018），arXiv预印本 [98] 巴甫洛维奇，D.，《单面体计算机I：基于字符串图的基本可计算性》，Inf.Comput。，226, 94-116 (2013) ·Zbl 1317.68054号 [99] 彭罗斯，R.，负维张量的应用，（组合数学及其应用（1971），学术出版社），221-244·Zbl 0216.43502号 [100] 佩德里克斯，S。；Wang，Q.，量子图推理需要补充，（第41届计算机科学数学基础国际研讨会（MFCS 2016）。第41届计算机科学数学基础国际研讨会（MFCS 2016），LIPIcs，第58卷（2016），76:1-76:14·Zbl 1398.81015号 [101] Pinzani，N。；Gogioso，S.，《赋予因果顺序叠加操作意义》（2020年），arXiv预印本 [102] 北平扎尼。；Gogioso，S。；Coecke，B.，时间旅行的范畴语义，（2019年第34届ACM/IEEE计算机科学逻辑年度研讨会（LICS）（2019），IEEE），1-20 [103] 劳森多夫，R。；Browne，D.E。；Briegel，H.J.，基于测量的团簇态量子计算，物理学。修订版A，68，2，第22312条pp.（2003） [104] 萨达德，M。；克拉克，S。；Coecke，B.，《Frobenius词义剖析I：主语和宾语关系代词》，J.Log。计算。，23, 1293-1317 (2013) ·Zbl 1320.68207号 [105] Schröder de Witt，C。；Zamdzhiev，V.，量子力学中的ZX演算是不完整的（2014）·Zbl 1467.81028号 [106] Schröder de Witt，C。；Zamdzhiev，V.，量子力学中的ZX演算是不完整的，EPTCS，172285-292（2014年12月）·Zbl 1467.81028号 [107] 塞尔比，J.H。；Coecke，B.，《泄漏：量子、经典、中间和更多》，《熵》，第19、4、174页（2017年） [108] 塞尔比，J.H。；斯坎多洛，C.M。；Coecke，B.，从图解假设重建量子理论（2018），arXiv预印本 [109] 塞林格，P。；Bian，X.，Clifford+T算子在两个量子比特上的关系（2015），Talk可从 [110] Shi，B.，《走向Clifford+T ZX微积分的极小性》（2018），牛津大学，硕士论文 [111] 西尼奥雷利，C.M。；王，Q。；Khan，I.，《仅基于意识的意识合成模型》（2020），arXiv预印本 [112] Sivarajah，S。；Dilkes，S。；Cowtan，A。；西蒙斯，W。；埃德金顿，A。；Duncan，R.，\（\operatorname{t}|\operator name{ket}>\）：NISQ设备的可重定目标编译器（2020），arXiv预打印 [113] Sobocinski，P.，《图形线性代数4：哑巴和魔术乐高》 [114] Sobocinski，P.，petri网交互的表示，（CONCUR 2010-并发理论。CONCUR 2010-并发理论，LNCS，第6269卷（2010），Springer），554-568·Zbl 1287.68142号 [115] 塔尔，S。；Kleiner，J.，《过程理论中的集成信息》（2020），arXiv预印本 [116] van de Wetering，J.，为在职量子计算机科学家提供ZX微积分（2020） [117] Vilmart，R.，《一种用于toffoli-Hadamard、Clifford+T和beyond的带三角形的ZX-演算》，（Selinger，Peter；Chiribella，Giulio，《第十五届量子物理和逻辑国际会议论文集》，加拿大哈利法克斯，第十五届国际量子物理和逻辑学会议论文集，2018年6月3日至7日。第十五届国际量子物理与逻辑会议论文集。第十五届量子物理与逻辑国际会议论文集，加拿大哈利法克斯，2018年6月3-7日，理论计算机科学电子论文集，第287卷（2019），开放出版协会，313-344·Zbl 1486.81069号 [118] Vilmart，R.，纯量子力学ZX演算的近最小公理化，（2019年第34届ACM/IEEE计算机科学逻辑研讨会（LICS）（2019），IEEE），1-10 [119] Wang，Q.，任意交换环和半环上代数ZX-演算的完备性（2020），arXiv预印本 [120] Wang，Quanlong，Qufinited zx-calculation:qudit zx-calcili（2021）的统一框架，arXiv预印本 [121] Yeung，R.，量子机器学习用ansätze的图解设计和研究（2020），arXiv预印本 [122] 曾伟。；Coecke，B.，合成自然语言处理的量子算法 [123] 赵，C。；Gao，X.-S.，用ZX-演算分析量子神经网络训练中的贫瘠高原现象（2021），arXiv预印本 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。