🔢 mathematics

Bosonic codes from compact phase spaces

本文通过将码字构建为自守形式，建立了亏格为二的黎曼曲面上玻色量子纠错码的代数结构，同时证明了一个基本的否定定理，即高亏格曲面上的非阿贝尔稳定子群会阻碍可归一化精确码态的存在，从而将其与标准的GKP码区分开来。

原作者： David Roberts, Aaron Slipper, Alireza Parhizkar, Victor V. Albert, Mohammad Hafezi

发布于 2026-09-01

📖 1 分钟阅读🧠 深度阅读

原作者： David Roberts, Aaron Slipper, Alireza Parhizkar, Victor V. Albert, Mohammad Hafezi

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

在构建量子计算机的征途中，科学家们面临着一个根本性的问题：量子信息极其脆弱。哪怕是一个由光粒子或晶体振动所编码的单比特数据，都可能被极其微弱的热量或噪声所扰乱。为了保护这些数据，研究人员使用纠错码，将单个信息片段分布在一个更大的系统中，这样即使其中一部分遭到损坏，整体仍能被恢复。用于存储这类信息最受期待的方法之一是利用玻色子模（bosonic modes），例如微波腔内的电磁场。这些系统是连续的，这意味着理论上它们可以承载无限量的数据，但在实践中，它们需要一种方法来被驯服成有限且可控的形状。

多年来，领先的方法一直是 Gottesman-Kitaev-Preskill（简称 GKP）码。这种方法通过将系统的可能状态排列在一个平坦且重复的网格上进行工作，就像国际象棋盘上的方格一样。这个网格是由一组特定的对称性构成的，这些对称性使系统来回移动。由于这种平坦网格的底层数学性质是“可解的”（amenable）——这是一个技术术语，意指其对称性的行为是可预测且表现良好的——科学家们可以创建出足够好用的近似版本，即便它们并不完美。一直悬而未决的问题是，如果我们尝试在另一种形状上构建这些代码会发生什么？如果承载信息的空间不是一个平面，而是一个弯曲且封闭的形状，比如球体表面，或者更复杂的、具有多个孔洞的形状，情况又会如何？

一支研究团队现在通过在一个被称为亏格为二的黎曼曲面（genus-two Riemann surface）的特定弯曲表面上构建量子码，探索了这个问题。简单来说，想象一个有两个孔的形状，就像一个双孔甜甜圈，但其几何结构是双曲的，这意味着它在每个方向上都向自身背离的方向弯曲，创造出一个广阔的、类似马鞍形的景观。研究人员将这个曲面视为量子系统的相空间，并利用该弯界面的对称性来定义代码规则。他们成功构建了这些代码的数学框架，展示了如何生成生活在该曲面上的特定量子态（即码字）。这些状态不仅仅是抽象的概念；它们是使用被称为自守形式（automorphic forms）的特定数学函数构建的，而自守形式是描述此类弯曲曲面上模式的自然语言。团队还证明了用于处理信息的逻辑操作（即“门”）可以通过挤压（squeezing）和旋转等标准量子工具来执行，并且这些操作的群组可以极其丰富，能够表示任何有限对称群。

然而，这项工作的最显著发现是一个尖锐且明确的限制。虽然研究人员可以构建代码的数学结构，但他们证明了要创建一个满足该代码所有规则的物理且稳定的量子态是不可能的。在平坦的 GKP 码中，对称性允许状态可以无限接近完美的解，即使这需要消耗大量的能量。而在这种弯曲的双孔曲面上，几何结构有着本质的不同。该形状的对称性是“非可解的”（non-amenable），这意味着它们是混沌的，不会像平坦面那样趋于稳定。这种混沌强行设定了一个障碍：任何状态都必须具有一个最小能量值，即谱隙（spectral gap）。由于这个谱隙的存在，任何归一化的量子态都不可能同时满足所有的稳定器条件。这不仅仅是寻找状态困难的问题；从数学上讲，在物理系统中实现它们是不可能的。

研究人员通过数值模拟证实了这一理论障碍。他们对系统进行了建模并计算了能级，发现了一个清晰的能隙，阻止了系统进入稳定的代码状态。这一结果与平坦的 GKP 码形成了鲜明对比，在 GKP 码中不存在这样的能隙，从而允许近似解的存在。该研究得出结论：虽然这些高亏格曲面的丰富几何结构为组织量子门提供了一种优美且强大的方式，但正是这种几何结构成为了存在代码态本身的屏障。这种让逻辑操作变得如此多功能的特性，同时也成为了使信息存储在这一特定配置下变得不可能的原因。这一发现为量子纠错领域划定了一道清晰的分界线，表明并非所有优雅的几何构想都能在物理量子存储器中得以实现。

技术摘要：来自紧致相空间的玻色子编码

问题陈述
Gottesman–Kitaev–Preskill (GKP) 码通过在平坦相空间（复平面）上施加格点位移对称性，将量子信息编码在单个玻色子模式中。该平面对格点的商空间是一个环面（亏格 $g=1$ ），其码字对应于西塔函数（theta functions）。一个基本问题是：当相空间是亏格 $g \ge 2$ 的紧致黎曼曲面时，会产生什么样的玻色子码？此类曲面具有非平凡的拓扑结构和负曲率（双曲几何），这从根本上改变了与平坦环面相比的稳定器群的代数和谱性质。

方法论与框架
作者利用相空间的几何量子化，在紧致双曲黎曼曲面上构建了玻色子量子纠错码。

相空间与稳定器： 相空间被建模为一个紧致曲面 $C = \Gamma \backslash \mathbb{D}$ ，其中 $\mathbb{D}$ 是庞加莱圆盘， $\Gamma$ 是一个紧致共轭富克希群（Fuchsian group）。物理系统由两个携带 $SU(1,1)$ 表示的玻色子模式（ $\hat{a}, \hat{b}$ ）组成。稳定器群 $\Gamma$ 被提升为 $SU(1,1)$ 的一个子群，作用为挤压变换（双曲情形下的位移变换）。
恒星表示（Stellar Representation）： 作者采用恒星表示，将量子态映射为定义在相空间上的一条线丛上的全纯截面。对于亏格为 $g$ 的紧致曲面，恒星函数不是整函数，而是自守形式（特别是全纯 $k$ -微分形式），它们在稳定器群 $\Gamma$ 下进行变换。
码空间维度： 利用黎曼-罗赫定理（Riemann–Roch theorem），码空间的维度 $\dim \mathcal{H}_\Gamma$ 被推导为 $\dim \mathcal{H}_\Gamma = (2k-1)(g-1)$ ，其中 $k \ge 2$ 为整数权重。
逻辑门： 逻辑门群被识别为曲面的自同构群 $\text{Aut}(C)$ ，该群保持稳定器格点不变。根据格林伯格定理（Greenberg's theorem），任何有限群都可以通过在某些双曲曲面上的此类码来实现为逻辑门群。

核心贡献与结果

码字的显式构造：
作者将码字显式构造为自守形式。对于亏格为二的 Bolza 曲面（最对称的亏格二曲线），他们在所有整数权重下生成了完整的码空间序列。
- 在权重 $k=2$ 时，码空间由与曲面三个最短闭测地线（曲面的“裤子”分解）相关的庞加莱西塔级数（Poincaré theta series）所张成。
- 这些西塔级数满足圆锥关系 $Y^2 = XZ$ ，从而允许通过提取平方根来形成 $k=1$ 码空间的基底（一个逻辑量子比特）。
- Bolza 码的逻辑门被显式计算为 48 个元素的高斯操作（挤压与旋转），构成群 $GL(2, \mathbb{F}_3)$ 。
谱隙阻碍（否定性定理/No-Go Theorem）：
论文证明了关于 $g \ge 2$ 时存在归一化码态的一个基本否定性定理。
- 非阿贝尔性（Non-Amenability）： 对于亏格 $g \ge 2$ ，曲面群 $\pi_1(\Sigma_g)$ 是非阿贝尔的。
- 谱隙： 这种非阿贝尔性迫使稳定器哈密顿量 $\hat{H}_{\text{stab}} = 1 - \frac{1}{N} \sum (\hat{D}_i + \hat{D}_i^\dagger)$ 存在一个严格正的谱隙 $\delta > 0$ 。
- 后果： 由于这个谱隙的存在，没有任何归一化量子态能同时满足所有的稳定器条件，或者说，不存在能以任意精度逼近码空间的归一化态序列。这与 $g=1$ 的 GKP 码形成了鲜明对比，在 GKP 码中，稳定器群是阿贝尔的（ $\mathbb{Z}^2$ ），谱隙为零，且存在任意精度的近似码字。
阿贝尔性二分法：
作者根据稳定器群的阿贝尔性建立了一条清晰的分界线：
- $g=0$ （球面）：有限稳定器群；存在精确码字。
- $g=1$ （环面）：无限阿贝尔稳定器群；存在任意精度的近似码字。
- $g \ge 2$ （双曲面）：非阿贝尔稳定器群；不存在归一化的精确或近似码字。
实验平台与耗散稳定化：
论文提出了一种利用两个微波腔耦合一个 Transmon 辅助比特的电路 QED 实现方案。
- 有效哈密顿量包括交叉克尔（cross-Kerr）相互作用和参数化两模挤压，能够实现必要的高斯门。
- 文中描述了一种用于稳定码的“条件踢（conditional-kick）”协议。数值模拟显示，虽然单生成元协议能成功将系统驱动向码空间，但多生成元协议（对于 $g \ge 2$ 是必需的）无法收敛到零稳定器能量，而是停滞在一个由谱隙决定的值。这为理论上的阻碍提供了数值证据。

意义与主张
该论文声称通过曲率和亏格完成了对紧致二维相空间中连续变量量子码的分类。

它解决了关于高亏格玻色子码的问题，即证明了支持复杂逻辑门群（任何有限群）的丰富几何结构，同时也阻碍了这些码态本身的存在。
该工作强调了实现丰富逻辑操作所需的几何特性（非阿贝尔性）与纠错所需的稳定性（阿贝尔性）之间存在着根本性的张力。
作者指出，虽然对于 $g \ge 2$ 精确的稳定器本征态是不可能的，但通过将幺正算符变形为非幺正包络的有限能量类似物，或许可以绕过这一阻碍，这为硬件实现提出了一个开放性挑战。

该论文并未声称这些码在当前形式下能立即应用于容错量子计算，因为存在谱隙阻碍。相反，它提供了一个严谨的数学框架和一个“否定性结果”，定义了双曲相空间上玻色子码的极限，并将其与成功的平坦空间 GKP 码进行了对比。

类似论文