Coupled cluster theory on modern heterogeneous supercomputers
1 Oak Ridge National Laboratory, Oak Ridge, TN, United States
2 Department of Chemistry, University of Copenhagen, Copenhagen, Denmark
3 Department of Chemistry and Biochemistry and Center for Chemical Computation and Theory, University of California, Merced, CA, United States
4 Department of Chemistry and Biochemistry, Auburn University, Auburn, AL, United States
5 Department of Chemistry, Aarhus University, Aarhus, Denmark
Abstract
This study examines the computational challenges in elucidating intricate chemical systems, particularly through ab-initio methodologies. This work highlights the Divide-Expand-Consolidate (DEC) approach for coupled cluster (CC) theory—a linear-scaling, massively parallel framework—as a viable solution. Detailed scrutiny of the DEC framework reveals its extensive applicability for large chemical systems, yet it also acknowledges inherent limitations. To mitigate these constraints, the cluster perturbation theory is presented as an effective remedy. Attention is then directed towards the CPS (D-3) model, explicitly derived from a CC singles parent and a doubles auxiliary excitation space, for computing excitation energies. The reviewed new algorithms for the CPS (D-3) method efficiently capitalize on multiple nodes and graphical processing units, expediting heavy tensor contractions. As a result, CPS (D-3) emerges as a scalable, rapid, and precise solution for computing molecular properties in large molecular systems, marking it an efficient contender to conventional CC models.
Untitled section
Keywords: coupled cluster theory, divide-expand-consolidate coupled cluster framework, cluster perturbation theory, excitation energies, tetrahydrocannabinol, deoxyribonucleic acid
Article notes
Untitled section
Received 2023 Jan 30; Accepted 2023 May 11; Collection date 2023.
1 Introduction
Over the past 6 decades, the field of computational chemistry and molecular modeling has aimed to solve for the energy and expectation values of wave functions for atomic and molecular systems. In the exact limit, the non–relativistic electronic contribution to the total energy of a many-body system can be obtained by finding the exact solution to the N-electron Schrödinger equation. However, due to the challenges in solving atomic and molecular systems composed of more than few electrons in orbitals with angular momentum l ≥ 1, many numerical approximations have been rather crude. To reduce the mathematical complexity associated with solving multi-electron molecular systems, which often requires modeling a 3N dimensional space, many computational chemistry approximations have opted for partial or total neglect of electron-electron correlation (Tew et al., 2007) and relativistic effects (Pyykkö, 2012; Liu, 2020). Furthermore, in many cases, the neglect of inner-core electrons, the acceptance of insufficient Born-Oppenheimer approximation, and the disregard of chemically unique tailored basis sets in favor of a one-size-fits-all approach have become routine in many quantum chemistry calculations (Woolley and Sutcliffe, 1977; Combes et al., 1981; Davidson and Feller, 1986; Cederbaum, 2008; Nagy and Jensen, 2017). In general, the larger the system with respect to the number of electrons, the cruder the approximations become. It can be argued that, in a way, the current state of many computational chemistry methodologies is as paradoxical as it was 60 years ago. For small systems, where very accurate experiments are often readily accessible, we find increasingly powerful and reliable quantum chemical computational methods and techniques being developed. However, for complex chemical systems like those typically found in biological applications where accurate experimental data requires unambiguous interpretation and quantitative predictions from theoretical models, one often finds an extensive application of low-accuracy quantum chemical methods. Only a few decades ago, modeling of biochemical systems was limited to empirical and semiempirical methods, where approximations such as the Hückel model and methods based on the neglect of diatomic differential overlap were either presented or used as reliable, despite strong evidence to the contrary obtained from studies on small systems (Elstner et al., 2000; Hagebaum-Reignier et al., 2007; Kutzelnigg, 2007; Yates, 2012; Elstner and Seifert, 2014; Thiel, 2014; Christensen et al., 2016; Dral et al., 2019).
Recently, the development of many branches of sciences has been accelerated by the use of machine learning (ML) models that contain a large number of parameters, which are weighted and tuned during the training process. As a result, ML models have had a transformative impact on the chemical sciences. For molecular applications, the design and assembly of a compelling ML model often requires a significant investment of computational resources not only for algorithm processing but also for generating accurately labeled data and ground truths for analysis and pattern inferences necessary for the training. Indeed, once attained, ML models can drastically reduce the computational time for routine tasks in molecular modeling, thereby amplifying the amount of data that can be generated for a given dataset. However, it is important to note that ML models usually fail to generate the insights necessary for explaining the electronic structure of molecules. Many of the reported works on molecular applications of ML models propose that these models are not just proxies but computational ends for theoretical molecular quantum chemistry methods. Nonetheless, many of these methods rely on correlations between families of molecules, where basic parameters such as the molecular topology, molecular local descriptors, and narrow electronic property classification of relationships are emphasized (Haghighatlari and Hachmann, 2019; Corzo et al., 2021; Fung et al., 2021; Keith et al., 2021; Unke et al., 2021). As a consequence, the use of current ML models as an alternative for ab-initio quantum-chemical techniques may be less relevant when elucidating molecular phenomena for which unprecedented electron correlation effects and possibly the interactions between electronic and nuclear degrees of freedom play a fundamental role, e.g., redox processes, chemical reactions, photochemical processes, organometallic catalysis, etc.
Computational practitioners working in molecular modeling should be mindful that a given model is only useful within a given range of applications; outside that range, although the theory or data sets behind the computational model may be correct, the model might not be necessarily useful. Note that there is a tendency to use techniques that were developed for small chemical systems to study large systems, rather than to search for new methods devised specifically to deal with large systems. It follows that modeling biological molecules should rely on direct calculations or ML models trained from accurate ab-initio quantum chemical approximations. An understanding of the proper applicability range of ML and computational quantum chemistry models is important, since the traditional neglect of quantities such as time, temperature, entropy, spin angular momentum, and correlation, namely, those physical quantities that have been considered basic since the last century to describe complex chemical systems, can lead to erroneous predictions. One-size-fits-all approaches may present an additional complication, as the only tool available may not be suitable for every problem. With this in mind, the cognitive bias of Maslow’s law of the hammer (Maslow, 1966) should be avoided, as reluctance and clemency of this may stifle the advancement of fields such as quantum chemistry, where great efforts to develop new methods and theories are still needed to achieve the deductive and inductive interpretability goals required by experimental molecular sciences.
2 Challenges in large systems
The definition of a large molecular system can be approached from two angles: the number of electrons and the size of the molecule, defined by the ensemble of atoms. For instance, Br2 contains 70 electrons but only two atoms, making it a small system despite its electron count, while H10, H50, and H64 (Lin et al., 2011; Li et al., 2021; Mitxelena and Piris, 2022) are larger in size yet smaller in electron count than Br2. In this review, we adopt a definition of large molecules as a compromise between electron count and molecular size. We focus on medium-to large-sized molecules containing dozens of electrons, with potential applications in biological, biochemical, catalytic, photochemical, and technological materials.
To describe large molecular systems accurately and advance scientific and technological endeavors of quantum chemistry, one must develop and implement computational methodologies always guided by the following question: what is the largest number of atoms for which it is still reasonable and, at times, necessary to request electronic energy contributions from solutions of the Schrödinger equation? Although this question may seem simple and perhaps trivial at first, its answer requires not only an understanding of quantum chemistry models, electron-electron correlation, and scalability but also an understanding of the implications associated with the intrinsic phenomenological nature of chemical processes, error propagation, and the ideas related to chemical accuracy first introduced by S.F. Boys (Boys and Rajagopal, 1966) and later popularized by J.A. Pople (Pople, 1999).
In standard ab-initio quantum chemistry simulations, the computational bottleneck primarily stems from the number of basis functions used to represent electrons in the system under study, rather than the number of electrons themselves. Accurate calculations are often obtained by employing a combination of computational approximations designed to yield the exact solution to the electronic Schrödinger equation. In this respect, the exact numerical solution for stationary states of a given Schrödinger equation can be obtained through the configuration interaction (CI) matrix-eigenvalue equation. This matrix-eigenvalue equation and its Hamiltonian representation, expressed in terms of Slater determinants and a sufficiently large orbital basis (where l → ∞), defines what is commonly known as the Full CI (FCI) method, which is utilized to determine FCI energies. In practice, however, CI is an essentially intractable problem, due to its computational demands. Solutions for CI up to a n number of excitations (CI-nx) and Full CI (FCI) for n ≤ 4 electrons are typically challenging to obtain. Therefore, in many cases, compact basis sets and computationally feasible approximations to the CI solution, such as the Coupled Cluster approach (CC), are often preferred. In general, molecular systems at their equilibrium geometry are known to exhibit rapid convergence to the Full CI solution through the use of the CC hierarchy of approximations.
Quantum chemistry, in pursuit of high accuracy, employs (CC) family of methods to construct multi-electron wavefunctions using the exponential cluster operator and a molecular orbital basis. The CC method is particularly appealing not only for its remarkable accuracy and rapid convergence, but also for its size extensivity and size consistency properties (Bartlett, 2012). In contrast to other computational methods, CC energy remains unitarily invariant with respect to the rotation within occupied and virtual spin-orbital space, respectively. Hence, it is the ideal computational method for accounting for electron correlation and making accurate determinations for medium-sized molecules. With efficient implementation and approximations correlated ab-initio quantum chemistry methods like CC can be performed for an upper limit of 200–500 atoms with paired electrons within orbitals with angular momentum l ≤ 2. However, despite advances in computational hardware, routine calculations may still be limited to 30–50 atoms. Therefore, large and complex molecular systems, especially those found in biological or biochemical processes, continue to present challenges in computational chemistry. Accurately estimating the molecular electronic energy in these systems requires consideration of both the number of electrons in the atoms and the size of the system, as well as the relationships between internuclear distances and electronic density, decay of overlap integrals, the long-range nature of Coulomb forces, and the conformational flexibility of molecules, among other factors.
Thus, it is of practical importance to develop reliable computational methods that can be used for molecules approaching the system size limit, which is yet to be systematically defined. Possible approaches may include: (1) Employ reasonable approximations to matrix elements at the self-consistent-field (SCF) level. These approximations often require a distinction between the Roothaan Hartree-Fock method and the canonical nature of the SCF method (Löwdin, 1955a; Löwdin, 1955b; Nesbet, 1955). (2) Generate new techniques for integral evaluation and their applicability to new approximations at the SCF and post-SCF level. (3) Formulate post-SCF approximations for obtaining a better description of electron-electron correlation energy. (4) The development of algorithms and techniques that can leverage the inherent parallelism in computational tasks to achieve optimal performance on modern high-performance computing (HPC) architectures.
The field of quantum chemistry and general electronic structure theory has witnessed productive research efforts in these directions, with researchers employing clever computational simplifications within new theoretical frameworks and developing new approaches that can effectively scale computations to larger problem sizes, improving the accuracy and efficiency of simulations. These developments have been well-documented in the literature (Häser, 1993; Ishikawa and Kuwata, 2012; Monari et al., 2013; Helmich and Hättig, 2014; Díaz-Tinoco et al., 2016; Gyevi-Nagy et al., 2019; Mester et al., 2019; Nagy and Kállay, 2019; Ballesteros et al., 2021; Datta and Gordon, 2021; Gyevi-Nagy et al., 2021; Szabó et al., 2021; Abyar and Novak, 2022; Paudics et al., 2022; Semidalas and Martin, 2022).
3 Scaling and parallelization of quantum chemistry computations
As both molecular system sizes and computer resources grow larger, efficient computation scaling becomes critical. On commodity computer hardware, which is the basis for the majority of available clusters and HPC resources, an effective strategy would be combining computing power of multiple units, allowing for a lower time-to-solution. This implies effective management of computational tasks in hand. Quantum chemistry calculations often involve tasks with variety of computational costs and dependencies. For example, in the SCF procedure, constructing and diagonalizing the Fock matrix depends on computing and summing up many integrals over basis functions that can vary in size and complexity. Finding the way to expose the parallelism in the SCF procedure and other quantum chemistry methods can yield improved performance on many different kinds of computers, especially modern HPC architectures. However, achieving optimal speedup is challenging, and only very few parallel implementations of quantum chemistry methods can demonstrate it. Domain decomposition and speculative parallelization are general techniques that have proven useful in identifying and designing parallel algorithms for large and complex quantum chemistry calculation tasks (Werner, 1995; González-Escribano et al., 2006; Su et al., 2007; Lipparini et al., 2013; Qiu et al., 2017; Nottoli et al., 2019; Sho and Odanaka, 2019; Jha et al., 2022; Shang et al., 2022; Fedorov and Pham, 2023).
3.1 Parallelization strategies
The main parallelization strategies in quantum chemistry computations can generally be categorized into two approaches: fine-grained and coarse-grained parallelism. Fine-grained parallelism focuses on executing numerous small, independent tasks simultaneously across multiple processing elements. This approach is well-suited for tasks with a high degree of data locality, such as dense matrix operations. The matrix and tensor operations are prevalent in quantum chemistry and thus are most often the first target of performance optimization.
Conversely, coarse-grained parallelism divides the computation into larger, independent tasks that can be executed on separate processing elements. Unlike fine-grained parallelism, this approach is more appropriate for situations with fewer, larger tasks that can be executed simultaneously, and that require infrequent communication between them to deliver results. In addition, coarse-grained parallelism is quintessential for tasks that use data that are far apart (i.e., tasks with less data locality). The coarse-grained parallelizm is most often achieved through the reformulation of the underlying theory of a particular quantum chemistry method to expose independent work packets. Examples could be as simple as numerical Hessian evaluation where each nuclear displacement represent independent work packet and all the way to very elaborate CC theory reformulations exposing data locality through physical nature of the quantities to be evaluated.
Many scientific applications achieve both fine-grained and coarse-grained parallelism through shared-memory and distributed-memory parallel programming models. Shared-memory parallelism allows multiple threads of execution to access the same memory space, making it suitable for tasks with a high degree of data locality. In contrast, distributed-memory parallelism uses message-passing techniques for communication between multiple processing elements, each with its own private memory space. Distributed memory is better suited for coarse-grained parallelism, with tightly coupled tasks that communicate frequently. These parallel memory programming models are often supported in quantum chemistry codes by two application programming interfaces: the Message Passing Interface (MPI) and the Open Multi-Processing (OpenMP) application programming interface.
MPI is a standardized, portable message-passing model designed for parallel computing architectures. It is a widely-used distributed-memory parallel programming model that efficiently parallelizes tasks with less data locality, such as the distribution of integrals and the communication of partial results between processing elements. While MPI supports both point-to-point and collective communication, it is generally better suited for coarse-grained parallelism. On the other hand, OpenMP offers the capability to incrementally parallelize a serial program, unlike message-passing models like MPI which typically require an all-or-nothing approach. OpenMP can implement both coarse-grain and fine-grain parallelism. However, many chemistry codes find a hybrid OpenMP and MPI approach most appropriate as it allows for the clear treatment of the two separate levels of parallelism that are often found, coarse-grained and fine-grained, nested within each coarse subdomain.
Quantum chemistry codes often benefit from fine-grained parallelism for tasks such as complete SCF calculations, dense matrix multiplications, DMRG calculations, and other fundamental numerical operations. Graphics Processing Units (GPUs) and OpenMP are the commonly used hardware and programming model, respectively, for implementing this type of parallelism. Coarse-grained parallelism, on the other hand, may be better for partitioning entire component grids onto separate processors. Thus, calculations based on theories such as Density Functional Theory can benefit from this type of parallelization. Recently, fine-grained parallelism has been used to accelerate simulations of quantum circuits on Field Programmable Gate Arrays (FPGAs) (Moawad et al., 2022).
3.2 Load balancing
Another crucial aspect for achieving efficient parallelism in large scale supercomputers is load balancing. Load balancing aims to distribute the computational workload evenly among multiple processors or nodes to reduce idle time and communication overhead. This distribution of the workload enhances the performance, efficiency, and scalability of parallel quantum chemistry applications (Nikodem et al., 2014; Ma et al., 2023). Thus, the proper use of the load balancing technique is essential for many production codes and calculations. Load balancing becomes specially important when coarse-grained parallelism is employed. Static Load Balancing (SLB) and Dynamic Load Balancing (DLB) are two types of load balancing techniques that vary depending on whether the workload distribution is fixed or adaptive during the execution of the computation (Ali and Khan, 2012; Patil and Shedge, 2013; Nikodem et al., 2014).
The SLB approach divides the computational work evenly among processing elements before the execution. Thus, in many quantum chemistry codes, SLB is often used to distribute the number of basis functions or integrals equally across processing units. However, although SLB may be effective for many parts of a production code, it may not always lead to optimal load balancing as workloads may vary across tasks. On the other hand, the DLB approach continuously monitors the computational workload of each processing element during execution and redistributes it to balance the load across all processing elements.
On the other hand, the DLB approach involves continuously monitoring the computational workload of each processing element during execution and redistributing tasks as needed to maintain an even distribution of work. For instance, the work-stealing algorithm allows idle processors to steal tasks from busy processors, which can reduce idle time and communication overhead in parallel systems. This algorithm has been shown to be favorable for DFT calculations (Nikodem et al., 2014).
Another algorithm that has been shown to be advantageous in quantum chemistry calculations is the inspector/executor load balancing algorithm. This approach involves two phases: an inspector phase that analyzes the task dependencies and assigns them to the compute units, and an executor phase that performs the tasks in parallel. By reducing the synchronization and contention costs of the parallel system, this algorithm is applicable to any application requiring load balance where reasonable estimations of computational kernel execution times are available. Furthermore, this algorithm reduces the overhead from centralized dynamic load balancing in codes such as NWChem’s Tensor Contraction Engine (TCE) (Ozog et al., 2013).
Load balancing plays a crucial role in efficient parallelization of quantum chemistry computations across multiple computing units, ensuring that no single unit bears too much demand. DLB algorithms are well-suited for fine-grained parallelism in quantum chemistry codes and are designed to adapt to changing workloads by distributing traffic based on real-time conditions. However, they can add communication overhead and slow down the system. SLB algorithms, on the other hand, use fixed rules and are better suited for coarse-grained parallelism in which larger, independent tasks are executed on separate computing units. Therefore, when implementing codes in distributed computing systems for quantum chemistry applications, it is important to carefully consider the trade-offs between DLB and SLB algorithms.
3.3 Tensor decompositions in quantum chemistry
The use of parallelization techniques in combination with tensor decomposition methods has proven to be highly effective for computational codes (Boudehane et al., 2022). Tensor decomposition techniques, for example, have proven to be successful in solving various quantum chemistry problems, such as calculating molecular wavefunctions (Altman et al., 2021), density matrices (Hoy and Mazziotti, 2015; Khoromskaia and Khoromskij, 2015), and electronic excitation energies (Xie et al., 2009). In CC theory the electronic wave function of molecules is represented as high-dimensional tensor. Efficient manipulation of the tensors is, thus, of crucial importance. One popular technique commonly used for this purpose is tensor decompositions. Tensor decompositions enable higher-order tensors (multidimensional arrays) to be represented as a combination of lower-order tensors, such as vectors or matrices, which can simplify the complexity and dimensionality of the tensor, uncovering patterns and structures, that can facilitate efficient parallelizations. Third-order tensors, which arise naturally as the outer product of a matrix and a vector during the calculation of spectroscopic properties, offer a practical example. The polarizability tensor is a third-order tensor that describes how a molecule responds to an electric field. Representing the fact that molecules can be polarized to varying extents in different directions, the polarizability tensor is usually represented by a 3 × 3 tensor, denoted as α ij , where i, j = x, y, z. Standard manipulations are often challenging to perform on this tensor. Thus, the decomposition of this tensor into vector or matrix components can often reveal critical information about the molecule’s electronic structure, and facilitate efficient parallelization of codes.
One common way to decompose a third-order tensor is to use the CANDECOMP/PARAFAC (CP) decomposition, which expresses the tensor as a sum of rank-one tensors (outer products of three vectors) (Vannieuwenhoven et al., 2015). Although this decomposition has some advantages that may be exploited in quantum chemistry applications such as uniqueness, interpretability, and sparsity, it also presents some challenges such as finding the optimal number of rank-one tensors and solving the nonlinear optimization problem (Stegeman, 2006; Favier and de Almeida, 2014; Battaglino et al., 2018). Canonical polyadic decomposition (CPD) (Hitchcock, 1927; Carroll and Chang, 1970; Qiu et al., 2021), Tucker decomposition (Tucker, 1966), and tensor-train decomposition (TTD) (Oseledets, 2011) are additional tensor decomposition tools that have shown potential for computation on molecular systems. For example, the tensor-train decomposition has been used to compress the wave-function tensors in the quantum chemical calculations of large molecules. By representing the wavefunction in a compressed tensor-train format, it becomes possible to perform calculations for larger systems with reduced computational cost. Similarly, the canonical polyadic decomposition has been employed in the study of molecular properties, such as dipole moments and polarizabilities, by compressing the high-dimensional tensors associated with these properties (Phan et al., 2013).
Nowadays, tensor libraries have been integrated into popular chemistry computational software packages, such as Linear-Scaling Dalton (LSDalton) and North West Computational Chemistry (NWChem), to enhance their performance in CC calculations. NWChem’s TCE (tensor contraction engine) module enables the implementation of TCE-generated code for efficient coupled cluster calculations, including CCSD (coupled cluster singles and doubles) and other methods. LS-Dalton has Scalable Tensor Library, developed to execute tensor contractions in the CC parts of the code. There are also a number of stand alone libraries available to manipulate tensors in quantum chemistry software.
Despite the advancements made using tensor contractions and decompositions in quantum chemistry, there are still challenges to overcome. The choice of decomposition technique, as well as the determination of appropriate rank and truncation parameters, can have a significant impact on the accuracy and efficiency of the calculations. Additionally, the development of robust and efficient algorithms for tensor decompositions is an ongoing area of research (Kolda and Bader, 2009). As these challenges are addressed, tensor decompositions are expected to play an increasingly important role in the development of molecular codes.
4 Subdividing the correlation problem
In molecular orbital theory, the canonical set of molecular orbitals (MO) is typically generated through the linear combination of atom-centered basis functions, commonly Gaussian-type functions. These MOs are called canonical because they are the default MOs for a wave function obtained by diagonalizing the Fock matrix used in the SCF calculation of the HF method (Löwdin, 1955a; Löwdin, 1955b; Nesbet, 1955). Some coefficients in the linear combination can be zero or very small, which reduces computational complexity. This reduction occurs for several reasons.
- Symmetry: In many molecular systems, certain basis functions may not contribute to specific molecular orbitals due to symmetry constraints. The symmetry of the molecule can impose conditions on the coefficients of the linear combination, resulting in some of them being zero or negligible.
- Negligible overlap: When basis functions are centered on distant atoms, their overlap might be very small. In such cases, the contribution of these basis functions to the molecular orbitals can be negligible.
- Weak interactions in excited states: In the case of excited states, some molecular orbitals may have only weak interactions with each other. The contributions of these weakly interacting orbitals to the overall wave function can be minimal, leading to small coefficients in the linear combination.
These factors can simplify the representation of molecular orbitals and improve the efficiency of calculations by reducing the number of significant coefficients and matrix elements to consider (Boys, 1960; Simons and Nichols, 1997; Helgaker et al., 2000; Levine et al., 2009; Szabo and Ostlund, 2012).
Despite the possible reductions in canonical MOs, they can still lead to computational inefficiencies in large molecular systems. To address this issue, the set of canonical MOs can be transformed into an equally valid set of localized HF molecular orbitals through a unitary transformation that preserves orthonormality. These localized molecular orbitals (LMOs) not only correspond to chemically familiar concepts such as core orbitals on heavy atoms, bond orbitals, and lone pair orbitals, but can also be used to reduce the computational overhead in large molecular systems (Edmiston and Ruedenberg, 1963; Kleier et al., 1974; Pipek and Mezey, 1989; Subotnik and Head-Gordon, 2005; Herbert, 2019).
Transforming canonical MOs to LMOs suggest an intrinsic approach for studying large molecules. By studying a molecule as an assembly of smaller sub-molecules rather than as a whole, the conventional up-front computational overhead can be effectively reduced.
Following this molecular splitting idea, by dividing a large molecular system into smaller fragments and characterizing each fragment with wave-functions localized on specific molecular substructures, the electron correlation contributions for each fragment can be obtained through standard computation of matrix elements, allowing for the description of the entire molecular system by combining the wave-functions of all the fragments to form the final wave-function for the complete molecule. For instance, the [n]helicene molecule can serve as a practical example to illustrate the partitioning of a large molecular system into smaller fragments. This molecule can be partitioned into three primary molecular fragments, one with molecular formula C4H4, another with molecular formula C6H4, and n − 2 fragments with molecular formula C4H2. Consequently, the [6]Helicene (C38H22) molecule can be partitioned into one molecular segment with molecular formula C4H4, another with C6H4, and four with molecular formula C4H2, Figure 1 illustrates this partitioning. Under this partitioning scheme, the orbitals of each of the six fragments of the [6]Helicene molecule are confined to a linear combination of the basis set, possessing atomic functions centered on the C4H4, C6H4, and C4H2 nuclei, resulting in the comprehensive and final wave-function for the system. An efficient program design that takes advantage of this partition would distribute the workload for each fragment, establishing the orbitals for each fragment and computing the wave-functions and expectation values of each fragment in the initial phase. In the second phase, each fragment’s contribution would be added to obtain the complete description and total electronic energy of the entire molecule. This straightforward yet effective subdividing technique for computing the total energy of large systems embodies the core concept behind the Divide-Expand-Consolidate (DEC) scheme for correlated electron methods (Eriksen et al., 2015a; Ettenhuber et al., 2016; Kjærgaard et al., 2017a; Kjærgaard et al., 2017b; Barnes et al., 2019).
The DEC framework for correlated electrons involves dividing a large system into smaller fragments and obtaining the electron correlation contributions for each fragment through standard computation of matrix elements, similar to how it is done for small and intermediate systems. The following section outlines the DEC formalism for correlated wave-function methods, which enables the routine handling of molecular systems composed of over 200 atoms and more with a non-trivial number of electrons.
4.1 Localization of orbitals
A vital aspect of the DEC methodology is the localization of orbitals. Orbital localization forms the foundation for dividing large molecules into smaller fragments. Although the concept of localized orbitals is not new (Edmiston and Krauss, 1965), the literature contains a wide array of procedures aimed at localizing occupied and virtual orbitals as a means of electron-electron correlation calculations. Both wave function-based methods and fragmentation-based correlation approaches often generate localized orbitals through various localization procedures, such as those proposed by S.F. Boys (Boys, 1960) and J. Pipek and P.G. Mezey (Pipek and Mezey, 1989). However, these methods may be sensitive to the nature of molecular systems, which could limit their applicability. To address these limitations, advanced orbital localization techniques based on the central moment have been introduced (Jansík et al., 2011; Høyvik et al., 2012a; 2014). Combined with robust optimization strategies, these advanced techniques can provide more spatially local virtual orbitals even for traditionally delocalized systems (Høyvik et al., 2014; 2012a).
Localized orbitals that account for pair correlation effects have been pivotal in the development of electron-correlated methods (Löwdin, 1955a; Löwdin, 1955b; Edmiston and Ruedenberg, 1963; Davidson, 1972a; Davidson, 1972b; Pople et al., 1976; Surján, 1999). Pair natural orbitals (PNOs) are particularly useful for further compressing the virtual parameter space (Kapuy et al., 1983; Pulay, 1983; Pipek and Mezey, 1989; Saebø and Pulay, 1993; Neese et al., 2009; Yang et al., 2011; Yang et al., 2012). Constructed from (an approximation to) the MP2 correlation density matrix for each electron pair, PNOs have gained popularity in localized orbital CC methods (Pulay and Saebø, 1986; Hättig et al., 2006; Riplinger and Neese, 2013), such as the domain-based local PNO (DLPNO) CCSD(T) method (Neese et al., 2009; Wang et al., 2013). This method has been successfully applied to various computational chemistry applications (Riplinger et al., 2013; Riplinger and Neese, 2013; Sparta et al., 2017; Sharapa et al., 2019; Stoychev et al., 2021; Wang et al., 2022). Local CC methods relying on orbital-specific virtuals (OSVs) have also been developed, closely relating to PNOs (Kurashige et al., 2012; Yang et al., 2012; Schütz et al., 2013; Tew, 2019). However, PAOs can be non-orthogonal and redundant, complicating algorithmic expressions and posing conceptual challenges for molecular systems with degenerate states arising from symmetry and angular momentum coupling (Krause and Werner, 2012). Having a set of orthogonal and non-redundant localized virtual orbitals is beneficial for CC implementations and, in many cases, necessary for obtaining unambiguous results in molecular applications. Although, localized virtual orbitals obtained using advanced localization functions are more spatially local than PAOs (Høyvik et al., 2014; 2012a), despite their advantages, they might not always be the best choice for local correlated methods. The representation and selection of the optimal set of orbitals for local correlated methods remain active areas of research and continue to evolve.
4.2 Localized orbital-based correlation methods
Orbital localization is commonly utilized to express correlation calculations in a local basis, introducing approximations that reduce the computational complexity of a method in comparison to conventional implementations. Local correlation methods can be broadly classified into two categories, wave-function-based and fragment-based approximations.
Wave-function-based approximations focus on expressing the standard wave-function using a reduced parameter set. Such approximations commonly involve constraining the virtual excitation domain for each pair of occupied LMOs, while neglecting or approximating pair correlation contributions between well-separated occupied LMOs. For each LMO pair, a local correlation domain containing a subset of PAOs is assigned. PAOs, which form a non-orthogonal and redundant basis for the virtual orbital space, require adaptations to standard (canonical) algorithms to accommodate their unique properties. Notable examples of wave-function-based local approximations can be traced back to the work of Pulay and Sæbø (Pulay, 1983; Sæbø and Pulay, 1985; Pulay and Hamilton, 1988; Saebo and Pulay, 1988; Saebø and Pulay, 1993). These methods utilize occupied LMOs and PAOs for the virtual space, and have been further developed and expanded to gradients (Amos and Rice, 1989; Sæbø and Almlöf, 1989; Kirtman, 1995; Hampel and Werner, 1996; Russ and Crawford, 2004; Adler et al., 2009; Helgaker et al., 2012; Riplinger et al., 2013; Rolik et al., 2013; Menezes et al., 2016; Bistoni et al., 2017; Schwilk et al., 2017; Sitkiewicz et al., 2019; Saitow et al., 2022; Wang et al., 2022). In contrast, fragment-based approximations express the correlated method in amplitude equations and partition these amplitude equations into numerous small, typically independent, fragment calculations. Consequently, the energy is divided into fragment energy contributions, and the fragment energies are summed to yield the total energy. Examples of fragment-based approximations include the incremental CCSD(T) method (Friedrich and Dolg, 2009; Friedrich and Hänchen, 2013) and the local energy CCSD(T) method (Zhang and Grüneis, 2019; Altun et al., 2021).
Both wave function-based and fragment-based approximations have their advantages and drawbacks. Fragment-based approximations are better suited for modern multi-core architectures and have storage requirements independent of system size. In contrast, wave function-based approximations have storage requirements that grow with system size, which limits the size of the systems that can be treated. The choice of method depends on the specific application and the balance between computational cost and accuracy. As research in this area continues, further improvements and refinements of these methods are expected, enabling the treatment of larger and more complex molecular systems.
4.3 Breaking down correlation energy
In quantum chemistry theories, the concept of energy correlation, popularized by Löwdin (Löwdin, 1958), is the most prevalent perspective on the electron correlation problem. This description divides the exact total energy of a molecular system into the sum of the HF energy and a correlation contribution:
In general, for any correlated method, the relationship between the method’s total energy and the correlation energy can be expressed as:
In the case of the Møller-Plesset second-order perturbation theory (MP2) method, the energy expression in Eq. 2 becomes:
For molecular systems, the MP2 correlation energy can be expressed as:
where g aibj are the electron repulsion integrals (ERIs) using the Mulliken notation, and are the MP2 amplitudes.
Similarly, for the coupled cluster (CC) total energy (E CC ), the correlation energy for a closed-shell molecular system can be obtained by:
where and represent singles and doubles CC amplitudes. Indices i, j, … refer to occupied orbitals, while a, b, … refer to virtual orbitals. In the DEC coupled cluster (DEC-CC) framework, this correlation energy can be represented by a set of localized occupied and virtual HF MOs, which are determined and assigned to the atomic site nearest to the MO’s center of charge. Thus, the correlation energy for a given correlated method, E corr, becomes:
where N frag is the number of atomic fragments the molecular system was divided into. For the CC method, the atomic fragment energy E P and the pair fragment interaction energy ΔE PQ are defined as follows:
where the MOs are now assumed to be local, and denotes the set of local occupied orbitals assigned to atomic site P.
It is important to note that the correlation energy expressions in Eqs 6–8 do not contain any approximations. Therefore, these equations, in principle, yield the same correlation energy corrections as the original expressions of the CC correlated methods. A crucial aspect of the DEC-CC approximation is dividing the calculation of the correlation energy of the entire molecular system into N frag + 1/2 ⋅ N frag(N frag − 1) independent molecular fragments. Computational savings arise when screening techniques are employed for each fragment calculation. In many instances, the locality of the MOs reduces the computational effort in the molecular calculation. Moreover, the integral g aibj becomes negligible when the molecular orbital ϕ a is spatially distant from ϕ i , allowing the summation over virtual orbitals in (7)–(8) to be limited. Consequently, only a subset of virtual orbitals, , is significant for each fragment from the complete set of atomic site orbitals, P. A key advantage of the DEC framework is that these summation constraints in fragment energy calculations are determined in a black-box manner, enabling the definition of atomic fragment and pair fragment interaction CC energies as.
where, for the pair fragment interaction energies, the set of virtual orbitals is chosen as the union of the atomic fragment spaces, which can be justified by a locality analysis of the results (Kristensen et al., 2011; Ettenhuber et al., 2016).
6 Cluster perturbation theory
An alternative method to the DEC-CC model and other localized ab-initio approaches that can be efficiently adapted for use on modern supercomputers to enable CC quality calculations on large molecular systems is the recently developed Cluster Perturbation theory (CP) (Baudin et al., 2019; Pawłowski et al., 2019a; Pawłowski et al., 2019b; Pawłowski et al., 2019c; Pawłowski et al., 2019d; Hillers-Bendtsen et al., 2022; Høyer et al., 2022; Olsen et al., 2022). CP theory offers a hybrid approach that combines CC theory and the Møller-Plesset (Møller and Plesset, 1934) partitioning of the wave-function. This unique combination helps overcome the limitations of the individual models and offers a more comprehensive and accurate approach to molecular calculations (Bartlett and Silver, 1974; Binkley and Pople, 1975; Pople et al., 1976; Bartlett and Shavitt, 1977; Krishnan and Pople, 1978; Raghavachari et al., 1989; Eriksen et al., 2014; 2015b; Eriksen et al., 2015c; Kristensen et al., 2016).
CP theory introduces a new class of perturbation models that rely on a correlated zeroth-order state, which can be truncated at any excitation level, thereby avoiding high excitation levels that have a negligible effect on molecular properties. Perturbation series for both energy and molecular properties, including excitation energies, can be determined by calculating small perturbation corrections, which are obtained by taking the difference between the energy and molecular property for the CC parent and CC target states.
Compared to coupled cluster perturbation theory (CCPT) energy and CCPT Lagrangian series, CP theory exhibits a faster convergence and yields superior results. It allows for the calculation of perturbation series for both ground-state energy and excitation energies, treating the CC parent state Jacobian as a zeroth-order contribution. Excitation energies in CP theory can be determined using either response function theory or equation-of-motion coupled cluster (EOM-CC) theory.
CP theory’s unique pathway that connects the determination of the CC parent state and the CC target state makes it possible to determine CP series for both energy and molecular properties. Moreover, its incorporation of only one additional excitation level typically results in a more robust perturbation series and, hence, better convergence. Furthermore, non-iterative and easily parallelizable formulations can be derived within CP theory and some the targeted model is a higher-level CC model rather than a full configuration interaction (FCI) solution, the derived corrections remain reasonably small.
A brief introduction to CP theory for electronic structure calculations, specifically for excitation energies, is presented in the following section. Additionally, the development of massively parallel implementations of CP theory and some numerical illustrations are discussed. For a comprehensive understanding of CP theory, interested readers may refer to (Pawłowski et al., 2019a,b; Baudin et al., 2019; Pawłowski et al., 2019c,d; Høyer et al., 2022; Olsen et al., 2022; Hillers-Bendtsen et al., 2022).
6.1 Standard CC theory for excitation energies
In the standard CC theory, the coupled cluster (CC) wave function (Čížek, 1966) is written as
where |HF⟩ is the Hartree-Fock reference state. Furthermore, in the above expression the cluster operator reads
where the cluster amplitude is denoted , and it is associated with the many-body excitation operator which, when applied to the Hartree-Fock reference state, generates an excited determinant: . Thus, the energy may be determined as
In this energy expression, the electronic Schrödinger equation has been multiplied from the left with e −T and then projected against the Hartree-Fock state. Consequently, the corresponding amplitude equations are given as
The similarity transformed Hamiltonian has been introduced,
Based on linear response theory, the CC excitation energies may be obtained as eigenvalues of the CC Jacobian, J (Harris, 1977; Dalgaard and Monkhorst, 1983), such that,
The CC Jacobian,
is non-Hermitian and therefore the left and right egienvectors, L x and R x (which represent the excited-state wave function) are not Hermitian conjugates of each other. The Jacobian formulation of CP theory defines a numerical problem that can be solved using a block Davidson eigensolver, where the eigenvalues are determined by an iterative procedure starting from the lowest eigenvalue.
6.2 Cluster perturbation theory for excitation energies
For excitation energies, the CC target excitation space, 1 ≤ i ≤ t, is divided into two, the parent excitation space and the auxiliary excitation space. The parent excitation space comprises the excitations from 1 ≤ i ≤ p, whereas the auxiliary space includes the excitations from p < i ≤ t.
The CC parent state wave–function is defined as 1
This wave–function is defined by a truncated cluster operator which covers the excitations in the parent space.
Then, the corresponding energy and amplitude equations for the parent state read
Subsequently, the excitation energies are obtained from the eigenvalue problem involving the Jacobian of the parent space which is denoted by the left superscript P,
Now, let’s assume that the left and right eigenvectors are orthonormal,
Then, the CC target wave function can be parameterized according to
where the cluster operator is split into the parent-space component and the correction that arises due to the presence of the auxiliary space,
with the correction term affecting both the parent and the auxiliary space,
The target state amplitudes are split in an analogous manner,
where the parent space amplitudes have a vanishing auxiliary excitation space component
Thus, the amplitude equations become
Finally, the expression for the Jacobian of the target state reads
The corrections to the excitation energy of the CC parent state are derived by an expansion of the different components that enter the CC target state eigenvalue problem in Eq. 2) in orders of the similarity-transformed fluctuation potential, .
To this end, the ground-state parent-state cluster amplitudes are initially expanded in the orders of Φ* T ,
with
An analogous expansion is applied to the Jacobian,
to the right excited-state vector
with
and the corresponding excitation energy
with
One of the key concepts of the CP theory is that the zeroth-order Jacobian, J (0), in Eq. 48 does incorporate a term that is of first order in Φ* T . (This is similar to the “pseudo-perturbation” concept introduced, for example, in the derivation of the non-iterative second-order correction to the random-phase approximation excitation energies. (Christiansen et al., 1998) By this particular choice, the zeroth-order Jacobian, J (0), is guaranteed to correspond to the Jacobian of the parent-state model. To see this, consider the CC extended-parent-state Jacobian,
Notice that has the same structure as the Jacobian of the parent space, in Eq. 37, but the difference is that the indices i and j run for over the entire target space rather than just the parent space (hence the word “extended” in the name of ). The extended-parent-state Jacobian may now be split into the zeroth- and first-order terms,
where the zeroth-order part does contain a Φ* T term.
where the P and A subscripts denote the parent- and auxiliary-space components, respectively.
We have illustrated (with the excitation-energy example) the conceptual foundations of the CP theory, and showed how these foundations guarantee that the zeroth order wave function and its properties are those of the parent excitation space. At infinite order, the target state and its properties are formally recovered.
In practice, the target-state quality is usually recovered at third order (Baudin et al., 2019). The excitation energy corrections through third order become:
The quantities needed to determine excitation energies through third order are collected in Table 4.
| = 0 | 1 ≤ i ≤ p | |
| p < i ≤ t | ||
| 1 ≤ i ≤ p | ||
| p < i ≤ t | ||
| 1 ≤ i, j ≤ t | ||
| 1 ≤ i, j ≤ t | ||
| 1 ≤ i, j ≤ t | ||
| 1 ≤ i, j ≤ t | ||
| = 0 | 1 ≤ i ≤ p | |
| p < i ≤ t | ||
| 1 ≤ i ≤ p | ||
| p < i ≤ t |
6.3 A strategy for massively parallel implementations of cluster perturbation theory in singles and doubles excitation space
As discussed in (Baudin et al., 2019), CP theory excitation energies have been explicitly derived up to the third order for a CC singles parent excitation space and a doubles auxiliary excitation space in the CPS(D-3) model. A significant innovation over traditional methods is that the calculations of are non-iterative in the doubles excitation space. The same, of course, pertains to , which turns out to be identical to the well-known CIS(D) model (Head-Gordon et al., 1994). Furthermore, for computing excitation energies, the CP framework allows contributions to and from batches over a virtual molecular orbital index to be determined independently and subsequently summed, which greatly enhances the efficiency and parallelizability of the method. In the following sections, the most crucial aspects of the CP theory implementation for the excitation energies are discussed. For a more extensive and thorough insight into the algorithm, including performance, wall times, computational cost, and various numerical tests, the reader is encouraged to consult (Baudin et al., 2019; Hillers-Bendtsen et al., 2023).
6.4 The singlet biorthonormal basis
Efficient parallelization of the third-order excitation energy correction, ω (3), in the CP method requires the use of singlet biorthonormal basis working equations. By expressing the excitation energy corrections to the coupled cluster singles (CCS) excitation energy in singlet biorthonormal basis, the working equations for the second-order correction of the CPS(D-3) excitation energy model (Baudin et al., 2019) can be obtained as
where L pqrs = 2 (pq|rs) − (ps|rq), and the barred integrals may be represented by
with.
where the i,j,k,l and a,b,c,d indices denote molecular orbitals (MOs) that are, respectively, occupied and unoccupied in the reference Hartree-Fock state. The Greek indices pertain to the atomic-orbital (AO) basis and C α p are AO-to-MO transformation coefficients. Adopting the conventional approach for computing the tensor elements (Helgaker et al., 2000), the first-order cluster amplitudes read
whereas the first-order right eigenvector is symmetrized and written in the singlet basis as
The third-order excitation energy correction may be formulated via
where the expression involving the two-electron integral is defined by
with
Finally, the second-order doubles cluster amplitudes and right eigenvectors may be expressed as
and
where the second order intermediates and are given in Tables 5 and VI of Ref. (Baudin et al., 2019).
| Root | CCS | CPS(D-2) | CPS(D-3) |
|---|---|---|---|
| 1 | 3.274 | 2.370 | 2.498 |
| 2 | 5.038 | 3.621 | 3.930 |
| 3 | 6.105 | 4.650 | 4.874 |
| 4 | 6.161 | 4.443 | 4.560 |
| 5 | 6.993 | 5.388 | 5.590 |
6.5 The multi-node multi-GPU accelerated CPS(D-3)
The implementation of the CPS(D-3) is based on the RI approximation (Vahtras et al., 1993; Hättig and Weigend, 2000) for two-electron repulsion integrals, which facilitates the efficient calculation of ω (3) in batches over a virtual index. The RI approximation is achieved by constructing three-center integral fitting coefficients from an auxiliary basis set using the Coulomb metric:
This allows the four-index two-electron repulsion integrals to be represented by
The three-index fitting coefficients obtained from the RI approximation can be written to disk and read into memory in batches over a virtual index. This enables the calculation of the third-order excitation energy correction using a massively parallel algorithm that can efficiently adapt to the available computational resources.
By calculating the incremental contributions to ω (3) independently and on-demand for each batch, the need to store fourth-order tensors in main memory and recalculate the first-order doubles amplitudes is eliminated. This allows for scalability of the batch size according to the available memory. The main CPS(D-3) algorithm is summarized by Algorithm 1.
Algorithm 1Massively Parallel Algorithm for Calculating the Third Order Excitation Energy Correction to CCS via the CPS(D-3) model.
- Step 1: Initialize transformation matrices, integral fitting coefficients, and Fock matrices
- Step 2: Calculate fully virtual three index integral fitting coefficients and distribute in global memory
- for A (batch over virtual index a) do
- Step 3.1: Calculate second order doubles intermediate
- Step 3.2: Calculate
- Step 3.3: Update excitation energy contribution,
- end for
- Step 4: Deallocate and from memory
- Step 5: Calculate three center integral fitting coefficients , , and
- for A (batch over virtual index a) do
- Step 6.1: Calculate second order doubles intermediate
- Step 6.2: Calculate
- Step 6.3: Update excitation energy contribution,
- end for
The CPS(D-3) algorithm described in Algorithm 1 is parallelized for distributed memory architectures using a master-worker model and MPI. The algorithm for the ω (3) calculation is initiated by the master rank, which determines the transformation matrices , , , and . Next, the algorithm calculates the three-center integral fitting coefficients, , , , and , followed by the one-index transformed Fock matrices, , , and . Finally, the fully virtual three-index integral fitting coefficients, Bab P and , are determined. Once these quantities are determined by the master rank, they are broadcasted to all other ranks. To distribute the fully virtual three index integral fitting coefficients, tiled distributed tensors are utilized through the Scalable Tensor Library (ScaTeLib) (Ettenhuber, 2023). Subsequently, the master rank assigns the calculation of the first contributions to ω (3) to the other ranks, to be computed in batches over the virtual index a. These ranks execute the computation of the contribution to ω (3) for a particular batch and return the incremental contribution. The master rank then accumulates these incremental contributions to determine the total ω (3) correction. After all workers complete the first loop of Algorithm 1, the master node identifies a new set of three center integral fitting coefficients required for the second contribution to ω (3), which is computed in the second loop of Algorithm 1. The master rank then assigns the computation of the second contribution to ω (3) to the other ranks in batches over the virtual index a. This process leads to the determination of the full ω (3) correction.
In the primary algorithm of the CPS(D-3) implementation, Algorithm 2 is employed to calculate the intermediates for a given batch A. Minor modifications are made to utilize the algorithm for the computation of ; Algorithm 2 begins by calculating the first-order correction for the doubles excitation amplitudes, . It then retrieves the tiled distributed tensor . The algorithm proceeds with two nested loops, iterating over virtual index D in batches, and occupied index L in batches. In the loop over virtual index D, several intermediate values are computed, such as (bD|kj) (cA|bD), , and . These values are used to iteratively update the . Once this loop is completed, the algorithm proceeds with the loop over the occupied index L. Here, and (ik|jL) are calculated and used to further update the value. After completing the loop over L, the algorithm calculates outside of the loops and uses it to finalize the update of the value. This method allows for an efficient and systematic computation of the first-order correction to the doubles excitation amplitudes and the (or ) value for a given batch A, accounting for the contributions from both occupied and virtual indices in the process.
Algorithm 2Algorithm for calculating the intermediate for a given batch A.
- Step 1: Calculate first-order correction for doubles excitation amplitudes,
- Step 2: Retrieve tiled distributed tensor
- for D (batch over virtual index) do
- Step 3.1: Extract from
- Step 3.2: Get tiled distributed tensor
- Step 3.3: Calculate (bD|kj)
- Step 3.4: Update using and (bD|kj)
- Step 3.5: Update using and (bD|ki)
- Step 3.6: Calculate (cA|bD)
- Step 3.7: Calculate first-order correction for
- Step 3.8: Update using and (cA|bD)
- end for
- for L (batch over occupied index) do
- Step 4.1: Extract from
- Step 4.2: Calculate (ik|jL)
- Step 4.3: Update using and (ik|jL)
- end for
- Step 5: Calculate using the given summation formula
- Step 6: Update the value using the calculated values of and
Algorithm 1; Algorithm 2 provide a scheme that enables the calculation of CPS(D-3) excitation energies for system sizes beyond the reach of conventional CCSD calculations. To perform all the costly tensor contractions in each batch, these algorithms use the Tensor Algebra Library for Shared Memory Computers (TALSH) (Lyakh, 2023), which transfers them to GPUs. Open Multiprocessing (OMP) allows each rank to exploit shared memory parallelism locally. Moreover, the computation of is parallelized as the scaling of this term is a bottleneck for larger systems.
6.6 Numerical illustrations: CPS(D-3) excitation energies
In the case of CPS(D-n) methods, the retinal molecule (see Figure 4) with a cc-pVDZ basis set serves as an excellent example of a molecule with degenerate orbitals and delocalized electrons. This molecule is also of significant importance due to its biological role in photochemical reactions. The retinal system contains 63 atoms, and for the demonstrative calculation, 540 basis functions and 1932 auxiliary basis functions were employed. The calculation was performed using the GPU-accelerated LS-Dalton implementation on the Summit supercomputer at Oak Ridge National Laboratory. The first five roots, corresponding to the first excitation energies, are summarized in the table below.
The total time for the CPS(D-3) calculation on the retinal molecules was less than 20 min using 64 MPI processes. This balance between wall time and computational resources makes approximations such as CPS(D-3) practical tools capable of providing experimental molecular scientists with chemical observables at an accuracy of the CC target model (in this case, CCSD).
7 Discussion and outlook
The DEC scheme presents a divide-and-conquer linear-scaling and massively parallel framework for CC calculations, assuring error control in a black-box manner. These characteristics make DEC an enticing computational basis for molecular modeling on extensive molecular systems. Specifically, the DEC scheme imparts CC methods with computational abilities that are generally unattainable with conventional CC algorithms. Nevertheless, the DEC framework also faces challenges, such as the high DEC prefactor resulting from the need to recalculate integrals and amplitudes due to overlapping orbital spaces across different fragments.
In single compute node calculations, the crossover point in computational effort between DEC and a traditional, canonical calculation arises in large molecular systems. If a canonical calculation is achievable, it is likely more efficient than the DEC calculation. However, when multiple compute nodes are available, the massively parallel nature of the DEC algorithm leads to a reduced time-to-solution compared to a canonical calculation. As floating point operations continue to become more cost-effective and the number of cores on a compute node increases, parallelization will be crucial, and a considerable amount of recalculation will be acceptable if it facilitates a massively parallel computational strategy.
The DEC scheme, in principle, lays the foundation for linear-scaling and massively parallel implementations of any CC model. However, multiple technical challenges must be addressed before DEC can become a mainstream tool for more accurate CC models. For example, although the error control of the DEC-CCSD(T) method has been tackled, the current DEC-CCSD(T) algorithm can only be applied to large molecules for loose FOT values due to the fragment sizes encountered. When analyzing large molecules with a triple-ζ quality basis set, the resulting fragments often contain over 1000 basis functions, making such calculations impractical even for massively parallel CCSD(T) implementations and hindering high-accuracy DEC-CCSD(T) applications. The large pair fragments, however, are frequently associated with minor energy contributions, and it may be possible to further reduce the pair orbital spaces without sacrificing the accuracy of the final correlation energy. Alternatively, the scaling of high-level CC fragment calculations could be decreased by considering tensor factorization techniques, PNOs, or other fragment-specific orbitals. Combining the DEC scheme with PNO-based local CC methods, for instance, would fully harness the sparsity of correlation effects in each fragment calculation, enabling CC calculations on systems of unprecedented sizes by removing all bottlenecks of wave function-based approximations through the DEC scheme—provided that the HF solver which generates the underlying reference is implemented with comparable efficiency.
Lastly, it is essential to note that the implementation of the DEC scheme ensures performance portability, allowing the DEC scheme to automatically benefit from new hardware developments and expand its application range as computational resources become more accessible. Although this work anticipates a promising future for DEC CC calculations, it is crucial to remember that many chemistry applications require energy differences rather than total energies. In these scenarios, computational chemistry practitioners should concentrate on direct approaches, such as CP theory.
CP theories provide a promising potential in addressing the limitations of total energy calculations with DEC for large molecular systems. The systematic approach offered by CP theories allows for the accurate calculation of excitation energies and other molecular properties at a CCSD level, providing a more robust, efficient and direct way to understand and predict the behavior of complex molecular systems.
The development of the CPS(D-3) model, as discussed in the literature, serves as a significant advancement in this area. By employing perturbation corrections up to the third order within the CP framework, the CPS(D-3) model delivers excitation energies of CCSD quality. The non-iterative nature of the and correction calculations in the doubles excitation space enables a massively parallel implementation, distributing batches over a virtual molecular orbital index across different compute nodes using the MPI.
The application of modern heterogeneous supercomputers and GPUs for accelerating heavy tensor contractions further enhances the efficiency and scalability of the CPS(D-3) calculations. This approach makes it feasible to calculate high quality excitation energies for molecular systems with several thousand basis functions, given sufficient computational resources.
Moreover, CP theory demonstrates versatility in its potential applications, extending to the calculation of other time-independent and time-dependent properties (Pawłowski et al., 2019c; Hillers-Bendtsen et al., 2022). This adaptability paves the way for the development of similar massively parallel implementations in other areas of research.
Funding Statement
This research used resources of the Oak Ridge Leadership Computing Facility (OLCF), which is a DOE Office of Science User Facility supported under Contract DE-AC05-00OR22725. AH-B and KM acknowledge the Danish Council for Independent Research, DFF-0136-00081B, and the European Union’s Horizon 2020 Framework Programme under grant agreement number 951801 for financial support. AYZ acknowledges the additional computational resources that were provided by the Pinnacles cluster at UC Merced, which is supported by the National Science Foundation under OAC-2019144.
Footnotes
Footnote Group
Data availability statement
The raw data supporting the conclusion of this article will be made available by the authors, without undue reservation.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Publisher’s note
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.
References
Untitled section
References
- Abyar F., Novak I. (2022). Electronic structure analysis of riboflavin: OVGF and EOM-CCSD study. Acta A Mol. Biomol. Spectrosc. 264, 120268. 10.1016/j.saa.2021.120268
- Adler T. B., Werner H-J., Frederick R. (2009). Local explicitly correlated second-order perturbation theory for the accurate treatment of large molecules. J. Chem. Phys. 130, 054106. 10.1063/1.3040174
- Ali M. F., Khan R. Z. (2012). The study on load balancing strategies in distributed computing system. Int. J. Comput. Sci. Eng. Surv. 3, 19–30. 10.5121/ijcses.2012.3203
- Altman E., Brown K. R., Carleo G., Carr L. D., Demler E., Chin C., et al. (2021). Quantum Simulators: Architectures and Opportunities PRX Quantum, 2.017003.
- Altun A., Izsák R., Bistoni G. (2021). Local energy decomposition of coupled-cluster interaction energies: Interpretation, benchmarks, and comparison with symmetry-adapted perturbation theory. Int. J. Quantum Chem. 121, e26339. 10.1002/qua.26339
- Amos R. D., Rice J. E. (1989). Implementation of analytic derivative methods in quantum chemistry. Comput. Phys. Rep. 10 (4), 147–187. 10.1016/0167-7977(89)90001-4
- Andrade X., Strubbe D., De G., Larsen A. H., Oliveira M J. T., Alberdi-Rodriguez Joseba, et al. (2015). Real-space grids and the Octopus code as tools for the development of new simulation approaches for electronic systems. Phys. Chem. Chem. Phys. 17, 31371–31396. 10.1039/c5cp00351b
- Ballesteros Francisco, Dunivan Shelbie, Lao Ka Un. (2021). Coupled cluster benchmarks of large noncovalent complexes: The L7 dataset as well as DNA–ellipticine and buckycatcher–fullerene. J. Chem. Phys. 154, 154104. 10.1063/5.0042906
- Barnes A L., Bykov D, Lyakh D I., Tjerk P. (2019). Multilayer divide-expand-consolidate coupled-cluster method: Demonstrative calculations of the adsorption energy of carbon dioxide in the Mg-MOF-74 metal–organic framework. J. Phys. Chem. A 123, 8734–8743. 10.1021/acs.jpca.9b08077
- Bartlett R J. (2012). Coupled-cluster theory and its equation-of-motion extensions. WIREs Comput. Mol. Sci. 2 (1), 126–138. 10.1002/wcms.76
- Bartlett R J., Shavitt I. (1977). Comparison of high-order many-body perturbation theory and configuration interaction for H2O. Phys. Lett. 50, 190–198. 10.1016/0009-2614(77)80161-9
- Bartlett R J., Silver D M. (1974). Correlation energy in LiH, BH, and HF with many-body perturbation theory using slater-type atomic orbitals. Int. J. Quantum Chem. 8, 271–276. 10.1002/qua.560080831
- Battaglino C, Ballard G, Tamara G. (2018). A practical randomized CP tensor decomposition. SIAM J. Matrix Analysis Appl. 39, 876–901. 10.1137/17m1112303
- Baudin P, Bykov D, Liakh D, Ettenhuber P, Kristensen K. (2017). A local framework for calculating coupled cluster singles and doubles excitation energies (LoFEx-CCSD). Mol. Phys. 115, 2135–2144. 10.1080/00268976.2017.1290836
- Baudin P, Kristensen K. (2016). LoFEx — a local framework for calculating excitation energies: Illustrations using RI-CC2 linear response theory. J. Chem. Phys. 144, 224106. 10.1063/1.4953360
- Baudin P, Pawłowski F, Bykov D, Liakh D, Kristensen K, Olsen J, et al. (2019). Cluster perturbation theory. III. Perturbation series for coupled cluster singles and doubles excitation energies. J. Chem. Phys. 150, 134110. 10.1063/1.5046935
- Baumgartner G., Auer A., Bernholdt D. E., Bibireata A., Choppella V., Cociorva D., et al. (2005). Synthesis of high-performance parallel programs for a class of ab initio quantum chemistry models. Proc. IEEE 93 (2), 276–292. 10.1109/JPROC.2004.840311
- Binkley J. S., Pople J. A. (1975). Møller–Plesset theory for atomic ground state energies. Int. J. Quantum Chem. 9, 229–236. 10.1002/qua.560090204
- Bistoni G, Riplinger C, Minenkov Y, Cavallo L, Auer A A., Neese F. (2017). Treating subvalence correlation effects in domain based pair natural orbital coupled cluster calculations: An out-of-the-box approach. J. Chem. Theory Comput. 13, 3220–3227. 10.1021/acs.jctc.7b00352
- Boudehane A, Albera L, Tenenhaus A, Le Brusquet L., Boyer R. (2022). Parallelization scheme for canonical polyadic decomposition of large-scale high-order tensors Signal Processing 199 108610.
- Boys S. F. (1960). Construction of some molecular orbitals to be approximately invariant for changes from one molecule to another. Rev. Mod. Phys. 32, 296–299. 10.1103/revmodphys.32.296
- Boys S. F., Rajagopal P. (1966). Quantum calculations: Which are accumulative in accuracy, unrestricted in expansion functions, and economical in computation. Adv. Quantum Chem. 2, 1–24.
- Bykov D., Kjaergaard T. (2017). The GPU-enabled divide-expand-consolidate RI-MP2 method (DEC-RI-MP2). J. Comput. Chem. 38, 228–237. 10.1002/jcc.24678
- Bykov D, Kristensen K, Kjærgaard T. (2016). The molecular gradient using the divide-expand-consolidate resolution of the identity second-order Møller-Plesset perturbation theory: The DEC-RI-MP2 gradient. J. Chem. Phys. 145, 024106. 10.1063/1.4956454
- Carroll J. D, Chang J. J. (1970). Analysis of individual differences in multidimensional scaling via an n-way generalization of Eckart-Young decomposition Psychometrika, 35, 283–319.
- Cederbaum L. S. (2008). Born–Oppenheimer approximation and beyond for time-dependent electronic processes. J. Chem. Phys. 128, 124101. 10.1063/1.2895043
- Christensen A. S., Kubar T., Cui Q., Elstner M. (2016). Semiempirical quantum mechanical methods for noncovalent interactions for chemical and biochemical applications. Chem. Rev. 116 (9), 5301–5337. 10.1021/acs.chemrev.5b00584
- Christiansen O, Bak K L., Koch H S., Stephan P. A. (1998). A second-order doubles correction to excitation energies in the random-phase approximation. Phys. Lett. 284, 47–55. 10.1016/s0009-2614(97)01285-2
- Čížek J. (1966). On the correlation problem in atomic and molecular systems. Calculation of wavefunction components in Ursell-type expansion using quantum-field theoretical methods. J. Chem. Phys. 45, 4256–4266. 10.1063/1.1727484
- Collins J B., Schleyer V R., Binkley J. S, Pople J A. (1976). Self-consistent molecular orbital methods. XVII. Geometries and binding energies of second-row molecules. A comparison of three basis sets. J. Chem. Phys. 64, 5142–5151. 10.1063/1.432189
- Combes J-M., Duclos P., Seiler R. (1981). The Born-Oppenheimer approximation. Rigorous At. Mol. Phys., 185–213.
- Corzo H H., Sehanobish A., Kara O. (2021). Learning full configuration interaction electron correlations with deep learning. Mach. Learn. Phys. Sci. Neural Inf. Processing Syst., 35. 10.48550/ARXIV.2106.08138
- Dalgaard E, Monkhorst H J. (1983). Some aspects of the time-dependent coupled-cluster approach to dynamic response functions. Phys. Rev. A 28, 1217–1222. 10.1103/physreva.28.1217
- Datta D, Gordon M S. (2021). A massively parallel implementation of the CCSD(T) method using the resolution-of-the-identity approximation and a hybrid distributed/shared memory parallelization model. J. Chem. Theory Comput. 17, 4799–4822. 10.1021/acs.jctc.1c00389
- Davidson E R. (1972). Natural orbitals. Adv. Quantum Chem. 6, 235–266.
- Davidson E R., Feller D. (1986). Basis set selection for molecular calculations. Chem. Rev. 86, 681–696. 10.1021/cr00074a002
- Davidson E R. (1972). Properties and uses of natural orbitals. Rev. Mod. Phys. 44, 451–464. 10.1103/revmodphys.44.451
- Díaz-Tinoco M, Dolgounitcheva O., Zakrzewski V. G., Ortiz J. V. (2016). Composite electron propagator methods for calculating ionization energies. J. Chem. Phys. 144, 224110. 10.1063/1.4953666
- Dral P O., Wu X, Thiel W. (2019). Semiempirical quantum-chemical methods with orthogonalization and dispersion corrections. J. Chem. Theory Comput. 15, 1743–1760. 10.1021/acs.jctc.8b01265
- Dunning, Thom H. (1989). Gaussian basis sets for use in correlated molecular calculations. I. The atoms boron through neon and hydrogen. J. Chem. Phys. 90, 1007–1023. 10.1063/1.456153
- Edmiston C., Krauss M. (1965). Configuration-interaction calculation of H3 and H2. J. Chem. Phys. 42, 1119–1120. 10.1063/1.1696050
- Edmiston C, Ruedenberg K. (1963). Localized atomic and molecular orbitals. Rev. Mod. Phys. 35, 457–464. 10.1103/revmodphys.35.457
- Elstner M, Frauenheim T, Kaxiras E., Seifert G., Suhai S. (2000). A self-consistent charge density-functional based tight-binding scheme for large biomolecules. Phys. Status Solidi B 217, 357–376.
- Elstner M, Seifert G. (2014). Density functional tight binding. Philos. Trans. A Math. Phys. Eng. Sci. 372, 20120483. 10.1098/rsta.2012.0483
- Eriksen J J., Baudin P, Ettenhuber P, Kristensen K, Kjærgaard T, Jørgensen P. (2015). Linear-scaling coupled cluster with perturbative triple excitations: The divide–expand–consolidate CCSD (T) model. J. Chem. Theory Comput. 11, 2984–2993. 10.1021/acs.jctc.5b00086
- Eriksen J J., Jørgensen P, Gauss J. (2015). On the convergence of perturbative coupled cluster triples expansions: Error cancellations in the CCSD (T) model and the importance of amplitude relaxation. J. Chem. Phys. 142, 014102. 10.1063/1.4904754
- Eriksen J J., Kristensen K, Kjærgaard T, Jørgensen P, Gauss J. (2014). A Lagrangian framework for deriving triples and quadruples corrections to the CCSD energy. J. Chem. Phys. 140, 064108. 10.1063/1.4862501
- Eriksen J J., Matthews Devin A., Jørgensen Poul, Gauss Jürgen. (2015). Communication: The performance of non-iterative coupled cluster quadruples models. J. Chem. Phys. 143, 041101. 10.1063/1.4927247
- Ettenhuber P., Baudin P., Kjærgaard T., Jørgensen P., Kristensen K. (2016). Orbital spaces in the divide-expand-consolidate coupled cluster method. J. Chem. Phys. 144 (16), 164116. 10.1063/1.4947019
- Ettenhuber Patrick. (2023). ScaTeLib - a scalable tensor library.
- Favier G., de Almeida A. L. (2014) Overview of constrained PARAFAC models EURASIP, J. Adv. Signal Process. 142.
- Fedorov D. G. (2017). The fragment molecular orbital method: Theoretical development, implementation in GAMESS, and applications wiley interdisciplinary reviews. Comput. Mol. Sci. 7, e1322.
- Fedorov D. G., Pham B. Q. (2023). Multi-level parallelization of quantum-chemical calculations. J. Chem. Phys. 158 (16), 164106. 10.1063/5.0144917
- Foster I. (1995). Designing and building parallel programs: Concepts and tools for parallel software engineering.
- Friedrich J., Dolg M. (2009). Fully automated incremental evaluation of MP2 and CCSD (T) energies: Application to water clusters. J. Chem. Theory Comput. 5, 287–294. 10.1021/ct800355e
- Friedrich J., Hänchen J. (2013). Incremental CCSD(T)(F12*)|MP2: A black box method to obtain highly accurate reaction energies. J. Chem. Theory Comput. 9, 5381–5394. 10.1021/ct4008074
- Frisch M. J., Pople J. A., Binkley J. S. (1984). Self-consistent molecular orbital methods 25. Supplementary functions for Gaussian basis sets. J. Chem. Phys. 80 (7), 3265–3269. 10.1063/1.447079
- Frisch M. J., Trucks G. W., Schlegel H. B., Scuseria G. E., Robb M. A., Cheeseman J. R., et al. (2021). Gaussian development version revision. J 15.
- Fung V., Zhang J., Juarez E., Sumpter B. G. (2021). Benchmarking graph neural networks for materials chemistry. Npj Comput. Mater. 7 (1), 1–8.
- Gonzalez-Escribano A, Llanos D R., Orden D, Palop B. (2006). Parallelization alternatives and their performance for the convex hull problem. Appl. Math. Model. 30, 563–577. 10.1016/j.apm.2005.05.022
- Götz A W., Williamson M J., Xu D, Poole D, Le Grand, Scott, et al. (2012). Routine microsecond molecular dynamics simulations with AMBER on GPUs. 1. Generalized born. Gen. born J. Chem. Theory Comput. 8, 1542–1555. 10.1021/ct200909j
- Grimme S, Antony J, Ehrlich S, Krieg H. (2010). A consistent and accurate ab initio parametrization of density functional dispersion correction (DFT-D) for the 94 elements H-Pu. J. Chem. Phys. 132, 154104. 10.1063/1.3382344
- Gyevi-Nagy L, Kállay M, Nagy P R. (2021). Accurate reduced-cost CCSD(T) energies: Parallel implementation, benchmarks, and large-scale applications. J. Chem. Theory Comput. 17, 860–878. 10.1021/acs.jctc.0c01077
- Gyevi-Nagy L, Kállay M, Nagy P R. (2019). Integral-direct and parallel implementation of the CCSD(T) method: Algorithmic developments and large-scale applications. J. Chem. Theory Comput. 16, 366–384. 10.1021/acs.jctc.9b00957
- Hagebaum-Reignier D, Girardi R, Carissan Y, Humbel S. (2007). Hückel theory for Lewis structures: Hückel–Lewis configuration interaction (HL-CI). J. Mol. Struct. THEOCHEM. 817, 99–109. 10.1016/j.theochem.2007.04.026
- Haghighatlari M, Hachmann J. (2019). Advances of machine learning in molecular modeling and simulation. Curr. Opin. Chem. Eng. 23, 51–57. 10.1016/j.coche.2019.02.009
- Hampel C, Werner H-J. (1996). Local treatment of electron correlation in coupled cluster theory. J. Chem. Phys. 104, 6286–6297. 10.1063/1.471289
- Harris F E. (1977). Coupled-cluster method for excitation energies. Int. J. Quantum Chem. 12, 403–411. 10.1002/qua.560120848
- Hasanein A. A., Evans M. W. (1996). Computational methods in quantum chemistry, 2.
- Häser M. (1993). Møller-Plesset (MP2) perturbation theory for large molecules Theor. Chim. Acta 87, 147–173.
- Hättig C, Hellweg A, Köhn A. (2006). Distributed memory parallel implementation of energies and gradients for second-order Møller–Plesset perturbation theory with the resolution-of-the-identity approximation. Phys. Chem. Chem. Phys. 8, 1159. 10.1039/b515355g
- Hättig C, Weigend F. (2000). CC2 excitation energy calculations on large molecules using the resolution of the identity approximation. J. Chem. Phys. 113, 5154–5161. 10.1063/1.1290013
- Head-Gordon M R., Rudolph J., Oumi M, Lee T J. (1994). A doubles correction to electronic excited states from configuration interaction in the space of single substitutions. Chem. Phys. Lett. 219, 21–29. 10.1016/0009-2614(94)00070-0
- Hehre W. J., Stewart R F., Pople J A. (1969). Self-consistent molecular-orbital methods. I. Use of Gaussian expansions of Slater-type atomic orbitals. J. Chem. Phys. 51, 2657–2664. 10.1063/1.1672392
- Helgaker T., Coriani S., Jørgensen P., Kristensen K., Olsen J., Ruud K. (2012). Recent advances in wave function-based methods of molecular-property calculations. Chem. Rev. 112 (1), 543–631. 10.1021/cr2002239
- Helgaker T, Jørgensen P, Olsen J. (2000). Molecular electronic-structure theory.
- Helmich B, Hättig C. (2014). A pair natural orbital based implementation of ADC(2)-x: Perspectives and challenges for response methods for singly and doubly excited states in large molecules Comput. Theor. Chem. 1040, 1041 35–44.
- Herbert J M. (2019). Fantasy versus reality in fragment-based quantum chemistry. J. Chem. Phys. 151, 170901. 10.1063/1.5126216
- Hillers-Bendtsen A. E., Bykov D., Barnes A., Liakh D., Corzo H. H., Olsen J., et al. (2023). Massively parallel GPU enabled third-order cluster perturbation excitation energies for cost-effective large scale excitation energy calculations J. Chem. Phys. 158 (14), 144111. 10.1063/5.0142780
- Hillers-Bendtsen A. E., Høyer N. M., Kjeldal F. Ø., Mikkelsen K. V., Olsen J., Jørgensen P. (2022). Cluster perturbation theory. VIII. First order properties for a coupled cluster state. J. Chem. Phys. 157, 024108. 10.1063/5.0082585
- Hitchcock F L. (1927). The expression of a tensor or a polyadic as a sum of products. J. Math. Phys. 6, 164–189. 10.1002/sapm192761164
- Hoy E P., Mazziotti D A. (2015). Positive semidefinite tensor factorizations of the two-electron integral matrix for low-scaling ab initio electronic structure. J. Chem. Phys. 143, 064103. 10.1063/1.4928064
- Høyer N M, Kjeldal F Ø, Hillers B., Erbs A, Mikkelsen K V., Olsen J, et al. (2022). Cluster perturbation theory. VI. Ground-state energy series using the Lagrangian. J. Chem. Phys. 157, 024106. 10.1063/5.0082583
- Høyvik I-M, Jansik B, Jørgensen P. (2012). Orbital localization using fourth central moment minimization. J. Chem. Phys. 137, 224114. 10.1063/1.4769866
- Høyvik I-M, Jørgensen P. (2016). Characterization and generation of local occupied and virtual Hartree–Fock orbitals. Chem. Rev. 116, 3306–3327. 10.1021/acs.chemrev.5b00492
- Høyvik I-M, Kristensen K, Jansík B, Jørgensen P. (2012). The divide-expand-consolidate family of coupled cluster methods: Numerical illustrations using second order møller-Plesset perturbation theory. J. Chem. Phys. 136, 014105. 10.1063/1.3667266
- Høyvik I. M., Kristensen K., Kjærgaard T., Jørgensen P. (2014). A perspective on the localizability of Hartree–Fock orbitals. Theor. Chem. Acc 133 1417. 10.1007/s00214-013-1417-x
- Ishikawa T, Kuwata K. (2012). RI-MP2 gradient calculation of large molecules using the fragment molecular orbital method. J. Phys. Chem. Lett. 3, 375–379. 10.1021/jz201697x
- Jakobsen S, Kristensen K, Jensen F. (2013). Electrostatic potential of insulin: Exploring the limitations of density functional theory and force field methods. J. Chem. Theory Comput. 9, 3978–3985. 10.1021/ct400452f
- Jansík B, Høst S, Kristensen K, Jørgensen P. (2011). Local orbitals by minimizing powers of the orbital variance. J. Chem. Phys. 134, 194104. 10.1063/1.3590361
- Jha A., Nottoli M., Mikhalev A., Quan C., Stamm B. (2022). Linear scaling computation of forces for the domain-decomposition linear Poisson–Boltzmann method. J. Chem. Phys. 158 (10), 104105. 10.1063/5.0141025
- Kapuy E., Csépes Z., Kozmutza C. (1983). Application of the many-body perturbation theory by using localized orbitals. Int. J. Quantum Chem. 23, 981–990. 10.1002/qua.560230321
- Keith J A., Vassilev-Galindo V, Cheng B, Chmiela S, Gastegger M, Muüller K-R, et al. (2021). Combining machine learning and computational chemistry for predictive insights into chemical systems. Chem. Rev. 121, 9816–9872. 10.1021/acs.chemrev.1c00107
- Khoromskaia V, Khoromskij B N. (2015). Tensor numerical methods in quantum chemistry: From Hartree–Fock to excitation energies. Phys. Chem. Chem. Phys. 17, 31491–31509. 10.1039/c5cp01215e
- Kirtman B. (1995). Local quantum chemistry: The local space approximation for Møller–Plesset perturbation theory. Int. J. Quantum Chem. 55 (2), 103–108. 10.1002/qua.560550204
- Kjærgaard T, Baudin P, Bykov D, Eriksen J J, Ettenhuber P, Kristensen K, et al. (2017). Massively parallel and linear-scaling algorithm for second-order Møller–Plesset perturbation theory applied to the study of supramolecular wires. Comput. Phys. Commun. 212, 152–160. 10.1016/j.cpc.2016.11.002
- Kjærgaard T, Baudin P, Bykov D, Kristensen K, Jørgensen P. (2017). The divide–expand–consolidate coupled cluster scheme Wiley Interdiscip. Rev. Comput. Mol. Sci. 7 e1319.
- Kjærgaard T. (2017). The Laplace transformed divide-expand-consolidate resolution of the identity second-order Møller-Plesset perturbation (DEC-LT-RIMP2) theory method. J. Chem. Phys. 146, 044103. 10.1063/1.4973710
- Kleier D A., Halgren T A., Hall, John H., Lipscomb W N. (1974). Localized molecular orbitals for polyatomic molecules. I. A comparison of the Edmiston-Ruedenberg and Boys localization methods. J. Chem. Phys. 61, 3905–3919. 10.1063/1.1681683
- Kolda T. G., Bader B. W. (2009). Tensor decompositions and applications. SIAM Rev. 51 (3), 455–500. 10.1137/07070111x
- Krause C, Werner H-J. (2012). Comparison of explicitly correlated local coupled-cluster methods with various choices of virtual orbitals. Phys. Chem. Chem. Phys. 14, 7591–7604. 10.1039/c2cp40231a
- Krishnan R. B. J. S., Binkley J. S, Seeger R, Pople J A. (1980). Self-consistent molecular orbital methods. XX. A basis set for correlated wave functions. J. Chem. Phys. 72, 650–654. 10.1063/1.438955
- Krishnan R., Pople J. A. (1978). Approximate fourth-order perturbation theory of the electron correlation energy. Int. J. Quantum Chem. 14, 91–100. 10.1002/qua.560140109
- Kristensen K, Eriksen J J., Matthews D A., Olsen J, Jørgensen P. (2016). A view on coupled cluster perturbation theory using a bivariational Lagrangian formulation. J. Chem. Phys. 144, 064103. 10.1063/1.4941605
- Kristensen K, Høyvik I-M, Jansík B, Jørgensen P, Kjærgaard T, Reine S, et al. (2012). MP2 energy and density for large molecular systems with internal error control using the Divide-Expand-Consolidate scheme. Phys. Chem. Chem. Phys. 14, 15706–15714. 10.1039/c2cp41958k
- Kristensen K, Jørgensen P, Jansík B, Kjærgaard T, Reine S. (2012). Molecular gradient for second-order Møller-Plesset perturbation theory using the divide-expand-consolidate (DEC) scheme. J. Chem. Phys. 137, 114102. 10.1063/1.4752432
- Kristensen K, Ziółkowski M, Jansík B, Kjærgaard T, Jørgensen P. (2011). A locality analysis of the divide–expand–consolidate coupled cluster amplitude equations. J. Chem. Theory Comput. 7, 1677–1694. 10.1021/ct200114k
- Kurashige Y., Yang J., Chan G. K-L., Manby F. R. (2012). Optimization of orbital-specific virtuals in local Møller-Plesset perturbation theory. J. Chem. Phys. 136 (12), 124106. 10.1063/1.3696962
- Kutzelnigg W. (2007). What I like about Hückel theory. J. Comput. Chem. 28, 25–34. 10.1002/jcc.20470
- Levine I. N., Busch D. H., Shull H. (2009). Quantum chemistry. 6th edition.
- Li R R., Liebenthal M D., De Prince, Eugene A. (2021). Challenges for variational reduced-density-matrix theory with three-particle N-representability conditions. J. Chem. Phys. 155, 174110. 10.1063/5.0066404
- Liakos D G., Sparta M, Kesharwani M K., Martin J M. L., Neese F. (2015). Exploring the accuracy limits of local pair natural orbital coupled-cluster theory. J. Chem. Theory Comput. 11, 1525–1539. 10.1021/ct501129s
- Lin N, Marianetti C. A., Millis A J., Reichman D R. (2011). Dynamical mean-field theory for quantum chemistry. Phys. Rev. Lett. 106, 096402. 10.1103/physrevlett.106.096402
- Lipparini F, Stamm B, Canc‘es E, Maday Y, Mennucci B. (2013). Fast domain decomposition algorithm for continuum solvation models: Energy and first derivatives. J. Chem. Theory Comput. 9, 3637–3648. 10.1021/ct400280b
- Liu W. (2020). Essentials of relativistic quantum chemistry. J. Chem. Phys. 152, 180901. 10.1063/5.0008432
- Löwdin P O. (1958). Correlation problem in many-electron quantum mechanics I. Review of different approaches and discussion of some current ideas. Adv. Chem. Phys. 207-322.
- Löwdin P O. (1955). Quantum theory of many-particle systems. II. Study of the ordinary Hartree-Fock approximation. Phys. Rev. 97, 1490–1508. 10.1103/physrev.97.1490
- Löwdin P-O. (1955). Quantum theory of many-particle systems. I. Physical interpretations by means of density matrices, natural spin-orbitals, and convergence problems in the method of configurational interaction. Phys. Rev. 97, 1474–1489. 10.1103/physrev.97.1474
- Luo L., Straatsma T., Suarez L. E. A, Broer R., Bykov D., et al. (2020). Pre-exascale accelerated application development: The ORNL Summit experience, IBM J. Res. Dev. 64, 1–11. 10.1147/jrd.2020.2965881
- Lyakh D I. (2023). TAL-SH: Tensor algebra library for shared memory computers.
- Ma Y, Li Z Y, Chen X, Ding B, Li N, Lu T, et al. (2023). Machine-learning assisted scheduling optimization and its application in quantum chemical calculations. J. Comput. Chem. 44, 1174–1188. 10.1002/jcc.27075
- Maslow A. H. (1966). The psychology of science: A reconnaissance.
- Menezes F, Kats D, Werner H-J. (2016). Local complete active space second-order perturbation theory using pair natural orbitals (PNO-CASPT2). J. Chem. Phys. 145, 124115. 10.1063/1.4963019
- Mester D, Nagy P R., Kállay M. (2019). Reduced-Scaling correlation methods for the excited states of large molecules: Implementation and benchmarks for the second-order algebraic-diagrammatic construction approach. J. Chem. Theory Comput. 15, 6111–6126. 10.1021/acs.jctc.9b00735
- Mitxelena I, Piris M. (2022). Benchmarking GNOF against FCI in challenging systems in one, two, and three dimensions. J. Chem. Phys. 156, 214102. 10.1063/5.0092611
- Moawad Y, Vanderbauwhede W, Steijl R. (2022). Investigating hardware acceleration for simulation of CFD quantum circuits. Front. Mech. Eng. 8. 10.3389/fmech.2022.925637
- Møller C., Plesset M S. (1934). Note on an approximation treatment for many-electron systems. Phys. Rev. 46, 618–622. 10.1103/physrev.46.618
- Monari A., Rivail J-L., Assfeld X. (2013). Theoretical modeling of large molecular systems. Advances in the local self consistent field method for mixed quantum mechanics/molecular mechanics calculations. Acc. Chem. Res. 46, 596–603. 10.1021/ar300278j
- Nagy B., Jensen F. (2017). “ Basis sets in quantum chemistry,” in Reviews in computational chemistry, 93–149.
- Nagy P R., Kállay M. (2019). Approaching the basis set limit of CCSD(T) energies for large molecules with local natural orbital coupled-cluster methods. J. Chem. Theory Comput. 15, 5275–5298. 10.1021/acs.jctc.9b00511
- Neese F, Wennmohs F., Hansen A. (2009). Efficient and accurate local approximations to coupled-electron pair approaches: An attempt to revive the pair natural orbital method. J. Chem. Phys. 130, 114108. 10.1063/1.3086717
- Neese F, Wennmohs F, Becker U, Riplinger C. (2020). The ORCA quantum chemistry program package. J. Chem. Phys. 152, 224108. 10.1063/5.0004608
- Nesbet R. K. (1955). Configuration interaction in orbital theories. Proc. R. Soc. Lond. A Math. Phys. Sci. 230, 312–321.
- Nikodem A, Matveev A V., Soini T M., Rösch N. (2014). Load balancing by work-stealing in quantum chemistry calculations: Application to hybrid density functional methods. Int. J. Quantum Chem. 114, 813–822. 10.1002/qua.24677
- Nottoli M., Stamm B., Scalmani G., Lipparini F. (2019). Quantum calculations in solution of energies, structures, and properties with a domain decomposition polarizable continuum model. J. Chem. Theory Comput. 15, 6061–6073. 10.1021/acs.jctc.9b00640
- Olsen J., Erbs A., Kjeldal F Ø, Høyer N M, Mikkelsen K V., et al. (2022). Cluster perturbation theory. VII. The convergence of cluster perturbation expansions. J. Chem. Phys. 157, 024107. 10.1063/5.0082584
- Olsen J M. H., List N H., Kristensen K, Kongsted J. (2015). Accuracy of protein embedding potentials: An analysis in terms of electrostatic potentials. J. Chem. Theory Comput. 11, 1832–1842. 10.1021/acs.jctc.5b00078
- Oseledets I. V. (2011). Tensor-train decomposition. SIAM J. Sci. Comput. 33 (5), 2295–2317. 10.1137/090752286
- Ozog D., Hammond J. R., Dinan J., Balaji P., Shende S., Malony A. (2013). “Inspector-executor load balancing algorithms for block-sparse tensor contractions,” in 2013 42nd International conference on parallel processing, 30–39. 10.1109/ICPP.2013.12
- Patil U, Shedge R. (2013). Improved hybrid dynamic load balancing algorithm for distributed environment. Int. J. Sci. Res. Publ. 3, 1.
- Paudics A, Hessz D., Bojtár M., Bitter I., Horváth V., Kállay M., et al. (2022). A pillararene-based indicator displacement assay for the fluorescence detection of vitamin B1. Sensors Actuators B Chem. 369, 132364. 10.1016/j.snb.2022.132364
- Pawłowski F., Olsen J., Jørgensen P. (2019). Cluster perturbation theory. II. Excitation energies for a coupled cluster target state. J. Chem. Phys. 150, 134109. 10.1063/1.5053167
- Pawłowski F., Olsen J., Jørgensen P. (2019). Cluster perturbation theory. I. Theoretical foundation for a coupled cluster target state and ground-state energies. J. Chem. Phys. 150, 134108. 10.1063/1.5004037
- Pawłowski F., Olsen J., Jørgensen P. (2019). Cluster perturbation theory. IV. Convergence of cluster perturbation series for energies and molecular properties. J. Chem. Phys. 150, 134111. 10.1063/1.5053622
- Pawłowski F., Olsen J., Jørgensen P. (2019). Cluster perturbation theory. V. Theoretical foundation for cluster linear target states. J. Chem. Phys. 150, 134112. 10.1063/1.5053627
- Phan A. H., Tichavský P., Cichocki A. (2013). Fast alternating LS algorithms for high order CANDECOMP/PARAFAC tensor factorizations. IEEE Trans. Signal Process. 61, 4834–4846. 10.1109/tsp.2013.2269903
- Pinski P., Neese F. (2018). Communication: Exact analytical derivatives for the domain-based local pair natural orbital MP2 method (DLPNO-MP2). J. Chem. Phys. 148, 031101. 10.1063/1.5011204
- Pipek J., Mezey P. G. (1989). Pair natural orbitals: A concept for simplifying Hartree–Fock and CI wavefunctions. J. Chem. Phys. 90, 4916–4926. 10.1063/1.456588
- Pople J. A. (1999). Nobel Lecture: Quantum chemical models. Rev. Mod. Phys. 71, 1267–1274. 10.1103/RevModPhys.71.1267
- Pople J. A., Binkley J. S., Seeger R. (1976). Theoretical models incorporating electron correlation. Int. J. Quantum Chem. 10, 1–19. 10.1002/qua.560100802
- Pulay P., Saebø S. (1986). Orbital-invariant formulation and second-order gradient evaluation in Mller-Plesset perturbation theory. Chem. Acc. 69, 357–368. 10.1007/bf00526697
- Pulay P., Hamilton T. P. (1988). UHF natural orbitals for defining and starting MC-SCF calculations. J. Chem. Phys. 88, 4926–4933. 10.1063/1.454704
- Pulay P. (1983). Localizability of dynamic electron correlation. Chem. Phys. Lett. 100, 151–154. 10.1016/0009-2614(83)80703-9
- Pyykkö P. (2012). Relativistic effects in chemistry: More common than you thought. Annu. Rev. Phys. Chem. 63, 45–64. 10.1146/annurev-physchem-032511-143755
- Qiu J., Zhao Z., Wu B., Vishnu A., Song S. (2017). Enabling scalability-sensitive speculative parallelization for FSM computations. Proc. Int. Conf. Supercomput., 2.
- Qiu Y., Zhou G., Zhang Y., Cichocki A. (2021). Canonical polyadic decomposition (CPD) of big tensors with low multilinear rank. Multimed. Tools Appl. 80, 22987–23007. 10.1007/s11042-020-08711-1
- Raghavachari K., Trucks G. W., Pople J. A., Head-Gordon M. (1989). A fifth-order perturbation comparison of electron correlation theories. Chem. Phys. Lett. 157 (6), 479–483. 10.1016/s0009-2614(89)87395-6
- Riplinger C., Neese F. (2013). An efficient and near linear scaling pair natural orbital based local coupled cluster method. J. Chem. Phys. 138, 034106. 10.1063/1.4773581
- Riplinger C., Sandhoefer B., Hansen A., Neese F. (2013). Natural triple excitations in local coupled cluster calculations with pair natural orbitals. J. Chem. Phys. 139, 134101. 10.1063/1.4821834
- Rolik Z., Szegedy L., Ladjánszki I., Ladóczki B., Kállay M. (2013). An efficient linear-scaling CCSD (T) method based on local natural orbitals. J. Chem. Phys. 139, 094105. 10.1063/1.4819401
- Russ N. J., Crawford T. D. (2004). Local correlation in coupled cluster calculations of molecular response properties. Phys. Lett. 400, 104–111. 10.1016/j.cplett.2004.10.083
- Sæbø S., Almlöf J. (1989). Avoiding the integral storage bottleneck in LCAO calculations of electron correlation. Chem. Phys. Lett. 154, 83–89. 10.1016/0009-2614(89)87442-1
- Sæbø S., Pulay P. (1985). Local configuration interaction: An efficient approach for larger molecules. Chem. Phys. Lett. 113, 13–18. 10.1016/0009-2614(85)85003-x
- Saebø S., Pulay P. (1993). Local treatment of electron correlation. Annu. Rev. Phys. Chem. 44, 213–236. 10.1146/annurev.pc.44.100193.001241
- Saebo S., Pulay P. (1988). The local correlation treatment. II. Implementation and tests. J. Chem. Phys. 88, 1884–1890. 10.1063/1.454111
- Saitow M., Uemura K., Yanai T. (2022). A local pair-natural orbital-based complete-active space perturbation theory using orthogonal localized virtual molecular orbitals. J. Chem. Phys. 157, 084101. 10.1063/5.0094777
- Schriber J. B., Evangelista F. A. (2017). Adaptive configuration interaction for computing challenging electronic excited states with tunable accuracy. J. Chem. Theory Comput. 13, 5354–5366. 10.1021/acs.jctc.7b00725
- Schütz M., Yang J., Frederick R., Werner H. J. (2013). The orbital-specific virtual local triples correction: OSV-L (t). J. Chem. Phys. 138, 054109. 10.1063/1.4789415
- Schwilk M., Ma Q., Köppl C., Werner H. J. (2017). Scalable electron correlation methods. 3. Efficient and accurate parallel local coupled cluster with pair natural orbitals (PNO-LCCSD). J. Chem. Theory Comput. 13, 3650–3675. 10.1021/acs.jctc.7b00554
- Semidalas E., Martin J. M. L. (2022). The MOBH35 metal–organic barrier heights reconsidered: Performance of local-orbital coupled cluster approaches in different static correlation regimes. J. Chem. Theory Comput. 18, 883–898. 10.1021/acs.jctc.1c01126
- Shang H., Shen L., Fan Y., Xu Z., Guo C., Liu J., et al. (2022). Large-Scale Simulation of Quantum Computational Chemistry on a New Sunway Supercomputer. SC22: Int. Conf. High Perform. Comput. Netw. Storage Anal., 1–14. 10.1109/SC41404.2022.00019
- Shao Y, Gan Z, Epifanovsky E, Gilbert A T. B., Wormit M, Kussmann J, et al. (2015). Advances in molecular quantum chemistry contained in the Q-Chem 4 program package. Mol. Phys. 113, 184–215. 10.1080/00268976.2014.952696
- Sharapa D I., Genaev A, Cavallo L, Minenkov Y. (2019). A robust and cost-efficient scheme for accurate conformational energies of organic molecules. ChemPhysChem 20, 92–102. 10.1002/cphc.201801063
- Sho S, Odanaka S. (2019). Parallel domain decomposition methods for a quantum-corrected drift–diffusion model for MOSFET devices. Phys. Commun. 237, 8–16. 10.1016/j.cpc.2018.10.029
- Simons J, Nichols J. (1997). Quantum mechanics in chemistry.
- Sitkiewicz S P., Rodriguez-Mayorga M., Luis J. M., Matito E. (2019). Partition of optical properties into orbital contributions. Phys. Chem. Chem. Phys. 21, 15380–15391. 10.1039/c9cp02662b
- Sparta M, Retegan M, Pinski P, Riplinger C, Becker U, Neese F. (2017). Multilevel approaches within the local pair natural orbital framework. J. Chem. Theory Comput. 13, 3198–3207. 10.1021/acs.jctc.7b00260
- Stegeman A. (2006). Degeneracy in Candecomp/Parafac explained for p×p× 2 arrays of rank p + 1 or higher. Psychometrika 71, 483–501.
- Stoychev G L., Auer A A., Gauss J, Neese F. (2021). DLPNO-MP2 second derivatives for the computation of polarizabilities and NMR shieldings. J. Chem. Phys. 154, 164110. 10.1063/5.0047125
- Su H. C., Jiang H., Zhang B. (2007). Synchronization on Speculative Parallelization of Many-Particle Collision Simulation. World Congr. Eng. Comput. Sci.
- Subotnik J. E., Head-Gordon M. (2005). A local correlation model that yields intrinsically smooth potential-energy surfaces. J. Chem. Phys. 123, 064108. 10.1063/1.2000252
- Surján P. R. (1999). “An introduction to the theory of geminals,” in Correlation and localization, 63–88.
- Szabo A., Ostlund N. S. (2012). Modern quantum chemistry: Introduction to advanced electronic structure theory.
- Szabó P. B., Csóka J., Kállay M., Nagy P. R. (2021). Linear-Scaling open-shell MP2 approach Algorithm benchmarks and large-scale applications, J. Chem. Theory Comput. 17, 2886–2905. 10.1021/acs.jctc.1c00093
- Tew D. P., Klopper W., Helgaker T. (2007). Electron correlation: The many-body problem at the heart of chemistry. J. Comput. Chem. 28, 1307–1320. 10.1002/jcc.20581
- Tew D P. (2019). Principal domains in local correlation theory. J. Chem. Theory Comput. 15, 6597–6606. 10.1021/acs.jctc.9b00619
- Thiel W. (2014). Semiempirical quantum–chemical methods. Rev. Comput. Mol. Sci. 4, 145–157. 10.1002/wcms.1161
- Titov A. V., Ufimtsev I. S., Luehr N., Martinez T. J. (2013). Generating efficient quantum chemistry codes for novel architectures. J. Chem. Theory Comput. 9 (1), 213–221. 10.1021/ct300321a
- Tucker L. R. (1966). Some mathematical notes on three-mode factor analysis. Psychometrika 31, 279–311. 10.1007/BF02289464
- Unke O., Bogojeski M., Gastegger M., Geiger M., Smidt T., Müller K.-R. (2021) SE(3)-equivariant prediction of molecular wavefunctions and electronic densities. Adv. Neural Inf. Process. Syst. 34 14434–14447.
- Vahtras O., Almlöf J., Feyereisen M. W. (1993). Integral approximations for LCAO-SCF calculations. Chem. Phys. Lett. 213, 514–518. 10.1016/0009-2614(93)89151-7
- Valiev M, Bylaska E J., Govind N, Kowalski K, Straatsma T. P., Van Dam Hubertus J. J., et al. (2010). NWChem: A comprehensive and scalable open-source solution for large scale molecular simulations. Phys. Commun. 181, 1477–1489. 10.1016/j.cpc.2010.04.018
- Vannieuwenhoven N., Meerbergen K., Vandebril R. (2015). Computing the gradient in optimization algorithms for the CP decomposition in constant memory through tensor blocking. SIAM J. Sci. Comput. 37 (3), C415–C438. 10.1137/14097968x
- Wang B, Yang K R., Xu X, Isegawa M, Leverentz H R., Truhlar D G. (2014). Quantum mechanical fragment methods based on partitioning atoms or partitioning coordinates. Accounts Chem. Res. 47, 2731–2738. 10.1021/ar500068a
- Wang H, Neese C F., Morong C P., Kleshcheva M, Oka T. (2013) High-Resolution near-infrared spectroscopy of and its deuterated isotopologues J. Phys. Chem. A 117 9908–9918.
- Wang Y M, Hättig C, Reine S, Valeev E, Kjærgaard T, Kristensen K. (2016). Explicitly correlated second-order Møller-Plesset perturbation theory in a Divide-Expand-Consolidate (DEC) context. J. Chem. Phys. 144, 204112. 10.1063/1.4951696
- Wang Y, Ni Z, Neese F, Li W, Guo Y, Li S. (2022). Cluster-in-Molecule method combined with the domain-based local pair natural orbital approach for electron correlation calculations of periodic systems. J. Chem. Theory Comput. 18, 6510–6521. 10.1021/acs.jctc.2c00412
- Werner H-J. (1995). “Problem decomposition in quantum chemistry,” in Domainbased parallelism and problem decomposition methods in computational science and engineering (SIAM; ), 239–261. 10.1137/1.9781611971507.ch14
- Westermayr J., Gastegger M., Schütt K. T., Reinhard J. (2021). Perspective on integrating machine learning into computational chemistry and materials science. J. Chem. Phys. 154, 230903. 10.1063/5.0047760
- Woolley R. G., Sutcliffe B. T. (1977). Molecular structure and the Born–Oppenheimer approximation. Phys. Lett. 45, 393–398. 10.1016/0009-2614(77)80298-4
- Xie Z. Y., Jiang H. C., Chen Q. N., Weng Z. Y., Xiang T. (2009). Second renormalization of tensor-network states. Phys. Rev. Lett. 103, 160601. 10.1103/physrevlett.103.160601
- Yang J., Chan G., Frederick R., Schütz M., Werner H-J. (2012). The orbital-specific-virtual local coupled cluster singles and doubles method. J. Chem. Phys. 136, 144105. 10.1063/1.3696963
- Yang J, Kurashige Y, Manby F. R., Chan G K. L. (2011). Tensor factorizations of local second-order Møller–Plesset theory. J. Chem. Phys. 134, 044123. 10.1063/1.3528935
- Yates K. (2012). Hückel molecular orbital theory.
- Zhang I Y, Grüneis A. (2019). Coupled cluster theory in materials science. Front. Mater. 6. 10.3389/fmats.2019.00123
- Zhang Q, Dwyer T J., Tsui V, Case D A., Cho J, Dervan P B., et al. (2004). NMR structure of a cyclic polyamide- DNA complex. J. Am. Chem. Soc. 126, 7958–7966. 10.1021/ja0373622
- Ziółkowski M, Jansík B, Kjærgaard T, Jørgensen P. (2010). Linear scaling coupled cluster method with correlation energy based error control. J. Chem. Phys. 133, 014107. 10.1063/1.3456535
Associated Data
Data Availability Statement
The raw data supporting the conclusion of this article will be made available by the authors, without undue reservation.