Skip to main content

Coupled Cluster Downfolding Theory: towards universal many-body algorithms for dimensionality reduction of composite quantum systems in chemistry and materials science


The recently introduced coupled cluster (CC) downfolding techniques for reducing the dimensionality of quantum many-body problems recast the CC formalism in the form of the renormalization procedure allowing, for the construction of effective (or downfolded) Hamiltonians in small-dimensionality sub-space, usually identified with the so-called active space, of the entire Hilbert space. The resulting downfolded Hamiltonians integrate out the external (out-of-active-space) Fermionic degrees of freedom from the internal (in-the-active-space) parameters of the wave function, which can be determined as components of the eigenvectors of the downfolded Hamiltonians in the active space. This paper will discuss the extension of non-Hermitian (associated with standard CC formulations) and Hermitian (associated with the unitary CC approaches) downfolding formulations to composite quantum systems commonly encountered in materials science and chemistry. The non-Hermitian formulation can provide a platform for developing local CC approaches, while the Hermitian one can serve as an ideal foundation for developing various quantum computing applications based on the limited quantum resources. We also discuss the algorithm for extracting the semi-analytical form of the inter-electron interactions in the active spaces.


The coupled cluster (CC) methodology (Coester 1958; Coester and Kummel 1960; Čížek 1966; Paldus et al. 1972; Purvis and Bartlett 1982; Koch and Jørgensen 1990; Paldus and Li 1999; Crawford and Schaefer 2000; Bartlett and Musiał 2007) is a driving engine of high-precision simulations in physics, chemistry, and material sciences. Several properties of CC made it a universal tool for capturing correlation effects in various many-body quantum systems ranging from quantum field theory, (Funke et al. 1987; Kümmel 2001; Hasberg and Kümmel 1986; Bishop et al. 2006; Ligterink et al. 1998) quantum hydrodynamics, (Arponen et al. 1988; Bishop et al. 1989) and nuclear structure theory (Dean and Hjorth-Jensen 2004; Kowalski et al. 2004; Hagen et al. 2008) to quantum chemistry (Scheiner et al. 1987; Sinnokrot et al. 2002; Slipchenko and Krylov 2002; Tajti et al. 2004; Crawford 2006; Parkhill et al. 2009; Riplinger and Neese 2013; Yuwono et al. 2020) and materials science (Stoll 1992; Hirata et al. 2004a; Katagiri 2005; Booth et al. 2013; Degroote et al. 2016; McClain et al. 2017; Wang and Berkelbach 2020; Haugland et al. 2020b). Many appealing features of the single-reference (SR) CC formalism (which will be the main focus of the present discussion) in applications to chemical/material systems originate in the exponential parametrization of the ground-state wave function and closely related linked cluster theorem (Brandow 1967; Lindgren and Morrison 2012; Shavitt and Bartlett 2009). The last feature assures the so-called additive separability of the calculated energies in the non-interacting sub-system limit, which plays a critical role in the proper description of various chemical transformations such as chemical reactions that include bond breaking and bond-forming processes. The linked cluster theorem also plays a crucial role in designing formalisms that can provide the chemical accuracy needed for predicting spectroscopic data, reaction rates, and thermochemistry data. The best-known example of such class of methods is the CCSD(T) formalism (CC with singles, doubles, and perturbative triples),(Raghavachari et al. 1989) which combines the iterative character of the CCSD formalism (Purvis and Bartlett 1982) (CC with single and double excitations) with perturbative techniques for determining CC energy corrections due to connected triple excitations. Over the last few decades, the CCSD(T)-type formulations have been refined to provide accurate description of bond-breaking processes. Among several formulations that made it possible were the method of moments of coupled cluster equations and renormalized approaches,(Piecuch and Kowalski; Kowalski and Piecuch 2000a; 2000b; Piecuch and Włoch 2005; Cramer et al. 2006; Włoch et al. 2007; Piecuch et al. 2009; Deustua et al. 2017; Deustua et al. 2018; Bauman et al. 2017) perturbative formulations based on the Λ-operator (defining the left eigenvectors of the similarity transformed Hamiltonians) (Stanton 1997; Stanton and Gauss 1995; Crawford and Stanton 1998; Kucharski and Bartlett 1998b; 1998c; Gwaltney and Head-Gordon 2000; 2001; Hirata et al. 2001; Bomble et al. 2005) and other techniques (Kucharski and Bartlett 1998a; Meissner and Bartlett 2001; Robinson and Knowles 2013; Bozkaya and Schaefer III 2012). One should also mention the tremendous effort in formulating reduced-scaling or local formulations of the CC methods to extend the applicability of the CC formalism across spatial scales (Hampel and Werner 1996; Schütz 2000; Schütz and Werner; 2001; Li et al. 2002; Li et al. 2006; Li et al. 2009; Li and Piecuch 2010; Neese et al. 2009; Neese et al. 2009; Riplinger et al. 2016; Riplinger et al. 2013; Pavosevic et al. 2016). In several cases, the extension of local formulations was possible for linear response CC theory (D’Cunha and Crawford 2020) and excited state CC formulations based on the equation-of-motion formalism (Dutta et al. 2016; Peng et al. 2018).

Recently, interesting aspects of SR-CC were discussed using the sub-system embedding sub-algebras (SES) approach,(Kowalski 2018; 2021) where we demonstrated that the CC energy can be calculated in an alternative way to the standard CC energy formula. Instead of using standard energy expression, one can obtain the same energy by diagonalizing the downfolded/effective Hamiltonian in method-specific active space(s) generated by appropriate sub-system embedding sub-algebras. The SR-CC theory provides a rigorous algorithm for how to construct these Hamiltonians using the external, with respect to the active space, class of cluster amplitudes (Kowalski 2018). Shortly after this finding, these results for static SR-CC formulations were extended to the time domain (Kowalski and Bauman 2020). Following similar concepts as in the static case and assuming that the external time-dependent cluster amplitudes are known or can be effectively approximated, it was shown that the quantum evolution of the entire system can be generated in the active space by time-dependent downfolded Hamiltonian. Another interesting aspect of CC SES downfolding is the possibility of integrating several SES CC eigenvalue problems corresponding to various active spaces into a computational flow or quantum flow as discussed in Ref. (Kowalski 2021), where we demonstrated that the flow equations are fully equivalent to the standard approximations given by cluster operators defined by unique internal excitations involved in the active-space problems defining the flow. This feature provides a natural language for expressing the sparsity of the system. In contrast to other local CC approaches, the CC quantum flow equations can effectively embrace the concept of localized orbital pairs at the level of effective Hamiltonian acting in the appropriate active space. The Hermitian downfolding formulations were recently tested in the context of quantum simulations involving plane-wave-based molecular orbitals (Bylaska et al. 2021), demonstrating their usefulness in simulating systems with periodic boundary conditions.

The SES CC downfolded Hamiltonians are non-Hermitian operators, which limits their utilization in quantum computing. Instead, using double unitary CC (DUCC) Ansatz,(Bauman et al. 2019; Bauman et al. 2019; Kowalski and Bauman 2020; Kowalski 2021) one can derive the active-space many-body form of Hermitian downfolded Hamiltonians. In contrast to the SR-CC, the DUCC-based effective Hamiltonians are expressed in terms of non-terminating expansions involving anti-Hermitian cluster operators defined by external type excitations/de-excitations. Several approximate forms of DUCC Hamiltonians have been tested in the context of quantum simulations, showing the potential of DUCC downfolding in reproducing exact ground-state energy in small active spaces (Bauman et al. 2019; Bauman et al. 2020). In particular, the downfolded Hamiltonians have been integrated with various quantum solvers, including Variational Quantum Eigensolvers (VQE) (Peruzzo et al. 2014; McClean et al. 2016; Romero et al. 2018; Shen et al. 2017; Kandala et al. 2017; Kandala et al. 2019; Colless et al. 2018; Huggins et al. 2020; Cao et al. 2019) and Quantum Phase Estimation (QPE),(Kitaev 1997; Nielsen and Chuang 2011; Luis and Peřina 1996; Cleve et al. 1998; Berry et al. 2007; Childs 2010; Seeley et al. 2012; Wecker et al. 2015; Häner et al. 2016; Poulin et al. 2017) to calculate ground-state potential energy surfaces corresponding to breaking a single chemical bond.

In this paper, we will briefly review the current status of the downfolding methods and provide further extension of the CC downfolding methods to multi-component systems. As a specific example, we choose a composite system defined by Fermions of type A and Fermions of type B. This is a typical situation encountered for certain classes of non-Born-Oppenheimer dynamics and nuclear structure theory. The extension to systems composed of Fermions and Bosons (for example, electron-phonon coupling) can be achieved in an analogous way as for a mixtures represented by two types of Fermions. The discussed formalism can also be easily extended to other types of systems composed of Fermions and Bosons as encountered in the descriptions of polaritonic systems. We believe that these formulations will pave the way for more realistic quantum simulations of multi-component systems on Noisy Intermediate-Scale Quantum (NISQ) devices.

CC theory

The SR-CC theory, describing correlated electrons in chemical and extended periodic systems, utilizes the exponential representation of the ground-state wave function |Ψ〉,

$$|\Psi\rangle = e^{T} |\Phi\rangle \;,$$

where T and |Φ〉 represent the so-called cluster operator and single-determinantal reference function. The cluster operator can be represented through its many-body components Tk

$$T = \sum_{k=1}^{M} T_{k} \;,$$

where individual component Tk takes the form

$$T_{k} = \frac{1}{(k!)^{2}} \sum_{i_{1},\ldots,i_{k}; a_{1},\ldots, a_{k}} t^{i_{1}\ldots i_{k}}_{a_{1}\ldots a_{k}} E^{a_{1}\ldots a_{k}}_{i_{1}\ldots i_{k}} \;,$$

where indices i1,i2,… (a1,a2,…) refer to occupied (unoccupied) spin orbitals in the reference function |Φ〉. The excitation operators \(E^{a_{1}\ldots a_{k}}_{i_{1}\ldots i_{k}}\) are defined through strings of standard creation (\(a_{p}^{\dagger }\)) and annihilation (ap) operators

$$E^{a_{1}\ldots a_{k}}_{i_{1}\ldots i_{k}} = a_{a_{1}}^{\dagger}\ldots a_{a_{k}}^{\dagger} a_{i_{k}}\ldots a_{i_{1}} \;,$$

where creation and annihilation operators satisfy the following anti-commutation rules:

$$[a_{p},a_{q}]_{+} = [a_{p}^{\dagger},a_{q}^{\dagger}]_{+} = 0 \;,$$
$$[a_{p},a_{q}^{\dagger}]_{+} = \delta_{pq} \;.$$

When M in the summation in Eq. (2) is equal to the number of correlated electron (Ne) then the corresponding CC formalism is equivalent to the FCI method, otherwise for M<Ne one deals with the standard approximation schemes. Typical CC formulations such as CCSD, CCSDT (CC with singles, doubles, and triples), and CCSDTQ (CC with singles, doubles, triples, and quadruples) correspond to M=2,M=3, and M=4 cases, respectively.

The equations for cluster amplitudes \(t^{i_{1}\ldots i_{k}}_{a_{1}\ldots a_{k}}\) and ground-state energy E can be obtained by introducing Ansatz (1) into the Schrödinger equation and projecting onto P+Q space, where P and Q are the projection operator onto the reference function and the space of excited Slater determinants obtained by acting with the cluster operator onto the reference function |Φ〉, i.e.,

$$(P+Q) H e^{T} |\Phi\rangle = E (P+Q) e^{T} |\Phi\rangle \;,$$

where H represents the electronic Hamiltonian. The above equation is the so-called energy-dependent form of the CC equations, which corresponds to the eigenvalue problem only in the exact wave function limit when T contains all possible excitations. Approximate CC formulations do not represent the eigenvalue problem. At the solution, the energy-dependent CC equations are equivalent to the energy-independent or connected form of the CC equations:

$$\begin{array}{@{}rcl@{}} Qe^{-T}He^{T} |\Phi\rangle &=& 0 \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} \langle\Phi|e^{-T} H e^{T} |\Phi\rangle &=& E\;. \end{array}$$

Using Baker-Campbell-Hausdorff (BCH) formula and Wick’s theorem one can show that only connected diagrams contribute to Eqs. (8) and (9). For notational convenience, one often uses the similarity transformed Hamiltonian \(\bar {H}\), defined as

$$\bar{H} = e^{-T} H e^{T} \;.$$

The following analysis is valid for both Gaussian and plane-wave basis sets (for plane-wave basis set formulation of CC theory see Ref. (Hirata et al. 2004b)).

Non-Hermitian CC downfolding

The main idea of SR-CC non-Hermitian downfolding hinges upon the characterization of sub-systems of a quantum system of interest in terms of active spaces or commutative sub-algebras of excitations that define corresponding active space. This is achieved by introducing sub-algebras of algebra \(\mathfrak {g}^{(N)}\) generated by \(E^{a_{l}}_{i_{l}}=a_{a_{l}}^{\dagger } a_{i_{l}}\) operators in the particle-hole representation defined with respect to the reference |Φ〉. As a consequence of using the particle-hole formalism, all generators commute, i.e., \(\left[E_{i_{l}}^{a_{l}}, E_{i_{k}}^{a_{k}}\right]\)=0, and algebra \(\mathfrak {g}^{(N)}\) (along with all sub-algebras considered here) is commutative. The CC SES approach utilizes class of sub-algebras of commutative \(\mathfrak {g}^{(N)}\) algebra, which contain all possible excitations \(E^{a_{1}\ldots a_{m}}_{i_{1}\ldots i_{m}}\) needed to generate all possible excitations from a subset of active occupied orbitals (denoted as R, {Ri, i=1,…,xR}) to a subset of active virtual orbitals (denoted as S, {Si, i=1,…,ys}) defining active space. These sub-algebras will be designated as \(\mathfrak {g}^{(N)}(R,S)\). Sometimes it is convenient to use alternative notation \(\mathfrak {g}^{(N)}(x_{R},y_{S})\) where numbers of active orbitals in R and S orbital sets, xR and yS, respectively, are explicitly called out. As discussed in Ref. (Kowalski 2018), configurations generated by elements of \(\mathfrak {g}^{(N)}(x_{R},y_{S})\), along with the reference function, span the complete active space (CAS) referenced to as the CAS(R,S) (or equivalently CAS(\(\mathfrak {g}^{(N)}(x_{R},y_{S})\))).

In Refs. (Kowalski 2018; Kowalski and Bauman 2020; Kowalski 2021), we explored the effect of partitioning of the cluster operator induced by general sub-algebra \(\mathfrak {h}=\mathfrak {g}^{(N)}(x_{R},y_{S})\), where the cluster operator T, given by Eq. (2), is represented as

$$T=T_{\text{int}}(\mathfrak{h})+T_{\text{ext}}(\mathfrak{h}) \;,$$

where \(T_{\text {int}}(\mathfrak {h})\) belongs to \(\mathfrak {h}\) while \(T_{\text {ext}}(\mathfrak {h})\) does no belong to \(\mathfrak {h}\). If the expansion \(T_{int}(\mathfrak{h})\)|Φ〉 produces all Slater determinants (of the same symmetry as the |Φ〉 state) in the active space, we call \(\mathfrak {h}\) the sub-system embedding sub-algebra for the CC formulation defined by the T operator. In Ref. (Kowalski 2018), we showed that each standard CC approximation has its own class of SESs.

A direct consequence of existence of the SESs for standard CC approximations is the fact that the corresponding energy can be calculated, in an alternative way to Eq. (9), as an eigenvalue of the active-space non-Hermitian eigenproblem

$$H^{\text{eff}}(\mathfrak{h}) e^{T_{\text{int}}(\mathfrak{h})}|\Phi\rangle = E e^{T_{\text{int}}(\mathfrak{h})}|\Phi\rangle \;.$$


$$H^{\text{eff}}(\mathfrak{h})=(P+Q_{\text{int}}(\mathfrak{h})) \bar{H}_{\text{ext}}(\mathfrak{h}) (P+Q_{\text{int}}(\mathfrak{h}))\;$$


$$\bar{H}_{\text{ext}}(\mathfrak{h})=e^{-T_{\text{ext}}(\mathfrak{h})} H e^{T_{\text{ext}}(\mathfrak{h})} \;.$$

In Eq.(13) the projection operator \(Q_{\text {int}}(\mathfrak {h})\) is a projection operator on a sub-space spanned by all Slater determinants generated by \(T_{\text {int}}(\mathfrak {h})\) acting onto |Φ〉.

Since in the definition of the effective Hamiltonian, Eqs. (13) and (14), only \(T_\mathrm{ext}(\mathfrak {h})\) is involved, one can view the SES CC formalism with the resulting active-space eigenvalue problem, Eq. (12), as a specific form of renormalization procedure where external parameters defining the corresponding wave function are integrated out. One should also mention that calculating the CC energy as an eigenvalue problems, as described by Eq. (12), is valid for any SES for a given CC approximation given by cluster operator T. According to this general result, the standard CC energy expression, shown by Eq. (9), can be reproduced when one uses trivial sub-algebra, which contains no excitations (i.e., active space contains |Φ〉 only).

The existence of alternative ways of calculating CC energy opens alternative ways of constructing new classes of approximations. For example, if one integrates several eigenvalues problems corresponding to SESs \(\mathfrak {h}_{i},\;(i=1,\ldots,M)\) into a quantum flow equations (QFE) discussed in Ref. (Kowalski 2021), i.e.,

$$H^{\text{eff}}(\mathfrak{h}_{i}) e^{T_{\text{int}}(\mathfrak{h}_{i})}|\Phi\rangle = E e^{T_{\text{int}}(\mathfrak{h}_{i})}|\Phi\rangle \; (i=1,\ldots,M)\;.$$

In Ref. (Kowalski 2018) we demonstrated that at the solution, the solution of the QFE is equivalent to the solution of standard CC equations in the form of Eqs. (8) and (9) defined by cluster operator T which is a combination of all unique excitations included in \(T_{\text {int}}(\mathfrak {h}_{i}) (i=1,\ldots,M)\) operators. This is can be symbolically expressed as

$$T= \bigcup_{i=1}^{M} T_{\text{int}}(\mathfrak{h}_{i})\;.$$

These two equivalent representations allows one also to form the following important corollary: Corollary (or the equivalence theorm)For certain forms of cluster operator T, the standard connected form of the CC equations given by Eqs. (8) and (9) can be replaced by quantum flow equations composed of non-Hermitian eigenvalue problems, Eq. (15).

The above corollary plays an important role in defining reduced-scaling formulations. This is a consequence of the fact that each sub-problem corresponding to sub-algebra \(\mathfrak {h}_{i}\) has the associated form of the effective Hamiltonian \(H^{\text {eff}}(\mathfrak {h}_{i})\), which allows to define one body-density matrix for the sub-system and select the sub-set of the most important cluster amplitudes in the \(T_{\text {int}}(\mathfrak {h}_{i})\) operator. For example, when a localized orbital basis set is used, this procedure can be used to define the so-called orbital pairs at the level of the effective Hamiltonian, which is a significant advantage compared to the existing local CC approaches. This procedure can also be extended to other systems driven by different types of interactions such as in nuclear structure theory or quantum lattice models, where the extension of the standard local CC formulations as used in quantum chemistry is not obvious.

Hermitian CC downfolding

In order to employ downfolding methods in quantum computing, one has to find a way to construct Hermitian effective Hamiltonians. This goal can be achieved by employing the double unitary coupled Ansatz,(Kowalski and Bauman 2020) where the ground-state wave function is represented as

$$|\Psi\rangle=e^{\sigma_{\text{ext}}(\mathfrak{h})} e^{\sigma_{\text{int}}(\mathfrak{h})}|\Phi\rangle \;,$$

where \(\sigma _{\text {ext}}(\mathfrak {h})\) and \(\sigma _{\text {int}}(\mathfrak {h})\) are general-type anti-Hermitian operators

$$\begin{array}{@{}rcl@{}} \sigma_{\text{int}}^{\dagger}(\mathfrak{h}) &=& -\sigma_{\text{int}}(\mathfrak{h}) \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} \sigma_{\text{ext}}^{\dagger}(\mathfrak{h}) &=& -\sigma_{\text{ext}}(\mathfrak{h}) \;. \end{array}$$

In analogy to the SR-CC case, all cluster amplitudes defining \(\sigma_{int}(\mathfrak{h})\) cluster operator carry active indices only (or indices of active orbitals defining given \(\mathfrak {h}\)). The external part \(\sigma _{\text {ext}}(\mathfrak {h})\) is defined by amplitudes carrying at least one inactive orbital index. However, in contrast to the SR-CC approach, internal/external parts of anti-Hermitian cluster operators are not defined in terms of excitations belonging explicitly to a given sub-algebra, but rather by indices defining active/inactive orbitals specific to a given \(\mathfrak {h}\). Therefore \(\mathfrak {h}\) will be used here in the context of CAS’s generator. Another difference with the SR-CC downfolding lies in the fact that while for the SR-CC cases components of cluster operators \(T_\mathrm{int}(\mathfrak {h})\) and \(T_{\text {ext}}(\mathfrak {h})\) were commuting as a consequence of particle-hole formalism employed, in the unitary case, the operators forming \(\sigma _{\text {int}}(\mathfrak {h})\) and \(\sigma _\mathrm{ext}(\mathfrak {h})\) are non-commuting.

Employing DUCC Ansatz, Eq. (17), one can show that in analogy to the SR-CC case, the energy of the entire system (once the exact form of \(\sigma _{\text {ext}}(\mathfrak {h})\) operator is known) can be calculated through the diagonalization of the effective/downfolded Hamiltonian in SES-generated active space, i.e.,

$$H^{\text{eff}}(\mathfrak{h}) e^{\sigma_{\text{int}}(\mathfrak{h})} |\Phi\rangle = E e^{\sigma_{\text{int}}(\mathfrak{h})}|\Phi\rangle,$$


$$H^{\text{eff}}(\mathfrak{h}) = (P+Q_{\text{int}}(\mathfrak{h})) \bar{H}_{\text{ext}}(\mathfrak{h}) (P+Q_{\text{int}}(\mathfrak{h}))$$


$$\bar{H}_{\text{ext}}(\mathfrak{h}) =e^{-\sigma_{\text{ext}}(\mathfrak{h})}H e^{\sigma_{\text{ext}}(\mathfrak{h})}.$$

The above results means that when the external cluster amplitudes are known (or can be effectively approximated), in analogy to single-reference SES-CC formalism, the energy (or its approximation) can be calculated by diagonalizing the Hermitian effective/downfolded Hamiltonian, given by Eq. (21), in the active space using various quantum or classical diagonalizers.

The analysis of the many-body structure of the \(\sigma _{\text {int}}(\mathfrak {h})\) and \(\sigma _{\text {ext}}(\mathfrak {h})\) operators (Kowalski and Bauman 2020) shows that they can be approximated in a unitary CC manner:

$$\begin{array}{@{}rcl@{}} \sigma_{\text{int}}(\mathfrak{h}) &\simeq& T_{\text{int}}(\mathfrak{h}) - T_{\text{int}}(\mathfrak{h})^{\dagger} \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} \sigma_{\text{ext}}(\mathfrak{h}) &\simeq& T_{\text{ext}}(\mathfrak{h}) - T_{\text{ext}}(\mathfrak{h})^{\dagger} \;, \end{array}$$

where \(T_{\text {int}}(\mathfrak {h})\) and \(T_{\text {ext}}(\mathfrak {h})\) are SR-CC-type internal and external cluster operators.

To make a practical use of Hermitian downfolded Hamiltonians, Eq. (20), in quantum computing one has to deal with non-terminating expansions of Eq. (22) and determine approximate form of the \(T_\mathrm{ext}(\mathfrak {h})\) operator to approximate its anti-Hermitian counterpart \(\sigma _{\text {ext}}(\mathfrak {h})\) according to Eq. (24). In recent studies, we demonstrated the feasibility of approximations based on the finite commutator expansion. We also demonstrated that \(T_{\text {ext}}(\mathfrak {h})\), provided by the CCSD formalism, can efficiently be used in building approximate form of the downfolded Hamiltonians. In particular, in this paper we will consider two approximate representations of the downfolded Hamiltonians (A and B) defined by the following expressions for \(\bar {H}_{\text {ext}}(\mathfrak {h})\):

$$\begin{array}{@{}rcl@{}} \bar{H}_{\text{ext}}^{(A)} &=& H+[H,\sigma_{\text{ext}}(\mathfrak{h})] +\frac{1}{2}[[F_{N},\sigma_{\text{ext}}(\mathfrak{h})],\sigma_{\text{ext}}(\mathfrak{h})] \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} \bar{H}_{\text{ext}}^{(B)} &=& H+[H,\sigma_{\text{ext}}(\mathfrak{h})]+\frac{1}{2}[[H,\sigma_{\text{ext}}(\mathfrak{h})],\sigma_{\text{ext}}(\mathfrak{h})]+\frac{1}{6} [[[F_{N},\sigma_{\text{ext}}(\mathfrak{h})],\sigma_{\text{ext}}(\mathfrak{h})],\sigma_{\text{ext}}(\mathfrak{h})] \;, \end{array}$$

where FN-dependent commutators were introduced to provide perturbative consistency of single- (C1) and double-commutator (C2) expansions (FN stands for the Fock operator).

As a numerical example illustrating the efficiency of approximations C1 and C2 we use the LiF molecule at 1.0Re,2.0Re, and 5.0Re Li-F distances where Re=1.5639 Å. All calculations were performed using the cc-pVTZ basis set (Dunning Jr. 1989) (employing spherical representation of d orbitals). The calculations using downfolded Hamiltonians C1 and C2 were performed employing restricted Hartree-Fock (RHF) orbitals and active spaces composed of 13 lowest-lying orbitals (6 occupied and 7 virtual). The results of the diagonalization of the downfolded Hamiltonians are shown in Table 1. The C1 and C2 energies are compared with the CCSD, CCSDT, and CCSDT(2) Q (Hirata et al. 2004) energies obtained with all orbitals correlated and the CCSDTQ formalism in the active space, which represent nearly exact diagonalization of the electronic Hamiltonian in the active space.

Table 1 A comparison of the CC energies obtained for the LiF model in the cc-pVTZ basis set (see text for more details) with C1 and C2 energies obtained in the active space defined by the 13 lowest-lying RHF orbitals

A comparison of the RHF and CCSDTQ-in-active-space results indicates that the active space used reproduces only a very small part of the total correlation energy approximately represented by the CCSDT(2) Q results. In spite of this deficiency in the active space choice, the C2 DUCC approximation yields 9.99, 19.70, and 4.53 milliHartree of error with respect to the CCSDT(2) Q energies for 1.0R e, 2.0R e, and 5.0R e geometries, respectively. These errors should be collated with the errors of the CCSDTQ-in-active-space approach of 310.97, 311.20, and 299.49 milliHartree. As seen from Table 1, the inclusion of double commutator (C2 approximation) results in a significant improvements of the energies obtained with the C1 scheme.

In analogy to the equivalence theorem of Section III, similar quantum flow algorithms can also be defined in the case of the Hermitian downfolding (see Ref. (Kowalski 2021)). Although, due to non-commutative character of generators defining anti-Hermitian \(\sigma _{\text {int}}(\mathfrak {h}_{i})\) and \(\sigma _\mathrm{ext}(\mathfrak {h}_{i})\;\;(i=1,\ldots,M)\), certain approximations has to be used (mainly associated with the use of the Trotter formula), similar flow can be defined for the Hermitian case (see Fig.1). In this flow, we couple Hermitian eigenvalue problems corresponding to various active spaces (defined by sub-algebras \(\mathfrak {h}_{i}\) and corresponding effective Hamiltonians \(H^{\text {eff}}(\mathfrak {h}_{i})\;\;(i=1,\ldots,M)\)). The main advantage of this approach is the fact that larger sub-spaces of the Hilbert space can be sampled by a number of small-dimensionality active-space problems. This feature eliminates certain problems associated with (1) the need of using large qubits registers to represent the whole system, (2) qubit mappings of the basic operators, and (3) assuring anti-symmetry of the wave function of the entire system. For example, problem (3) is replaced by procedures that assure the anti-symmetry of the wave-functions of sub-systems defined by the active space generated by various \(\mathfrak {h}_{i}\) (DiN as shown in Fig.1). This approach is ideal for developing quantum algorithms that take full advantage of the sparsity (or the local character of the correlation effects) of the system and uses only a small fraction of qubits (Di, see Fig. 1) needed to describe the system represented by N spin orbitals.

Fig. 1
figure 1

A schematic representation of the quantum flow algorithm. In this algorithm, the computational problem for a large space is translated into the computational flow involving coupled eigenvalue problems involving Hermitian \(H^{\text {eff}}(\mathfrak {h}_{i}) \; (i=1,\ldots,M)\) (see text for more details)

Multi-component CC downfolding

The development of computational algorithms for composite quantum systems keeps attracting a lot of attention in the field of quantum computing. Typical examples are related to quantum electrodynamics, nuclear physics, quantum chemistry., and materials science For example, in quantum chemistry, this effort is related to the development of methods for non-perturbative coupling of electronic degrees of freedom with strong external fields (Haugland et al. 2020a; Pavošević and Flick 2021) and formulations going beyond Born-Oppenheimer approximation (Nakai and Sodeyama 2003; Ellis et al. 2016; Pavošević et al. 2018; Pavošević and Hammes-Schiffer 2021). Given the current status of quantum computing technology, it is important to provide techniques for compressing the dimensionality of these problems or finding an effective potential experienced by the one type of particles.

For simplicity, in this section we will consider a fictitious system composed of two types of Fermions A and B, defined by two sets of creation/annihilation operators \(\lbrace a_{\alpha }, a_{\alpha }^{\dagger } \rbrace _{\alpha =1}^{N_{A}}\) and \(\lbrace b_{\beta }, b_{\beta }^{\dagger } \rbrace _{\beta =1}^{N_{B}}\) (these operators should not be confused with the notation used in Section II) satisfying typical Fermionic anti-commutation relations ([.,.]+) and commuting ([.,.]) between themselves

$$\begin{array}{@{}rcl@{}} && [a_{\alpha},b_{\beta}]_{-} = [a_{\alpha},b^{\dagger}_{\beta}]_{-} = 0 \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} && [a^{\dagger}_{\alpha},b_{\beta}]_{-} = [a^{\dagger}_{\alpha},b^{\dagger}_{\beta}]_{-} = 0 \;. \end{array}$$

We will also assume specific form of the Hamiltonian


where HA,HB, and VAB describe sub-systems A, B, and interactions between A and B, respectively. We will also assume that the interaction part commutes with the particle number operators nA and nB for systems A and B, i.e.,

$$\begin{array}{@{}rcl@{}} && [V_{AB},n_{A}]_{-}=[V_{AB},n_{B}]_{-}=0 \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} && n_{A} = \sum_{\alpha=1}^{N_{A}} a^{\dagger}_{\alpha} a_{\alpha} \;\;,\;\; n_{B} = \sum_{\beta=1}^{N_{B}} b^{\dagger}_{\beta} b_{\beta} \;. \end{array}$$

This situation is typically encountered in models relevant to non-Born-Oppenheimer approaches in electronic structure theory (Nakai and Sodeyama 2003; Ellis et al. 2016; Pavošević et al. 2018; Pavošević and Hammes-Schiffer 2021) and nuclear structure theory (Dean and Hjorth-Jensen 2004).

Let us assume that the correlated ground-state wave function can be represented in the form of single reference CC wave function

$$|\Psi_{AB}\rangle = e^{T_{AB}} |\Phi_{AB}\rangle \;,$$

where cluster operator contains excitations correlating sub-system A (TA) and sub-system B (TB) as well as collective excitations involving both sub-systems (SAB),.i.e.,

$$T_{AB}=T_{A}+T_{B}+S_{AB} \;.$$

The reference function |ΦAB〉 is a reference function for the composite system which is assumed to be represented as

$$|\Phi_{AB}\rangle = \Omega_{A} \Omega_{B} |0\rangle \;,$$

where |0〉 represents physical vacuum and ΩA and ΩB are string of \(a^{\dagger }_{\alpha }\)/\(b^{\dagger }_{\beta }\) operators distributing electrons among occupied levels of sub-systems A and B, respectively.

The energy-dependent CC equation for the composite system takes the form

$$(P_{AB}+Q_{AB}) H_{AB} e^{T_{AB}} |\Phi_{AB}\rangle = E_{AB} e^{T_{AB}} |\Phi_{AB}\rangle \;,$$

where EAB is the energy of the composite system, PAB is a projection operator onto the reference function |ΦAB〉, and projection operator QAB can be decomposed as follows:

$$Q_{AB}=Q_{A} + Q_{B} + Z_{AB} \;,$$

where QA and QB are the projection operators onto excited Slater determinants obtained by exciting particles within sub-system A and B from |ΦAB〉, respectively, and ZAB corresponds to the projection operator onto sub-space spanned by excited Slater determinants where fermion particles of type A and B are excited simultaneously.

By projecting Eq. (35) onto (PAB+QA) and introducing the resolution of identity \(\phantom {\dot {i}\!}e^{T_{B}+S_{AB}}e^{-T_{B}-S_{AB}}\) one obtains

$$(P_{AB}+Q_{A}) e^{T_{B}+S_{AB}}(\bar{H}_{AB, \text{ext}}-E_{AB}) e^{T_{A}} |\Phi_{AB}\rangle = 0 \;,$$


$$\bar{H}_{AB, \text{ext}}= e^{-T_{B}-S_{AB}} H_{AB} e^{T_{B}+S_{AB}} \;.$$

In analogy to analysis in Ref. (Kowalski 2018) the role of \(\phantom {\dot {i}\!}e^{T_{B}+S_{AB}}\) in Eq. (37), reduces to the unit operator. This is a consequence of the fact that the operator TB+SAB produces excitations within sub-system B, which are subsequently eliminated by the QA projection operator. Consequently, Eq. (37) takes the form:

$$H^{\text{eff}}(A) e^{T_{A}} |\Phi_{AB}\rangle =E_{AB} e^{T_{A}} |\Phi_{AB}\rangle \;,$$

where the downfolded/effective Hamiltonian Heff(A) is defined as

$$H^{\text{eff}}(A)=(P_{AB}+Q_{A}) \bar{H}_{AB, \text{ext}} (P_{AB}+Q_{A})\;.$$

The above result shows that once TB and SAB amplitudes are know (or can be effectively approximated) the energy of the entire system can be calculated performing simulations on the sub-system A using effective Hamiltonian Heff(A).

In addition to the simplest downfolding procedure described above, there are several other possible scenarios how downfolding procedures can be defined for the composite system:

  • the utilization of second downfolding procedure to the Heff(A) in reduced-size active space for sub-system A,

  • the utilizaton of the composite active space that is representd by tensor product of active spaces for sub-systems A and B.

These techniques are especially interesting for the explicit inclusion of nuclear degrees of freedom (for Fermionic nuclei) in the effective Hamiltonians describing electronic degrees of freedom in the non-Born-Oppenheimer formulations.

A Hermitian extension of the downfolding procedure can be accomplished by utilizing DUCC Ansatz for the composite system given by the expansion

$$|\Psi_{AB}\rangle = e^{\sigma_{B}+\rho_{AB}} e^{\sigma_{A}} |\Phi_{AB}\rangle \;,$$

where σA,σB, and ρAB are the anti-Hermitian operators defined by the cluster amplitudes with indices belonging to sub-systems A, B, and amplitudes defined by a mixed indices involving basis functions on A and B, respectively. As in the non-Hermitian case of downfolding discussed in this Section, we will focus on the downfolding of the entire sub-system B into the effective Hamiltonians for sub-system A. Since creation/annihilation operators correspond to the sub-systems A and B, the exactness of the above expansion can be obtained as a generalization of the procedure based on the elementary Givens rotations discussed in Ref. (Evangelista et al. 2019). For the specific case discussed in this Section (based on the downfolding of the entire B sub-system) one should assume that all basis functions defining sub-system A are defined as active indices (see Ref. (Kowalski and Bauman 2020) for details).

Substituting Eq. (41) into the Schrödinger equations and projecting onto (PAB+QA), one arrives the following form of the equations

$$H^{\text{eff}}_{DUCC}(A)e^{\sigma_{A}}|\Phi_{AB}\rangle = E_{AB} e^{\sigma_{A}}|\Phi_{AB}\rangle \;,$$


$$H^{\text{eff}}_{DUCC}(A)= (P_{AB}+Q_{A}) \bar{H}_{AB,\text{ext}} (P_{AB}+Q_{A}) \;,$$


$$\bar{H}_{AB,\text{ext}} = e^{-\sigma_{B}-\rho_{AB}} H_{AB} e^{\sigma_{B}+\rho_{AB}} \;.$$

Again, the energy of the full system can be probed by sub-system A using effective Hamiltonian \(H^{\text {eff}}_{DUCC}(A)\). For example, one can envision the utilization of Eq. (42) in the context of coupling nuclear and electronic degrees of freedom. In this case, sub-system A is represented by electrons while system B corresponds do nuclei obeying Fermi statistic. If σB and ρAB can be effectively approximated then the \(H^\mathrm{eff}_{DUCC}(A)\) Hamiltonian describes the behavior of electrons in the presence of "correlated" nuclei. The intensive development of the CC models beyond Born-Oppenheimer approximations (Nakai and Sodeyama 2003; Pavošević et al. 2018; Pavošević and Hammes-Schiffer 2021) provides a reference for building approximate, for eaxmple, perturbative, form of σB and ρAB according formula analogous to Eq. (24), which requires the knowledge of TB and SAB to approximate σB and ρAB, respectively.

Extraction of the analytical form of interactions in many-body systems

In standard formulations of downfolding methods it is assumed (see Refs. (Bauman et al. 2019; Metcalf et al. 2020)) that effective/downfolded DUCC Hamiltonians are dominated by one- and two-body effects, i.e., using the language of second quantization Heff can be approximated as (for simplicity, let us assume that only virtual orbitals are downfolded)

$$H^{\text{eff}}_{DUCC} \simeq \sum_{PQ} \chi^{P}_{Q} a_{Q}^{\dagger} a_{P} + \frac{1}{2} \sum_{P,Q,R,S} \chi^{PQ}_{RS} a_{R}^{\dagger} a_{S}^{\dagger} a_{Q} a_{P} \;,$$

where P,Q,R,S indices, \(\chi ^{P}_{Q}\), and \(\chi ^{PQ}_{RS}\) represent active spin orbitals and effective one- and two-body interactions, respectively (non-antisymmetrized matrix elements \(\chi ^{PQ}_{RS}\) are employed in (45)). Once the set of \(\lbrace \chi ^{P}_{Q},\chi ^{PQ}_{RS}\rbrace\) is known (at the end of flow procedure) this information can be further used to derive an analytical form of effective inter-electron interactions. This can be accomplished by fitting the general form of one-body u and two-body g interactions defined as functions of to-be-optimized parameters γ/ δ as well as r1,r2,r12=|r1r2|,1,2, etc. operators:

$$\begin{array}{@{}rcl@{}} u &=& u(\boldsymbol{\gamma},r_{1},\nabla_{1},\ldots) \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} g &=& g(\boldsymbol{\delta},r_{1},r_{2},r_{12},\nabla_{1},\nabla_{2},\ldots) \;, \end{array}$$

These effective interactions replace standard one- and two-body interactions in non-relativistic quantum chemistry and are defined to minimize the discrepancies with \(\lbrace \chi ^{P}_{Q},\chi ^{PQ}_{RS}\rbrace\) for a given discrete molecular spin-orbital set, i.e.,

$$\begin{array}{@{}rcl@{}} &\min_{\boldsymbol{\gamma}} \lbrace \sum_{PQ} |u^{P}_{Q}(\boldsymbol{\gamma})-\chi^{P}_{Q}| \rbrace & \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} &\min_{\boldsymbol{\delta}} \lbrace \sum_{PQRS} |g^{PQ}_{RS}(\boldsymbol{\delta})-\chi^{PQ}_{RS}| \rbrace & \;, \; \end{array}$$


$$\begin{array}{@{}rcl@{}} u^{P}_{Q}(\boldsymbol{\gamma}) &=& \int dx_{1} \phi_{P}(x_{1})^{*} u(\boldsymbol{\gamma},r_{1},\nabla_{1},\ldots) \phi_{Q}(x_{1}) \;, \end{array}$$
$$\begin{array}{@{}rcl@{}} g^{PQ}_{RS}(\boldsymbol{\delta}) &=& \int dx_{1} dx_{2} \phi_{P}(x_{1})^{*} \phi_{Q}(x_{2})^{*} g(\boldsymbol{\delta},r_{1},r_{2},r_{12},\nabla_{1},\nabla_{2},\ldots) \phi_{R}(x_{1}) \phi_{S}(x_{2})\;. \end{array}$$

We believe that the utilization of efficient non-linear optimizers or machine learning techniques can provide an effective form of the interactions u and g defined in small-size active spaces. These effective interactions can be utilized in low-order methodologies, including Hartree-Fock (HF) and density functional theories (DFT). The access to the analytical form of the inter-electron interactions can also enable affordable and reliable ab-initio dynamics driven by low-order methods.


In this paper, we briefly review the current state of two variants of CC downfolding techniques. While the non-Hermitian downfolding and resulting active-space Hamiltonians are not a primary target for quantum computing, the equivalence theorem opens new possibilities regarding forming systematic reduced-scaling frameworks based on the quantum flow equations. In contrast to the existing reduced scaling CC formulations, where the notion of electron pair is rather descriptive and is based on the partitioning of the correlation energy with respect to contributions that can be indexed by pairs of the occupied orbitals, the present formalism defines the pair through the corresponding effective Hamiltonian. This fact has a fundamental advantage over ad hoc localization procedures - it allows in a natural way to introduce the pair density matrix. It also allows for a more systematic way of introducing certain classes of higher-rank excitations. The double unitary CC Ansatz provides a natural many-body language to introduce Hermitian downfolded representation of many-body Hamiltonians in reduced-dimensionality active spaces. To approximate non-terminating commutator expansion of downfolded Hamiltonians, we use finite commutator expansions. On the LiF example, we demonstrated that the inclusion of double commutator terms leads to systematic improvements of the results obtained with single commutator expansion even in a situation when an active space is not providing a good zero-th order approximation of correlation effects. It should be also stressed that the downfolded Hamiltonians based on the double commutator expansion are capable of reducing the error of energies obtained by the diagonalization of the bare-Hamiltonian in the same-size active space by more than an order of magnitude (in fact, for the 1.0R e and 5.0R e one could witness 30- and 60-fold reduction in energy errors with respect to accurate CC results obtained by correlating all molecular orbitals). The outlined downfolding techniques can also be useful in the context of reducing the numerical cost of expensive CC calculations for systems with periodic boundary conditions.

In the second part of the paper, we extended non-Hermitian and Hermitian downfolding to multi-component quantum systems. As an example, we used the model system composed of two types of Fermions, which epitomizes typical situations encountered in nuclear physics and for certain types of nuclei in non-Born-Oppenheimer electronic structure theory. We have also outlined an approximate procedure to extract the semi-analytical form of the one- and two-body inter-electron interactions in active space based on the minimization procedure utilizing one- and two-body interactions defining downfolded Hamiltonians. In the future, we will explore the usefulness of machine learning techniques for this procedure.

In summary, the universal character of the discussed downfolding framework makes it applicable to a broad class of multi-component quantum systems encountered in nuclear theory, chemistry, and materials sciences.

Availability of data and materials

Code to generate downfolded Hamiltonians can be found in the following GitHub repository:





Complete active space


Coupled cluster


CC with singles and doubles


CC with singles, doubles, and perturbative triples


CC with singles, doubles, and triples


Quadruple non-iterative correcions to the CCSDT energy


CC with singles, doubles, triples, and quadruples


Density functional theory


Double unitary CC




Noisy Intermediate-Scale Quantum Device


Quantum flow equations


Quantum phase estimation


Restricted Hartree-Fock


Sub-system embedding sub-algebras


Single reference


Variational quantum eigensolver


  • R. J. Bartlett, M. Musiał, Coupled-cluster theory in quantum chemistry. Rev. Mod. Phys.79:, 291–352 (2007).

    Article  CAS  Google Scholar 

  • N. P. Bauman, J. Shen, P. Piecuch, Combining active-space coupled-cluster approaches with moment energy corrections via the cc(p;q) methodology: connected quadruple excitations. Mol. Phys.115(21-22), 2860–2891 (2017).

    Article  CAS  Google Scholar 

  • N. P. Bauman, G. H. Low, K. Kowalski, Quantum simulations of excited states with active-space downfolded hamiltonians. J. Chem. Phys.151(23), 234114 (2019).

    Article  CAS  Google Scholar 

  • D. W. Berry, G. Ahokas, R. Cleve, B. C. Sanders, Efficient quantum algorithms for simulating sparse hamiltonians. Comm. Math. Phys.270(2), 359–371 (2007).

    Article  Google Scholar 

  • R. F. Bishop, N. Ligterink, N. R. Walet, Towards a coupled-cluster treatment of su (n) lattice gauge field theory. Int. J. Mod. Phys. B. 20(30n31), 4992–5007 (2006).

    Article  CAS  Google Scholar 

  • Y. J. Bomble, J. F. Stanton, M. Kallay, J. Gauss, Coupled-cluster methods including noniterative corrections for quadruple excitations. J. Chem. Phys.123(5), 054101 (2005).

    Article  CAS  Google Scholar 

  • G. H. Booth, A. Grüneis, G. Kresse, A. Alavi, Towards an exact description of electronic wavefunctions in real solids. Nature. 493(7432), 365 (2013).

    Article  CAS  Google Scholar 

  • U. Bozkaya, H. F. Schaefer III, Symmetric and asymmetric triple excitation corrections for the orbital-optimized coupled-cluster doubles method: Improving upon ccsd(t) and ccsd(t) λ: Preliminary application. J. Chem. Phys.136(20), 204114 (2012).

    Article  CAS  Google Scholar 

  • B. H. Brandow, Linked-cluster expansions for the nuclear many-body problem. Rev. Mod. Phys.39:, 771–828 (1967).

    Article  CAS  Google Scholar 

  • E. J. Bylaska, D. Song, N. P. Bauman, K Kowalski, D. Claudino, T. S. Humble, Quantum solvers for plane-wave hamiltonians: Abridging virtual spaces through the optimization of pairwise correlations. Front. Chem.9:, 26 (2021).

    Article  CAS  Google Scholar 

  • Y. Cao, J. Romero, J. P. Olson, M. Degroote, P. D. Johnson, M. Kieferová, I. D. Kivlichan, T. Menke, B. Peropadre, N. P. Sawaya, et al., Quantum chemistry in the age of quantum computing. Chem. Rev.119(19), 10856–10915 (2019).

    Article  CAS  Google Scholar 

  • A. M. Childs, On the relationship between continuous-and discrete-time quantum walk. Comm. Math. Phys.294(2), 581–603 (2010).

    Article  Google Scholar 

  • R. Cleve, A. Ekert, C. Macchiavello, M. Mosca. Proc. R. Soc. Lond. A. 454(1969), 339–354 (1998).

    Article  Google Scholar 

  • F. Coester, Bound states of a many-particle system. Nucl. Phys.7:, 421–424 (1958).

    Article  Google Scholar 

  • F. Coester, H. Kummel, Short-range correlations in nuclear wave functions. Nucl. Phys.17:, 477–485 (1960).

    Article  CAS  Google Scholar 

  • J. I. Colless, V. V. Ramasesh, D. Dahlen, M. S. Blok, M. E. Kimchi-Schwartz, J. R. McClean, J. Carter, W. A. de Jong, I. Siddiqi, Computation of molecular spectra on a quantum processor with an error-resilient algorithm. Phys. Rev. X. 8:, 011021 (2018).

    CAS  Google Scholar 

  • C. J. Cramer, A. Kinal, M. Włoch, P. Piecuch, L. Gagliardi, Theoretical characterization of end-on and side-on peroxide coordination in ligated cu2o2 models. J. Phys. Chem. A. 110(40), 11557–11568 (2006).

    Article  CAS  Google Scholar 

  • T. D. Crawford, Ab initio calculation of molecular chiroptical properties. Theor. Chem. Accounts. 115(4), 227–245 (2006).

    Article  CAS  Google Scholar 

  • T. D. Crawford, H. F. Schaefer, An introduction to coupled cluster theory for computational chemists. Rev. Comput. Chem.14:, 33–136 (2000).

    CAS  Google Scholar 

  • T. D. Crawford, J. F. Stanton, Investigation of an asymmetric triple-excitation correction for coupled-cluster energies. Int. J. Quantum Chem.70(4-5), 601–611 (1998).<601::AID-QUA6>3.0.CO;2-Z.

    Article  CAS  Google Scholar 

  • R. D’Cunha, T. D. Crawford, Pno++: Perturbed pair natural orbitals for coupled cluster linear response theory. J. Chem. Theory Comput.17(1), 290–301 (2020).

    Article  CAS  Google Scholar 

  • D. J. Dean, M. Hjorth-Jensen, Coupled-cluster approach to nuclear physics. Phys. Rev. C. 69:, 054320 (2004).

    Article  CAS  Google Scholar 

  • M. Degroote, T. M. Henderson, J. Zhao, J. Dukelsky, G. E. Scuseria, Polynomial similarity transformation theory: A smooth interpolation between coupled cluster doubles and projected bcs applied to the reduced bcs hamiltonian. Phys. Rev. B. 93(12), 125124 (2016).

    Article  CAS  Google Scholar 

  • J. E. Deustua, J. Shen, P. Piecuch, Converging high-level coupled-cluster energetics by monte carlo sampling and moment expansions. Phys. Rev. Lett.119(22), 223003 (2017).

    Article  Google Scholar 

  • J. E. Deustua, I. Magoulas, J. Shen, P. Piecuch, Communication: Approaching exact quantum chemistry by cluster analysis of full configuration interaction quantum monte carlo wave functions. J. Chem. Phys.149(15), 151101 (2018).

    Article  CAS  Google Scholar 

  • T. H. Dunning Jr., Gaussian basis sets for use in correlated molecular calculations. i. the atoms boron through neon and hydrogen. J. Chem. Phys.90(2), 1007–1023 (1989).

    Article  Google Scholar 

  • AK Dutta, F. Neese, R. Izsák, Speeding up equation of motion coupled cluster theory with the chain of spheres approximation. J. Chem. Phys.144(3), 034102 (2016).

    Article  CAS  Google Scholar 

  • B. H. Ellis, S. Aggarwal, A. Chakraborty, Development of the multicomponent coupled-cluster theory for investigation of multiexcitonic interactions. J. Chem. Theory Comput.12(1), 188–200 (2016).

    Article  CAS  Google Scholar 

  • F. A. Evangelista, G. K. -L. Chan, G. E. Scuseria, Exact parameterization of fermionic wave functions via unitary coupled cluster theory. J. Chem. Phys.151(24), 244112 (2019).

    Article  CAS  Google Scholar 

  • S. R. Gwaltney, M. Head-Gordon, A second-order correction to singles and doubles coupled-cluster methods based on a perturbative expansion of a similarity-transformed hamiltonian. Chem. Phys. Lett.323(1), 21–28 (2000).

    Article  CAS  Google Scholar 

  • Gwaltney, S. R., M. Head-Gordon, A second-order perturbative correction to the coupled-cluster singles and doubles method: Ccsd(2). J. Chem. Phys.115(5), 2014–2021 (2001).

    Article  CAS  Google Scholar 

  • G. Hagen, T. Papenbrock, D. J. Dean, M Hjorth-Jensen, Medium-mass nuclei from chiral nucleon-nucleon interactions. Phys. Rev. Lett.101:, 092502 (2008).

    Article  CAS  Google Scholar 

  • C. Hampel, H. -J. Werner, Local treatment of electron correlation in coupled cluster theory. J. Chem. Phys.104(16), 6286–6297 (1996).

    Article  CAS  Google Scholar 

  • G. Hasberg, H Kümmel, Coupled cluster description of pion-nucleon systems. Phys. Rev. C. 33(4), 1367 (1986).

    Article  CAS  Google Scholar 

  • S. Hirata, M. Nooijen, I. Grabowski, R. J. Bartlett, Perturbative corrections to coupled-cluster and equation-of-motion coupled-cluster energies: A determinantal analysis. J. Chem. Phys.114(9), 3919–3928 (2001).

    Article  CAS  Google Scholar 

  • S. Hirata, P. -D. Fan, A. A. Auer, M. Nooijen, P. Piecuch, Combined coupled-cluster and many-body perturbation theories. J. Chem. Phys.121(24), 12197–12207 (2004).

    Article  CAS  Google Scholar 

  • S. Hirata, R. Podeszwa, M. Tobita, R. J. Bartlett, Coupled-cluster singles and doubles for extended systems. J. Chem. Phys.120(6), 2581–2592 (2004).

    Article  CAS  Google Scholar 

  • S. Hirata, R. Podeszwa, M. Tobita, R. J. Bartlett, Coupled-cluster singles and doubles for extended systems. J. Chem. Phys.120(6), 2581–2592 (2004).

    Article  CAS  Google Scholar 

  • W. J. Huggins, J. Lee, U. Baek, B. O’Gorman, K. B. Whaley, A non-orthogonal variational quantum eigensolver. New J. Phys.22:, 073009 (2020).

    Article  CAS  Google Scholar 

  • A. Kandala, A. Mezzacapo, K. Temme, M. Takita, M. Brink, J. M. Chow, J. M. Gambetta, Hardware-efficient variational quantum eigensolver for small molecules and quantum magnets. Nature. 549:, 242–246 (2017).

    Article  CAS  Google Scholar 

  • A. Kandala, K. Temme, A. D. Corcoles, A. Mezzacapo, J. M. Chow, J. M. Gambetta, Error mitigation extends the computational reach of a noisy quantum processor. Nature. 567:, 491–495 (2019).

    Article  CAS  Google Scholar 

  • H. Katagiri, Equation-of-motion coupled-cluster study on exciton states of polyethylene with periodic boundary condition. J. Chem. Phys.122(22), 224901 (2005).

    Article  CAS  Google Scholar 

  • A. Y. Kitaev, Quantum computations: algorithms and error correction. Russ. Math. Surv.52(6), 1191–1249 (1997).

    Article  Google Scholar 

  • H. Koch, P. Jørgensen, Coupled cluster response functions. J. Chem. Phys.93(5), 3333–3344 (1990).

    Article  CAS  Google Scholar 

  • K. Kowalski, Properties of coupled-cluster equations originating in excitation sub-algebras. J. Chem. Phys.148(9), 094104 (2018).

    Article  CAS  Google Scholar 

  • K. Kowalski, N. P. Bauman, Sub-system quantum dynamics using coupled cluster downfolding techniques. J. Chem. Phys.152(24), 244127 (2020).

    Article  CAS  Google Scholar 

  • K. Kowalski, D. J. Dean, M Hjorth-Jensen, T. Papenbrock, P. Piecuch, Coupled cluster calculations of ground and excited states of nuclei. Phys. Rev. Lett.92:, 132501 (2004).

    Article  CAS  Google Scholar 

  • Kowalski, K., Dimensionality reduction of the many-body problem using coupled-cluster subsystem flow equations: Classical and quantum computing perspective. Phys. Rev. A. 104:, 032804 (2021).

    Article  Google Scholar 

  • H. G. Kümmel, Post-gaussian approximation to the soliton of the (1+1)-dimensional sine-gordon model. Phys. Rev. B. 64(1), 014301 (2001).

    Article  CAS  Google Scholar 

  • W. Li, P. Piecuch, Multilevel extension of the cluster-in-molecule local correlation methodology: Merging coupled-cluster and møller- plesset perturbation theories. J. Phys. Chem. A. 114(24), 6721–6727 (2010).

    Article  CAS  Google Scholar 

  • S. Li, J. Ma, Y. Jiang, Linear scaling local correlation approach for solving the coupled cluster equations of large systems. J. Comp. Chem.23(2), 237–244 (2002).

    Article  CAS  Google Scholar 

  • S. Li, J. Shen, W. Li, Y. Jiang, An efficient implementation of the “cluster-in-molecule” approach for local electron correlation calculations. J. Chem. Phys.125(7), 074109 (2006).

    Article  CAS  Google Scholar 

  • W. Li, P. Piecuch, J. R. Gour, S. Li, Local correlation calculations using standard and renormalized coupled-cluster approaches. J. Chem. Phys.131(11), 114109 (2009).

    Article  CAS  Google Scholar 

  • N. Ligterink, N. Walet, R. Bishop, A coupled-cluster formulation of hamiltonian lattice field theory: The nonlinear sigma model. Ann. Phys.267(1), 97–133 (1998).

    Article  CAS  Google Scholar 

  • I. Lindgren, J. Morrison, Atomic Many-Body Theory, SpringerSeries on Atomic, Optical, and Plasma Physics (Springer, Berlin Heidelberg, 2012).

    Google Scholar 

  • A. Luis, J Peřina, Optimum phase-shift estimation and the quantum description of the phase difference. Phys. Rev. A. 54(5), 4564 (1996).

    Article  CAS  Google Scholar 

  • J. McClain, Q. Sun, G. K. -L. Chan, T. C. Berkelbach, Gaussian-based coupled-cluster theory for the ground-state and band structure of solids. J. Chem. Theory Comput.13(3), 1209–1218 (2017).

    Article  CAS  Google Scholar 

  • J. R. McClean, J. Romero, R. Babbush, A. Aspuru-Guzik, The theory of variational hybrid quantum-classical algorithms. New J. Phys. 18(2), 023023 (2016).

    Article  CAS  Google Scholar 

  • L. Meissner, R. J. Bartlett, A new approach to the problem of noniterative corrections within the coupled-cluster framework. J. Chem. Phys.115(1), 50–61 (2001).

    Article  CAS  Google Scholar 

  • M. Metcalf, N. P. Bauman, K. Kowalski, W. A. de Jong, Resource-efficient chemistry on quantum computers with the variational quantum eigensolver and the double unitary coupled-cluster approach. J. Chem. Theory Comput.16(10), 6165–6175 (2020). PMID: 32915568.

    Article  CAS  Google Scholar 

  • H. Nakai, K. Sodeyama, Many-body effects in nonadiabatic molecular theory for simultaneous determination of nuclear and electronic wave functions: Ab initio nomo/mbpt and cc methods. J. Chem. Phys.118(3), 1119–1127 (2003).

    Article  CAS  Google Scholar 

  • F. Neese, A. Hansen, F. Wennmohs, S. Grimme, Accurate theoretical chemistry with coupled pair models. Acc. Chem. Res.42(5), 641–648 (2009).

    Article  CAS  Google Scholar 

  • F. Neese, F. Wennmohs, A. Hansen, Efficient and accurate local approximations to coupled-electron pair approaches: An attempt to revive the pair natural orbital method. J. Chem. Phys.130(11), 114108 (2009).

    Article  CAS  Google Scholar 

  • M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition, 10th edn. (Cambridge University Press, New York, 2011).

    Google Scholar 

  • J. Paldus, X. Li, A critical assessment of coupled cluster method in quantum chemistry. Adv. Chem. Phys.110:, 1–175 (1999).

    CAS  Google Scholar 

  • J. Paldus, J. Čížek, I. Shavitt, Correlation problems in atomic and molecular systems. IV. Extended coupled-pair many-electron theory and its application to the B H3 molecule. Phys. Rev. A. 5:, 50–67 (1972).

    Article  Google Scholar 

  • J. A. Parkhill, K. Lawler, M. Head-Gordon, The perfect quadruples model for electron correlation in a valence active space. J. Chem. Phys.130(8), 084101 (2009).

    Article  CAS  Google Scholar 

  • F. Pavošević, S. Hammes-Schiffer, Multicomponent unitary coupled cluster and equation-of-motion for quantum computation. J. Chem. Theory Comput.17(6), 3252–3258 (2021).

    Article  CAS  Google Scholar 

  • F. Pavošević, T. Culpitt, S. Hammes-Schiffer, Multicomponent coupled cluster singles and doubles theory within the nuclear-electronic orbital framework. J. Chem. Theory Comput.15(1), 338–347 (2018).

    Article  CAS  Google Scholar 

  • C Peng, M. C. Clement, E. F. Valeev, State-averaged pair natural orbitals for excited states: A route toward efficient equation of motion coupled-cluster. J. Chem. Theory Comput.14(11), 5597–5607 (2018).

    Article  CAS  Google Scholar 

  • A. Peruzzo, J. McClean, P. Shadbolt, M. -H. Yung, X. -Q. Zhou, P. J. Love, A. Aspuru-Guzik, J. L. O’brien, A variational eigenvalue solver on a photonic quantum processor. Nat. Commun.5:, 4213 (2014).

    Article  CAS  Google Scholar 

  • P. Piecuch, M. Włoch, Renormalized coupled-cluster methods exploiting left eigenstates of the similarity-transformed hamiltonian. J. Chem. Phys.123(22), 224105 (2005).

    Article  CAS  Google Scholar 

  • P. Piecuch, J. R. Gour, M. Włoch, Left-eigenstate completely renormalized equation-of-motion coupled-cluster methods: Review of key concepts, extension to excited states of open-shell systems, and comparison with electron-attached and ionized approaches. Int. J. Quantum Chem.109(14), 3268–3304 (2009).

    Article  CAS  Google Scholar 

  • G. Purvis, R. Bartlett, A full coupled-cluster singles and doubles model: The inclusion of disconnected triples. J. Chem. Phys.76(4), 1910–1918 (1982).

    Article  CAS  Google Scholar 

  • K. Raghavachari, G. W. Trucks, J. A. Pople, M. Head-Gordon, A fifth-order perturbation comparison of electron correlation theories. Chem. Phys. Lett.157(6), 479–483 (1989).

    Article  CAS  Google Scholar 

  • C. Riplinger, F. Neese, An efficient and near linear scaling pair natural orbital based local coupled cluster method. J. Chem. Phys.138(3), 034106 (2013).

    Article  CAS  Google Scholar 

  • C. Riplinger, B. Sandhoefer, A. Hansen, F. Neese, Natural triple excitations in local coupled cluster calculations with pair natural orbitals. J. Chem. Phys.139(13), 134101 (2013).

    Article  CAS  Google Scholar 

  • C. Riplinger, P. Pinski, U. Becker, E. F. Valeev, F. Neese, Sparse maps—systematic infrastructure for reduced-scaling electronic structure methods. ii. linear scaling domain based pair natural orbital coupled cluster theory. J. Chem. Phys.144(2), 024109 (2016).

    Article  CAS  Google Scholar 

  • J. B. Robinson, P. J. Knowles, Rigorously extensive orbital-invariant renormalized perturbative triples corrections from quasi-variational coupled cluster theory. J. Chem. Phys.138(7), 074104 (2013).

    Article  CAS  Google Scholar 

  • J. Romero, R. Babbush, J. R. McClean, C. Hempel, P. J. Love, A. Aspuru-Guzik, Strategies for quantum computing molecular energies using the unitary coupled cluster ansatz. Quantum Sci. Technol.4(1), 014008 (2018).

    Article  Google Scholar 

  • A. C. Scheiner, G. E. Scuseria, J. E. Rice, T. J. Lee, H. F. Schaefer III, Analytic evaluation of energy gradients for the single and double excitation coupled cluster (ccsd) wave function: Theory and application. J. Chem. Phys.87(9), 5361–5373 (1987).

    Article  CAS  Google Scholar 

  • M. Schütz, Low-order scaling local electron correlation methods. iii. linear scaling local perturbative triples correction (t). J. Chem. Phys.113(22), 9986–10001 (2000).

    Article  Google Scholar 

  • Schütz, M., H. -J. Werner, Low-order scaling local electron correlation methods. iv. linear scaling local coupled-cluster (lccsd). J. Chem. Phys.114(2), 661–681 (2001).

    Article  Google Scholar 

  • J. T. Seeley, M. J. Richard, P. J. Love, The bravyi-kitaev transformation for quantum computation of electronic structure. J. Chem. Phys.137(22), 224109 (2012).

    Article  CAS  Google Scholar 

  • Y. Shen, X. Zhang, S. Zhang, J. -N. Zhang, M. -H. Yung, K. Kim, Quantum implementation of the unitary coupled cluster for simulating molecular electronic structure. Phys. Rev. A. 95:, 020501 (2017).

    Article  Google Scholar 

  • M. O. Sinnokrot, E. F. Valeev, C. D. Sherrill, Estimates of the ab initio limit for π- π interactions: The benzene dimer. J. Am. Chem. Soc.124(36), 10887–10893 (2002).

    Article  CAS  Google Scholar 

  • L. V. Slipchenko, A. I. Krylov, Singlet-triplet gaps in diradicals by the spin-flip approach: A benchmark study. J. Chem. Phys.117(10), 4694–4708 (2002).

    Article  CAS  Google Scholar 

  • J. F. Stanton, Why ccsd(t) works: a different perspective. Chem. Phys. Lett.281(1), 130–134 (1997).

    Article  CAS  Google Scholar 

  • J. F. Stanton, J. Gauss, Perturbative treatment of the similarity transformed hamiltonian in equation-of-motion coupled-cluster approximations. J. Chem. Phys.103(3), 1064–1076 (1995).

    Article  CAS  Google Scholar 

  • H. Stoll, Correlation energy of diamond. Phys. Rev. B. 46(11), 6700 (1992).

    Article  CAS  Google Scholar 

  • A. Tajti, P. G. Szalay, A. G. Császár, M. Kállay, J. Gauss, E. F. Valeev, B. A. Flowers, J. Vázquez, J. F. Stanton, Heat: High accuracy extrapolated ab initio thermochemistry. J. Chem. Phys.121(23), 11599–11613 (2004).

    Article  CAS  Google Scholar 

  • X. Wang, T. C. Berkelbach, Excitons in solids from periodic equation-of-motion coupled-cluster theory. J. Chem. Theory Comput.16(5), 3095–3103 (2020).

    Article  CAS  Google Scholar 

  • D. Wecker, M. B. Hastings, M. Troyer, Progress towards practical quantum variational algorithms. Phys. Rev. A. 92(4), 042303 (2015).

    Article  CAS  Google Scholar 

  • M. Włoch, J. R. Gour, P. Piecuch, Extension of the renormalized coupled-cluster methods exploiting left eigenstates of the similarity-transformed hamiltonian to open-shell systems: A benchmark study. J. Phys. Chem. A. 111(44), 11359–11382 (2007).

    Article  CAS  Google Scholar 

  • S. H. Yuwono, I. Magoulas, P. Piecuch, Quantum computation solves a half-century-old enigma: Elusive vibrational states of magnesium dimer found. Sci. Adv.6(14), 4058 (2020).

    Article  CAS  Google Scholar 

  • J. Arponen, R. Bishop, E. Pajanne, N. Robinson, in Condensed Matter Theories. Towards a coupled cluster gauge-field approach to quantum hydrodynamics (Springer, Boston MA, 1988), pp. 51–66.

  • N. P. Bauman, E. J. Bylaska, S. Krishnamoorthy, G. H. Low, N. Wiebe, C. E. Granade, M. Roetteler, M. Troyer, K. Kowalski, J. Chem. Phys.151(1), 014107 (2019).

  • N. P. Bauman, J. Chládek, L. Veis, J. Pittner, K. Kowalski, Variational quantum eigensolver for approximate diagonalization of downfolded hamiltonians using generalized unitary coupled cluster ansatz. arXiv preprint arXiv:2011.01985 (2020).

  • R. Bishop, N. Robinson, J. Arponen, E. Pajanne, in Aspects of Many-Body Effects in Molecules and Extended Systems. Quantum fluid dynamics: An extended coupled cluster treatment (Springer, 1989), pp. 241–260.

  • J Čížek, J. Chem. Phys.45(11), 4256–4266 (1966).

  • M. Funke, U. Kaulfuss, H. Kümmel, Phys. Rev. D. 35(2), 621 (1987).

  • T. Häner, D. S. Steiger, M. Smelyanskiy, M. Troyer, in SC ’16: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. High performance emulation of quantum circuits, (2016), pp. 866–874.

  • T. S. Haugland, E. Ronca, E. F. Kjønstad, A. Rubio, H. Koch, Coupled cluster theory for molecular polaritons: Changing ground and excited states. Phys. Rev. X. 10(4), 041043 (2020a).

  • T. S. Haugland, E. Ronca, E. F. Kjønstad, A. Rubio, H. Koch, Coupled cluster theory for molecular polaritons: Changing ground and excited states. Phys. Rev. X. 10:, 041043 (2020b).

  • K. Kowalski, P. Piecuch, The method of moments of coupled-cluster equations and the renormalized ccsd[t], ccsd(t), ccsd(tq), and ccsdt(q) approaches. J. Chem. Phys.113(1), 18–35 (2000a).

  • Kowalski, K., P. Piecuch, Renormalized ccsd(t) and ccsd(tq) approaches: Dissociation of the n2 triple bond. J. Chem. Phys.113(14), 5644–5652 (2000b).

  • S. A. Kucharski, R. J. Bartlett, An efficient way to include connected quadruple contributions into the coupled cluster method. J. Chem. Phys.108(22), 9221–9226 (1998a).

  • Kucharski, S. A., R. J. Bartlett, Noniterative energy corrections through fifth-order to the coupled cluster singles and doubles method. J. Chem. Phys.108(13), 5243–5254 (1998b).

  • S. A. Kucharski, R. J. Bartlett, Sixth-order energy corrections with converged coupled cluster singles and doubles amplitudes. J. Chem. Phys.108(13), 5255–5264 (1998c).

  • F. Pavošević, J. Flick, Polaritonic unitary coupled cluster for quantum computations. arXiv preprint arXiv:2106.09842 (2021).

  • F. Pavosevic, P. Pinski, C. Riplinger, F. Neese, E. F. Valeev, SparseMaps-A Systematic Infrastructure for Reduced-Scaling Electronic Structure Methods. IV. Linear-Scaling Second-Order Explicitly Correlated Energy with Pair Natural Orbitals. J. Chem. Phys.144(14) (2016).

  • P. Piecuch, K. Kowalski, in Computational Chemistry: Reviews of Current Trends. In search of the relationship between multiple solutions characterizing coupled-cluster theories (World Scientific, pp. 1–104.

  • D. Poulin, A. Kitaev, D. S. Steiger, M. B. Hastings, M. Troyer, Fast quantum algorithm for spectral properties. arXiv preprint arXiv:1711.11025 (2017).

  • M. Schütz, H. -J. Werner, Local perturbative triples correction (t) with linear cost scaling. Chem. Phys. Lett.318(4-5), 2000.

  • I. Shavitt, R. Bartlett, Many-Body Methods in Chemistry and Physics: MBPT and Coupled-Cluster Theory, Cambridge Molecular ScienceCambridge University Press, 2009). Accessed 1 Nov 2021

Download references


This work was supported by the "Embedding QC into Many-body Frameworks for Strongly Correlated Molecular and Materials Systems” project, which is funded by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences (BES), the Division of Chemical Sciences, Geosciences, and Biosciences. Part of this work was supported by the Quantum Science Center (QSC), a National Quantum Information Science Research Center of the U.S. Department of Energy (DOE).


This work was supported by the "Embedding QC into Many-body Frameworks for Strongly Correlated Molecular and Materials Systems” project, which is funded by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences (BES), the Division of Chemical Sciences, Geosciences, and Biosciences. Part of this work was supported by the Quantum Science Center (QSC), a National Quantum Information Science Research Center of the U.S. Department of Energy (DOE).

Author information

Authors and Affiliations



NPB performed simulations and contributed to the interpretation of results and writing the manuscript. KK conceptualized the study and contributed to writing the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Karol Kowalski.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence 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 licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bauman, N.P., Kowalski, K. Coupled Cluster Downfolding Theory: towards universal many-body algorithms for dimensionality reduction of composite quantum systems in chemistry and materials science. Mater Theory 6, 17 (2022).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: