来源论文: https://arxiv.org/abs/2602.14999v1 生成时间: Feb 19, 2026 14:21

导言:量子化学与量子计算的交叉前沿

量子化学长期以来一直是量子计算的“杀手级应用”之一,因为它能够解决传统计算机难以处理的复杂分子电子结构问题。变分量子本征求解器(Variational Quantum Eigensolver, VQE)作为一种混合量子-经典算法,在噪声中等规模量子(NISQ)时代展现出巨大的潜力。它将量子计算的强大并行性与经典优化的灵活性相结合,被认为是实现量子化学计算的关键路径之一。然而,VQE 方法,尤其是其核心组件之一——酉耦合簇(Unitary Coupled Cluster, UCC)方法,在应用于大型化学系统时面临着严峻的挑战。当分子系统规模增大时,UCC 算符的数量会急剧增加,导致量子电路的深度迅速加深,这使得在当前和未来几年的量子硬件上实现变得不切实际。过深的电路不仅容易受到量子噪声的影响,还对量子比特的相干时间提出极高要求,极大地限制了算法的实用性。因此,开发能够有效降低电路深度而又不牺牲过多精度的UCC变体,是当前量子化学计算领域亟待解决的关键问题。

本文深入探讨了一种名为二次酉耦合簇(quadratic Unitary Coupled Cluster, qUCC)的方法,旨在解决这一核心难题。qUCC 的核心思想是将所有 UCC 因子分为两类:一类是具有较大角度的因子,这些因子被精确地映射到量子硬件上进行非线性优化;另一类是具有较小角度的因子,这些因子则通过在已优化的大角度因子附近进行泰勒展开来近似处理。这种混合方法巧妙地平衡了计算精度与电路深度,通过将大部分计算负担(特别是小角度因子的确定)转移到经典计算机的线性代数求解,从而极大地降低了量子电路的复杂性。本文的显著进展在于,与先前受限于大约30个精确处理因子的qUCC工作相比,我们通过算法优化,现在能够处理约300个精确因子,这使得我们能够更系统地探索该方法在不同关联强度下的收敛行为和精度表现。通过对氢链和BeH2分子等挑战性体系的深入研究,我们展示了 qUCC 算法在弱关联和强关联区域的卓越性能,尤其是在传统耦合簇方法失效的强关联区域。研究结果表明,qUCC 在总因子数量的一小部分(通常约为三分之一到一半)被精确处理的情况下,就能收敛到全 UCC 的结果,这为量子化学的大规模模拟开辟了一条切实可行的道路。

1. 核心科学问题,理论基础,技术难点与方法细节

1.1 核心科学问题:酉耦合簇电路深度过大

变分量子本征求解器(VQE)是目前最有前景的量子化学算法之一,尤其是在NISQ(噪声中等规模量子)时代。其中,酉耦合簇(Unitary Coupled Cluster, UCC)方法因其变分性和在强关联体系中的良好表现而备受关注。UCC 理论旨在通过一个酉算符作用于参考态来描述体系的精确基态,其优势在于能够提供严格的变分上限,避免了传统非酉耦合簇方法可能产生的“低于基态能量”的问题。然而,UCC 算符通常以因子化的形式表示,即一系列指数化激发算符的乘积。对于一个拥有N个电子和M个轨道的系统,UCC单激发和双激发(UCCSD)因子的数量会随着系统规模的增大而呈多项式增长,例如单激发因子数量为 O(NM),双激发因子数量为 O(N^2M^2)。每个UCC因子都需要被转换为量子门序列,导致量子电路的深度与因子数量成正比。在大型系统中,这意味着电路深度会变得异常庞大,远远超出当前和近期量子硬件所能承受的范围,从而阻碍了该方法的实际应用。

因此,核心科学问题在于:如何在保持UCC方法高精度的同时,大幅度减少量子电路的深度,使其能够在受限的NISQ硬件上运行,并有效地处理大型化学系统?

1.2 理论基础:UCC Ansatz与能量泰勒展开

1.2.1 酉耦合簇(UCC)理论

UCC 方法的量子态通常表示为指数形式: |Ψ_UCC) = exp(Ô) |Ψ_0) (公式1)

其中 |Ψ_0) 是一个初始的单参考态,通常选择Hartree-Fock(HF)基态。算符 Ô 定义为 Ô = T – T†,其中 T 是所有可能的激发算符(包括单激发、双激发等)的总和: T = Σ_ia t_ia a†_a a_i + Σ_i>j,a>b t_ijab a†_a a†_b a_j a_i + ... (公式3)

这里的 a, b... 代表虚轨道,i, j... 代表占据轨道。a†a 分别是产生和湮灭算符。t 是传统的CC振幅,而在UCC中,我们将这些振幅转化为角度 θ

为了简化在量子计算机上的实现,我们通常采用因子化的UCC算符形式: |Ψ_UCC) ≈ Π_k exp[θ_k(a†_k a_k - a_k a†_k)] |Ψ_0) (公式4)

这种因子化形式虽然与非因子化形式不同,但在变分优化过程中,它通常具有足够的表达能力来找到近似的基态。这种形式的优点在于每个指数项可以独立处理,并且可以通过一系列量子门来实现。论文中进一步利用了 SU(2) 对称性,将广义的UCC激发/去激发算符 U 简化为: Uab...ij... = exp[θ(a†_a a†_b...a_j a_i - a†_i a†_j...a_b a_a)] = 1 + sin(θ)(a†_a a†_b...a_j a_i - a†_i a†_j...a_b a_a) + (cos(θ) – 1) [n_a n_b...(1 – n_i)(1 – n_j)... + (1 – n_a)(1 – n_b)...n_i n_j] (公式5)

其中 n = a†a 是数算符。这种形式本质上是欧拉公式的算符推广,它不仅简化了UCC算符的构建,还为计算其关于角度 θ 的导数提供了便利: dU/dθ = cos(θ)(a†_a...a_j a_i - ...) – sin(θ) [...] (公式6)

1.2.2 能量的二次泰勒展开(qUCC)

qUCC 方法的核心思想是对能量进行泰勒展开。我们首先将UCC因子分为“大角度”和“小角度”两类。对L个大角度因子,我们精确地在量子计算机(或经典模拟器)上进行非线性优化,得到一个部分优化的参考态 |Ψ_UCC)。然后,对于所有N个因子(包括L个大角度因子和N-L个小角度因子),我们围绕这L个优化后的大角度 (θ_k) 进行能量的二次泰勒展开: E ≈ (Ψ_0| H |Ψ_0) + Σ_k b_k (θ'_k - θ_k) + 1/2 Σ_k,m A_km (θ'_k - θ_k)(θ'_m - θ_m) (公式8)

其中,θ'_k 是待优化的所有角度值,θ_k 是泰勒展开的参考点(对于大角度是优化后的值,对于小角度是初始值,通常为0)。

b_k 是能量对角度 θ_k 的一阶导数: b_k = ∂<H>/∂θ_k = 2Re(Ψ_0| U†_1...U†_N (∂U_k/∂θ_k) U_k+1...U_N H U†_N...U†_k+1 (∂U†_k/∂θ_k) U_k-1...U_1 |Ψ_0) (公式9)

A_km 是能量对角度 θ_kθ_m 的二阶导数: A_km = ∂^2<H>/∂θ_k∂θ_m = 2Re(Ψ_0| U†_1...U†_N (∂U_k/∂θ_k) ... (∂U_m/∂θ_m) ... H ... |Ψ_0) (公式10)

通过对公式(8)中的能量表达式关于 θ'_k 求导并令其为零,可以得到一个线性方程组: Aθ' = -b (公式14)

通过求解这个线性方程组,我们能够高效地确定所有N个角度的优化值 θ'。这显著降低了计算成本,因为线性方程组的求解比非线性优化要快得多。

1.3 技术难点与方法细节

1.3.1 传统qUCC的局限与本文的突破

先前的qUCC工作虽然展现出潜力,但受限于经典计算机性能,只能精确处理约30个UCC因子。这极大地限制了其在处理中等规模关联体系时的精度和适用范围。本文在此基础上实现了算法的重大突破,使其能够精确处理大约300个因子,从而使得更广泛的系统研究成为可能。

1.3.2 哈密顿量作用的高效计算

过去,构建和存储完整的哈密顿量矩阵(或其在相关行列式子空间中的部分矩阵)是量子化学计算中的一个主要瓶颈,特别是当包含的精确因子数量增加时,行列式子空间迅速扩大,导致内存消耗巨大且计算效率低下。本文的关键改进在于采用了与标准量子化学实践(例如PySCF库)一致的方法:动态地计算哈密顿量作用于UCC态的结果 H|Ψ),而不是预先构建和存储大型矩阵。

当需要计算哈密顿量对任意一个量子态 |Ψ) 的作用 H|Ψ) 时,结果仍然是一个与 |Ψ) 维度相同的向量 |Ψ_H)|Ψ_H) 的每个元素都是通过Slater-Condon规则,由一电子积分 h_pq 和二电子积分 h_pqrs 乘以相应算符作用后的系数和贡献累加而得。具体而言,本文利用了PySCF软件库中的 contract_2e 例程。这个函数能够高效地根据输入向量(代表量子态 |Ψ))以及一电子和二电子积分,计算哈密顿量作用后的结果。通过这种“即时计算”的方式,避免了存储巨大的多体哈密顿量矩阵,节省了大量的内存资源,并消除了不必要的计算,从而显著提升了处理大量精确因子的能力。

1.3.3 qUCC算法的迭代优化流程

图1详细展示了qUCC算法的迭代优化流程:

  1. 初始化角度: 首先,利用二阶Møller-Plesset(MP2)扰动理论的结果来估算所有UCC单激发和双激发角度的初始值。由于MP2中单激发角度为零,所以初始的大角度主要从双激发中选择。从这些初始角度中,我们选择 L 个幅度最大的角度作为“大角度”组,其余 N-L 个角度则被初始化为零,作为“小角度”组的初始值。

  2. 精确优化大角度: 构建一个只包含这 L 个大角度因子的UCC量子态 |Ψ_UCC) = Π_l U_l(θ_l) |Ψ_0)。然后,在经典计算机上对这 L 个角度 θ_l 进行非线性优化(例如使用SciPy的BFGS算法),目标是最小化能量 E_0 = (Ψ_UCC| H |Ψ_UCC)。这一步得到了优化后的 L 个大角度值。这一阶段的目标是提供一个良好的初始参考点,而不是完全收敛所有角度。如果 L 足够小,这个非线性优化可以在经典计算机上完成。

  3. 计算 b 向量和 A 矩阵并修订能量: 在上一步优化得到的大角度 θ_l 的基础上,并结合初始化为零的小角度,构建一个包含所有 N 个角度的参考点 θ = (θ_1, ..., θ_L, 0, ..., 0)。然后,计算所有 N 个角度对应的 b 向量(能量的一阶导数)和 A 矩阵(能量的二阶导数/Hessian矩阵)。这一步是计算密集型的,需要多次测量来获取期望值及其导数,但得益于上一节提到的高效哈密顿量作用计算,其效率得到了显著提升。随后,通过求解线性方程组 Aθ' = -b,可以同时确定所有 N 个角度的优化值 θ'。最后,使用这些新的优化后的 θ' 值,通过公式(8)计算出修订后的qUCC能量。

  4. 迭代与收敛: 算法并非一次性完成。在求解线性方程组后,会重新评估所有 N 个角度的幅度。如果原来被归类为“小角度”的某个角度,其幅度增长并超过预设阈值(例如 10^-4),那么它将被提升到“大角度”组中。然后,算法返回步骤2,对新的“大角度”组进行非线性优化,并重复整个过程,直到角度分类不再变化或能量达到收敛标准。

这种分层和迭代的方法显著降低了对量子硬件电路深度的要求,因为只有相对较少的大角度因子需要在量子计算机上精确处理,而大部分小角度因子的优化则通过经典的线性代数方法完成。这使得qUCC成为一种在NISQ时代具有高度实用性的量子化学计算方法。

1.4 与传统耦合簇(CC)的对比

了解qUCC的优势,有必要简要回顾传统耦合簇(CC)方法。CC方法采用非酉指数算符 |Ψ_CC) = exp(T) |Ψ_0) 来描述电子结构,其中 T 是激发算符(与UCC中的 T 相同,但不包含其厄米共轭)。CC能量通过求解 (Ψ_0| exp(-T) H exp(T) |Ψ_0) 来获得。CC的优势在于,哈密顿量与 T 算符的嵌套交换子链在第四阶截断,因此可以在不构建量子态的情况下进行计算。然而,CC方法并非变分性的,这意味着其计算的能量有时可能低于真实的基态能量(尤其是在强关联区域),这在物理上是不合理的。在强关联体系中,传统CC方法往往会失效。相反,UCC和qUCC作为变分方法,能够避免这一问题,提供更可靠的能量估算,尤其是在处理强关联问题时展现出其优越性。

2. 关键 benchmark 体系,计算所得数据与性能数据

本研究旨在通过对具有不同关联强度的化学体系进行基准测试,全面评估qUCC算法的性能、收敛性及其在处理大型系统时的潜力。所有计算均在经典计算机上进行,并以全组态相互作用(FCI)结果作为精确基准进行比较。PySCF软件库被广泛用于获取一电子和二电子积分、执行MP2和CCSD计算,而UCC和qUCC的结果则通过作者自行开发的程序获取。

2.1 线性氢链:H6, H8, H10

线性氢链是量子化学中经典的强关联基准体系。通过拉伸氢原子间的键长,可以系统地调节体系从弱关联到强关联的程度,这为测试算法在不同关联强度下的鲁棒性提供了理想场景。所有氢链体系均采用STO-3G最小基组。

UCCSD 因子数量概览:

  • H6: 总计117个UCCSD因子,包括18个单激发和99个双激发。
  • H8: 总计360个UCCSD因子,包括32个单激发和328个双激发。
  • H10: 总计875个UCCSD因子,包括50个单激发和825个双激发。

2.1.1 H6 体系结果分析

图2展示了H6线性链的能量曲线和相对于FCI的误差曲线(使用30个精确因子进行qUCCSD计算)。

  • 能量曲线(图2左): qUCCSD在平衡键长(R < 1.5 Å)的弱关联区域表现良好,其能量与全UCCSD和CCSD非常接近。随着键长增加,体系进入强关联区域,qUCCSD和全UCCSD的曲线趋势与FCI吻合良好,而CCSD则在强关联区域开始显著偏离FCI,显示出传统方法的局限性。这再次确认了UCC类方法在处理强关联时的优势。
  • 误差曲线(图2右): 在平衡键长处,qUCCSD的误差非常小。最差的协议一致性出现在R ≈ 2 Å 的交叉区域,这是从弱关联向强关联过渡的中间区域。在此区域,传统的CCSD方法也表现不佳。值得注意的是,对于较小的 L 值(即精确处理的因子数量较少时),qUCC可能会在中间耦合区域表现出非变分性,即能量可能略低于FCI基态能量,这是由于泰勒展开的截断近似所致。

2.1.2 因子数量对收敛的影响(H6, H8, H10)

图3进一步揭示了增加精确处理因子数量对H6、H8和H10体系能量收敛的影响。

  • 弱关联区域: 在弱关联区域,所有体系都只需非常少的精确因子即可获得准确结果,这表明qUCC在处理这类问题时效率极高。
  • 强关联区域(大键长拉伸): 在大键长拉伸的强关联区域,qUCC同样只需要相对较少的精确因子就能实现良好的收敛,接近全UCCSD的结果。
  • 中间关联区域: 如图2 H6体系的误差曲线所示,从弱关联向强关联的过渡区域(即中间关联区域)最具挑战性,需要更多的精确因子才能实现收敛。
  • 收敛趋势与效率:
    • H6: 对于H6,仅使用58个因子(50个双激发和8个单激发)就已经非常接近全UCCSD的结果,而总因子数为117个。这意味着只需精确处理总因子数量的约一半,就能达到高精度。
    • H8: 对于H8,使用126个因子(110个双激发和16个单激发)也达到了与全UCCSD几乎一致的结果,而总因子数为360个。这表明精确因子数量仅占总量的约三分之一。
    • H10: 对于H10,由于经典计算资源的限制(运行时而非内存),我们未能达到完全收敛,特别是在中间关联区域。然而,即使在最大已计算的因子数量下(约总因子数量的三分之一),H10也显示出向全UCCSD结果快速收敛的趋势,尤其是在非中间关联区域。这凸显了经典计算机在处理更大系统时的瓶颈,同时也预示了该方法在未来量子硬件上的巨大潜力。

总结而言: qUCC算法在不同关联强度下表现出系统性的收敛行为,并且能够在显著减少精确处理因子数量(通常是总因子的25%到35%)的情况下,达到与全UCCSD相当的精度。这对于降低量子电路深度和提高量子算法的实用性至关重要。

2.2 BeH2 分子:铍原子插入氢分子

BeH2分子是一个经典的强关联和多参考特性体系的基准测试。在这个体系中,我们将两个氢原子固定在x轴上的±1Å处,然后沿y轴移动铍原子,范围从-2.4Å到2.4Å。同样使用STO-3G最小基组。

UCCSD 因子数量: BeH2体系总共有204个UCCSD因子,包括24个单激发和180个双激发。

挑战性: 这个体系的特点是在y轴接近±2Å和±1.5Å处存在能级交叉。在这些交叉区域之间,基态呈现出多参考特性,与Hartree-Fock单参考基态不同。为了本研究的演示目的,我们跟踪了由HF参考态描述的单参考态,即使在交叉区域它变为第一激发态。

2.2.1 BeH2 体系结果分析

图4展示了BeH2体系的能量曲线和误差分析(使用40个精确因子进行qUCCSD计算)。

  • 弱关联区域: 与氢链类似,qUCCSD在弱关联区域立即提供了准确的结果,与全UCCSD和CCSD表现相当。
  • 强关联区域和中间区域: BeH2体系同样存在一个难以处理的中间关联区域。然而,通过包含56个因子(40个双激发和16个单激发),即约总因子数量的四分之一,qUCCSD几乎完全恢复了全UCCSD的结果。这再次证明了qUCC方法在处理复杂电子结构问题时的效率和精度。
  • 与CCSD的对比: 在强关联区域,qUCCSD表现优于传统CCSD。当铍原子移动到y轴极端位置时,强关联效应增强,传统CCSD方法与FCI的误差显著增大,而qUCC则能保持相对较高的精度,紧密跟踪全UCCSD结果。
  • 误差曲线(图4下): 随着精确处理因子数量的增加(从20、30到40、56),qUCCSD的误差逐渐降低,并趋向于收敛到全UCCSD的精确结果。这系统地展示了该方法通过增加精确因子数量来提升精度的能力。

总结: BeH2案例进一步验证了qUCC算法在处理强关联和多参考特性体系时的有效性。通过精心选择单激发和双激发因子并将其中的一小部分精确处理,qUCC能够在保持高精度的同时,显著减少量子电路深度,从而为更广泛的量子化学应用铺平道路。

3. 代码实现细节,复现指南与所用软件包

3.1 核心实现语言与自研代码

本研究所使用的UCC和qUCC算法的核心实现由作者团队自行开发(“in-house codes developed by the authors of this paper”)。根据论文中引用的软件包和优化方法,可以推断其主要实现语言是 Python。Python在科学计算领域拥有丰富的库和强大的生态系统,非常适合此类原型开发和数值计算。

3.2 关键依赖软件包

  1. PySCF (Python Simulation of Chemistry Framework):

    • 作用: PySCF是一个开源的Python量子化学软件包,广泛用于电子结构计算。在本文中,PySCF扮演了至关重要的角色,它用于:
      • 生成分子体系的Hartree-Fock参考态。
      • 计算一电子积分(h_pq)和二电子积分(h_pqrs),这些是构建哈密顿量的基本输入。
      • 执行MP2(Møller-Plesset perturbation theory of second order)计算,用于初步估计UCC角度的大小,从而进行“大角度”和“小角度”的划分。
      • 进行传统的耦合簇(CCSD)计算,作为qUCC性能的比较基准。
      • 其核心功能之一 contract_2e 例程,对于高效计算哈密顿量对量子态的作用 H|Ψ) 至关重要,它使得算法能够动态计算矩阵元素,避免了存储大型哈密顿量矩阵。
    • 开源链接: https://github.com/pyscf/pyscf
  2. SciPy (Scientific Python):

    • 作用: SciPy是Python生态系统中的另一个核心科学计算库,提供了大量的数值算法。在qUCC算法中,SciPy主要用于:
      • 非线性优化: 对选定的大角度进行优化时,使用了SciPy提供的BFGS(Broyden–Fletcher–Goldfarb–Shanno algorithm)优化例程。BFGS是一种常用的准牛顿方法,用于解决非线性优化问题。
      • 线性代数: 求解 Aθ' = -b 形式的线性方程组。SciPy的 linalg 模块提供了高效的矩阵求逆和线性系统求解功能。
    • 开源链接: https://scipy.org/
  3. NumPy (Numerical Python):

    • 作用: NumPy是Python中进行数值计算的基础库,提供高性能的多维数组对象和各种派生对象,以及用于数组计算的工具。虽然论文没有直接提及NumPy,但作为SciPy和PySCF的底层依赖,它必然在数据结构和数值运算中发挥了核心作用。
    • 开源链接: https://numpy.org/

3.3 代码实现细节

本研究的算法效率提升关键在于对哈密顿量作用的优化计算。传统方法中,处理 L 个精确因子时,量子态 |Ψ_UCC) 可以包含多达 2^L 个行列式(虽然实际中通常少于此数)。直接构建这些行列式与哈密顿量之间的矩阵元素会非常耗时且内存密集。本研究通过以下方式规避了这一问题:

  1. 量子态表示: UCC态 |Ψ_UCC) 被表示为一系列行列式基态的叠加,即 |Ψ_UCC) = Σ_i c_i |D_i),其中 c_i 是复数系数,|D_i) 是Slater行列式。算法维护并更新这些系数和对应的行列式。

  2. 哈密顿量作用: 当需要计算 H|Ψ_UCC) 时,实际上是计算 H (Σ_i c_i |D_i)) = Σ_i c_i (H|D_i))。核心挑战在于高效计算 H|D_i)

    • 对于每个行列式 |D_i)H|D_i) 会产生一系列新的行列式,它们的系数由 h_pqh_pqrs 决定,并遵循Slater-Condon规则。PySCF的 contract_2e 函数正是实现了这种高效计算,它能接收一个代表 |D_i) 的向量(或其叠加),以及一电子和二电子积分,然后返回 H|D_i) 作用后的新向量(新的行列式叠加)。
  3. 导数计算: 计算 b 向量和 A 矩阵涉及对能量关于角度的导数。例如,∂<H>/∂θ_k 涉及 ∂U_k/∂θ_k 算符,这些算符作用于量子态。通过公式(6)可以得到 ∂U_k/∂θ_k 的具体形式,其同样可以分解为产生/湮灭算符的组合。这些导数算符作用于行列式时,也遵循类似的Slater-Condon规则,因此可以利用 contract_2e 的思想,高效地计算 (∂U_k/∂θ_k) |Ψ_UCC)

3.4 复现指南(基于论文信息推断)

由于作者的“in-house codes”未开源,以下是基于论文描述的推断复现步骤:

  1. 环境设置:

    • 安装Python 3.x。
    • 安装必要的库:pip install numpy scipy pyscf
  2. 分子积分获取:

    • 使用PySCF为目标分子(例如H6、BeH2)定义几何结构和基组(例如STO-3G)。
    • 运行Hartree-Fock计算获取参考态。
    • 提取一电子和二电子积分:mol.intor('int1e_kin'), mol.intor('int1e_nuc'), mol.intor('int2e') 等。
    • (可选)运行MP2计算以获取初始振幅。
  3. UCC激发算符构建:

    • 根据占据轨道和虚轨道的定义,生成所有可能的单激发和双激发算符 (a†_a a_i, a†_a a†_b a_j a_i)。
    • 为每个激发算符定义一个对应的UCC角度 θ_k
    • 实现 U_k(θ_k) 算符及其导数 ∂U_k/∂θ_k 的函数,这些函数应能接收一个行列式态(表示为系数向量),然后返回作用后的新行列式态。
  4. 初始角度分类:

    • 如果使用MP2,将MP2振幅 t_k 转换为 θ_k ≈ arctan(t_k) 作为初始估计(对于单激发,MP2振幅为0)。
    • 根据这些初始角度的幅度,设定一个阈值,将所有 |θ_k| > threshold 的角度标记为“大角度”,其余为“小角度”。
  5. qUCC主循环实现:

    • 步骤1:非线性优化大角度。
      • 定义一个目标函数 energy_func(large_angles):该函数接收当前的大角度,构建相应的UCC态 |Ψ_UCC) = Π_l U_l(θ_l) |Ψ_0),然后计算 (Ψ_UCC| H |Ψ_UCC)。在计算 H|Ψ_UCC) 时,需要将 |Ψ_UCC) 展开为行列式叠加,并对每个行列式调用PySCF的 contract_2e
      • 使用 scipy.optimize.minimize (方法选择 ‘BFGS’ 或其他适合非线性优化的方法) 对 energy_func 进行优化,得到优化后的大角度值。
    • 步骤2:计算 bA 矩阵。
      • 定义一个函数来计算 b_kA_km。这需要对能量表达式进行解析求导,或者使用有限差分近似(精度要求高的话建议解析求导)。
      • 计算这些导数时,需要调用前面实现的 U_k 算符和 ∂U_k/∂θ_k 算符作用于量子态的函数,并再次利用 contract_2e 进行高效计算。
    • 步骤3:求解线性系统并更新能量。
      • 使用 numpy.linalg.solve(A, -b)scipy.linalg.solve(A, -b) 求解线性方程组,得到所有角度的更新值 θ'
      • 计算更新后的qUCC能量 E
    • 步骤4:迭代与重新分类。
      • 检查新的 θ' 中,“小角度”组是否有幅度超过阈值的。如果有,将其提升到“大角度”组。
      • 重复步骤1-3,直到角度分类稳定或能量变化小于预设收敛标准。

这将是一个复杂的实现过程,尤其是在管理行列式叠加和算符作用方面,需要细致的编程技巧。由于缺乏开源代码,精确复现的难度较大,但上述指南提供了核心思想和技术路线。

4. 关键引用文献与工作局限性评论

4.1 关键引用文献分析

本研究建立在量子计算和量子化学领域的诸多前沿工作之上,并对其进行了重要扩展。以下是对论文中关键引用文献的分析:

  • [1] Peruzzo, A. et al., Nat. Commun. 2014: 这篇开创性论文首次提出了变分量子本征求解器(VQE)的概念,并在光子量子处理器上成功演示了其在量子化学计算中的应用。它是VQE领域的里程碑,为本研究的UCC变体提供了核心框架。
  • [2] Preskill, J. Quantum 2018: John Preskill的“NISQ时代”综述,强调了当前量子硬件的噪声特性和规模限制,指出实现低深度量子电路是NISQ时代的关键挑战。本文的qUCC方法正是针对这一挑战,通过减少量子电路深度来提高算法的实用性。
  • [9-11] Kutzelnigg, W. et al.: 这些是耦合簇(CC)理论的经典文献,奠定了现代量子化学的基础。UCC方法是CC理论的酉性推广,旨在克服CC在强关联体系中非变分性的局限。这些文献为理解CC与UCC的异同提供了理论背景。
  • [12] Freericks, J.K. Symmetry 2022: 这篇文章探讨了传统CC振幅与UCC角度之间的关系。这种关系对于理解如何从经典的MP2振幅初始化UCC角度至关重要,为本文的方法提供了理论依据。
  • [13] Møller, C.; Plesset, M. S. Phys. Rev. 1934: MP2扰动理论的原始文献。MP2是量子化学中常用的低阶扰动理论,在本文中被用于初步估计UCC角度的大小,从而帮助划分“大角度”和“小角度”因子。
  • [14] Chen, J. et al., J. Chem. Theory Comput. 2021: 这是本文作者团队之前的qUCC工作。之前的研究受限于经典计算资源,只能精确处理约30个UCC因子。本文在此基础上通过算法优化,显著提升了处理能力,是该方法的关键演进。
  • [15] Chen, J. et al., J. Chem. Theory Comput. 2021: 该文介绍了因子化UCC形式的量子启发式算法。因子化形式是本文UCC实现的基础,有助于简化量子电路的构造。
  • [18] Virtanen, P. et al., Nat. Methods 2020: 这是SciPy库的引用文献。SciPy在本文中用于实现非线性优化(如BFGS算法)和线性方程组的求解,是算法数值实现的重要工具。
  • [19,20] Bartlett, R. J.; Musiał, M. Rev. Mod. Phys. 2007; Shavitt, I.; Bartlett, J. R. 2009: 这些是关于耦合簇理论的权威综述,为全面理解CC方法及其局限性提供了详尽的背景知识,有助于突出UCC和qUCC的优势。
  • [21] Sokolov, I. O. et al., J. Chem. Phys. 2020: 该文讨论了量子轨道优化的UCC方法在强关联区域的应用,进一步强调了UCC类方法在处理这类挑战性问题上的潜力,并与本文的研究方向相呼应。
  • [22] Sun, Q. et al., Wiley Interdiscip. Rev.: Comput. Mol. Sci. 2018: 这是PySCF量子化学软件包的引用文献。PySCF在本文中广泛用于分子积分计算和传统量子化学方法的基准测试,是算法实现的强大底层工具。
  • [23] Cao, Y. et al., Chem. Rev. 2019: 这是一篇关于量子计算时代量子化学的全面综述。它概述了量子化学与量子计算交叉领域的挑战、进展和未来方向,为理解本文工作的宏观背景提供了重要视角。

4.2 对这项工作局限性的评论

尽管本文提出的qUCC算法在降低电路深度和提高计算效率方面取得了显著进展,但仍存在一些局限性,值得深入探讨:

  1. 非严格变分性: qUCC方法通过能量的二次泰勒展开来近似处理小角度因子,这意味着它并非严格变分。在某些情况下,特别是对于某些中间耦合区域和较少精确因子的情况(如H6在R=2Å处的误差曲线),计算出的能量可能会略低于真实的基态能量(FCI)。虽然这种非变分行为可能在数值上接近精确结果,但在理论上,失去了变分原理的保证,使得结果的物理意义略显复杂。未来的工作可能需要探索更高阶的泰勒展开或引入误差界限来恢复变分特性。

  2. 经典计算瓶颈依然存在: 尽管本文通过优化哈密顿量作用的计算,将精确处理的因子数量上限提高到约300个,但对于H10这类更大的体系,特别是在最具挑战性的中间关联区域,算法在经典计算机上的运行时间仍然是瓶颈,未能达到完全收敛。这表明,虽然效率得到了极大提升,但经典模拟的极限依然存在,对于真正大规模的化学系统,最终仍需要量子硬件的介入。文章也承认“我们只检验了少量系统,无法就此得出强有力的结论”。

  3. 测量成本问题: qUCC方法通过增加测量次数来换取电路深度的降低。计算 b 向量和 A 矩阵需要大量的期望值测量,包括对量子态及其导数的期望值。在真实的NISQ量子硬件上,每次测量都伴随着噪声和时间成本。大量的测量需求可能会导致实际运行时间过长,并且噪声累积可能需要额外的错误缓解技术,这会进一步增加整体计算的开销。如何优化测量策略,减少必要的测量次数,是未来研究的重要方向。

  4. 角度分类的启发式性质: 初始阶段将角度分为“大”和“小”是基于MP2振幅的经验,而后续的迭代重新分类则依赖于固定的幅度阈值(例如10^-4)。这种启发式分类方法在本文研究的体系中表现良好,但对于更复杂、多参考特性更强或具有非典型电子结构的体系,这种固定阈值策略可能不是最优选择,或者可能需要更多的迭代才能找到合适的分类。开发更智能、自适应的角度分类方法将是算法进一步鲁棒性的关键。

  5. ** A 矩阵的数值稳定性:** 论文提到 A 矩阵可能出现零或接近零的行列式,导致线性系统 Aθ' = -b 求解时数值不稳定。虽然作者表示在当前研究的体系中未遇到此问题,但对于更广泛的化学体系,这种可能性依然存在。虽然奇异值分解(SVD)可以作为一种鲁棒的解决方案,但它会增加计算复杂性。确保 A 矩阵的良好条件数对于算法的普适性至关重要。

  6. 代码未开源限制: 论文中明确提到使用了“in-house codes”,但未提供其开源链接。这一做法极大地阻碍了科学社区对该方法的复现、验证、扩展和进一步贡献。在当前开放科学的背景下,代码的透明度和可访问性对于加速科研进展和建立信任至关重要。

  7. 泛化性和扩展性论证: 尽管本文在H6、H8、H10和BeH2等体系上进行了详尽的测试,但这些仍然是相对较小的系统。对于包含更多电子和轨道的更大分子,qUCC方法在计算成本、收敛行为以及量子资源需求(例如,所需精确处理的因子数量是否仍保持较低比例)方面的泛化性和可扩展性,仍需更系统和全面的基准测试来加以验证和量化。

这些局限性并非否定本工作的价值,而是指出了未来研究和改进的方向。qUCC作为一种混合量子-经典算法,在连接当前量子硬件能力与未来大规模量子化学计算之间提供了坚实的桥梁。

5. 其他必要的补充:展望与挑战

5.1 量子计算背景与VQE的核心地位

量子计算作为一项颠覆性技术,在处理传统计算机难以解决的复杂问题上展现出巨大潜力,其中量子化学是其最受期待的应用领域之一。精确模拟分子的电子结构是理解化学反应、设计新材料和药物的基础。变分量子本征求解器(VQE)是当前NISQ(噪声中等规模量子)时代最主流的算法之一。VQE采用一种混合量子-经典范式:量子计算机用于制备和测量一个变分量子态的能量期望值,而经典计算机则负责根据测量结果优化量子态的参数以最小化能量。酉耦合簇(UCC)是VQE中最常用的 Ansatz 之一,因为它具有物理启发性、能够提供变分能量上限并在强关联体系中表现良好。然而,正如本文所强调的,UCC面临的核心挑战是其所需的量子电路深度过大,这使得它在目前的噪声量子硬件上难以实现。因此,qUCC算法应运而生,旨在通过巧妙的近似来克服这一障碍。

5.2 qUCC与其他VQE变体的比较

理解qUCC的独特之处,有必要将其置于更广泛的VQE变体语境中:

  • 与全UCCSD (Full UCCSD) 的对比: 全UCCSD旨在精确处理所有单激发和双激发因子。qUCC的目标是在保持接近全UCCSD精度的前提下,显著降低电路深度。本文的数据清楚地表明,qUCC能够在仅精确处理总因子数量的25%-35%的情况下,达到与全UCCSD相当的精度。这使得qUCC成为一个极具吸引力的替代方案,尤其是在量子资源受限的当下。

  • 与传统耦合簇(CCSD)的对比: 传统CCSD是非变分方法,在弱关联体系中表现优异,但其在处理强关联体系时往往会失效并给出不物理的结果(如能量低于基态)。qUCC作为一种变分方法,在强关联区域表现出比CCSD更优越的性能,并能更好地跟踪FCI的精确结果,如图2和图4所示。

  • 与硬件高效 Ansatz (Hardware-efficient Ansatz, HEA) 的对比: HEA通常设计为具有浅层电路和少量参数,以适应NISQ硬件的限制。然而,HEA通常缺乏明确的化学或物理意义,其参数空间可能存在大量局部最小值,导致优化困难且结果解释性差。相比之下,qUCC保留了UCC的物理启发性,通过系统性的泰勒展开近似来控制电路深度,其参数具有明确的物理意义。

  • 与自适应VQE (ADAPT-VQE) 的对比: ADAPT-VQE是一种自适应地构建 Ansatz 的方法,它迭代地从一个预定义的算符池中选择最重要的算符来逐渐增加Ansatz的复杂性,直到达到目标精度。ADAPT-VQE在电路深度控制和参数效率方面表现良好。qUCC则采取了不同的策略,它预先确定所有算符,然后将其分为精确处理和近似处理两类。两者都是为了解决电路深度问题,但策略不同,ADAPT-VQE侧重于Ansatz的动态构建,而qUCC侧重于对固定Ansatz的优化近似处理。

5.3 该方法的工程意义与应用前景

qUCC算法的提出,在连接当前量子硬件能力与未来大规模量子化学计算之间扮演了关键角色,具有重要的工程意义和广阔的应用前景:

  • 提升NISQ时代的可行性: 显著降低量子电路深度是当前NISQ时代量子算法实用化的关键。qUCC通过将大部分计算负担(小角度的确定)转移到经典计算机上,使得量子计算机只需处理少量核心的、大角度的UCC因子。这大大减少了量子门数量和电路深度,从而降低了对量子比特相干时间的严格要求,使其在当前噪声量子硬件上更具可行性。

  • 典型的混合量子-经典算法范例: qUCC是混合量子-经典算法的典范。它充分利用了经典计算机强大的线性代数计算能力来高效处理小角度,而将量子计算机的独特能力用于模拟量子效应最强的部分(大角度的精确演化)。这种分工优化了整体计算效率。

  • 错误缓解的潜力: 浅层电路通常对量子噪声的敏感度较低,有助于错误缓解技术的实施。减少电路深度意味着更少的门操作和更短的运行时间,从而减少了噪声累积的机会,提高了计算结果的可靠性。

  • 迈向大型分子模拟的阶梯: 尽管目前仍受限于经典计算机的运行时瓶颈(如H10体系),但qUCC方法为未来在更大规模、更高保真度的量子计算机上模拟复杂分子奠定了坚实的基础。随着量子硬件的不断发展,能够精确处理的因子数量有望进一步增加,从而推动量子化学模拟迈向更复杂的系统。

5.4 挑战与未来展望

尽管qUCC取得了显著进展,但其发展仍面临一些挑战,并为未来的研究提供了方向:

  • 更高阶泰勒展开的探索: 本研究采用的是二次泰勒展开。未来可以探索更高阶的泰勒展开是否能进一步提高精度,尤其是在中间关联区域。然而,更高阶展开会引入更多的导数项,可能增加 b 向量和 A 矩阵的计算复杂性和测量成本,需要在精度与效率之间取得平衡。

  • 自适应角度分类策略的研发: 目前基于MP2和固定阈值的角度分类方法虽然有效,但可能不是最优解。未来可以开发更智能、自适应的机器学习或启发式方法,根据体系的电子结构特性和关联强度,动态地确定“大角度”和“小角度”的划分,以进一步优化算法性能和收敛速度。

  • 量子测量效率的优化: 测量 bA 矩阵需要大量的期望值测量。在量子硬件上,测量是耗时且易受噪声影响的操作。未来的研究应探索更高效的测量策略,例如利用量子态的对称性减少独立测量次数、使用集体测量技术、或者结合量子误差缓解技术来降低测量噪声并减少所需的测量样本数量。

  • 与多参考态的结合: 目前的qUCC通常以单参考Hartree-Fock态为起点。对于具有强多参考特性的分子,初始参考态的选择会显著影响结果。未来可探索将qUCC与多参考参考态(如多组态自洽场CASSCF)相结合,进一步提升其处理极端强关联体系的能力。

  • 软件生态与开源: 为了推动qUCC方法的普及和发展,作者团队应考虑将其“in-house codes”开源。一个活跃的开源社区能够加速代码的优化、功能扩展和在不同硬件平台上的验证,从而促进整个领域的进步。

  • 真实量子硬件上的实验验证: 虽然本文在经典计算机上进行了详尽的模拟和基准测试,但最终的验证仍需在真实的量子硬件上进行。未来的工作将包括在NISQ设备上运行qUCC算法,评估其在存在量子噪声和硬件限制下的实际表现和鲁棒性。

总而言之,qUCC算法为在近期量子计算机上实现大规模量子化学计算提供了一条充满希望的途径。通过持续的算法优化、软件开发和实验验证,我们有望在不久的将来利用量子计算机解决更多具有挑战性的化学问题。