Distributed estimation of many-body Hamiltonians via punctured surface code

技术摘要：通过带孔表面码实现多体哈密顿量的分布式估计

问题陈述
本文探讨了分布式量子传感中的挑战，即估计加权局部耦合强度之和的任务，其中 $q = \sum_\alpha s_\alpha \lambda_\alpha$，这里 $s_\alpha$ 是已知权重，$\lambda_\alpha$ 是未知耦合强度。虽然纠缠探针在理论上可以使此类线性泛函达到海森堡极限，但标准的协议通常依赖于整个传感器网络的长程相干性，这使得它们对噪声和不完美的控制非常敏感。作者研究了是否可以将这种传感任务以一种由量子纠错（QEC）保护的形式实现。具体而言，他们研究了一类局部的多体 $Z$ 型耦合，其哈密顿量由 $H = \frac{1}{2} \sum_\alpha \lambda_\alpha Z(c_\alpha)$ 描述，其中每个 $Z(c_\alpha)$ 是关于已知局部支撑集（格点上的简单原初路径 $c_\alpha$）的 Pauli-$Z$ 算符乘积。其目标是确定这些不同的物理信号项是否可以被设计为作用于表面码上的单个受保护的逻辑算符（$\bar{Z}$），从而将目标量 $q$ 编码到单个逻辑比特上。

方法论
作者利用了一个带有两个“粗糙”（rough）空洞（punctures）的平面表面码，分别记为 $R_0$ 和 $R_1$。在这种带孔表面码中，逻辑 $\bar{Z}$ 算符由连接 $R_0$ 和 $R_1$ 粗糙边界的 $Z$-链（$Z$ 算符的乘积）表示。核心方法论涉及设计空洞的放置位置和信号路径，使得所有的物理信号算符 $Z(c_\alpha)$ 在码空间中都表现为同一个非平凡的逻辑 $\bar{Z}$。

该方法分为两个互补的设计问题：

1. 格点嵌入信号支撑集：给定一组已经嵌入在格点上的信号路径集合 $\{c_\alpha\}$，作者推导了选择兼容的粗糙空洞 $R_0$ 和 $R_1$ 的条件。
2. 抽象支撑结构：仅给定抽象的重叠结构（哪些比特被共享），作者确定如何在格点上实现这些结构。

关键工具包括：

• 见证（Witnesses）：对偶格点上的简单闭合回路。一个见证 $w$ 定义了一个几何测试，用于计算与原初路径相交的奇偶性。
• 拓扑准则：作者建立了一种准则，即对于所有 $Z(c_\alpha)$ 都要表现为同一个逻辑 $\bar{Z}$，必须存在一个“见证”，该见证与每个信号路径相交奇数次。
• 洁净开口条件（Clean-Opening Condition）：一种局部几何约束，确保在不关闭信号路径非端点顶点处的星形稳定器（star stabilizers）的情况下，可以形成粗糙空洞，否则会违反代码的对易关系。
• 稳定器差异条件：对于重叠的支撑集，两个信号算符的乘积必须差一个活跃的 $Z$ 型面稳定器（$Z(c_a)Z(c_b) \in S^{\text{act}}_Z$）。

主要贡献与结果

1. 全局奇见证准则（定理 1）：
   作者证明，一组信号路径 $\{c_\alpha\}$ 可以被设计为表现为同一个逻辑 $\bar{Z}$，当且仅当“端点图”（顶点为路径端点，边代表路径）是二分图。这等价于存在一个简单的对偶闭合回路（一个见证），它与每个信号路径相交的次数为奇数。

2. 局部洁净开口条件（命题 2）：
   存在全局见证是必要但不充分的。作者引入了一个局部条件：见证引导的区域必须是“可洁净开口的”。这意味着可以选择不相交的、单连通的粗糙空洞 $R_0 \subseteq \Omega_0$ 和 $R_1 \subseteq \Omega_1$，使得分配的端点位于粗糙边界上，同时所有信号路径的非端点顶点仍保持在活跃的代码区域内（从而保持星形稳定器）。如果该条件成立，则所有 $Z(c_\alpha)$ 都实现相同的逻辑 $\bar{Z}$。

3. 分布式传感协议：
   一旦建立了兼容性，传感任务就变成了一个逻辑 Ramsey 实验。

• 并行加载：多个信号路径在固定的补丁上同时激活。权重 $s_\alpha$ 通过时间平均回波操作（局部 $X$ 翻转）进行控制。
• 顺序空洞运动：粗糙空洞被顺序移动，以逐一激活不同的信号路径。权重通过停留时间来设定。
  在两种情况下，累积的相位都存储在逻辑比特上。该协议继承了表面码的纠错特性；可纠正的错误不会抹除累积的逻辑相位。

4. 抽象支撑集的实现：
   对于抽象支撑集（仅已知重叠结构），作者分析了三体 $Z$ 型相互作用：

• 不相交支撑集：可以直观地实现为分离的路径。
• 单比特重叠：兼容的重叠形成一个单一的、开放的、无分支的“骨架”，其中连续的路径共享一个端点比特，并在两个粗糙边界之间交替。
• 两比特重叠：兼容的重叠要求非共享边形成一个活跃的权重为 2 的截断面稳定器，这实际上实现了一个局部的 $90^\circ$ 转向路径几何。

意义与主张
本文声称提供了一种新型的、对噪声鲁棒的多体相互作用分布式传感协议。通过将加权耦合之和映射到带孔表面码上的单个逻辑算符，该方案保护了传感任务免受在过程中仍可纠正的局部错误的影响。作者强调，这种方法避免了标准 GHZ 基协议所要求的脆弱的长程相干性。

这项工作为在平面表面码上实现此类协议建立了具体的拓扑设计准则（奇见证准则和洁净开口条件）。它表明，尽管重叠支撑集的几何实现受到限制（需要特定的骨架或转向结构），但将复杂的、多体的信号项压缩到单个受保护的逻辑自由度中是可能的。作者指出，该框架可以通过交换 $X$ 和 $Z$ 来扩展到 $X$ 型耦合，未来的工作可以探索更丰富的代码族和更高阶的相互作用。只要综合征提取（syndrome extraction）是准确且快速的，该协议的精度可以恢复归一化线性泛函的海森堡极限。