Twinned Dynamical Decoupling

本文介绍了孪生动力学解耦（TDD），这是一个解析脉冲序列族，通过将序列与其$\pi$相位偏移的孪生序列配对，以消除所有阶次的系统性脉冲面积误差并同时抑制失谐误差，该方法已在 IBM 和 IQM 超导量子处理器上通过实验验证，证明了其相较于标准协议具有增强的鲁棒性。

要点

想象一下，你正试图让一个陀螺在一张摇摇晃晃的桌子上保持完美直立。在量子计算机的世界里，这个“陀螺”就是量子比特（qubit），而那张“摇摇晃晃的桌子”则是试图将其推倒的嘈杂环境（这一过程称为退相干）。

为了让陀螺持续旋转，科学家们使用一种称为**动态解耦（Dynamical Decoupling, DD）**的技术。你可以将其想象为一连串有节奏的轻柔敲击（脉冲），这些敲击不断重置陀螺的晃动，从而在噪声将其推倒之前有效地将其抵消。

然而，这里有一个陷阱：敲击陀螺的人并不完美。有时他们的手会颤抖，或者敲击得太重或太轻。在量子术语中，这些就是系统误差。如果敲击稍有偏差（力度错误或时机不对），“重置”就无法完美运作，陀螺最终会倒下。

问题所在：“走调”的敲击

Nedev 和 Vitanov 的论文解决了一个当前敲击方法中的具体问题。

1. 脉冲面积误差：想象你打算用恰到好处的力量敲击陀螺，使其完全翻转（即"π脉冲”）。但由于轻微的校准失误，你敲击的力量多了或少了 10%。如果这种误差在所有敲击中都一致存在，现有方法很难修正它。
2. 失谐误差：想象桌子略微倾斜，或者陀螺的旋转速度与你预期的略有不同。现有方法也难以补偿这种“走调”的频率。

通常，增加敲击次数有助于抵消随机噪声，但如果你的敲击始终存在偏差，增加次数只会让问题变得更糟。

解决方案：“成对”的敲击

作者们引入了一种名为**成对动态解耦（Twinned Dynamical Decoupling, TDD）**的新方法。他们利用了一个涉及“双胞胎”的巧妙技巧。

镜像类比：
想象你计划执行一系列敲击动作。我们称之为序列 A。

• 序列 A：你以特定的节奏和模式敲击陀螺。
• 序列 B（双胞胎）：你执行完全相同的节奏，但翻转每一次敲击的“相位”。如果你原本是用右手敲击，现在改用左手；如果你原本向上敲击，现在改为向下敲击。

当将它们结合时，奇迹发生了：序列 A + 序列 B。

由于第二个序列是第一个序列的完美“镜像”（偏移了 180 度或 $\pi$），你在敲击力度上犯下的任何一致性错误（脉冲面积误差）都会完全相互抵消。这就像背着沉重的背包向前走，然后立即背着完全相同的沉重背包向后走；无论背包有多重，净位移都为零。

结果：

• 完美抵消：在系统本应处于的确切频率上，这种“成对”方法可以抵消敲击力度上的所有误差，无论错误有多大。
• 智能相位：作者们还推导出了一个数学公式，用于安排每个序列中敲击的“方向”，从而使它们也能抵消由桌子倾斜（失谐误差）引起的误差。

验证：现实世界测试

作者们不仅仅停留在纸面上。他们在两台真实的量子计算机上测试了他们新的“成对”敲击序列：

1. IBM 的"Torino"（一种超导处理器）。
2. IQM 的"Garnet"（另一种超导处理器）。

他们将新的T2n序列与最流行的现有方法（如 CPMG、XY4 和 UDD）进行了比较。

发现：

• 针对糟糕的敲击力度：即使敲击极不准确（在某些测试中误差高达 200%），新的 TDD 序列也能保持量子比特的稳定。而旧的方法随着误差增大很快失效。
• 针对频率漂移：与旧方法相比，新序列在处理“走调”的频率方面也表现出色。
• 一致性：在两种不同类型的硬件上，结果几乎完美地符合他们的数学预测。

总结

简而言之，作者们发明了一种控制量子计算机的新“节奏”。通过将控制序列与其完全相反的版本（即其双胞胎）配对，他们创造了一个对控制力度中的一致性错误免疫的系统。这就像拥有一个自我纠正的舞蹈编排，即使音乐稍有偏差或舞者略显笨拙，也能保持完美同步，确保量子信息保持安全和稳定。

技术摘要

技术摘要：孪生动力学解耦

问题陈述
系统性脉冲面积误差（由幅度校准错误、持续时间不完美或驱动强度漂移引起）和失谐误差（频率校准错误、交流斯塔克频移）显著限制了量子控制的保真度。虽然标准的动力学解耦（DD）协议（如 CPMG、UDD、KDD 和 XY 型序列）能有效抑制环境噪声，但其在真实硬件中的性能常因这些系统性控制缺陷而下降。这些误差是相干的，并在序列中累积；因此，增加更多脉冲以过滤环境噪声可能会无意中增加对脉冲缺陷的敏感性。现有的序列通常无法在共振条件下对所有阶的系统性脉冲面积误差实现精确抵消，也无法提供一种简单的解析相位方案，使其既能扩展到任意序列长度，又能同时抑制失谐误差。

方法论
作者引入了孪生动力学解耦（TDD），这是一个标记为 $T_{2n}$ 的解析序列族。其构建依赖于两个核心原则：

1. 孪生结构：序列由一个标称 $\pi$ 脉冲的回文序列 $S^{(n)}$ 与其“孪生” $(S^{(n)})_\pi$ 配对构成，其中所有脉冲相位均偏移 $\pi$。

   • 总演化算符为 $T_{2n} = (S^{(n)})_0 (S^{(n)})_\pi$。
   • 在精确共振条件下，这种配对确保对于任何系统性脉冲面积偏差（只要所有脉冲的偏差相同），演化算符精确等于单位矩阵。这种抵消是非微扰的，且对所有阶成立。
   • 构成孪生序列 $S^{(n)}$ 的回文对称性是必需的，以确保对角凯莱 - 克莱因参数保持为实数，这是孪生抵消机制发挥作用的条件。

2. 解析相位优化：一旦孪生结构抵消了脉冲面积误差，剩余的自由度（回文孪生内部的相位）即被优化以抑制失谐误差。

   • 作者推导出了 $2n$ 个脉冲的相位 $\phi_k$ 的闭式解析公式：
     $$\phi_k = \frac{(k-1)(n-k)}{n}\pi, \quad k = 1, 2, \dots, 2n$$
   • 该公式适用于任意序列长度 $n$。
   • 理论分析表明，这些相位最大化了对失谐 $\Delta$ 的鲁棒性。弗罗贝尼乌斯误差 $\epsilon$ 对于奇数 $n$ 按 $|\Delta|^n$ 缩放，对于偶数 $n$ 按 $|\Delta|^{n+1}$ 缩放，从而允许通过增加序列长度将失谐误差抑制到任意高阶。

关键结果
作者在两个不同的硬件平台上，利用超导 transmon 量子比特演示了 $T_{2n}$ 序列：IBM 量子处理器 ibm torino 和 IQM 量子处理器 Garnet。

• 脉冲面积鲁棒性：对 $|0\rangle$ 态布居数随脉冲面积偏差变化的实验测量表明，即使存在较大的偏差（高达 $2\pi$ 单位），$T_{2n}$ 序列仍能保持高保真度（布居数平台）。相比之下，标准 CPMG 序列对此类误差高度敏感，而 UR 序列（提供类似的鲁棒性）仅在偶数脉冲数或奇数脉冲数的有限范围内维持此性能。
• 失谐鲁棒性：在针对失谐误差（高达 $\pm 20$ MHz）的测试中，$T_{20}$ 序列显著优于其他标准协议（CPMG、XY4、KDD、UDD、QDD、UR）。虽然 $T_{20}$ 并非像对脉冲面积误差那样对失谐完全免疫，但它提供了比任何其他测试序列更宽的高保真度域。
• 初始态无关性：对不同初始态（泡利本征态）的测试表明，TDD 的脉冲面积补偿与初始态无关。然而，观察到失谐鲁棒性在计算基态（$|0\rangle, |1\rangle$）下最高，而在叠加态（$|+\rangle, |i\rangle$ 等）下降低，这与影响叠加态的退相干过程的存在一致。
• 硬件一致性：尽管量子比特相干时间和控制架构（虚拟门与脉冲级访问）存在差异，但结果在 IBM 和 IQM 硬件上均保持一致。

意义与主张
本文声称引入了一种新的解析 DD 序列族，能够在共振条件下对所有阶的系统性脉冲面积误差实现精确抵消。与依赖数值优化或仅提供部分补偿的先前构建不同，TDD 提供了：

1. 精确解析公式：适用于任何序列长度的简单闭式相位表达式，消除了对数值优化的需求。
2. 双重鲁棒性：同时抑制系统性脉冲面积误差（对所有阶）和失谐误差（对高阶）。
3. 硬件效率：这些序列专为系统性校准漂移成为主要限制的硬件而设计，要求参数在单次实验射击（shot）期间保持稳定（这是 DD 的标准假设），但允许射击间的变化。

作者总结认为，这些序列为硬件高效的量子控制开辟了一条路径，特别是在受系统性校准漂移限制的架构中，在量子存储器、传感和误差保护门合成方面具有潜在应用。他们强调，虽然 TDD 能补偿慢噪声和系统性漂移，但它无法抵消任意脉冲间的随机误差。