机构名称：
¥ 9.0
ZX-Calculus是一种用于推理量子组合的图形语言，最近在各种领域（例如量子电路优化，表面代码和晶格手术，基于测量的量子计算和量子基础）中使用了增加的用法。本综述的第一半是对ZX-Calculus的温和介绍，适合那些具有量子计算基础知识的人。这里的目的是使读者对ZX-Calculus足够舒适，他们可以在日常工作中使用它来用于量子电路和状态的小型计算。latter部分给出了有关ZX-Calculus文献的凝结概述。我们讨论了cli的计算并以图形方式证明了Gottesman-Knill定理，我们讨论了最近引入的ZX-Calculus的扩展，该扩展允许方便地进行有关oli gates的方便推理，我们讨论了最新的完整性理论，用于ZX-Calculus的ZX-CALCULUS，以原则上的ZX-Calculus使用ZX，可以使用ZX进行ZX的所有ZX，所有ZX都可以使用ZX进行ZX。在方面，我们讨论了ZX-Calculus的分类和代数起源，并讨论了该语言的几个扩展，这些扩展可以代表混合状态，测量，经典控制和更高维度。
ZX-Calculus用于工作量子计算机科学家
主要关键词
相关文件推荐
