Quantum Phase Transitions in the Transverse-Field Ising Model: A Comparative Study of Exact, Variational, and Hardware-Based Approaches

技术摘要：横场伊辛模型中的量子相变

问题陈述
本研究旨在解决在含噪声中规模量子（NISQ）设备上表征量子相变（QPT）的挑战。具体而言，研究探讨了一维横场伊辛模型（TFIM），这是研究由竞争性非对易相互作用驱动的量子临界性的典型系统。尽管 TFIM 在热力学极限下具有解析解，但有限尺寸系统面临着独特的挑战：精确基态保持全局 $Z_2$ 对称性（导致纵向磁化强度消失），而变分和实验实现往往由于有限采样、优化偏差或硬件噪声而表现出有效的对称性破缺。本文旨在定量评估量子临界行为如何在精确理论、理想变分模拟和真实量子硬件之间呈现，重点关注基态能量相对于对关联敏感的序参数的可靠性。

方法论
研究采用了一个受控的对比框架，使用固定的 $N=4$ 自旋系统规模和无量纲横场控制参数 $h/J$。该研究整合了三种不同的方法：

1. 精确对角化（Exact Diagonalization）： 作为保持对称性的基准。通过构建并数值对角化哈密顿量来提取完整的特征谱。为了表征该有限系统的磁有序，定义了一个基于关联的序参数（$M_z^{exact}$），而非简单的纵向磁化强度，以解释被保持的 $Z_2$ 对称性。
2. 变分量子特征值求解器（VQE）： 使用了一种受物理启发的深度为二的拟设（ansatz），该拟设由近邻纠缠操作（有效的 $ZZ$相互作用）和单比特$x$ 轴旋转组成。该浅层电路在无噪声模拟器上通过无梯度类经典优化器进行优化。优化后的参数随后被用于理想模拟和硬件执行。
3. 硬件执行： 在 IQM Garnet 超导量子处理器上执行相同的优化电路。使用资源高效的批处理执行协议以最小化队列开销和时间设备波动。测量按基组进行分组（用于 $\langle \sigma^z_i \sigma^z_{i+1} \rangle$ 的 Z-基组和用于 $\langle \sigma^x_i \rangle$ 的 X-基组），以重构基态能量和序参数。

统计不确定性使用二项测量统计进行估计，并对重构能量进行误差传播。

关键结果
对比分析得出以下发现：

• 基态能量： 深度为二的变分拟设在整个参数范围内（包括 $h/J \approx 1$ 附近的临界区域）都能准确重现精确基态能量。由于退相干和门缺陷，硬件执行的能量系统性地高于精确值和理想 VQE 结果，但保留了正确的关于横场的定性函数依赖关系。即使在存在硬件噪声的情况下，能量仍是一个鲁棒的观测量。
• 磁序参数： 与能量相比，磁序参数和对关联敏感的观测量更容易受到噪声的影响。理想 VQE 模拟由于变分偏差和对称性破缺，倾向于高估磁序。硬件结果在整个参数范围内表现出明显的磁序抑制。
• 临界区域行为： 量子临界区域（$h/J \in [0.8, 1.2]$）放大了误差。在硬件上，理论中观察到的尖锐相交叉被展宽，且误差棒显著增大。这种展宽与噪声作为一种有效有限温度的作用一致，它平滑了临界特征并限制了系统维持长程关联的能力。
• 误差指标： 定量分析（平均绝对误差和均方根误差）证实，虽然能量误差保持在一定范围内，但序参数误差明显更大，尤其是对于硬件结果。精确结果与硬件结果之间的差异在对长程关联敏感的观测量上最为严重。

意义与主张
本文声称提供了一个对 NISQ 设备模拟量子多体物理能力的系统性、端到端的评估。其主要贡献包括：

1. 区分观测量的鲁棒性： 研究表明，虽然浅层变分电路可以可靠地捕捉基态能量，但在当前硬件上难以忠实地重现对称性破缺的序参数和临界特征。
2. 噪声表征： 研究强调了量子临界性会放大硬件噪声和有限采样的影响，导致相变的展宽以及长程关联的抑制。
3. 基准测试框架： 通过在精确、理想和硬件方法之间强制执行系统规模、电路深度和观测量定义的严格一致性，本工作建立了一个透明的方法论，用以分离变分近似与硬件噪声的影响。

作者得出结论，虽然 NISQ 设备可以定性地捕捉铁磁和顺磁机制之间的交叉，但忠实地重现量子临界序仍然是一个重大挑战。研究结果强调了在解释基于硬件的量子模拟时，进行仔细的观测量选择和严格误差分析的必要性，并指出未来的进展需要提高硬件保真度、开发更具噪声韧性的拟设以及先进的误差缓解技术。