⚛️ quantum physics

Optimal two-mode bosonic loss codes from finite group symmetry

本文利用有限群对称性推导出了构建最优双模玻色子损耗码的充分必要条件，从而得到了能够以最小光子数实现最大损耗距离的解析构造，并为这类代码的无限家族提供了证据。

原作者： Argyris Giannisis Manes, Mahadevan Subramanian, Liang Jiang

发布于 2026-10-02

📖 1 分钟阅读🧠 深度阅读

原作者： Argyris Giannisis Manes, Mahadevan Subramanian, Liang Jiang

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

在构建量子计算机的过程中，科学家们面临着一个顽强的敌人：噪声。与将信息存储为稳定的零和一的经典计算机不同，量子机器使用的是极其脆弱的物质状态，极易受到周围环境的干扰。在一种被称为超导电路的特定量子硬件中，这种干扰最常见的来源之一是能量损失。想象一个由被称为光子（即光包）的信息载体组成的系统，这些光子被困在一个腔体内。如果哪怕只有一个光子逃逸，它所携带的信息就会被损坏或完全丢失。为了应对这一问题，研究人员采用了名为“纠错”的策略。他们将单条逻辑信息编码到许多物理粒子中，从而创造出冗余。如果其中一个粒子失效，系统可以检测到错误并进行修复，而不会破坏数据。一种特别巧妙的方法涉及使用两个独立的通道来传输光。如果保持两个通道中的总光子数恒定，系统只需通过检查总数，就能立即知道是否丢失了光子，从而将一种破坏性的错误转化为一个已知的、更容易修复的缺失部分。

挑战在于寻找一种最高效的方式来排列这些光子，使得系统能在使用最少资源的同时，纠正最大数量的损失。在一项新的研究中，芝加哥大学的研究人员发现了一个解决这一问题的隐藏数学规律。他们首先通过强大的计算机模拟，搜索包含 4 到 25 个光子的系统中最佳可能的排列方式。他们没有施加任何预设的规则或模式；他们只是让计算机去寻找能够提供最高错误防护能力的配置。令人惊讶的是，计算机并没有找到随机、混乱的解。相反，它发现的每一个表现最佳的代码都遵循一个基于有限群对称性的严格、重复的模式。简单来说，排列这些光子的最优方式并非混沌的堆砌，而是一种高度结构化的设计，在特定的旋转或反射下看起来保持不变，就像几何体的面一样。

这一发现成为了转折点。研究人员意识到，这些数值模式并非巧合，而是指向了一个更深层的数学真理。他们利用这一洞察力推导出一套构建这些代码的新规则。通过遵循这些对称性的规则，他们不再需要猜测和尝试，而是可以直接构建完美的代码。这种方法使他们能够创建精确且经过数学证明的代码，这些代码不仅与计算机的最佳猜测相匹配，甚至还发现了计算机遗漏的更优解。例如，他们构建的代码可以纠正多达 10 个光子的损失，而使用的总光子数比以往任何已知方法都要少。具体而言，他们发现的代码在处理 6 个、8 个和 10 个损失时，分别仅需 28 个、49 个和 76 个光子，刷新了效率纪录。

该团队还开发了一种方法，用以证明他们的代码在同等规模下确实是最优的。他们使用了一套严密的数学认证过程，证明了在相同数量的光子下，不存在其他能纠正更多错误的排列方式。在他们检查的 22 个案例中，有 21 个案例所构建的代码达到了绝对的理论性能极限。在剩下的一个案例中，他们发现的代码仅比极限低了一步，这表明理论极限可能比目前计算出的略高，或者存在一个更好但极难发现的代码。研究人员还确定了一个他们认为可以无限延续的特定代码序列，这为构建可高效扩展的量子存储器提供了蓝图。

这项工作的意义在于，它将一个困难且开放式的搜索过程转变为一个系统的设计过程。通过认识到最优解源于有限群对称性，研究人员为构建更稳健的量子硬件提供了一条清晰的路径。这些代码不仅仅是理论上的奇思妙想；它们直接适用于当今正在构建的物理系统。由于所涉及的对称性可以通过标准的光学元件来实现，因此这些代码可以在实验室中实现，而无需使用奇异的新技术。这项研究表明，保护量子信息免受损失的最有效方式，是将信息以特定的、优雅的几何结构进行排列，这一原则可以指导下一代量子计算机的发展。

技术摘要：基于有限群对称性的最优双模玻色子损耗码

问题陈述
光子损耗是玻色子量子硬件（如超导腔）中主要的噪声机制。虽然双轨编码（ $|0\rangle|1\rangle, |1\rangle|0\rangle$ ）允许通过总光子数测量来检测光子损耗，但它们无法纠正损耗。将逻辑信息编码在两个玻色子模式的高固定总光子数子空间（ $H_n$ ）中，为实现损耗检测与纠正提供了可能。然而，针对任意光子数 $n$ 和损耗距离 $d$ 识别这些子空间中的最优编码仍然是一个具有挑战性的优化问题。以往的方法依赖于将这些码映射到自旋码或置换不变码，但这些映射并不能本质地识别出哪些特定码对损耗是最优的。

方法论
作者采用了一个结合了数值优化、表示论和线性规划认证的三阶段流水线：

数值发现： 作者对编码在固定总光子数子空间 $H_n$ 中的逻辑量子比特进行无约束纠缠保真度优化，其中 $4 \le n \le 25$ 。他们利用双凸优化框架寻找最优编码器和解码器映射。至关重要的是，他们将恢复问题分解为针对每个存活的光子数扇区的独立半正定规划（SDP），这显著加速了搜索过程。
对称性识别与解析构造： 在观察到数值最优码与有限群不变投影算符高度吻合后，作者推导了任意有限群不变码的必要且充分的 Knill–Laflamme (KL) 条件。
- 他们建立了纠正最多 $k$ 个光子损耗与检测最高秩为 $k$ 的不可约自旋张量之间的直接等价关系。
- 利用表示论，他们将 KL 条件简化为对多重性空间的约束。
- 他们证明了一组“种子”算符（提升算符 $J_+$ 的旋转幂次）足以强制执行整个群轨道上的错误纠正，从而将构造过程简化为在这些种子算符上求解方程。
认证： 为了验证最优性，作者采用了适用于 $SU(2)$ 自旋码的 MacWilliams 线性规划（LP）界限。他们生成精确的 Farkas 证书，以证明在特定参数下不存在具有更高距离的码，从而为可实现的损耗距离建立了严格的上界。

核心贡献

有限群对称性的涌现： 本研究表明，针对损耗纠正码的无约束优化自然收敛于具有有限群对称性（特别是 $SU(2)$ 的子群）的码。在 $4 \le n \le 25$ 的范围内，所有 22 个找到的最佳码都对应于有限群的二维不可约表示或可约表示。
通用构造框架： 作者提供了一种从有限群对称性构造精确码的系统化方法。该框架将复杂的算符空间 KL 条件简化为多重性空间上的方程，并确定了用于覆盖任何张量秩的最小种子算符数量。
二元多面体序列： 受数值发现的启发，作者构造了一个基于二元多面体群（对于偶数距离为 $2O$ ，对于奇数距离为 $2T$ ）的无限码族。他们提出了一个光子数序列 $n_d = \lceil(3d^2 + 1)/4\rceil$ ，用以实现距离 $d$ 。
新的纪录突破型码： 作者明确构造了 $(n, d) = (28, 6), (49, 8)$ 以及 $(76, 10)$ 的码。据作者所知，这些码利用了各自距离下报道过的最小光子数，改进了之前的纪录（例如，将 $d=6$ 时所需的 $n$ 从 36 降至 28）。

结果

扫描扇区内的最优性： 在 22 个扫描的光子数（ $4 \le n \le 25$ ）中，有 21 个构造码达到了 MacWilliams LP 界限所允许的最大可能损耗距离。唯一的例外是 $n=18$ ，其中 LP 允许距离 5，但找到的最佳构造仅实现了距离 4。
单调性： 作者证明了 LP 可行性界限在总光子数 $n$ 上是单调的；如果一个距离为 $d$ 的码对于 $n$ 是可行的，那么它对于 $n+1$ 也是可行的。
解析法与数值法的对比： 解析构造能以高保真度恢复数值码。在某些情况下（例如 $n=15$ ），解析构造识别出一种结构（二元四面体群 $2T$ ），而最初的随机起始数值搜索仅能近似该结构，这证明了基于对称性方法的预测能力。
约束平衡： 对于所提出的二元多面体族，作者展示了对称性缩减后的 KL 约束数量与秩为 1 的投影算符在多重性空间中可用的自由度完全匹配，这为该无限族的存在提供了结构性证据。

意义
本文确立了有限群对称性不仅是构造玻色子码的一种假设（ansatz），而且是损耗纠正最优化的一个涌现属性。这种联系架起了数值发现与解析构造之间的桥梁，将数值发现的码转化为精确且可证明的解。这项工作为设计既保留了双轨编码的损耗检测优势，又能实现纠正的硬件高效型玻色子码提供了系统性的设计原则。作者声称，他们的构造和约束计数为实现每个距离 $d$ 都在最小可能光子数 $n_d$ 下的无限码族提供了一个猜想性的强有力证据。尽管该族的性质在约束计数和高达 $d=10$ 的数值构造中得到了支持，但作者指出，证明该族对于所有 $d$ 均存在的严谨证明仍是一个开放性问题。此外，在某些参数（如 $n=18$ ）下，构造码与 LP 界限之间的差距表明，LP 松弛可能不是紧致的，这为开发潜在更好的码或新的理论界限留下了空间。

类似论文