Abstract
Quantum computers promise to revolutionise molecular electronic simulations by overcoming the exponential memory scaling. While electronic wave functions can be represented using a product of fermionic unitary operators, the best ansatz for strongly correlated electronic systems is far from clear. In this contribution, we construct universal wave functions from gate-efficient, spin symmetry-preserving fermionic operators by introducing an algorithm that globally optimises the wave function in the discrete ansatz design and continuous parameter spaces. Our approach maximises the accuracy that can be obtained with near-term quantum circuits and provides a practical route for designing ansätze in the future. Numerical simulations for strongly correlated molecules, including water and molecular nitrogen, and the condensed-matter Hubbard model, demonstrate the improved accuracy of gate-efficient quantum circuits for simulating strongly correlated chemistry.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Introduction
Computing molecular properties and processes relies on solving the Schrödinger equation to find the many-electron wave function. An exact solution to this problem formally scales exponentially with the number of electrons. Therefore, current high-accuracy algorithms with polynomial scaling, including coupled-cluster and many-body perturbation theory, fail when the electronic entanglement and correlation cannot be easily approximated1. These situations often arise in open-shell systems with strong spin coupling, such as stretched molecular bonds and transition metal complexes2. For this reason, universally accurate simulations of complex processes, such as metalloenzyme catalysis and high-temperature superconductivity, remain difficult3. Gate-based quantum computation has the potential to overcome this challenge by representing the electronic wave function using polynomially scaling quantum resources, providing a route for solving strongly correlated electronic structure problems4.
Current and near-term quantum devices are impaired by noise and are limited to shallow quantum circuits5. The most promising near-term approaches optimise the parameters of an ansatz for the quantum state, and algorithms such as the variational quantum eigensolver6 (VQE) are expected to outperform classical computational methods with modest quantum resources. However, the best ansatz for strongly correlated wave functions is far from clear, raising the question of how near-term quantum computing can usefully address unsolved electronic structure problems in chemistry. These questions are further complicated by the lack of numerical insight into the mathematical limits of different ansätze, such as how the accuracy scales with the number of operators or circuit depth.
We present a method for discovering highly compact ansätze by combining products of spin symmetry-preserving fermionic operators with a global optimisation algorithm, the Discretely Optimised Variational Quantum Eigensolver (DISCO-VQE), which optimises both the discrete sequence of operators and their continuous variational parameters. Numerical simulations demonstrate that accurate wave functions for strongly correlated electronic systems can be parametrised with efficient quantum circuits. These advances facilitate the design of high-accuracy quantum ansätze for solving challenging electronic structure problems on quantum devices, which will provide a deeper theoretical understanding of how these mathematical approximations encode strong electron correlation.
Ansatz-based approaches apply a unitary transformation \(\hat{U}\) to an initial state \(\left\vert {{{\Phi }}}_{0}\right\rangle\) in the form of a quantum circuit, constructed through a series of parametrised building blocks as \(\hat{U}={\hat{U}}_{1}({\theta }_{1})\cdots {\hat{U}}_{N}({\theta }_{N})\). The parameters θi are optimised on a classical computer by extremising an objective function, such as the electronic energy, which is evaluated using the quantum computer. This product structure defines a family of wave functions that we term unitary product states (UPS), and encompasses every quantum computational chemistry ansatz that has been proposed to date.
The ideal unitary product state should satisfy:
-
Universality — describe any electronic eigenstate;
-
Practicality — minimise circuit depth with few entangling gates;
-
Symmetry — preserve good quantum numbers for operators that commute with the Hamiltonian.
Currently, the most popular ansätze use either hardware-efficient unitary operators constructed from qubit operations that minimise the depth of a specific quantum circuit7, or physically-motivated fermionic unitary operations8 based on the second-quantised representation of electronic systems1. Second-quantised fermionic operators conserve particle number and Pauli antisymmetry, ensuring that truncated approximations predict accurate properties beyond the energy, and providing suitable initial states for fault-tolerant quantum phase estimation, where efficiency depends on the initial overlap with exact states. However, fermionic operators require multiple gate operations that lead to deep quantum circuits, creating a trade-off between symmetry-preservation and gate efficiency8.
Initial developments based on fermionic operators included the unitary coupled cluster approach6,8 (UCC), inspired by the success of coupled cluster theory for classical computing9. The UCC unitary transformation is an exponential of a sum of anti-Hermitian fermionic operators, usually restricted to one- and two-body excitations8. However, since fermionic operators generally do not commute, representing this unitary transformation as a quantum circuit requires a Trotter approximation, which is only exact in the infinite limit: \({{{{\rm{e}}}}}^{\hat{A}+\hat{B}}=\mathop{\lim }\limits_{m\to \infty }{({{{{\rm{e}}}}}^{\hat{A}/m}{{{{\rm{e}}}}}^{\hat{B}/m})}^{m}\). Instead, focus has shifted to a particular UPS form called disentangled UCC10. While it has been shown theoretically that exact states can be represented using a suitably-ordered infinite product of one- and two-body fermionic operators10, finite expansions are sensitive to the operator order, fail for strong correlation11,12, and do not conserve the \(\langle {\hat{S}}^{2} \rangle \) quantum number13. In our view, refering to these states as UCC is no longer appropriate since the connection to the many-body cluster operator is not retained in practice. The ADAPT-VQE optimisation algorithm14, and its extensions15,16,17,18, iteratively build a UPS from a pool of operators, selecting the operator with the largest energy improvement at each step. Although promising, variants of ADAPT-VQE that use qubit operators may not converge to the exact ground state19, and current qubit and fermionic implementations are not guaranteed to conserve spin symmetry17,20. Furthermore, as we show in this work, the ADAPT-VQE optimisation strategy will generally not identify the best representation with the fewest number of operators from a given pool.
Here we describe an approach that fulfils the ansatz requirements using a symmetry-preserving unitary product state (s-UPS) that conserves Pauli antisymmetry, particle number symmetry, and the \(\langle {\hat{S}}_{z} \rangle\) and \(\langle {\hat{S}}^{2}\rangle\) quantum numbers using a fermionic operator pool. We prove that this ansatz is universal and demonstrate that it is gate-efficient. Identifying the appropriate choice of the operators is system-dependent and challenging. We solve this problem by introducing the DISCO-VQE algorithm, which simultaneously optimises the operator sequence and their variational parameters. Our approach discovers the most accurate s-UPS representation with a minimal number of parameters, demonstrating that high-accuracy gate-efficient quantum circuits can be achieved, and providing a practical route for designing highly accurate ansätze in the future.
Results
Symmetry-preserving unitary product states
Fermionic unitary operators correspond to an exponential of anti-Hermitian second-quantised operators \({\hat{\kappa }}_{pq\ldots }^{rs\ldots }={a}_{r}^{{\dagger} }{a}_{s}^{{\dagger} }\cdots {a}_{q}^{\phantom{{\dagger} }}{a}_{p}^{\phantom{{\dagger} }}-{a}_{p}^{{\dagger} }{a}_{q}^{{\dagger} }\cdots {a}_{s}^{\phantom{{\dagger} }}{a}_{r}^{\phantom{{\dagger} }}\). These operators ensure Pauli antisymmetry, conserve particle number, and can be mapped onto qubit operators using fermion-to-qubit encodings21,22. We define a symmetry-preserving unitary product state (s-UPS) of length M as
where \(\left\vert {{{\Phi }}}_{0}\right\rangle\) is an arbitrary initial state, and only spin-adapted generalised one-body and paired two-body operators are allowed, that is \({\hat{\kappa }}_{{\mu }_{i}}\in \{{\hat{\kappa }}_{p}^{q}+{\hat{\kappa }}_{\bar{p}}^{\bar{q}},{\hat{\kappa }}_{p\bar{p}}^{q\bar{q}}\}\). The indices p, q (where p < q) denote arbitrary spin orbitals and the absence (presence) of an overbar indicates a high-spin (low-spin) orbital. Individual operators may appear multiple times with different amplitudes, defined by the continuous coordinates t = (t1, …, tM). Because the \({\hat{\kappa }}_{{\mu }_{i}}\) need not commute, the ansatz depends on the sequence of operators, denoted by the ordered indices μ = (μ1, …, μM).
Using generalised fermionic operators, where p and q represent arbitrary spin orbitals, removes any dependence on the separation of occupied or virtual orbitals in a mean-field reference. In contrast to many-body perturbation theory, these operators represent Lie algebra generators23 for unitary transformations in the D-dimensional Hilbert space and can rotate any initial state into any exact state. Universality of the generalised (unpaired) one- and two-body fermionic operators has been proved by realising that their nested commutators can generate the full Lie algebra10. Since a product of unitary operators corresponds to an exponential of a sum of operators and their commutators, \({{{{\rm{e}}}}}^{\hat{A}}{{{{\rm{e}}}}}^{\hat{B}}={{{{\rm{e}}}}}^{\hat{A}+\hat{B}+\frac{1}{2}[\hat{A},\hat{B}]+...}\), combining enough operators in a suitable order can represent any unitary transformation in the Hilbert space24. The universality of the s-UPS ansatz can be proved using the additional observation that generalised two-body operators can be expressed as nested commutators of one-body and paired two-body operators, as we show in the Supplementary Methods and illustrate diagrammatically in Supplementary Figure 1. This proof requires the reference state to have at least one pair of doubly occupied and doubly unoccupied orbitals. We postulate that M≤(D − 1) will allow any initial state to be rotated into an exact state without redundant parameters, and provide numerical examples that support this hypothesis. In practice, we expect sufficient accuracy with smaller M values.
Since these elementary operators are spin-adapted (the commutators \([{\hat{S}}^{2},\hat{\kappa }]\) and \([{\hat{S}}_{z},\hat{\kappa }]\) vanish), the s-UPS ansatz conserves the spin symmetry of the initial state for every truncation M, avoiding spin-constrained optimisation13 or spin projection17. In contrast, spin-adapted unpaired two-body operators require the exponentiation of a sum of non-commuting operators, and their application in a quantum circuit requires a Trotter approximation, which destroys the spin adaptation13. Furthermore, paired two-body operators \({\hat{\kappa }}_{p\bar{p}}^{q\bar{q}}\) can be implemented with a constant number of two-qubit controlled-NOT (CNOT) gates, while the CNOT count for unpaired two-body operators grows linearly with the number of orbitals (see Supplementary Methods).
The s-UPS ansatz can be viewed as a generalisation of the quantum-number-preserving (QNP) approach25 and the swap-network k-UpGGCSD framework26, where spin-adapted orbital rotation gates (generalised spin-adapted one-body operators) and pair exchange gates (paired two-body operators) between nearest-neighbour qubits are used to define low-depth quantum circuits with local connectivity. Since we include operators connecting any pair of orbitals, and allow a variable operator ordering, we expect greater accuracy with fewer parameters. Furthermore, while universality of the QNP ansatz was only postulated and demonstrated numerically25, our fermionic representation has allowed a rigorous proof.
Discretely optimised variational quantum eigensolver
Fixed operator orderings are typically poor approximations to the optimal unitary product state and very little is understood about what constitutes a good ordering14,27. Without a priori information, the optimal operator ordering can be approached as a coupled discrete and continuous optimisation problem for the continuous operator amplitudes t and the discrete ordered operator set μ. Exploiting the variational principle, the optimal s-UPS representation can be identified by minimising the energy
The nonlinearity of E(t, μ) with respect to t creates local minima that hinder global optimisation12,28. Previous discrete optimisation strategies include mapping the problem to a probabilistic framework29, genetic algorithms30,31, or an iterative gate-by-gate optimisation algorithm32. However, stochastic approaches are not guaranteed to find the global minimum, while the gate-by-gate approach cannot escape local discrete minima, and the strong interdependence of the operators means that crossover steps in genetic algorithms are less likely to lower the energy30.
Instead, we have developed the Discretely Optimised Variational Quantum Eigensolver (DISCO-VQE), which facilitates global optimisation by taking steps in both the continuous and discrete spaces for the s-UPS ansatz. For a given μ, we define a local discrete neighbourhood as the operator sequences connected by:
-
cyclically permuting the ordered set;
-
mutating one operator into another from the pool;
-
swapping the position of two operators.
Following the generalised basin-hopping (GBH) approach33,34,35, we define a biminimum34 as a configuration (t, μ) that is a minimum in the continuous parameters and lies lower in energy than neighbouring minima after a step in the discrete space, including relaxation of the continuous parameters. DISCO-VQE alternates between a series of basin-hopping36,37 steps that explore the continuous energy landscape for a fixed set of operators, and discrete steps in the space of operator orderings (Fig. 1). After each round of basin-hopping steps we identify the lowest-energy configuration that can be reached by cyclically permuting the operators and reoptimisation of the continuous coordinates. Similarly, we identify the lowest energy mutation and pair swap for each operator and accept this step if it lowers the energy. By testing mutations and pair swaps for every operator individually, DISCO-VQE can completely change the discrete parameters in each macrocycle and, in principle, the optimal operator sequence could be discovered after one macro iteration. In practice, the combined space of continuous and discrete parameters exhibits many local biminima and uphill moves are required to escape these traps. The full algorithm is detailed in the Supplementary Methods.
To avoid a bias towards any particular region of the discrete space, the search is initialised with identity operators that represent the initial state \(\left\vert {{{\Phi }}}_{0}\right\rangle\). In the future, the use of informed guesses based on intuition into the best operator order may improve the optimisation efficiency.
Analysis of computational scaling
Obtaining high-accuracy wave functions using adaptive algorithms, such as DISCO-VQE and ADAPT-VQE, increases the computational cost relative to a fixed ansatz approach. For M operators chosen from a pool of size N, the computational scaling of DISCO-VQE is determined by the cost of the operator mutations and pair swaps. One cycle of operator mutations tests whether the energy is lowered when each of the M operators is replaced with another operator from the pool, giving a scaling of \({{{\mathcal{O}}}}(MN)\). Similarly, one cycle of pair swaps considers every possible way to interchange the current operators, with a scaling of \({{{\mathcal{O}}}}({M}^{2})\). The overall scaling of the discrete search is therefore \({{{\mathcal{O}}}}(\max ({M}^{2},MN))\), allowing the combinatorial space of operator sequences to be searched with polynomial scaling in M and N.
Global optimisation allows highly accurate wave functions to be discovered with smaller operator pools and fewer variational parameters than methods such as ADAPT-VQE. To avoid stagnation, the standard fermionic ADAPT-VQE implementation14 must consider all unpaired two-body operators with a pool that scales as \(N \sim {{{\mathcal{O}}}}({n}_{\text{q}}^{4})\), where nq is the number of qubits. The discrete gradients needed to iteratively grow the ansatz scale as \({{{\mathcal{O}}}}(N)\), giving fermionic ADAPT-VQE an overall scaling of \({{{\mathcal{O}}}}({n}_{\text{q}}^{4})\). In contrast, our spin-adapted one-body and paired two-body operator pool scales as \(N \sim {{{\mathcal{O}}}}({n}_{\text{q}}^{2})\). Assuming that chemical accuracy can be achieved with M≤N, which is true for the examples we consider, the overall scaling of DISCO-VQE becomes \({{{\mathcal{O}}}}(M{n}_{\text{q}}^{2})\), which is at worst the same as fermionic ADAPT-VQE with unpaired two-body operators. Further reductions may be achieved with additional restrictions, such as constraining the operators to act between nearest-neighbour qubits to give \(N \sim {{{\mathcal{O}}}}({n}_{\text{q}})\). The current state of knowledge does not provide a prediction for how the number of operators M required to achieve a given accuracy will scale with the system size.
The computational cost of DISCO-VQE scales linearly with the number of basin-hopping steps in the continuous space and the number of discrete macrocycles, which are primarily determined by the amount of computing resources available. In this work, our aim is to calibrate the best achievable accuracy, so we use a large number of cycles, as detailed in the Supplementary Methods. However, any number of basin-hopping steps must always be at least as accurate as the current best optimisation with the same initial guess, while the reoptimisation in the discrete search means that the continuous space can still be explored without any basin-hopping steps (Supplementary Figure 2). Furthermore, because DISCO-VQE starts by selecting mutations for the initial empty set of operators, which is essentially the same as the ADAPT-VQE procedure, even a single discrete macrocycle will ensure that DISCO-VQE is at least as accurate as ADAPT-VQE with the same operator pool (Supplementary Figure 2). Consequently, even for a single macrocycle, DISCO-VQE will always match or exceed the accuracy of current state-of-the-art VQE calculations.
Exact wave functions using DISCO-VQE
The universality of the s-UPS ansatz means that wave functions with an arbitrarily small energy error can be obtained using a finite number of spin-adapted one-body and paired two-body unitary operators. DISCO-VQE calculations on linear and tetrahedral H4 show that chemical accuracy (1.59 mEh) requires only nine and five operators, respectively (Fig. 2a–b). Furthermore, exact ground states can be identified using thirteen or eight operators, respectively, compared to a Hilbert space of 36 configurations. These results support our postulate that exact s-UPS representations require a finite number of operators M that is less than the Hilbert space size, in contrast to previous theoretical work that could only demonstrate universality in the limit M → ∞10.
Practical electronic structure calculations generally require consistent accuracy for every relevant geometry of a molecule. DISCO-VQE achieves this goal for linear H4 by identifying exact wave functions with thirteen operators at all geometries (Fig. 2c). Fixing the ansatz to the ordering identified at equilibrium gives near-exact energies across the full binding curve (Supplementary Figure 4), demonstrating that accurate and transferable fixed ansätze can be defined. The operator sequence and optimised parameters for this fixed ansatz are included in Supplementary Table 1, providing a high-accuracy quantum circuit for use in practical VQE experiments. In comparison, random fixed ansätze are relatively accurate near equilibrium, but exhibit a large energy variation towards dissociation (Fig. 2c). Furthermore, optimisation using ADAPT-VQE with the paired operator pool accurately describes equilibrium and dissociation, but gives appreciable errors at intermediate geometries, where electron correlation is most challenging (Fig. 2c).
Global optimisation of the continuous coordinates and discrete operator ordering is essential for realising the universality of the s-UPS ansatz. The improved algorithmic optimisation provided by DISCO-VQE is clear from comparison with ADAPT-VQE calculations using the same pool of operators. By adding one operator at a time, ADAPT-VQE performs a local optimisation, which may not converge to the exact ground-state wave function, as demonstrated in Fig. 2a–b. DISCO-VQE can escape these local minima and implements global optimisation for any sequence of operators.
Stagnation of the ADAPT-VQE optimisation was previously described in ref. 19 and arises from combining the gradient-based selection criterion with particular operator pools. The restriction to paired two-body operators means that the ADAPT-VQE gradient14 no longer coincides with the residual of the Anti-Hermitian Contracted Schrodinger Equation38 and converged solutions are not necessarily eigenstates39. A near-exact ADAPT-VQE result for linear H4 can be obtained by including unpaired two-body operators (Fig. 2a), although DISCO-VQE is still more accurate with fewer operators, and truncated wave functions exhibit spin contamination (Supplementary Figure 3).
Applicability to open-shell molecules
High-spin molecules are an important target for quantum algorithms because conserving open-shell spin symmetry in standard methods, such as coupled-cluster theory, introduces significant computational complexity40. Rubin et al. have recently shown that ADAPT-VQE using the full unpaired operator pool struggles to converge to the high-spin triplet ground state of O2 using the restricted open-shell HF (ROHF) reference state, while starting from a more accurate ROHF-CCSD state introduces spin contamination20. These issues arise from a plateau in the energy with respect to the number of operators (Fig. 3a), which causes the magnitude of the discrete gradient to temporarily fall below the convergence threshold used in ref. 20 (Fig. 3b: top panel). Adding more operators eventually causes the energy to decrease, although 32 operators are ultimately required to reach chemical accuracy.
In contrast, the s-UPS ansatz provides a chemically accurate representation of the O2 ground state using only nine operators from a Hilbert space of 448 configurations. This highly accurate open-shell s-UPS approximation is achieved despite only including spin-adapted one-body and paired two-body operators in the pool, with no modifications to the DISCO-VQE procedure. As for the H4 results, the importance of global optimisation in the discrete space is demonstrated by the stagnation of ADAPT-VQE calculations using the paired operator pool. Furthermore, enforcing spin symmetry at the operator level ensures that every s-UPS truncation preserves the \(\langle {\hat{S}}^{2}\rangle =2\) property of the ROHF reference state, guaranteeing a spin-pure representation (Fig. 3b: bottom panel). Hence, universal wave functions for any spin state can be achieved using the s-UPS approach.
Accuracy of truncated approximations
Practical quantum computations on large molecules will still require truncated wave function approximations. Global optimisation using DISCO-VQE provides the most accurate s-UPS for a given number of operators, while conserving spin symmetry at every truncation. For example, DISCO-VQE calculations on linear H6, with a Hilbert space of 400 configurations, achieve chemical accuracy with 30 operators (Fig. 4a) while ADAPT-VQE optimisation stagnates between 14 and 40 operators (Fig. 4a). DISCO-VQE requires 10 operators to surpass the accuracy of ADAPT-VQE using the paired operator pool (Fig. 4b) and improves the energy using fewer parameters compared to previous fermionic operator methods (Fig. 4c). Hence, DISCO-VQE provides the most accurate result with a specified number of fermionic operators in linear H6.
Symmetrically stretched H2O and N2 dissociation represent strongly correlated molecular tests for wave function approximations, with Hilbert space dimensions of 441 and 400, respectively, when the four lowest molecular orbitals of N2 are frozen. DISCO-VQE calculations with a truncated s-UPS ansatz produce highly accurate energies across the H2O binding curve (Fig. 5a). In contrast, ADAPT-VQE optimisation using the paired operator pool fails to identify chemically accurate wave functions at any bond length (Fig. 5a), while previous studies that include unpaired two-body operators are much less accurate than our approach41. The un-Trotterised k-UpCCGSD ansatz required 126 variational parameters to reach an accuracy of 0.07 mEh27, while Trotterised calculations with over 250 operators have residual errors of 0.02–200 mEh42. Our global optimisation strategy significantly increases the accuracy with fewer operators than the previous algorithms.
DISCO-VQE achieves chemical accuracy at nearly every N2 bond length using 30 operators, giving a very accurate binding curve (Fig. 5b). In comparison, UPS representations built from randomly ordered sets that include all two-body operators have errors of 16–64 mEh12, demonstrating the importance of global optimisation that treats both the discrete operator space and the continuous space of operator amplitudes. The parameter reduction is highlighted by comparing to the un-Trotterised k-UpCCGSD results, which require over 180 parameters to obtain a better mean-average error27 (Supplementary Table 2). In contrast, ADAPT-VQE optimisation with the paired operator pool does not produce a smooth binding curve (Fig. 5b), while including unpaired two-body operators breaks the total spin symmetry for truncated approximations17. The s-UPS ansatz conserves the initial \(\langle {\hat{S}}^{2}\rangle\) value at every truncation, and DISCO-VQE global optimisation achieves a highly accurate and operator-efficient description of this strongly correlated electronic system.
Maximising the efficiency of quantum circuits
Applications on near-term quantum devices must balance accuracy against the number of two-qubit CNOT gates in the quantum circuit, which contribute the largest source of hardware noise. This challenge has motivated hardware-efficient ansätze where the operator pool requires few CNOT gates, such as qubit-ADAPT-VQE15 and qubit-excitation-based (QEB) ADAPT-VQE18. However, these methods can break fermionic antisymmetry, particle number, or spin symmetry, giving unphysical electronic states.
Despite employing fermionic operators, DISCO-VQE achieves chemical accuracy for linear H6 using less than a third of the CNOT gates required for hardware-efficient ansätze (Fig. 6). These favourable CNOT counts are achieved by removing redundancies from the quantum circuit using discrete optimisation and through the CNOT efficiency of paired two-body operators. Therefore, efficient quantum circuits can be achieved using symmetry-preserving fermionic operators without relying on a hardware-efficient ansatz.
Balancing weak and strong electron correlation
Balancing weak and strong electron correlation is essential for quantum chemistry, but has proved difficult to achieve in practice. Many-body perturbation techniques can be quantitatively accurate for weak correlation, but fail for strong correlation where the molecular orbital picture breaks down. The accuracy of the DISCO-VQE results across the H6, H2O, and N2 potential energy surfaces demonstrate that the s-UPS ansatz can quantitatively describe both correlation regimes.
The strongly correlated half-filled Hubbard lattice represents a challenging condensed matter physics problem for many-body approximations43. The correlation strength is determined by the balance of the on-site repulsion U and the one-electron adjacent site hopping term t. DISCO-VQE calculations with a truncated s-UPS wave function provide excellent accuracy in both the weak (U ≪ t) and strong (U ≫ t) correlation limits (Fig. 7a) using a consistent number of operators and parameters. ADAPT-VQE optimisation with the paired operator pool provides an accurate representation of weak correlation, but is less accurate than DISCO-VQE as the correlation strength increases. The converged ADAPT-VQE wave functions include significantly more operators than DISCO-VQE for intermediate correlation (U/t ≈ 10), but are less accurate (Fig. 7c). We see that global optimisation using DISCO-VQE is essential for obtaining quantitatively accurate s-UPS wave functions for both weak and strong correlation with a consistent quantum circuit cost.
Physical properties beyond the energy are also important for understanding quantum phase behaviour. The strongly correlated half-filled Hubbard model is characterised by an antiferromagnetic phase, where the electrons are unpaired and localised on individual sites. The double occupancy \(\left\langle {\hat{n}}_{p}{\hat{n}}_{\bar{p}}\right\rangle\) measures the probability of simultaneously finding two electrons on the same site, which tends to zero for U/t → ∞ and 0.25 for U/t → 0. Truncated s-UPS representations identified using DISCO-VQE accurately predict this change across different U/t values (Fig. 7b) and exhibit the correct limits. Hence both the wave function and the energy can be accurately predicted, providing a physically complete description of strong electron correlation.
Finally, the 1/8-filling fraction is more challenging for standard quantum Monte Carlo techniques due to the fermionic sign problem44. DISCO-VQE calculations for the 4 × 2 lattice achieve exact wave functions using only seven operators (Fig. 8). This number is significantly lower than the 56 operators used for the inexact half-filled result, suggesting that the performance of the s-UPS ansatz for a fixed number of operators is primarily related to the size of the relevant number- and \(\langle \hat{S}_z \rangle\)–preserving Hilbert space sector, which is 64-dimensional in this case. These results provide further evidence for the applicability of our approach across various different electron correlation regimes.
Discussion
We have shown that an arbitrary electronic state can be parametrised with the s-UPS ansatz built from spin-adapted one-body and paired two-body fermionic operators. This ansatz conserves fermionic antisymmetry, particle number, and the \(\langle {\hat{S}}^{2}\rangle\) and \(\langle {\hat{S}}_{z}\rangle\) quantum numbers without constrained optimisation or spin projection, and can parametrise any spin state. The flexibility and accuracy of these wave functions comes from identifying the best sequence of unitary operators. The DISCO-VQE algorithm can universally address this challenge by performing a coupled discrete and continuous global optimisation of the wave function. Numerical simulations demonstrate that chemically accurate energies can be achieved for weakly and strongly correlated molecules using significantly fewer operators and CNOT gates than previous techniques.
The s-UPS ansatz offers key advantages for practical quantum algorithms: it can parametrise arbitrarily accurate wave functions; preserves the Hamiltonian spin symmetries at every truncation; and provides low CNOT counts suitable for noisy quantum hardware. Conserving physical symmetries is essential for subsequent fault-tolerant quantum phase estimation, where efficiency depends on the overlap of the initial and exact states. Furthermore, formulating generalised fermionic operators as Lie algebra generators for unitary rotations moves beyond the many-body unitary coupled cluster framework and embraces the natural capabilities of qubit rotations in quantum computation, bridging the gap between fermionic operators and hardware-efficient approaches such as the quantum-number-preserving ansatz25. These advances enable quantitative, physically accurate, and gate-efficient quantum circuits for simulating strongly correlated chemistry using near-term quantum computers.
We have not explicitly considered spatial symmetry in the present calculations, meaning that the spatial symmetry of the initial state may not be preserved as the unitary operators are applied sequentially. For point groups with non-degenerate irreducible representations, conservation of spatial symmetry can be trivially enforced by restricting the one-body operators to act between orbitals with the same spatial symmetry, while paired two-body operators automatically conserve symmetry. However, the effect of this restriction on the convergence of DISCO-VQE is beyond the scope of the current work, and we leave this question for future investigations.
The success of many proposed quantum algorithms relies on the accuracy of the initial state, which must be prepared at a polynomial cost. Whether this accuracy is achievable using current UPS ansätze remains an open question and depends on: how the ansatz expressibility grows with the number of operators and parameters; whether strong correlation can be parametrised with low circuit depth; and how the number of operators scales with the system size for a given level accuracy. Definitive answers to these questions will require further work. Here we have shown that global optimisation using DISCO-VQE provides reliable lower bounds on the minimum number of operators and circuit depth required for a given operator pool, providing insights into ansatz design. Our results clearly demonstrate how a combination of theory and numerical simulations can produce high-accuracy ansätze to treat strong correlation on quantum devices.
Data availability
The data required to reproduce figures are hosted at https://doi.org/10.5281/zenodo.8115215. All other data required are present in the paper or in the Supplementary Material.
Code availability
The code for the numerical simulations is available upon reasonable request.
References
Helgaker, T., Jørgensen, P. & Olsen, J. Molecular Electronic-Structure Theory (John Wiley & Sons, 2000).
Evangelista, F. A. Perspective: Multireference coupled cluster theories of dynamical electron correlation. J. Chem. Phys. 149, 030901 (2018).
Bauer, B., Bravyi, S., Motta, M. & Chan, G. K.-L. Quantum Algorithms for Quantum Chemistry and Quantum Materials Science. Chem. Rev. 120, 12685–12717 (2020).
Aspuru-Guzik, A., Dutoi, A. D., Love, P. J. & Head-Gordon, M. Simulated Quantum Computation of Molecular Energies. Science 309, 1704–1707 (2005).
McArdle, S., Endo, S., Aspuru-Guzik, A., Benjamin, S. C. & Yuan, X. Quantum computational chemistry. Rev. Mod. Phys. 92, 015003 (2020).
Peruzzo, A. et al. A variational eigenvalue solver on a photonic quantum processor. Nat. Comm. 5, 4213 (2014).
Kandala, A. et al. Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature 549, 242–246 (2017).
Anand, A. et al. A quantum computing view on unitary coupled cluster theory. Chem. Soc. Rev. 51, 1659–1684 (2022).
Bartlett, R. J. & Musiał, M. Coupled-cluster theory in quantum chemistry. Rev. Mod. Phys. 79, 291 (2007).
Evangelista, F. A., Chan, G. K.-L. & Scuseria, G. E. Exact parameterization of fermionic functions via unitary coupled cluster theory. J. Chem. Phys. 151, 244122 (2019).
Izmaylov, A. F., Díaz-Tinoco, M. & Lang, R. A. On the order problem in construction of unitary operators for the variational quantum eigensolver. Phys. Chem. Chem. Phys. 22, 12980–12986 (2020).
Grimsley, H. R., Claudino, D., Economou, S. E., Barnes, E. & Mayhall, N. J. Is the Trotterized UCCSD Ansatz Chemically Well-Defined? J. Chem. Theory Comput. 16, 1–6 (2020).
Tsuchimochi, T., Mori, Y. & Ten-no, S. L. Spin-projection for quantum computation: A low-depth approach to strong correlation. Phys. Rev. Research 2, 043142 (2020).
Grimsley, H. R., Economou, S. E., Barnes, E. & Mayhall, N. J. An adaptive variational algorithm for exact molecular simulations on a quantum computer. Nat. Comm. 10, 3007 (2019).
Tang, H. L. et al. Qubit-ADAPT-VQE: An Adaptive Algorithm for Constructing Hardware-Efficient Ansätze on a Quantum Processor. PRX Quantum 2, 020310 (2021).
Chan, H. H. S., Fitzpatrick, N., Segarra-Martí, J., Bearpark, M. J. & Tew, D. P. Molecular excited state calculations with adaptive wavefunctions on a quantum eigensolver emulation: reducing circuit depth and separating spin states. Phys. Chem. Chem. Phys. 23, 26438–26450 (2021).
Tsuchimochi, T., Taii, M., Nishimaki, T. & Ten-no, S. L. Adaptive construction of shallower quantum circuits with quantum spin projection for fermionic systems. Phys. Rev. Research 4, 033100 (2022).
Yordanov, Y. S., Armaos, V., Barnes, C. H. W. & Arvidsson-Shukur, D. R. M. Qubit-excitation-based adaptive variational quantum eigensolver. Commun. Phys. 4, 228 (2021).
Shkolnikov, V. O., Mayhall, N. J., Economou, S. E. & Barnes, E. Avoiding symmetry roadblocks and minimizing the measurement overhead of adaptive variational quantum eigensolvers. Quantum 7, 1040 (2023).
Rubin, N. C., Lee, J. & Babbush, R. Compressing Many-Body Fermion Operators under Unitary Constraints. J. Chem. Theory Comput. 18, 1480–1488 (2022).
Jordan, P. & Wigner, E. Über das Paulische Äquivalenzverbot. Z. Phys. 47, 631 (1928).
Bravyi, S. B. & Kitaev, A. Y. Fermionic Quantum Computation. Ann. Phys. 298, 210–226 (2002).
Gilmore, R. Lie Groups, Physics, and Geometry: An Introduction for Physicists, Engineers, and Chemists (Dover Publications Inc., 2008), first edn.
Hall, B. C. Lie Groups, Lie Algebras, and Representations (Springer Chem, 2015).
Anselmetti, G.-L. R., Wierichs, D., Gogolin, C. & Parrish, R. M. Local, expressive, quantum-number-preserving VQE ansätze for fermionic systems. New J. Phys. 23, 113010 (2021).
Gorman, B. O’., Huggins, W. J., Rieffel, E. G. & Whaley, K. B. Generalized swap networks for near-term quantum computing, Preprint at https://arxiv.org/abs/1905.05118 (2019).
Lee, J., Huggins, W. J., Head-Gordon, M. & Whaley, K. B. Generalized Unitary Coupled Cluster Wave functions for Quantum Computation. J. Chem. Theory Comput. 15, 311–324 (2019).
Grimsley, H. R., Barron, G. S., Barnes, E., Economou, S. E. & Mayhall, N. J. Adaptive, problem-tailored variational quantum eigensolver mitigates rough parameter landscapes and barren plateaus. npj Quntum Inf. 9, 19 (2023).
Zhang, S.-X., Hsieh, C.-Y., Zhang, S. & Yao, H. Differentiable quantum architecture search. Quantum Sci. Technol. 7, 045023 (2022).
Chivilikhin, D. et al. MoG-VQE: Multiobjective genetic variational quantum eigensolver, Preprint at https://arxiv.org/abs/2007.04424 (2020).
Rattew, A. G., Hu, S., Pistoia, M., Chen, R. & Wood, S. A Domain-agnostic, Noise-resistant, Hardware-efficient, Evolutional Variational Quantum Eigensolver, Preprint at https://arxiv.org/abs/1910.09694 (2019).
Grant, M. O. E. & Benedetti, M. Structure optimization for parameterized quantum circuits. Quantum 5, 391 (2021).
Schebarchov, D. & Wales, D. J. Communication: A new paradigm for structure prediction in multicomponent systems. J. Chem. Phys. 139, 221101 (2013).
Schebarchov, D. & Wales, D. J. Structure Prediction for Multicomponent Materials Using Biminima. Phys. Rev. Lett. 113, 156102 (2014).
Röder, K. & Wales, D. J. Mutational Basin-Hopping: Combined Structure and Sequence Optimization for Biomolecules. J. Phys. Chem. Lett. 9, 6169–6173 (2018).
Li, Z. & Scheraga, H. A. Monte carlo-minimization approach to the multiple-minima problem in protein folding. Proc. Natl. Acad. Sci. 84, 6611–6615 (1987).
Wales, D. J. & Doye, J. P. K. Global Optimization by Basin-Hopping and the Lowest Energy Structures of Lennard-Jones Clusters Containing up to 110 Atoms. J. Phys. Chem. A 101, 5111–5116 (1997).
Mazziotti, D. A. Anti-Hermitian Contracted Schrödinger Equation: Direct Determination of the Two-Electron Reduced Density Matrices of Many-Electron Molecules. Phys. Rev. Lett. 97, 143002 (2006).
Liu, J., Li, Z. & Yang, J. An efficient adaptive variational quantum solver of the Schrödinger equation based on reduced density matrices. J. Chem. Phys. 154, 244112 (2021).
Krylov, A. I. The Quantum Chemistry of Open-Shell Species (John Wiley & Sons, Ltd, 2017), chap. 4, 151.
Sapova, M. D. & Fedorov, A. K. Variational quantum eigensolver techniques for simulating carbon monoxide oxidation. Nat. Comm. 5, 199 (2022).
Sim, S., Romero, J., Gonthier, J. F. & Kunitsa, A. A. Adaptive pruning-based optimization of parametrized quantum circuits. Quantum Sci. Technol. 6, 025019 (2021).
LeBlanc, J. P. F. et al. Solutions of the Two-Dimensional Hubbard Model: Benchmarks and Results from a Wide Range of Numerical Algorithms. Phys. Rev. X 5, 041041 (2015).
Zheng, B.-X. et al. Stripe order in the underdoped region of the two-dimensional Hubbard model. Science 358, 1155–1160 (2017).
Hehre, W. J., Stewart, R. F. & Pople, J. A. Self-Consistent Molecular-Orbital Methods. I. Use of Gaussian Expansions of Slater-Type Atomic Orbitals. J. Chem. Phys. 51, 2657–2664 (1969).
Matsuzawa, Y. & Kurashige, Y. Jastrow-type Decomposition in Quantum Chemistry for Low-Depth Quantum Circuits. J. Chem. Theory Comput. 16, 944–952 (2020).
Yordanov, Y. S., Arvidsson-Shukur, D. R. M. & Barnes, C. H. W. Efficient quantum circuits for quantum computational chemistry. Phys. Rev. A 102, 062612 (2020).
Acknowledgements
The authors gratefully acknowledge the use of the University of Oxford Advanced Research Computing (ARC) facility in carrying out this work. https://doi.org/10.5281/zenodo.22558 H.G.A.B. was supported by New College, Oxford through the Astor Junior Research Fellowship. D.M.D. was supported by the EPSRC Hub in Quantum Computing and Simulation (EP/T001062/1). D.J.W. gratefully acknowledges financial support from the EPSRC.
Author information
Authors and Affiliations
Contributions
H.G.A.B., D.P.T., and D.J.W. conceived the project. H.G.A.B., D.M.D., and D.J.W. designed the discrete optimisation algorithm. D.M.D., H.G.A.B., and D.P.T. designed and analysed the s-UPS ansatz. H.G.A.B. wrote the DISCO-VQE code and carried out the simulations. H.G.A.B. and D.M.D. performed the data analysis. All authors contributed to writing the manuscript. H.G.A.B. initiated and managed the collaboration.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burton, H.G.A., Marti-Dafcik, D., Tew, D.P. et al. Exact electronic states with shallow quantum circuits from global optimisation. npj Quantum Inf 9, 75 (2023). https://doi.org/10.1038/s41534-023-00744-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-023-00744-2
- Springer Nature Limited
This article is cited by
-
Quantifying the effect of gate errors on variational quantum eigensolvers for quantum chemistry
npj Quantum Information (2024)