量子纠错(QEC)这一学科的发展已有二十年,比量子计算本身的发展稍短一些。QEC 是量子计算中最关键的部分,因为它确保计算的可靠性,否则计算设备的输出就是垃圾。因此,每个量子计算机科学家都必须了解 QEC 和容错量子计算的框架。最开始的想法是编码,它也是所有经典通信、计算、密码学和相关领域的核心。编码可用于防范噪音或敌人。编码是指使用冗余来增强信息对噪音(错误)的鲁棒性的过程。例如,我们可以将 0 编码为一串 0,将 1 编码为一串 1,这样几个位的翻转就不会影响我们编码的信息。信息处理以编码的方式进行:首先编码,然后执行所需的操作,然后解码,最后读出所需的结果。此外,编码也发生在自然物理系统中:宏观可观测量被编码在统计系统的微观细节中,物体的内部体积属性可以编码在其边界中,等等。好的编码往往与有吸引力的物理学有关,而找到好的编码当然也需要技巧性的工作。
信息是物理的。使用量子力学作为计算和信息处理的基础是明智的 [19]。在信息论、计算和物理学的交叉点上,数学家和计算机科学家必须从信息的量子物理实现的角度来思考。物理学家们经常就量子力学的性质和解释进行哲学辩论,现在转向利用其进行信息处理和测试理论的完整性。在不破坏内容的情况下,人们无法直接访问存储和处理在大量纠缠量子系统中的信息。将大规模量子计算变成现实极具挑战性。首先,它需要比传统系统中有效实现的技术复杂得多的误差控制技术。随着量子系统的尺寸和电路深度不断增加,误差控制变得越来越重要。量子误差控制是一组保护量子信息免受不必要的环境相互作用(称为退相干)影响的方法。经典方法是将携带信息的向量编码到更大的空间中,以便为错误检测和纠正提供足够的冗余。在量子设置中,信息存储在嵌入更大希尔伯特空间的子空间中,该子空间是复数 C 域上的有限维、范数向量空间。码字是量子态,错误是算符。好消息是,如果噪声可以保持在一定水平以下,它就不会成为弹性量子计算的障碍。这一重要见解是基于形成所谓阈值定理的开创性成果得出的。理论参考包括 Knill 等人在 [34] 中的阐述、Preskill 的工作
摘要。这是一篇说明性文章,旨在向读者介绍量子纠错的底层数学和几何学。存储在量子粒子上的信息会受到环境噪声和干扰的影响。量子纠错码可以消除这些影响,从而成功恢复原始量子信息。我们简要介绍了必要的量子力学背景,以便能够理解量子纠错的工作原理。我们继续构建量子码:首先是量子比特稳定器码,然后是量子比特非稳定器码,最后是具有更高局部维度的码。我们将深入研究这些代码的几何形状。这使我们能够有效地推导出代码的参数,推导出具有相同参数的代码之间的不等价性,并提供了一个推导出某些参数可行性的有用工具。我们还包括关于量子最大距离可分离码和量子 MacWilliams 恒等式的章节。
AdS/CFT 对应关系是一本词典,将 ð d + 1 Þ 维反德西特时空体引力理论 (AdS) 与 ad 维边界共形场论 (CFT) 联系起来。这种对应关系是部分构建的理论 (AdS 引力) 与当前具有完整数学结构的理论 (CFT) 之间对偶性的一个例子。1 因此,它作为通向量子引力理论的一种手段,或者至少是通向广义相对论和量子场论之间调和的一种手段,具有重要意义。物理哲学家在分析这种对偶性的意义时并没有懈怠;特别是它如何接受现实主义的解释(Le Bihan & Read, 2018),以及如何从涌现的角度理解体理论和边界理论之间的关系(De Haro, 2017;De Haro, Mayerson, & Butter field, 2016;Dieks, van Dongen, & de Haro, 2015;Rickles, 2013;Teh, 2013;Vistarini, 2017)。最近,一项将 AdS/CFT 对应解释为擦除保护量子纠错码 (QECC) 的提议引起了人们的兴趣(Almheiri, Dong, & Harlow, 2015;Pastawski, Yoshida, Harlow, & Preskill, 2015;Harlow, 2018;Wolchover, 2019)。擦除保护 QECC 是一种将信息编码在多量子比特希尔伯特空间子空间元素中的程序,这样就可以检测和纠正因擦除而导致的错误。2 该提案引发了“时空是 QECC”的非正式主张(Preskill,2017 年;Wolchover,2019 年)。
使得它渐近于信道容量。我们注意到,在许多情况下量子信道容量是未知的,但是任何特定方案都会产生容量的下限。假设通信方在物理上是分开的,但他们可能可以使用其他资源,这些资源可能包括访问经典通信信道、预共享随机性和预共享纠缠。在这里,我们考虑在量子纠错码(QECC)的设计中使用纠缠来提高其通信速率或纠错能力。正如文献中常见的那样,我们关注通信本身,即,我们不包括共享最大纠缠态的过程。同时,必须记住,纠缠是一种不是免费的额外资源。例如,在 [1] 中已经讨论了在有噪声的量子信道上共享最大纠缠态与量子纠错之间的关系。本介绍部分的其余部分介绍了纠缠辅助量子纠错码 (EAQECC) 的一般框架和文献中基于经典纠错码的两种构造。此外,我们总结了主要结果。第 2 节讨论了三种线性代数方法,它们从经典代码开始,并产生具有不同参数的 EAQECC。第 3 节讨论了 EAQECC 参数的上限。随后在第 4 节中将它们集体用作优度度量,以激励我们的计算过程和结果。第 5 节结束语后的表格中列出了所得量子位和量子三元组 EAQECC 的参数。
摘要 量子计算机有可能对一系列科学技术领域的悬而未决的问题做出重大贡献,包括模拟复杂的凝聚态系统,以及帮助解决量子化学中的电子结构问题。然而,为了确保量子计算是值得信赖的——即对环境噪声和错误操作具有鲁棒性——我们需要能够在错误破坏信息之前检测并纠正错误。我们特别需要一种量子纠错码——一种量子信息的冗余编码以及一种检测和纠正错误的策略。理想情况下,这种代码应该考虑到底层硬件的限制,并以最低限度的额外资源成本为代价。
这是一篇说明性文章,旨在向读者介绍量子纠错的底层数学和几何学。存储在量子粒子上的信息会受到环境噪声和干扰的影响。量子纠错码可以消除这些影响,从而成功恢复原始量子信息。我们简要描述了理解量子纠错工作原理所需的量子力学背景。我们继续构建量子码:首先是量子比特稳定器码,然后是量子比特非稳定器码,最后是具有更高局部维度的码。我们将深入研究这些代码的几何学。这使我们能够有效地推导出代码的参数,推导出具有相同参数的代码之间的不等价性,并提供了一个推导出某些参数可行性的有用工具。我们还包括关于量子最大距离可分离码和量子 MacWilliams 恒等式的部分。
集成电路制造的最新技术需要一种通信架构,例如片上网络 (NoC)。NoC 缓冲器易受多单元翻转 (MCU) 的影响。此外,随着技术的缩小,MCU 的概率也会增加。因此,在 NoC 缓冲器中应用纠错码 (ECC) 可能成为解决可靠性问题的一种方法,尽管这会增加设计成本并需要具有更高存储容量的缓冲器。这项工作评估了两种 NoC 缓冲器数据排列模型,这些模型受三种类型的 ECC 保护,可保护存储信息,并与其他解决方案相比减少面积使用和功耗。我们通过将模型应用于三种类型的 ECC 并测量缓冲区面积、功率开销和错误覆盖率来评估容错 NoC 缓冲区方案的性能。实验结果表明,使用优化模型可保持 MCU 的可靠性,同时分别减少约 25% 和 30% 的面积消耗和功耗。
实现量子计算的主要障碍 [1] 是处理量子误差。从环境中分离出一点量子信息已经够具挑战性的了;然而,为了实现一台有用的量子计算机,必须维持数千个纠缠量子比特的相干性。拓扑量子比特的用途在于它们内置了容错能力,这是由于任意子和边界模式之间的空间分离 [2]。马约拉纳零模式 [3-5] 是 p 波超导纳米线的端模式,是拓扑量子计算中最有前途的方向之一 [4,6-14]。这些马约拉纳端模式可以非局部地存储信息,并且可以编织起来执行受拓扑保护的逻辑门 [15-22]。尽管拓扑量子比特具有一定程度的防错能力,但它们仍然需要纠错才能完全实现为计算量子比特。完美的马约拉纳量子比特将具有无限长,并保持在零温度下。非零温度会导致有限的准粒子密度,从而导致量子比特出现错误。存在诸如环面码 [ 2 ]、表面码 [ 23 – 26 ] 和颜色码 [ 27 – 29 ] 之类的纠错码,它们可以在马约拉纳量子比特上实现 [ 30 – 37 ] 或平面码 [ 38 , 39 ] 等其他方案。然而,这些纠错方案需要大量开销,需要大量冗余量子比特来捕获和纠正错误。正如 Kitaev 指出的那样 [ 2 ],物质的任何拓扑相都可以识别为纠错码。在这一脉络中,我们要问,由马约拉纳纳米线链构建的一维 (1D) 费米子拓扑相 [40, 41] 是否可以与“费米子宇称保护的纠错码”联系起来。只要费米子宇称守恒,这样的链就可以防止量子误差,而且只需要一行物理量子比特,而不是一个表面。在本文中,我们展示了如何使用马约拉纳纳米线链来显著提高量子比特的寿命,因为马约拉纳量子比特中存在不同错误类型的层次结构。由于观察到的密度出乎意料的高