本文是2005年讲义的“精神儿童”幼儿园量子机械[24],它显示了简单的,绘制的dirac符号的示意扩展如何允许几个量子特征轻松地表达和衍生,即使是幼儿园也可以理解的语言。的核心是使用图片和图形转换规则来理解和得出量子理论和计算的特征。但是,这种方法让许多人想知道“牛肉在哪里?”换句话说,这是这种新的能力能够产生新的结果,还是仅仅是一种美学上令人愉悦的方法来重述我们已经知道的?这篇续集论文的目的是说‘这是牛肉!',并突出了幼儿园量子力学中主张的方法的一些主要结果,以及如何应用它们来解决实际量子计算机上的实际问题。为此,我们将主要关注已成为绘画形式主义的瑞士军刀:ZX-Calculus,这是一种图形工具,用于代表和操纵2 n维空间上的复杂线性图。首先,我们查看ZX-Calculus背后的一些想法,将其与通常的量子电路形式主义进行了比较。然后,我们调查了过去几年的结果分为三类:(1)ZX-Calculus规则的完整性,(2)最先进的量子电路优化的结果是依靠ZX的商业和开源量子编译器,以及(3)ZX在量化量子上的量化量的量子量很大,该量子在量子范围内的限制很强,该量子非常有限,这些量子非常有限,这些量子非常有限(如今(今天),(如今)(如今)(如今)(如今)(如今)(如今)(如今)(如今)(如今)(如今)(如今)(如今(今天)使用量子。我们还从字面上获得标题,并概述了一个持续的实验,以表明ZX-Calculus使儿童能够进行尖端的量子计算。如果有的话,这将真正确认“幼儿园量子力学”不仅仅是在开玩笑。
主要关键词