Kyungmin
Kim†
a,
Sumin
Lim†
b,
Kyujin
Shin
*c,
Gwonhak
Lee
d,
Yousung
Jung
e,
Woomin
Kyoung
c,
June-Koo Kevin
Rhee
*dfg and
Young Min
Rhee
*a
aDepartment of Chemistry, KAIST, Daejeon, 34141, Republic of Korea. E-mail: ymrhee@kaist.ac.kr
bDepartment of Physics, KAIST, Daejeon, 34141, Republic of Korea
cMaterials Research & Engineering Center, CTO Division, Hyundai Motor Company, Uiwang 16082, Republic of Korea
dSchool of Electrical Engineering, KAIST, Daejeon, 34141, Republic of Korea. E-mail: rhee.jk@kaist.ac.kr
eDepartment of Chemical Engineering, Seoul National University, Seoul, 08826, Republic of Korea
fKAIST ITRC of Quantum Computing for AI, KAIST, Daejeon, 34141, Republic of Korea
gKAIST Institute for IT Convergence, KAIST, Daejeon, 34141, Republic of Korea
First published on 26th February 2024
The realization of quantum advantage with noisy-intermediate-scale quantum (NISQ) machines has become one of the major challenges in computational sciences. Maintaining coherence of a physical system with more than ten qubits is a critical challenge that motivates research on compact system representations to reduce algorithm complexity. Toward this end, the variational quantum eigensolver (VQE) used to perform quantum simulations is considered to be one of the most promising algorithms for quantum chemistry in the NISQ era. We investigate reduced mapping of one spatial orbital to a single qubit to analyze the ground state energy in a way that the Pauli operators of qubits are mapped to the creation/annihilation of singlet pairs of electrons. To include the effect of non-bosonic (or non-paired) excitations, we introduce a simple correction scheme in the electron correlation model approximated by the geometrical mean of the bosonic (or paired) terms. Employing it in a VQE algorithm, we assess ground state energies of H2O, N2, and Li2O in good agreement with full configuration interaction (FCI) models respectively, using only 6, 8, and 12 qubits with quantum gate depths proportional to the squares of the qubit counts. With the adopted seniority-zero approximation that uses only one half of the qubit counts of a conventional VQE algorithm, we find that our non-bosonic correction method reaches reliable quantum chemistry simulations at least for the tested systems.
With this situation, the variational quantum eigensolver (VQE)7 has become likely the primary algorithm for performing quantum chemistry simulations. In the realm of the electronic structure theory, small molecules approximately having 10 electrons are simulated by quantum hardware,8–10 while systems that require 20–30 qubits have been calculated on models.11,12 Development of VQE algorithms to perform more efficient quantum simulations using NISQ hardware is being reported continuously.13,14
In electronic structure problems, obtaining the exact solution of the time-independent Schrödinger equation, i.e., full configuration interaction (FCI) energy, has a complexity close to O(N!) or exponential for practical purposes with the basis set size N. FCI calculations consider all possible electron configurations within the available orbital space beyond the Hartree–Fock (HF) determinant. A VQE approach initiates the post-HF calculation by mapping the N selected spin-orbitals to qubits and generates an ansatz that can be prepared by a system of unitary coupled cluster (UCC) gates or some other heuristic gates. This is followed by measuring the energy expectation value for the corresponding Pauli operators in the computational basis. VQE obtains an approximate value of the FCI energy with a polynomial complexity with respect to N, which is attained by adjusting the parameters of ansatz using the classical optimizer. Practically, however, as the numbers of qubits and gates of a noisy quantum computer increase, the fidelity starts to drop rapidly and the VQE algorithm does not achieve the desired accuracy. Therefore, in the NISQ era, constructing an efficient VQE algorithm that reduces the numbers of qubits and gates is one of the most significant approaches. In conventional VQE algorithms, a spin orbital is encoded by a single qubit by Jordan–Wigner15 or Bravyi–Kitaev16 transformation. For the closed-shell molecules, however, a seniority-zero approximation is routinely applied to reduce the total number of qubits required,17 which truncates the un-paired excitations in the VQE ansatz. An example of this approximation is doubly occupied configuration interaction (DOCI), where one includes all determinants only with doubly occupied orbitals. Because such pair-correlated methods can capture a significant portion of static correlations, previous studies18,19 focused on improving the missing dynamic correlations. From the viewpoint of the NISQ device, the pair-correlated approximation is promising since the number of qubits required to implement the ansatz can be reduced by a factor of two, because one qubit encodes a spatial orbital,17 not a spin-orbital. Indeed, some of the authors have recently demonstrated this advantage with trapped-ion quantum hardware with the orbital-optimized pair-correlated unitary pair coupled cluster double ansatz (oo-upCCD).20 Thus, designing a VQE algorithm that can recover the missing correlation energy of the pair-approximation will be important for the utility of a NISQ quantum computer.
Here, we propose a simple correction scheme for the orbital-optimized pair-correlated VQE simulation. Specifically, we first construct an ansatz by using exchange gates between the qubits corresponding to occupied and virtual spatial orbitals. The essence of this construct is the same as in the earlier studies listed above. The VQE optimization within the ansatz and then subsequent measurements provide information needed for further performing orbital optimizations,18,20 which we then perform with a classical algorithm. For handling electron correlations involving singly occupied orbitals besides the double excitations, we propose a simple non-bosonic correction based on the terms designed with the geometric means of the related bosonic excitation terms. The correction can be performed without using any quantum resource. We test the performance of our scheme by considering a series of molecular systems. Indeed, reasonable agreements with the FCI results are attained for all the tested systems, and the non-bosonic corrections in many cases are shown to be crucial in achieving the agreements. In fact, the non-bosonic correction scheme that we are proposing is computationally almost free yet improves greatly the practical accuracy of the paired-electron approximation.
|Ψ0〉 = |11…1100…00〉 | (1) |
![]() | ||
Fig. 1 Ansatz preparation based on exchange-type gates, as suggested in ref. 21. |
Now, the final state can be translated into
![]() | (2) |
![]() | (3) |
![]() | (4) |
![]() | (5) |
The merge of the last two sums in the first line into the second line is for further convenience. The first sum is non-vanishing only if σ ≠ τ, and by introducing and dp as the pair creation and annihilation operators with dp = apβapα and
, we can easily get
![]() | (6) |
By properly considering commutation relations, we can trivially reach
![]() | (7) |
![]() | (8) |
Note that in the second sum, the condition of p ≠ q additionally reduced the summation over the spin indices. We also adopted Jpq and Kpq to respectively represent the Coulomb and the exchange integrals associated with p and q in compact forms, as well as the number operator . With these, the working expression for the Hamiltonian is obtained as
![]() | (9) |
While we can adopt the set of HF MOs for constructing this Hamiltonian, it will not be an ideal choice for obtaining the molecular energy. Therefore, we performed orbital optimizations toward minimizing 〈Ψ|H|Ψ〉 as in ref. 20.
Then, the total energy is calculated as
E = 〈Ψ|H|Ψ〉 +EnB | (10) |
Although the analytic expression of EnB cannot be derived based on the information available with the pair excitations, its contribution may still be accounted for toward achieving more reliable energy calculations at least at a heuristic level. We propose to approximate it as
![]() | (11) |
This correction was devised with the following reasoning. First, among all missing unpaired configurations, the ones with two or four unpaired electrons (seniority 2 and 4) will contribute most.24 This is a reasonable assumption when we consider the terms that constitute low order correlation corrections. Also, such configurations can be generated by operating (with omitted spin indices for brevity) on some doubly occupied configuration. We naturally expect that the largest non-bosonic contributions should be from 〈Φ0|H|Φrspq〉 = (pr||qs), when Φ0 is the HF ground state reference configuration. Thus, we argue that the energy contribution by an unpaired configuration will be proportional to the associated ERI, (pr||qs). To know the actual contribution, we need its proportionality constant (“amplitude”), but by construction we do not have that information. With a similar intuition in the spin-restricted ensemble-referenced Kohn–Sham (REKS) method,25 we assume that the open-shell contribution is related to the populations (occupation numbers in the REKS terminology) of two bosonic single determinant reference states. We accordingly reason that this unknown amplitude can be approximated by the geometric mean of the two contributions related to
and
, namely the portions of |Ψ〉 that have filled p (q) orbitals and empty r (s) orbitals. These will be the norms of
and
, leading to eqn (11). After a short algebra, we can also show that eqn (11) is equivalent to
![]() | (12) |
In calculating this energy correction with EnB, we need a way of fixing the orbital signs, even though the energy calculated by the variational optimization before adding this correction is invariant to the choice of orbital signs. In this work, we aimed to adjust the signs such that the energy becomes as low as possible. In principle, we can test all different combinations of the signs of all orbitals, but doing so will require testing on ∼2N combinations with the number of orbitals N, which will be unacceptable. Thus, we have taken the following practical tactic. When the number of electron pairs is denoted as n, we started by arbitrarily fixing the signs of the n-th and the (n + 1)-th orbitals, which will correspond to the highest occupied and the lowest unoccupied orbitals with the HF picture. Of course, after the further orbital optimizations, the HF picture will not last any longer, but the indices inherited from the initial HF calculations still remain. With an index a fixed to a = (n + 1), we walked down the indices over {i = (n − 1),(n − 2),…,1} together with i+ = i + 1, and at each stage fixed the sign of the i-th orbital such that the electron-repulsion integral (i+a|ia) becomes positive. The same process was also taken for over {a = (n + 1),(n + 2),…,N} by considering (na−|na) with a− = (a − 1) and by walking up in the index space of a. For these procedures, we can possibly use indexes of canonical orbitals in defining i and a. However, doing so does not provide any connection between adjacent orbitals, and sometimes (i+a|ia) or (na−|na) is too close to zero, which renders the sign fixing process rather ill defined. Choosing a spatially best overlapping orbital as the neighboring one will be better in this regard, but orbitals are conventionally given with orthogonality intrinsically implemented and using overlap will not be a good tactic in this regard, either. Therefore, we adopted the one-electron matrix hpq to decide the proximity in orbitals. Namely, for any given orbital i, we chose i+ such that i+ was not considered before and hii+ was the maximum. The same could be applied for choosing a−. Apparently, the computational efforts for choosing the sequence of orbitals in this manner scale as ∼N2.
We next tested our scheme by computing the bond dissociation potential curves of a series of small molecules: H2O, LiH, N2, and Li2O, with the same STO-3G basis set and the same number of shots for obtaining the expectation values of the Pauli terms. The adopted computational resources for the molecules are listed in Table 1. In this work, we adopted a quantum simulator IBM-Qiskit,26 and thus with actual quantum hardware, the optimal numbers of shot averages will differ depending on the fidelity and the coherence time of the hardware.
Molecule | H2 | LiH | H2O | N2 | Li2O |
---|---|---|---|---|---|
No. qubits (occ,vir) | 2 (1,1) | 3 (1,2) | 6 (4,2) | 8 (5,3) | 12 (4,8) |
No. paramters (θia) | 1 | 2 | 8 | 15 | 32 |
No. two-qubit-gates | 3 | 6 | 24 | 45 | 96 |
The first tested molecule, LiH, serves the purpose of checking how much correlation energy can be recovered with VEQ itself. In this case, there are six MOs with the STO-3G basis. VQE simulations were performed by a circuit consisting of six qubits, corresponding to two occupied and four virtual orbitals. The ground state energies were obtained in the Li–H distance range of 0.5 to 2.4 Å and are shown in Fig. 3. As shown in this figure, hereafter, we will designate the VQE energies based on HF orbitals with “vqe” and the ones after orbital optimizations with “oo-vqe”. When EnB in eqn 12 is added, of course, the energies will be respectively designated as “vqe-nB” and “oo-vqe-nB”. Both vqe and vqe-nB results show good agreement with FCI energy around the distance near the equilibrium separation. However, the errors become quite large at long separations, and orbital optimizations indeed cover this discrepancy rather nicely. This is expected as the spin-restricted HF orbitals should severely fail in such a case, and pair-correlation methods are known to perform well for handling the related nondynamical correlations.27 In any case, over the entire region, our pair-correlated VQE performs quite well after orbital optimization and EnB does not contribute much with LiH.
The next tested molecule, H2O, has seven MOs with the minimal basis set. Of the seven, oxygen 1s hardly participates in forming the bonds, and we excluded this core orbital from the VQE calculations via the frozen-core approximation. Hence, VQE was performed by mapping six MOs (four occupied and two virtual ones) to as many qubits. Thus, there were 8 parameters in applying the exchange gates between the occupied and virtual orbitals, with a total of 24 two-qubit gates. Fig. 4 shows how the molecular energy changes by varying the H–O bond length at a fixed H–O–H angle of 104.45 deg. From this figure, we can again see that the paired ansatz by itself (vqe) displays a significant deviation from the FCI result. Much of the discrepancy is fixed with the subsequent orbital optimization (oo-vqe), and the non-bosonic correction that we propose here almost correctly recovers from the remaining error, with the largest deviation from the FCI curve being barely noticeable from the figure. Interestingly, the non-bosonic correction without performing the orbital optimization (vqe-nB) also displays quite reliable agreement in this case.
![]() | ||
Fig. 4 H2O ground state energies with differing O–H distances. The two bond lengths were kept identical to each other. |
Now, let us move on to a larger system Li2O. Indeed, the molecule is practically related to the operation of Li–air batteries, and enabling quantum simulations of battery materials will be of significant industrial interest.11 Similarly to H2O, by applying the frozen core approximation for 1s orbitals, we were able to conduct VQE simulations with only 12 qubits. As they represented 4 occupied and 8 virtual orbitals, a total of 32 parameters matching with 96 two-qubit gates were needed. The ground state energies at varying Li–O bond distances are shown in Fig. 5. Compared to H2O, because more virtual orbitals are available, we can expect that the contribution of the non-bosonic excitations will be larger in this case. Indeed, from the figure, we can see that vqe or oo-vqe does not reproduce the FCI PES that well. Instead, oo-vqe-nB reproduces FCI results much better with errors smaller than ∼10 mH.
Now, let us consider the dissociation curve of N2 to further confirm the utility of our approach. In fact, N2 with its triple bond has been considered as one of the most difficult systems to model with electronic structure theories, and accordingly, it will act as a stringent test case for us. Not surprisingly, even the CCSD(T) method fails drastically in describing this triple bond dissociation because it is still a single-reference approach (Fig. 6). In contrast, our VQE results with the frozen core approximation reasonably reproduce the FCI results, with the equilibrium bond length and the entire energetic features being in good agreement. We note, however, that the energies at configurations stretched from the equilibrium geometry (RN−N ∼ 1.2 Å) display an error of 30–50 mH. We will defer commenting on this quantitative discrepancy to a later section, as a more detailed analysis about this mismatch will be covered in the Discussion section.
The situation with N2 was somewhat different. At its minimum energy geometry (∼1.2 Å), the contribution by a quadruple excitation term was quite important with FCI. Namely, a double pair excitation from the 6-th and the 7-th (occupied) MOs to the 8-th and the 9-th (virtual) MOs contributed by ∼30% as large as the most important bosonic double excitation (7-th → 9-th). Still, the population of the quadruply excited configuration was 0.05368 with FCI and 0.05373 with VQE, being in close agreement at the minimum energy geometry. However, when the molecule was stretched with its interatomic distance at 2.0 Å, the double pair excitation contributed even more importantly at the level of ∼75% of the 7-th → 9-th term and bore the second largest population. In this case, the corresponding VQE population was 0.35355 and showed a substantial discrepancy with respect to the FCI population of 0.26495. While our method could still accommodate excitations in pairs and thus the result was not too bad at the equilibrium geometry, it could not handle multiple-bond breaking with enough satisfaction. This is somewhat expected as the situation will likely increase the importance of pair-broken multiple excitations. Thus, our approach started to deviate from the exact answer in stretched geometries as higher excitations become more important. Of course, the fidelity of the simple correction with eqn (11) will also deviate. Thus, we note that treating a triple bond still remains a difficult problem.
We also wish to point out the effects and the limitations of our bosonic mapping and non-bosonic correction. It has been discussed that the bosonic mapping is a powerful tool and can qualitatively reproduce the dissociation curves of simple molecules.17 However, it is destined to underestimate the correlation energy because it only includes a subset of properly treated excitations. Interestingly, our non-bosonic correction mostly shows quite good agreement with exact answers at least for the single-bonded molecules, as exemplified with H2O and Li2O. In contrast, in the cases of molecules involving double or triple bonds, our correction term may not work that well. Indeed, in the case of N2 with a triple bond (Fig. 6), similar results were obtained whether the correction term was added or not. Even in such cases, however, our approach can still be considered meaningful in terms of reducing the required resources for simulations. Although several reports have shown that quantum unitary coupled cluster singles and doubles (UCCSD) can reproduce the dissociation curves of some small single-bonded molecules and even N2 within a few mH error,28–31 the required number of gates was about 104–105,28 which are still distant from the practical applicability with the currently available NISQ devices. It is also interesting to note that various symmetry-restricted versions of quantum UCCSD approaches show errors in the tens of mH regime.28 Our model actually provided curves with an at least similar level of errors, but with only the half number of qubits and tens of two-qubit gates. Indeed, our resource requirements will likely be much more reasonable with the presently available devices.
Footnote |
† These authors contributed equally to this work |
This journal is © the Owner Societies 2024 |