Interaction-resolved decomposition of multi-qubit unitaries via computational-basis phases

本文引入了一种利用支持选择性相位不变性的相互作用解析分解方法，用于唯一解析并控制多比特幺正变换中的 k 体相互作用结构，并通过在氮空位自旋寄存器中的演示，实现了对特定多体相互作用的选择性合成。

要点

想象一下，你正在尝试烘焙一个复杂的蛋糕，但你不是通过品尝成品来判断它好不好吃，而是只能通过一张模糊的全貌照片来看。你知道这个蛋糕“应该”有巧克力、香草和草莓层，但照片里只显示出一个巨大的、混乱的团块。你无法分辨哪种口味在哪，也无法判断烘焙师是否不小心把它们全部混合在了一起。

这就是当前量子计算机面临的问题。科学家们想要构建特定的“量子蛋糕”（即连接多个粒子的操作）。通常情况下，他们通过将最终结果与完美的理想图像进行对比来检查工作。如果图像稍有偏差，他们就知道出错了，但他们不知道“哪里”出了错。是巧克力层变得太厚了？还是香草层消失了？他们只能靠猜。

这篇论文介绍了一种观察这些量子操作的新方法。与其盯着那张模糊的“全貌蛋糕”照片，作者给了我们一副特殊的眼镜，让我们即使在成分混合在一起时，也能清晰地看到单个成分（粒子之间的相互作用）。

以下是他们的方法是如何运作的，通过简单的概念进行拆解：

1. “对角化框架”：旋转蛋糕

许多量子操作就像一个被旋转过的蛋糕。当蛋糕在旋转时，很难看清它的层次。作者提出了一个技巧：旋转蛋糕，直到层次与你的视角完美对齐。用物理术语来说，他们对系统应用了一个简单的局部旋转。一旦旋转完成，复杂的运算就变成了“对角化”的。

这就像是将一堆乱七八糟的彩色弹珠旋转，直到所有的红弹珠都在左边，蓝弹珠在中间，绿弹珠在右边。突然之间，你可以清楚地看到每种颜色的数量，而不会让颜色混合成一片浑浊的棕色。

2. “相位”：秘密配方数字

一旦操作被“旋转”到这种清晰的视图中，它就会留下一些被称为相位的数字。你可以把这些相位看作是蛋糕的“配方数字”。

• 有些数字告诉你单个粒子的局部风味（比如仅仅是香草味）。
• 其他数字告诉你两个粒子是如何交流的（比如香草和巧克力的混合）。
• 最重要的数字告诉你在三个或更多粒子同时进行复杂对话（一种复杂的“三味交织”）。

3. “支持选择性相位不变量”：神奇的筛子

这是该论文最大的创新点。作者创建了一个数学“筛子”（过滤器）。

• 如果你把配方数字放入这个筛子中，它会保留特定一组粒子（例如粒子 A、B 和 C）的数字，并丢弃其他所有内容。
• 这就像拥有一个筛子，它只允许 A、B 和 C 三个粒子之间的“三方对话”通过，同时忽略任何两方对话或单方面的独白。

他们将这些过滤后的数字称为**“支持选择性相位不变量”**。它们之所以被称为“不变量”，是因为即使你改变局部细节（比如改变食材的顺序），它们依然保持不变；但如果粒子之间的实际相互作用发生了变化，它们就会随之改变。

4. 结果：精准烹饪

利用这种新的“筛子”，作者展示了他们可以更精确地控制量子计算机。

• 目标： 他们想要创造一种特定的相互作用，即三个粒子（钻石中的一个电子和两个核自旋）以一种非常特定的方式进行对话，同时确保它们不会意外地只与其中一个或两个进行对话。
• 方法： 他们不是试图去撞击一个完美的“整体蛋糕”目标，而是告诉计算机：“确保‘三方对话’的数字正好是 45 度，并且确保所有的‘两方对话’数字都为零。”
• 结果： 他们使用单次微波能量脉冲，成功地烘焙出了这个特定的“三方相互作用蛋糕”。
  • 对于“对角”相互作用（即粒子仅沿直线交流），他们实现了 99.78% 的准确度。
  • 对于“非对角”相互作用（即粒子以更扭曲、更复杂的方式交流），他们实现了 99.85% 的准确度。

这为什么重要（根据论文所述）

目前，为了实现三粒子相互作用，科学家通常必须将许多较小的两粒子门串联起来，就像是用许多小砖块搭建一座塔。这篇论文表明，你可以用一块单一的、形状独特的砖块（一个控制脉冲）来构建同样的塔。

通过使用这些“神奇筛子”（不变量），他们可以告诉计算机他们想要构建哪种具体的相互作用，并忽略其他部分。这使得过程更快、更简洁，潜在地减少了因堆叠过多小步骤而产生的错误。

简而言之： 这篇论文为我们提供了一种新的方法来“观察”和“调节”量子粒子之间发生的特定对话，使我们能够通过单一步骤而非冗长且混乱的链条，来构建复杂的量子相互作用。

技术摘要

技术摘要：通过计算基相位实现多比特幺正变换的相互作用解析分解

问题陈述
在多比特量子控制中，目标幺正变换传统上由全幺正描述指定，并使用全局比较度量（如过程保真度）进行评估。作者认为，这些传统方法无法显式地解析实现操作的底层多体相互作用结构，也无法解析其与目标的偏差。在多比特系统中，操作由各种比特子集的相互作用项组合而成，这种局限性阻碍了对特定多体项的直接评估和瞄准。这在基于稳定子的量子纠错及相关场景中尤为重要，因为其中特定的多比特宇称算符起着核心作用，但这些算符通常是通过分解为低阶门来实现，而非直接合成。

方法论
本文引入了一种 $n$ 比特幺正变换的相互作用解析分解，该方法能够显式地获取其多体相互作用结构。其核心方法论依赖于在一个对角化框架内工作，在该框架下，幺正变换完全由计算基态获得的相位所表征。

1. 对角化框架： 对于一类具有操作相关性的操作（包括由单个泡利串或交换泡利串生成的门，例如稳定器操作、受控相位门和 Ising 相互作用），存在一个局部变换 $U_P$ 可以同时对角化生成器分量。在此框架中，幺正变换 $U_{\text{diag}}$ 作用于基态 $|\vec{x}\rangle$ 为 $U_{\text{diag}} |\vec{x}\rangle = e^{-i\phi(\vec{x})} |\vec{x}\rangle$。
2. 支持选择性相位不变量： 作者推导了一种从计算基相位 $\phi(\vec{x})$ 中恢复特定 $k$ 体相互作用强度（$\theta_S$）的方法。通过构建宇称加权和，他们定义了被称为支持选择性相位不变量的量，记作 $\phi(S)$：
   $$\phi(S) = 2^{-n} \sum_{\vec{x} \in \{0,1\}^n} (-1)^{\sum_{i \in S} x_i} \phi(\vec{x})$$
   这些不变量能够精确且唯一地解析位于特定比特子集 $S$ 上的相互作用强度，同时抵消来自补集的贡献。在数学上，这对应于计算基相位的 Walsh-Hadamard 变换。
3. 等价类： 该框架诱导了广义等价类，即如果两个幺正变换对于选定的支持集共享特定的相互作用坐标，则被视为等价，而它们在其他坐标上可以不同。这使“局部等价”成为了一个特例（即所有非局域相互作用坐标都被固定）。
4. 最优控制公式化： 作者直接根据这些不变量来制定量子最优控制目标。与其最小化与全目标幺正变换的偏差，不如最小化选定的相位不变量 $\phi(S)$ 与目标值 $\phi^*_S$ 的偏差，其代价函数 $J$ 为：
   $$J = \sum_{S \in S_{\text{target}}} w_S \left[ 1 - \cos\left(2(\phi(S) - \phi^*_S)\right) \right]$$
   这实现了“相互作用选择性优化”，即在合成特定的多体项的同时，不对局部或无关的自由度进行约束。

关键结果
该方法通过基于金刚石氮-空位（NV）色心耦合两个近端 $^{13}\text{C}$ 核自旋的现实固态自旋寄存器模型进行了数值模拟验证。控制场经过优化，旨在通过单个整形脉冲合成特定的三比特纠缠门。

• 对角情况 (ZZZ)： 作者合成了一个对角三比特纠缠器 $e^{i\frac{\pi}{4} Z \otimes Z \otimes Z}$。通过优化相位不变量以瞄准三体相互作用并抑制二体项，他们在 1.5 $\mu$s 的脉冲持续时间内实现了 $F_{ZZZ} = 0.9978$ 的最终保真度。
• 非对角情况 (XZZ)： 该框架被扩展到非对角目标 $e^{i\frac{\pi}{4} X \otimes Z \otimes Z}$。这是通过在一个Hadamard 夹心结构的对角化框架中进行优化实现的，在该框架下目标变为对角形式。优化完成后，移除对角化变换。得到的脉冲实现了 $F_{XZZ} = 0.9985$ 的保真度，持续时间为 1.25 $\mu$s。

在两种情况下，相位不变量的时间演化都证实了控制脉冲成功构建了所需的三体相互作用，同时抑制了二体贡献。剩余的局部相位通过虚拟 Z 修正（或在非对角情况下的额外单比特门）进行了校正。

意义与主张
论文声称，这种相互作用解析分解提供了一个坐标系，根据多体相互作用结构来组织幺正变换。这使得以下目标成为可能：

• 直接访问： 无需进行完整的过程断层扫描，即可显式访问纠缠操作底层的局部、二体、三体及一般的 $k$ 体相互作用内容。
• 选择性合成： 能够制定控制目标，以合成预设组合的多体相互作用，同时抑制不需要的项，从而有效地实现孤立三体相互作用的直接合成。
• 高效性： 文中通过演示利用单个整形脉冲合成非平凡的高阶多比特相互作用，表明了降低电路深度并可能减少累积控制误差的途径，相比于将这些操作分解为二比特门序列。

作者总结道，该方法对于基于稳定子的量子纠错特别重要，并且底层的相位映射可以通过条件 Ramsey 干涉实验进行重建，从而实现闭环的相互作用解析表征与优化。