Scheme to Detect the Strong-to-weak Symmetry Breaking via Randomized Measurements

要点

想象你拥有一台复杂且充满噪声的机器（一个量子系统），它理应遵循严格的对称规则，就像一个完美平衡的动态平衡装置（mobile）。有时，这台机器会受到环境的影响而变得“嘈杂”或发生“退相干”。在过去，科学家知道机器破坏其对称性的两种方式：要么保持完美平衡（对称），要么完全倾覆（对称性破缺）。

然而，这篇论文引入了一个迷人的中间地带，称为**“强到弱对称性破缺”（SW-SSB）**。你可以这样理解：

• 强对称： 机器是完美平衡的，即使你从各个角度观察，它看起来也完全一样。
• 弱对称： 从外部看，机器似乎是平衡的，但如果你窥视内部，内部的齿轮实际上已经失去了同步。
• 这种“破缺”： 机器最初处于“强”状态，但由于噪声，它滑入了“弱”状态，即尽管外部看起来依然正常，但内部的秩序已经丧失了。

问题在于，检测这种特定的“滑动”极其困难。这就像是在飓风中试图听清一声低语。传统方法需要对机器进行两次“快照”采集，并进行完美的对比，这在真实的实验室环境中几乎是不可能实现的。

新的“随机猜测”技巧

作者提出了一种聪明且实用的方法，通过一种他们称为**“随机测量”**的方法来检测这种滑动。

这里的类比是：
想象你有两副完全相同的扑克牌（代表量子态）。

1. 原始牌组： 你随机洗牌并观察这些牌。
2. “扭曲”后的牌组： 你拿第二副牌，但在洗牌之前，你秘密地交换了几张特定的牌（这代表应用了一个“带电算符”或 Z 门）。然后你洗牌并观察这些牌。

与其尝试完美地逐一对比两副牌（这很难），作者建议玩一个名为**“汉明距离”**（计算差异数量）的游戏：

• 你进行无数次这种“洗牌并观察”的游戏。
• 每次你都要计算你看到的两副牌之间有多少张牌是不一样的。
• 如果系统处于对称相（没有破缺），那么“扭曲”后的牌组在大多数情况下看起来会与原始牌组非常不同。此时，“差异计数”会很高且具有明显的特征。
• 如果系统处于 SW-SSB 相（破缺已经发生），那么即便经过了交换，“扭转”后的牌组看起来会出人意料地与原始牌组非常相似。此时，“差异计数”会下降，并看起来与原始牌组的模式一致。

通过多次运行这个游戏并观察差异的统计数据，他们可以判断对称性是否发生了破缺，而无需进行完美、不可能实现的测量。

“小样本”捷径

论文还指出了一项实际的障碍：为了获得完美答案，你可能需要数百万个样本，这非常耗时。然而，作者发现了一个聪明的捷径。

他们意识到，即使使用少量的样本（就像是匆匆一瞥而非长时间凝视），你仍然可以辨别系统是否正在发生对称性破缺。他们使用了一个被称为 KL 散度（可以理解为一种“相似度评分”）的数学工具。

• 如果两副牌之间的“相似度评分”很高，则说明系统处于新的“强到弱”相。
• 如果得分很低，则说明它仍处于正常的对称相。

他们在模拟模型（一个量子比特链，就像一排旋转的陀螺）上测试了这一方法，发现即使是在一个小规模系统和较少的猜测次数下，他们的方法也能准确地绘制出对称性破缺发生的地图。

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

作者声称，这是一个实用的方案，可以在当前的尖端量子设备（如使用原子或离子的设备）上运行。它为实验学家在真实的实验室中实际观察和研究这种新型量子相（SW-SSB）打开了大门，而不仅仅是在理论上进行讨论。他们特别提到，该方法对于具有“全连接”特性的系统效果很好，而这类系统在现代量子计算机中非常普遍。

简而言之，他们发明了一个“统计猜测游戏”，让科学家能够通过随机测量来检测量子系统中微妙且隐藏的变化，即使在没有足够的时间或数据来进行完美测量的情况下也是如此。

技术摘要

技术摘要：通过随机测量检测强-弱对称性破缺的方案

问题陈述
近期的理论进展发现了一种存在于混合量子态中的新型物质相，称为强-弱自发对称性破缺（SW-SSB）。在这种情景下，“强”对称性（密度矩阵与对称算符在相位差意义下交换，$U\rho = e^{i\theta}\rho$）自发降级为“弱”对称性（$U\rho U^\dagger = \rho$）。SW-SSB 的标准理论诊断指标是 Rényi-2 相关函数，定义为：
$$C^{(2)}(j, k) = \frac{\text{tr}[O_j O_k^\dagger \rho O_k O_j^\dagger \rho]}{\text{tr}[\rho^2]}$$
其中 $O$ 是带电算符。虽然分母（纯度）可以通过随机测量获得，但分子涉及原始态 $\rho$ 与由带电算符演化后的态 $\tilde{\rho} = O_j O_k^\dagger \rho O_k O_j^\dagger$ 之间的复杂重叠。目前，对于通用的密度矩阵，缺乏实际的实验协议来测量该分子，这阻碍了对 SW-SSB 的实验研究。

方法论
作者提出了一个利用随机测量工具箱来估计 Rényi-2 相关函数分子的具体协议。该方案作用于一个 $N$ 个量子比特的系统，步骤如下：

1. 随机基底选择： 对于每个量子比特 $i$，独立选择一个随机 Pauli 方向 $\hat{n}_i \in \{\hat{x}, \hat{y}, \hat{z}\}$。
2. 原始态测量： 制备系统处于状态 $\rho$，并沿 $\hat{n}_i$ 方向进行测量，得到比特串结果 $s$。
3. 演化态测量： 在 $\rho$ 的基础上对量子比特 $j$ 和 $k$ 应用 $Z$ 门以获得状态 $\tilde{\rho}$。沿相同的随机方向 $\hat{n}_i$ 进行测量，得到比特串结果 $s'$。
4. 统计估计： 通过重复此过程 $N_a$ 次，利用 $s$ 与 $s'$ 之间的统计相关性来估计分子 $P_{ZZ} = \text{tr}[\tilde{\rho}\rho]$：
   $$P_{ZZ} \approx \frac{1}{N_a} \sum_{a=1}^{N_a} 2^N (-2)^{-D(s_a, s'_a)}$$
   其中 $D(s, s')$ 是比特串之间的汉明距离（Hamming distance）。作者证明了该估计量在无限样本极限下是无偏的。

为了演示该协议，作者使用了一个可解模型：受到全对全退相干作用的横场伊辛链。该退相干通道的特性是在低强度下保持强对称性，但在高强度下驱动向 SW-SSB 的转变。临界点 $\mu_c$ 是利用 Choi-Jamiolkowski 同构和鞍点近似推导得出的。

关键结果

• 无偏估计： 使用小规模系统尺寸（$N \lesssim 7$）的精确对角化数值模拟证实，所提协议产生的 $P_{ZZ}$ 无偏估计其方差与纯度测量的方差相当。
• 样本复杂度限制： 作者发现，对于较大的系统尺寸（$N \gtrsim 7$），在使用适中样本数（$N_a \sim 10^6$）时，估计量的标准差会变得与期望值相当。这使得在当前的样本约束下，直接计算 Rényi-2 相关函数对于较大系统是不切实际的。
• 通过 KL 散度进行替代检测： 为了绕过直接计算相关函数的高样本复杂度，作者提出了一个基于汉明距离分布 $p_I(D)$（用于纯度）和 $p_{ZZ}(D)$（用于分子）的替代准则。
  • 在对称相中，$P_{ZZ} \ll P_I$，导致分布具有可区分性且 KL 散度显著。
  • 在 SW-SSB 相中，$P_{ZZ}$ 与 $P_I$ 处于同一数量级，导致分布趋于一致，从而使 KL 散度消失。
• 相边界估计： 利用 KL 散度作为代理指标，作者成功重建了退相干伊辛模型的相图。值得注意的是，这种替代方法利用较小的系统尺寸（$N=7$）和相对较少的样本数（$N_a = 10^4$），提供了与矩阵乘积态（MPS）模拟推导出的理论预测相匹配的相边界合理估计。

意义与主张
本文声称提供了第一个利用随机测量检测 SW-SSB 的实用协议，该方法适用于当前最先进的量子设备，如里德堡原子阵列和捕获离子系统。作者强调，该方案不需要非局部操作，也不需要同时制备多个副本，因此在近期的实验中是可行的。

这项工作为在混合态中研究新型量子相开辟了路径。通过展示即使在样本量有限的情况下，也能通过 KL 散度准则高精度地估计相边界，作者表明 SW-SSB 的实验验证已指日可待。论文最后指出，虽然研究重点是 Rényi-2 相关函数，但类似的方案可能可以扩展到其他 SW-SSB 定义（例如保真度或 Wightman 相关函数），但这仍是未来的研究课题。