Thermodynamic-limit dispersion relations on trapped-ion quantum hardware

本文在数值关联团簇展开框架内，利用 20 量子比特囚禁离子量子处理器，展示了计算横场伊辛模型热力学极限基态能量和准粒子色散关系的可行性，同时通过 CX 测试等新技术解决了非线性经典后处理过程中噪声放大的挑战。

要点

以下是用简单语言和创造性类比对该论文的解读。

全景：用微小碎片解决巨型拼图

想象一下，你试图理解一大群无穷无尽的人是如何行为的。你不可能同时观察每一个人；人群太大了，而且相互作用太复杂了。

在物理学界，这个“无穷人群”被称为热力学极限。科学家们想要了解粒子在无限材料中如何相互作用，但经典计算机（我们今天使用的计算机）在尝试模拟这些巨大且强关联的系统时撞到了墙。它们被数学困住了。

这篇论文描述了一种利用量子计算机（一种利用量子物理定律进行计算的特殊机器）来解决这个问题的新方法。然而，研究人员并没有试图一次性模拟整个无穷人群——这对当今的小型量子计算机来说是不可能的——而是使用了一种称为**数值关联团簇展开（NLCE）**的巧妙策略。

类比：
将无穷人群想象成一幅巨大的马赛克。研究人员不是试图一次性绘制整幅画面，而是绘制微小的、独立的瓷砖（粒子的小团簇）。然后，他们使用一种特殊的数学配方将这些瓷砖拼接在一起，以预测整个无穷图像的样子。

挑战：房间里的“噪声”

研究人员使用了一台真实的量子计算机（一台 20 量子比特的离子阱机器）来绘制这些微小的瓷砖。但有一个问题：当前的量子计算机是“有噪声的”。这就像试图在灯光闪烁、风吹得颜料四处乱飞的房间里绘制一幅杰作。

他们解决的具体问题是，他们的数学配方需要非线性后处理。

• 简单类比： 想象你测量一杯咖啡的温度。那是一个简单的数字。但如果你需要计算该温度的平方根，或者将一个测量值除以另一个测量值，初始测量中的微小误差会被极大地放大。
• 论文的声明： 研究人员问道：“我们的量子计算机是否足够准确，能给出在稍后进行这些棘手数学运算时不会‘爆炸’的数字？”

他们使用的工具

为了实现这一目标，他们结合了几种不同的技术：

1. “团簇求解器”（VQE 与 ASP）：
   为了绘制微小的瓷砖，他们使用了两种不同的方法：

   • VQE（变分量子本征求解器）： 把这想象成一个学生在参加考试。计算机尝试一个解决方案，得到评分，从错误中学习，然后再次尝试，直到获得最佳答案。
   • ASP（绝热量子态制备）： 把这想象成慢慢转动一个旋钮。你从一个简单的系统开始，非常缓慢地将其转变为你想要的复杂系统。
   • 结果： 在这个特定硬件上，“学生”（VQE）的表现优于“慢速旋钮”（ASP），很可能是因为慢速旋钮耗时太长，并且被噪声搞得过于困惑。

2. "PCAT"（粘合剂）：
   一旦他们获得了来自微小瓷砖的数据，就需要将它们粘合在一起，以防它们散开。他们使用了一种称为PCAT的方法。

   • 隐喻： 想象你有两个独立的乐高结构。如果你只是用胶带把它们粘在一起，它们可能会摇晃。PCAT 是一种特殊的胶水，确保组合后的结构表现得就像它们是一个巨大、无限乐高套装的一部分一样。它涉及一些繁重的数学运算（矩阵求逆和平方根），这些运算会放大任何噪声。

3. "CX 测试”（一种更聪明的测量方式）：
   通常，为了获得这种数学所需的数据，科学家们使用一种称为“哈达玛测试”的标准测量工具。作者意识到，这个工具对于他们嘈杂的机器来说过于笨重和复杂。

   • 创新： 他们发明了一种更简单的工具，称为CX 测试。
   • 类比： 如果哈达玛测试就像用重型工业起重机去举起一根羽毛，那么 CX 测试就像用一把镊子。它更轻、更快，且不太可能撞倒东西，但它仍然能完成任务。他们发现，对于他们特定的数学问题，他们不需要测量“全局”值，因此可以完全跳过繁重的搬运工作。

他们的发现

团队在三种不同形状（一条直线、一条带扭曲的直线和一架梯子）的横场伊辛模型（量子物理的标准测试）上测试了这种方法。

• 好消息： 在许多情况下，经过应用那些棘手的数学运算后，嘈杂的量子计算机产生的数据看起来非常接近正确答案。“CX 测试”效果良好，而"VQE"方法也足够稳健，能够处理噪声。
• 坏消息： “慢速旋钮”方法（ASP）太深且噪声太大，目前还无法很好地工作。此外，当他们试图打破物理学中的特定对称性（添加纵向场）时，数学变得对噪声如此敏感，以至于当前的计算机无法看到所需的微小修正。
• 结论： 这篇论文证明，当前的量子硬件刚刚足够好，能够处理这些复杂的非线性数学问题。结果并不完美，但它们是“可识别的”，并且正在接近正确的行为。

底线

研究人员成功证明，只要你使用聪明的“基于瓷砖”的策略（NLCE）和更轻的测量工具（CX 测试），就可以使用小型、嘈杂的量子计算机来解决有关无限系统的问题。

他们表明，虽然今天的机器仍然有点不稳定，但它们正在达到这样一个阶段：能够提供足够准确的数据，供复杂的经典数学将其转化为有用的科学预测。这是一个概念验证，表明我们正走在正确的轨道上，利用量子计算机解决经典计算机根本无法解决的真实世界物理问题。

技术摘要

技术摘要：囚禁离子量子硬件上的热力学极限色散关系

问题陈述
计算热力学极限下量子多体系统的性质是凝聚态物理中的核心挑战，特别是对于强关联系统，经典方法面临根本性限制。虽然量子计算机提供了一条潜在途径，但当前的含噪声中等规模量子（NISQ）设备受限于量子比特数量和门保真度，将直接计算限制在远未达到热力学极限的小系统尺寸上。此外，提取热力学极限性质通常需要对量子期望值进行非线性经典后处理（如矩阵求逆和开平方）。一个关键的未决问题是：当前硬件能否提供足够精确的期望值，以经受住这些非线性运算，而不至于因误差被放大到使结果毫无用处。

方法论
作者提出并实现了一个结合数值关联簇展开（NLCE）与量子算法（QA）的框架，称为NLCE+QA。该方法利用小簇的数据，在热力学极限下计算基态能量和一个准粒子（1QP）色散。

• 框架：该方法将广延量分解为来自连通簇的贡献。为确保 NLCE 的收敛性，有效哈密顿量必须是“簇可加的”。作者采用**投影簇可加变换（PCAT）**来强制这一性质。PCAT 涉及构建一个修正的幺正变换，将 1QP 子空间与其他子空间解耦，同时保持非连通簇上状态的乘积结构。
• 量子算法：探索了两种在量子硬件上制备必要状态的算法：
  1. 绝热态制备（ASP）：一种连接未修饰哈密顿量本征态与修饰后本征态的幺正变换。
  2. 变分量子本征求解器（VQE）：一种混合方法，使用哈密顿量变分 Ansatz（HVA）在经典层面进行训练，以实现哈密顿量的块对角化。
• 测量方案：
  • 基态能量：使用基于采样的量子对角化（SQD）计算。
  • 矩阵元：作者引入了CX 测试，作为标准 Hadamard 测试的一种新颖替代方案。CX 测试利用受控-X 门测量重叠和哈密顿量矩阵元，避免了对深度受控幺正电路的需求。关键在于，在 PCAT 背景下，CX 测试所需的整体前置因子在最终有效哈密顿量计算中相互抵消，从而完全消除了对昂贵的 Hadamard 测试的需求。
• 硬件：实验在莱布尼茨超级计算中心的一个 20 量子比特囚禁离子量子处理单元（QPU）（AQT Marmot）上进行。

主要贡献

1. 首次硬件实现：本工作展示了 NLCE+VQE 框架的首次硬件实现，并引入了用于计算热力学极限下 1QP 色散的 NLCE+ASP 框架。
2. CX 测试：引入 CX 测试作为 PCAT 背景下计算多项式数量矩阵元时比 Hadamard 测试更高效的替代方案，显著降低了电路深度。
3. 误差分析：深入研究了散粒噪声、硬件退极化噪声与 PCAT 固有的非线性后处理（矩阵求逆/开平方）之间的相互作用。作者证明，非线性函数会放大噪声，导致色散曲线出现向上偏差。
4. 模型研究：该框架应用于横场伊辛模型（TFIM）的三种机制：
   • 一维链（纯 TFIM）。
   • 带有纵向场的一维链（TFIM+LF），该机制破坏了 $Z_2$ 对称性，需要完整的 PCAT 修正。
   • 二维梯形几何结构。

结果

• 性能：由于所需的电路深度较浅，基于 VQE 的方法在当前硬件上通常优于 ASP。发现 ASP 电路对于当前的噪声水平而言过深，导致与解析解出现显著偏差。
• 精度：对于极化相中的一维 TFIM（距离量子临界点足够远），从 QPU 获得的实验色散接近预期的解析行为。结果比使用参考退极化率的噪声模拟更准确，表明实际设备的误差率低于参考值。
• 局限性：
  • 随着系统接近量子临界点（$J/h \to 1$）或包含纵向场，误差增加。非线性后处理放大了误差，且完整的 PCAT 修正（TFIM+LF 所必需）无法被明确测试，因为修正项低于采样噪声底（$\Delta_{ij} \ll 1/\sqrt{M}$）。
  • 梯形几何结构（二维）显示的误差大于一维链，归因于更高的量子比特连接性以及相对于所用簇尺寸，系统更接近其临界点。
• 噪声敏感性：研究证实，非线性后处理对噪声高度敏感。虽然色散关系可被识别，但它们并未与解析解完美重叠，表明当前硬件精度正处于此类方法可行性的临界点。

意义与主张
该论文声称，其工作开启了在量子设备上执行具有空间关联的热力学极限计算的先河。它表明，在有限的机制下（特别是 TFIM 的极化相），非线性后处理流程在当前硬件上是可行的，能够产生可识别的色散关系。

作者断言，量子硬件精度已达到这样一个阶段：开发涉及量子数据非线性经典后处理的新算法是有意义的。他们得出结论，虽然当前结果尚未超越经典能力范围，但将误差率降低 10 到 100 倍，将能够使用 ASP 精确计算色散关系，并允许测试更复杂的修正（如用于对称破缺系统的完整 PCAT）。这项工作强调，将量子测量与非线性经典后处理相结合的混合方法，随着硬件的改进和容错过渡的扩大，提供了一条有前景的前进道路。