《昇思25天学习打卡营第16天|在量子化学计算中应用量子变分求解器》

概述

量子化学，指的是运用量子力学的基本理论及方法，求解含时或定态薛定谔方程的数值解。在高性能计算机上进行量子化学模拟已成为研究材料的物理、化学性质的重要手段。然而，精确求解薛定谔方程具有指数级的复杂度，可模拟的化学体系规模严重受制于此。近年量子计算的发展为解决这个问题提供了一条可行的路，有望在量子计算机上实现多项式复杂度下对薛定谔方程的高精度求解。

Peruzzo等人在2014年首次将量子变分求解器(Variational quantum eigensolver, VQE)结合幺正耦合簇理论用于量子化学的模拟中，实现了He-H+基态能量的求解。量子变分求解器是一个量子--经典混合算法，在基于量子算法的化学模拟中应用广泛，本教程将介绍使用量子变分求解器求解分子体系基态能量的方法。

本教程的主要内容包括如下几个部分：

1. 量子化学原理简介。
2. 量子变分求解器的应用。
3. 使用MindSpore Quantum实现高效自动求导的VQE模拟。

本文档适用于CPU环境。

环境准备

本教程需要安装以下环境：

• NumPy
• SciPy
• mindquantum
• mindspore
• PySCF
• openfermion
• openfermionpyscf

以上依赖都可通过pip命令来安装。

导入依赖

导入本教程所依赖模块

量子化学计算方法

量子化学的核心问题在于求解薛定谔方程（Schrödinger Equation）。一般来说，求解含时薛定谔方程（Time-dependent Schrödinger Equation）较为复杂，故引入玻恩-奥本海默近似（Born-Oppenheimer approximation, BO approximation）。BO近似认为，原子核质量远大于电子、运动速度远低于电子，故可以将两者进行分离变量，单独讨论原子核或电子的运动，于是可得到如下不含时的电子运动方程，也称为定态薛定谔方程：

其中𝐻^包含以下三项：

分别为电子动能、电子-电子势能和电子-核势能。

有多种数值算法可以求解定态薛定谔方程。本教程将介绍其中的一类：波函数方法。波函数方法直接求解给定分子哈密顿量的本征波函数和本征能量，目前有大量的开源软件包可实现，如PySCF等。此处从一个简单的例子：氢化锂分子开始，使用openfermion结合openfermionpyscf插件进行。首先定义分子结构：

上面的代码定义了一个Li-H键长为1.5Å分子。使用STO-3G基组进行计算。接下来使用openfermionpyscf，调用PySCF进行HF、CCSD和FCI计算。这三种方法属于波函数方法，开始计算之前，先对这些方法作一个简单的介绍。

波函数方法

求解定态薛定谔方程的方法之一是Hartree-Fock（HF）方法，该方法在二十世纪三十年代左右由Hartree等人提出，是量子化学计算中的基本方法。HF方法引入了单行列式近似，即 𝑁𝑁 电子体系的波函数由一个行列式形式的波函数表示：

|

其中|𝜓1𝜓2𝜓3…〉 代表由一组自旋轨道波函数 {𝜋𝑖} 构成的N阶行列式。 自旋轨道波函数𝜓𝑖 可进一步用一组形式已知的基函数展开：

其中 {𝜒𝜇} 被称为基函数，可以是高斯函数等。 该近似考虑了电子间的交换作用，但是忽略了电子间的关联作用，故无法正确计算如解离能等性质。

HF方法的改进可以从波函数展开定理出发。波函数展开定理可以表述为，若 {𝜓𝑖} 是一组完备的自旋轨道波函数，则 𝑁 电子体系波函数可以由 {𝜓𝑖} 构成的行列式波函数精确展开：

由此可得到Configuration Interaction（CI）方法：

上式中的 |Ψ𝑎𝑖〉+…|Ψ𝑖𝑎〉+… 代表电子由轨道 𝑖𝑖 激发到轨道 𝑎𝑎 的单激发波函数，以此类推。只考虑单激发和双激发的CI被称为CISD，即Configuration Interaction with singles and doubles。将基态HF波函数一直到N激发波函数全部考虑在内的Configuration Interaction被称为Full Configuration Interaction（FCI），FCI波函数是定态薛定谔方程在给定基函数下的精确解。

二次量子化

在二次量子化表述下，体系的哈密顿量具有如下形式：

其中 𝐸𝑝𝑞𝐸𝑞𝑝 和 𝐸𝑝𝑞𝑟𝑠𝐸𝑟𝑠𝑝𝑞 分别为：

𝑎†𝑝𝑎𝑝† 和 𝑎𝑞𝑎𝑞 分别为产生算符（Creation Operator）和湮灭算符（Annihilation Operator）。

使用二次量子化的表述方法，可以非常方便地表示激发态波函数：

CI方法的一个改进是耦合簇理论（Coupled-Cluster theory, CC）。CC引入指数化算符：

其中耦合簇算符  𝑇^ 为对激发算符的求和：

其中 𝜃𝜃 和CI方法中的 𝐶𝐶 类似，是待求解的参数。由指数的泰勒展开易知，即使耦合簇算符 𝑇̂ 𝑇^ 中只包含低阶激发项，exp(𝑇̂ )exp⁡(𝑇^) 也可以隐含部分高阶激发，这也使得CC方法向FCI波函数收敛的速度要远快于CI，同样截断到K激发，如K=2，CCSD的精度会超过CISD。

电子关联作用的效果是使得总能量降低，故HF得到的基态能量会略高于CCSD和FCI。另外，从上述理论不难发现，FCI的计算量远大于CCSD和HF。我们使用openfermion封装的MolecularData和openfermionpyscf封装的run_pyscf函数来进行演示：

在上面的例子中，我们运行了Hartree-Fock（HF）、CCSD、FCI进行总能量的计算。若对运行时间进行统计，会发现𝑇𝐻𝐹<𝑇𝐶𝐶𝑆𝐷≪𝑇𝐹𝐶𝐼𝑇𝐻𝐹<𝑇𝐶𝐶𝑆𝐷≪𝑇𝐹𝐶𝐼，换成计算量更大的体系如乙烯分子等会更明显一些。此外，对于计算得到的总能量，有𝐸𝐻𝐹>𝐸𝐶𝐶𝑆𝐷>𝐸𝐹𝐶𝐼𝐸𝐻𝐹>𝐸𝐶𝐶𝑆𝐷>𝐸𝐹𝐶𝐼。计算完成后，我们将结果保存到molecule_file文件（即molecule_of.filename）中：

量子化学计算的一大阻碍是计算量。随着体系大小（电子数、原子数）的增加，求解FCI波函数和基态能量的时间消耗大约以2𝑁2𝑁增长，即使是较小的分子如乙烯分子等，进行FCI计算也并不容易。量子计算机的出现为此提供了一条可能的解决途径，已有的研究表明，量子计算机可以多项式的时间复杂度模拟哈密顿量的含时演化，在量子处理器上进行化学模拟相较于经典计算机有指数级的加速。本教程将介绍其中一类量子算法：量子变分求解器。

量子变分求解器

量子变分求解器（Variational Quantum Eigensolver, VQE）是一类量子-经典混合（Hybrid quantum-classical）算法，应用变分原理实现对基态波函数的求解。其中，变分参数的优化步在经典计算机上进行。

变分原理

变分原理可使用如下形式表述：

上式中的|Ψ𝑡〉|Ψ𝑡〉代表试探波函数。变分原理表明，在满足一定的条件下，任意试探波函数得到的基态能量总是大于等于真实的基态能量。变分原理为求解分子基态薛定谔方程提供了一种方法：使用一个参数化的函数𝑓(𝜃)𝑓(𝜃)作为精确基态波函数的近似，通过优化参数𝜃𝜃来逼近精确的基态能量。

初态制备

在二次量子化表述下，𝑁𝑁-电子HF波函数也具有非常简洁的形式：

上式搭建了一个由量子化学波函数到量子计算的桥梁：用|0〉|0〉代表非占据轨道，用|1〉|1〉代表电子占据的轨道，由此可以将𝑁𝑁-电子HF波函数映射为由一串𝑀+𝑁𝑀+𝑁个量子比特|00…11…〉|00…11…〉，𝑀𝑀代表非占据轨道的数量。

以下代码构造了对应于LiH分子的HF初态波函数。在Jordan-Wigner变换下，相当于将𝑁𝑁个XX门作用于|000…〉|000…〉上。

基于此，我们可以构造如下形式的试探波函数：

其中𝑈(𝜃)𝑈(𝜃)代表一个可通过量子线路模拟的幺正变换，|Ψ𝐻𝐹〉|Ψ𝐻𝐹〉作为初态，可通过多个单比特XX门来方便地制备。𝑈(𝜃)|Ψ𝐻𝐹〉𝑈(𝜃)|Ψ𝐻𝐹〉的具体形式也被称为波函数拟设。

波函数拟设

前文提到的耦合簇理论是一个非常高效的波函数拟设。在量子计算机上使用，需要作一些修改：

UCC即幺正耦合簇(Unitary Coupled-Cluster theory)，𝑇̂ †𝑇^†代表𝑇̂ 𝑇^的厄米共轭。如此，exp(𝑇̂ −𝑇̂ †)exp⁡(𝑇^−𝑇^†)即为幺正算符。Peruzzo等人在2014年首次使用VQE结合UCCSD(Unitary coupled-cluster with singles and doubles)拟设进行了量子计算机上的化学模拟实验。值得注意的是幺正耦合簇默认了耦合簇算符中的参数{𝜃}{𝜃}是实数。在分子体系中该假设不会有问题；在周期性体系中，刘杰等人的研究表明幺正耦合簇会因为忽略复数部分而造成误差。本教程暂时不讨论幺正耦合簇在周期性体系中的应用。

使用mindquantum的circuit模块中的generate_uccsd函数可读取先前保存在molecule_file的计算结果，“一键”构造UCCSD波函数拟设，以及其对应的量子线路。

generate_uccsd 将幺正耦合簇相关的函数打包了起来，包括导出分子哈密度量、构造幺正耦合簇拟设算符、提取CCSD计算的耦合簇系数等多个步骤。该函数通过输入分子的文件路径来读取该分子，参数th是表示量子线路中哪些参数需要更新梯度的阈值。在分步构造幺正耦合簇拟设章节，我们会演示如何使用mindquantum的相关接口分步完成其中包含的步骤。完整的量子线路包含HF初态+UCCSD拟设，如下代码所示：

对于LiH分子而言，其UCCSD波函数拟设中包含44个变分参数。该线路总共的量子比特门数量为12612，总共需要12个量子比特进行模拟。

VQE的一般流程

使用VQE进行分子基态求解的一般流程如下：

1. 制备HF初态：|00…11…〉；
2. 定义波函数拟设，如UCCSD等；
3. 将波函数拟设转化为参数化的量子线路；
4. 初始化变分参数，如全设为0等；
5. 在量子计算机上多次测量得到分子哈密顿量在该套变分参数下的能量𝐸(𝜃)𝐸(𝜃)以及能量关于参数的导数{∂𝐸/∂𝜃𝑖}
6. 在经典计算机上使用优化算法，如梯度下降、BFGS等更新变分参数；
7. 将新的变分参数传入量子线路中进行更新；
8. 重复步骤(5)到(7)，直到满足收敛标准；
9. 结束

在第5步中，求取能量关于参数的导数{∂𝐸/∂𝜃𝑖}在量子计算机上可通过parameter-shift rule来进行，在模拟器中也可通过模拟parameter-shift rule或者有限差分法来计算，是个较为耗时的过程。mindquantum基于mindspore框架，提供了类似于机器学习的自动求导功能，可以在模拟中可以高效计算变分量子线路的导数。使用mindquantum构造带自动求导功能的参数化UCCSD量子线路。

通过将参数的具体数值传入molecule_pqc，即可得到对应于此变分参数的能量𝐸(𝜃)=〈Ψ𝑈𝐶𝐶(𝜃)|𝐻̂ |Ψ𝑈𝐶𝐶(𝜃)〉𝐸(𝜃)=〈Ψ𝑈𝐶𝐶(𝜃)|𝐻^|Ψ𝑈𝐶𝐶(𝜃)〉以及关于每个变分参数的导数。

例如，我们可以利用下面的代码计算当变分量子线路中所有参数都为零时，哈密顿量的期望值和期望值关于梯度的导数。

通过上述计算，我们获得了能量值和梯度值，用户可以根据实际应用需求来提取这些值。 接下来需要进行VQE优化的(5)~(7)步，即对变分量子线路进行优化。我们可以借助scipy中的优化器来对线路参数进行优化。首先我们构造适用与scipy优化器的优化函数。

此时，我们定义出来的 fun 函数能够正确返回符合要求的数据类型：一个实数格式的能量值，一个跟参数长度一直的梯度数组。接下来，我们利用 scipy 中的 bfgs 二阶优化器来进行优化。

如上，我们便完成了变分量子线路的梯度优化。在这里 energy_list 用于存储收敛过程中的能量。这里我们对 minimize 函数做一个简单介绍：

• fun: 第一个参数表示想要优化的函数
• p0：第二个参数表示变量的初始值
• args：fun 函数中除了第一个参数以外的其他参数，根据我们的 fun 函数的定义，这里选择 args=(molecule_pqc, energy_list)
• method：所使用的优化算法，我们这里选择二阶优化算法 bfgs。更多优化算法请参考 scipy 官方文档
• jac：fun 函数是否返回导数值，这里我们选择 True，因为 MindSpore Quantum 框架能够算出变分量子线路中参数的精确梯度值。如选 False，则 minimize 框架将在内部利用差分方法计算近似梯度值。

res 为 scipy 中优化算法得到的优化结果，包括优化得到的参数，最优化函数值和迭代次数等。

可以看到，幺正耦合簇给出的计算结果和FCI非常接近，具有良好的精度。

分步构造幺正耦合簇拟设

在上文中，我们使用了 generate_uccsd 一步构造出了幺正耦合簇拟设所需要的所有内容，此处我们将步骤拆分，分别得到我们需要的耦合簇算符、对应的量子线路以及取自于经典CCSD计算结果的变分参数初猜值。 首先，导入部分额外依赖，主要包含mindquantum中hiqfermion模块的相关函数。

分子哈密顿量使用 get_qubit_hamiltonian ，读取之前的计算结果得到。

对于幺正耦合簇算符 ，可以使用 uccsd_singlet_generator 进行构造。提供总量子比特数（总自旋轨道数）和总电子数，并设置参数anti_hermitian=True。

上一步构造的ucc_fermion_ops是参数化的。使用Jordan-Wigner变换将费米子激发算符映射为Pauli算符。

接下来，我们需要得到幺正算符所对应的量子线路。TimeEvolution 可生成 所对应的线路，其中 𝐻̂ 𝐻^ 是一个厄米算符， 𝑡𝑡 是实数。需要注意的是，使用TimeEvolution 时，ucc_qubit_ops中已经包含了复数因子 𝑖𝑖 ，所以我们需要将ucc_qubit_ops除以 𝑖𝑖 ，或者提取其虚部。

我们使用ansatz_parameter_names记录该线路中的参数名。到目前为止，我们已经得到了VQE量子线路所需要内容，包括哈密顿量hamiltonian_QubitOp、参数化的波函数拟设线路。ansatz_circuit，故可仿照前文，得到完整的态制备线路。其中Hartree-Fock参考态复用之前的hartreefock_wfn_circuit。

下一步，需要为变分参数提供一个合理的初始值。前文构造的优化器默认使用0作为初猜，在大多数情况下是可行的。不过，使用CCSD的计算数据作为UCC的出发点，可能会有更好的结果。使用 uccsd_singlet_get_packed_amplitudes 函数从molecule_of提取CCSD的参数。

根据之前类似的方式，我们可以利用 MindSpore Quantum 来得到梯度算子，并利用 scipy 来进行优化。

使用init_amplitudes_ccsd（即CCSD计算的耦合簇系数）作为初始变分参数：

最后，我们可以得到优化的结果如下：

总结

在本案例中，我们通过两种方法，利用 scipy 中的优化器，得到了LiH分子的基态能量。在第一种方法中，我们利用MindSpore Quantum打包好的 generate_uccsd 函数生成了能够解决该问题的量子神经网络，而在第二种方法中，我们一步一步的构造出了类似的梯度算子。最终得到的结果是一致的。