⚛️ 量子物理

Dynamical GKP codes

本文通过将动力学纠错形式化方法扩展到连续变量系统，利用子系统 GKP 码和缩放辛格点阵，引入了动力学 Gottesman-Kitaev-Preskill (GKP) 码，从而实现了高效的伴随式计算，并展示了一种能够降低测量权重且统一逻辑门集的创新型双模 Floquet 码。

原作者： Jonathan Pelletier, Baptiste Royer

发布于 2026-11-11

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Jonathan Pelletier, Baptiste Royer

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

量子计算机有望解决当今超级计算机需要数千年才能破解的问题，但它们极其脆弱。为了运行，它们必须保护脆弱的信息位免受哪怕最轻微噪声的影响，就像试图在飓风中保持一座纸牌屋屹立不倒一样。几十年来，科学家们一直依赖一种称为量子纠错的策略，即把信息分散到许多微小的系统中，这样即使其中一部分失效，整个信息也能得以保存。最近，一种强大的新方法脱颖而出，它利用光和声波的连续流动特性——具体而言是电磁腔或机械谐振器的振动——来存储这些信息。这种被称为 Gottesman-Kitaev-Preszell (GKP) 码的方法已经在实验室中使用超导电路和离子阱构建完成。它被认为是通向构建容错机器最有效的路径之一，因为单个受到良好保护的振荡器可以完成许多标准量子比特的工作。

然而，如何管理这些连续系统仍存在一个显著的鸿沟。虽然研究人员已经开发出了复杂的、基于时间的策略来保护标准量子比特（通过一系列测量），但这些动态技术从未成功地适配到连续的波式系统中。由于缺乏这一工具，科学家们无法将不同纠错码的最佳特性结合起来，也无法在执行复杂计算时进行切换。在一项新的研究中，来自谢尔布鲁克大学的 Jonathan Pelletier 和 Baptiste Royer 研究人员填补了这一空白。他们创建了一个新的框架，将这些动态的、基于时间的测量策略引入了连续变量量子码的世界，有效地教会了波式系统如何使用此前仅保留给标准量子比特的强大且具有自适应性的工具。

这项成就的核心在于理解当测量规则随时间变化时如何管理信息。在标准方法中，量子码是静态的；它一旦构建完成便保持不变。但在动态码中，系统是不断演化的。想象一个安全系统，它会根据特定的时间表每隔几分钟更换一次锁。如果有人试图闯入，系统不仅必须追踪哪里发生了闯入，还必须追踪不断变化的锁如何随着时间的推移影响整个建筑的安全。Pelletier 和 Royer 开发了一个数学映射，用于追踪这些波式系统的变化。他们表明，通过以精确的序列测量特定的波模式偏移，系统可以更新其内部结构，从而在不丢失存储信息的情况下，有效地在不同类型的保护之间进行切换。

为了使这项工作奏效，团队首先必须将代码本身的概念进行泛化。他们引入了一种新型代码，其作用类似于一个灵活的脚手架，允许对系统的部分进行测量和调整，而不干扰核心信息。这类似于一栋建筑拥有一个坚固的中心核心来支撑结构，而外墙则可以被重新排列或更换。通过将波式系统视为这种类型的灵活结构，他们可以推导出系统在每次测量后如何更新的明确规则。这些规则使研究人员能够精确预测误差的行为，以及系统在经历一系列干扰后是否仍能恢复原始信息。

这项工作的最显著成果之一是创建了一个名为“方六角 Floquet 码”的具体实例。该代码结合了两种现有波式设计的优势：正方形码和六角形码。这两种原始设计各有其擅长的逻辑操作（或称“门”）。正方形码擅长于一组操作，而六角形码则擅长于另一组。通过使用这种新的动态框架，研究人员创建了一个可以执行这两个设计完整操作集的系统。此外，这种新组合的代码所需的测量过程比单个代码所需的测量过程明显更短、要求更低。在实际应用中，这意味着运行这些计算所需的硬件可以更简单、更可靠，因为测量不太可能引入新的错误。研究人员计算出，这种新代码所需的测量时间比标准正方形码所需的最短测量时间缩短了约 26%，这种减少可以显著提高整个系统的保真度。

研究还揭示了两种截然不同的量子系统测量方式之间的迷人联系。在标准量子比特的世界里，测量是离散且二元的，就像拨动开关。而在波的世界里，一种常见的测量技术是同相检波（homodyne detection），它测量波的连续位置或动量。研究人员发现，如果测量涉及波与测量工具之间特定的无理关系，其行为就完全等同于这种连续的同相检波。这一发现不仅仅是一个技术细节；它将离散、数字化的量子纠错世界与光学和微波系统的连续、模拟世界联系了起来。这表明，通过精心选择如何执行这些测量，科学家可以有效地利用离散纠错的工具来模拟复杂的连续测量，从而为如何控制和保护量子信息开辟了新的思路。

这项工作的意义不仅限于一种新代码。它提供了一种计算动态码“距离”的通用方法，而距离是衡量系统抵抗误差能力的指标。通过识别出一个在测量序列中保持稳定的“持久性”结构，研究人员表明，他们可以高效地确定系统的纠错能力。这种方法并不局限于他们构建的具体实例，它适用于这些波式系统中的任何测量序列。能够高效地计算这些属性对于设计未来的量子计算机至关重要，因为它允许工程师在建造之前测试并优化他们的设计。

最终，这项研究证明了为标准量子比特开发的工具可以成功转化为更复杂的、基于波的连续系统。通过将动态测量序列的灵活性与波式编码的鲁棒性相结合，作者为更高效、更强大的量子计算机指明了一条新路径。这项工作表明，量子纠错的未来可能不在于在不同的代码之间做选择，而在于动态地将它们编织在一起，创造出更聪明、更具适应性且能更好地抵御威胁其生存的噪声的系统。

技术摘要：动力学 GKP 码

问题陈述
连续变量（CV）系统（特别是 Gottesman–Kitaev–Preskill，即 GKP 码）的量子纠错（QEC）在很大程度上依赖于对离散比特纠错工具的改编。虽然 GKP 码通过谐振子相空间中的晶格结构来编码比特，但在该领域应用**动力学码（Dynamical Codes）**仍存在显著空白。动力学码通过测量序列而非静态稳定器来保护信息，这类代码已在比特系统中得到了广泛发展（包括 Floquet 码），但目前缺乏适用于连续变量系统的形式化理论。

弥合这一差距的主要挑战包括：

无限群与有限群： 比特稳定器群是有限的，这确保了瞬时稳定器群（ISG）能迅速饱和。相比之下，GKP 稳定器是晶格上的平移算符，其幂次通常是复杂的非平凡稳定器而非单位元，这使得 ISG 的饱和变得复杂。
测量结果： 比特测量产生二进制结果，而 GKP 测量产生模相位（modular phases）。
无理重叠（Irrational Overlaps）： 连续变量系统的一个独特特征是，可能会测量出相对于现有稳定器晶格具有无理辛重叠（irrational symplectic overlaps）的平移。这类测量在离散比特码中没有对应物，会破坏晶格结构，表现得更像是连续的同相检测（homodyne detection）。

方法论
作者开发了一个基于晶格的框架，旨在将动力学码推广到 GKP 场景。该方法分为三个主要阶段：

通过缩放晶格构建子系统 GKP 码：
作者首先将 GKP 码推广为子系统 GKP 码。他们通过对晶格生成矩阵 $S$ 应用对角缩放矩阵 $B$ ，引入了“缩放 GKP 码”。这创建了一个晶格层级： $\Lambda_B \subseteq \Lambda \subseteq \Lambda^* \subseteq \Lambda^*_B$ 。
- 他们定义了类似于子系统比特码的裸（bare）、**修饰（dressed）和规范（gauge）**晶格。
- 规范晶格 $\Lambda_g$ 被确定为逻辑晶格在缩放对偶晶格中的辛中心化子（symplectic centralizer）。
- 子系统 GKP 码的距离度量被定义为在对逻辑比特产生非平凡作用的修饰晶格中，向量的最小欧几里得范数。
动力学 GKP 码构建：
动力学 GKP 码被定义为一系列平移测量序列 $\{M_t\}$ 。作者推导了在每一轮测量后，稳定器晶格、相位向量和逻辑代表的显式更新规则。
- 稳定器更新： 新的晶格 $\Lambda_{t+1}$ 是由前一个晶格相对于新测量向量 $m_{t+1}$ 的对易子以及 $m_{t+1}$ 本身生成的。
- 逻辑更新： 逻辑代表根据与新测量的对易关系进行更新。如果测量揭示了逻辑信息，逻辑空间可能会减小或逻辑算符会发生变换。
- 初始化： 引入了“初始化时间” $T$ 的概念，定义为晶格类型和秩趋于稳定的时刻。作者识别了一个持久稳定器晶格 $\Lambda_{pers}$ ，它对于所有 $t \geq T$ 保持不变。
纠错与距离计算：
通过借鉴比特码中的“谱系（ancestry）”和“良性错误（benign error）”机制，作者定义了：
- 检测器： 描述稳定器结果如何依赖于过去错误的时空向量。
- 综合征： 由时空平移错误产生的相位奇偶性。
- 有界推断： 在假设存在有界推断窗口 $\mu(t)$ 的情况下，作者推导了一种通过在由持久晶格距离和推断窗口大小确定的有限时间窗口内求解最近向量问题（CVP）来计算代码距离的方法。

核心贡献与结果

动力学 GKP 码的形式化体系： 本文提供了第一个通用的动力学 GKP 码框架，成功地将比特领域的谱系、检测器和良性错误等概念转化为连续变量晶格编码。
子系统等价性： 研究表明缩放 GKP 码在数学上等价于子系统 GKP 码，从而为连续变量环境下的规范自由度和距离提供了严谨的定义。
距离计算算法： 作者提出了一种高效的方法来计算动力学 G%，通过利用持久稳定器晶格和有界推断窗口，将寻找不可检测错误的问题简化为有限维晶格问题，避免了追踪无限时间序列的需求。
方格-六角 Floquet 码示例： 该框架通过一个在方格和六角 GKP 码之间交替的二模、周期为 8 的 Floquet 码进行了说明。
- 门集： 该码结合了两种码（方格 Hadamard 和六角 HP $^\dagger$ ）的逻辑门集，从而实现了完整的单比特克利福德（Clifford）群。
- 测量权重： 与静态方格或六角码相比，该动力学序列降低了测量向量的最大长度（减少了约 26.6%），这有助于提高测量保真度，因为 GKP 测量的保真度通常随位移大小而下降。
- 距离： 该码的距离被证明由持久晶格决定， $d = 1/\sqrt{2}$ 。
无理辛重叠： 本文分析了具有无理辛重叠的测量。在单模情况下，此类测量被证明会退化为破坏性的同相检测，将状态投影到正交本征态上。在多模系统中，测量的性质（是类同相检测还是有理平移）取决于该无理数的丢番图逼近性质以及 GKP 态的有限能量。

意义
作者声称这项工作将重要的动力学比特码工具箱扩展到了连续变量系统。通过识别离散稳定器测量与连续同相检测之间的桥梁，本文为如何结合不同的 GKP 编码以实现更好的硬件效率（降低测量权重）和更广的逻辑门集提供了新的理论视角。研究结果为致力于在超导电路、离子阱和光学系统中实现能够利用玻色硬件原生能力的动力学纠错策略的实验物理学家提供了理论基础。

类似论文