Exploring connections between statistical mechanics and Green’s functions for realistic systems: Temperature dependent electronic entropy and internal energy from a self-consistent second-order Green’s function

Tensor hypercontraction for fully self-consistent imaginary-time GF2 and GWSOX methods: Theory, implementation, and role of the Green's function second-order exchange for intermolecular interactions

We present an efficient MPI-parallel algorithm and its implementation for evaluating the self-consistent correlated second-order exchange term (SOX), which is employed as a correction to the fully self-consistent GW scheme called scGWSOX (GW plus the SOX term iterated to achieve full Green's function self-consistency). Due to the application of the tensor hypercontraction (THC) in our computational procedure, the scaling of the evaluation of scGWSOX is reduced from O(nτnAO5) to O(nτN2nAO2). This fully MPI-parallel and THC-adapted approach enabled us to conduct the largest fully self-consistent scGWSOX calculations with over 1100 atomic orbitals with only negligible errors attributed to THC fitting. Utilizing our THC implementation for scGW, scGF2, and scGWSOX, we evaluated energies of intermolecular interactions. This approach allowed us to circumvent issues related to reference dependence and ambiguity in energy evaluation, which are common challenges in non-self-consistent calculations. We demonstrate that scGW exhibits a slight overbinding tendency for large systems, contrary to the underbinding observed with non-self-consistent RPA. Conversely, scGWSOX exhibits a slight underbinding tendency for such systems. This behavior is both physical and systematic and is caused by exclusion-principle violating diagrams or corresponding corrections. Our analysis elucidates the role played by these different diagrams, which is crucial for the construction of rigorous, accurate, and systematic methods. Finally, we explicitly show that all perturbative fully self-consistent Green's function methods are size-extensive and size-consistent.

Quantum Algorithm for Imaginary-Time Green's Functions

Green's function methods lead to ab initio, systematically improvable simulations of molecules and materials while providing access to multiple experimentally observable properties such as the density of states and the spectral function. The calculation of the exact one-particle Green's function remains a significant challenge for classical computers and was attempted only on very small systems. Here, we present a hybrid quantum-classical algorithm to calculate the imaginary-time one-particle Green's function. The proposed algorithm combines the variational quantum eigensolver and the quantum subspace expansion methods to calculate Green's function in Lehmann's representation. We demonstrate the validity of this algorithm by simulating H2 and H4 on quantum simulators and on IBM's quantum devices.

Comparing Self-Consistent GW and Vertex-Corrected G0W0 (G0W0Γ) Accuracy for Molecular Ionization Potentials

We test the performance of self-consistent GW and several representative implementations of vertex-corrected G0W0 (G0W0Γ). These approaches are tested on benchmark data sets covering full valence spectra (first ionization potentials and some inner valence shell excitations). For small molecules, when comparing against state-of-the-art wave function techniques, our results show that full self-consistency in the GW scheme either systematically outperforms vertex-corrected G0W0 or gives results of at least comparative quality. Moreover, G0W0Γ results in additional computational cost when compared to G0W0 or self-consistent GW. The dependency of G0W0Γ on the starting mean-field solution is frequently more dominant than the magnitude of the vertex correction itself. Consequently, for molecular systems, self-consistent GW performed on the imaginary axis (and then followed by modern analytical continuation techniques) offers a more reliable approach to make predictions of ionization potentials.

Electronic Free Energy Surface of the Nitrogen Dimer Using First-Principles Finite Temperature Electronic Structure Methods

We use full configuration interaction and density matrix quantum Monte Carlo methods to calculate the electronic free energy surface of the nitrogen dimer within the free-energy Born-Oppenheimer approximation. As the temperature is raised from T = 0, we find a temperature regime in which the internal energy causes bond strengthening. At these temperatures, adding in the entropy contributions is required to cause the bond to gradually weaken with increasing temperature. We predict a thermally driven dissociation for the nitrogen dimer between 22,000 to 63,200 K depending on symmetries and basis set. Inclusion of more spatial and spin symmetries reduces the temperature required. The origin of these observations is explored using the structure of the density matrix at various temperatures and bond lengths.

On the Chemical Potential of Many-Body Perturbation Theory in Extended Systems

Finite-temperature many-body perturbation theory in the grand-canonical ensemble is fundamental to numerous methods for computing electronic properties at nonzero temperature, such as finite-temperature coupled-cluster. In most applications it is the average number of electrons that is known rather than the chemical potential. Expensive correlation calculations must be repeated iteratively in search for the interacting chemical potential that yields the desired average number of electrons. In extended systems with mobile charges the situation is particular, however. Long-ranged electrostatic forces drive the charges such that the average ratio of negative and positive charges is one for any finite chemical potential. All properties per electron are expected to be virtually independent of the chemical potential, as they are in an electric wire at different voltage potentials. This work shows that per electron, the exchange-correlation free energy and the exchange-correlation grand potential indeed agree in the infinite-size limit. Thus, only one expensive correlation calculation suffices for each system size, sparing the search for the interacting chemical potential. This work also demonstrates the importance of regularizing the Coulomb interaction such that each electron on average interacts only with as many electrons as there are electrons in the simulation, avoiding interactions with periodic images. Numerical calculations of the warm uniform electron gas have been conducted with the Spencer-Alavi regularization employing the finite-temperature Hartree approximation for the self-consistent field and linearized finite-temperature direct-ring coupled-cluster doubles for treating correlation.

Piecewise Interaction Picture Density Matrix Quantum Monte Carlo

The density matrix quantum Monte Carlo (DMQMC) set of methods stochastically samples the exact $N$-body density matrix for interacting electrons at finite temperature. We introduce a simple modification to the interaction picture DMQMC method (IP-DMQMC) which overcomes the limitation of only sampling one inverse temperature point at a time, instead allowing for the sampling of a temperature range within a single calculation thereby reducing the computational cost. At the target inverse temperature, instead of ending the simulation, we incorporate a change of picture away from the interaction picture. The resulting equations of motion have piecewise functions and use the interaction picture in the first phase of a simulation, followed by the application of the Bloch equation once the target inverse temperature is reached. We find that the performance of this method is similar to or better than the DMQMC and IP-DMQMC algorithms in a variety of molecular test systems.

Quantum algorithms for electronic structures: basis sets and boundary conditions

The advantages of quantum computers are believed to significantly change the research paradigm of chemical and materials sciences, where computational characterization and theoretical design play an increasingly important role. It is especially desirable to solve the electronic structure problem, a central problem in chemistry and materials science, efficiently and accurately with well-designed quantum algorithms. Various quantum electronic-structure algorithms have been proposed in the literature. In this article, we briefly review recent progress in this direction with a special emphasis on the basis sets and boundary conditions. Compared to classical electronic structure calculations, there are new considerations in choosing a basis set in quantum algorithms. For example, the effect of the basis set on the circuit complexity is very important in quantum algorithm design. Electronic structure calculations should be performed with an appropriate boundary condition. Simply using a wave function ansatz designed for molecular systems in a material system with a periodic boundary condition may lead to significant errors. Artificial boundary conditions can be used to partition a large system into smaller fragments to save quantum resources. The basis sets and boundary conditions are expected to play a crucial role in electronic structure calculations on future quantum computers, especially for realistic systems.

Iterative subspace algorithms for finite-temperature solution of Dyson equation

One-particle Green’s functions obtained from the self-consistent solution of the Dyson equation can be employed in the evaluation of spectroscopic and thermodynamic properties for both molecules and solids. However, typical acceleration techniques used in the traditional quantum chemistry self-consistent algorithms cannot be easily deployed for the Green’s function methods because of a non-convex grand potential functional and a non-idempotent density matrix. Moreover, the optimization problem can become more challenging due to the inclusion of correlation effects, changing chemical potential, and fluctuations of the number of particles. In this paper, we study acceleration techniques to target the self-consistent solution of the Dyson equation directly. We use the direct inversion in the iterative subspace (DIIS), the least-squared commutator in the iterative subspace (LCIIS), and the Krylov space accelerated inexact Newton method (KAIN). We observe that the definition of the residual has a significant impact on the convergence of the iterative procedure. Based on the Dyson equation, we generalize the concept of the commutator residual used in DIIS and LCIIS and compare it with the difference residual used in DIIS and KAIN. The commutator residuals outperform the difference residuals for all considered molecular and solid systems within both GW and GF2. For a number of bond-breaking problems, we found that an easily obtained high-temperature solution with effectively suppressed correlations is a very effective starting point for reaching convergence of the problematic low-temperature solutions through a sequential reduction of temperature during calculations.

Exploring Coupled Cluster Green's Function as a Method for Treating System and Environment in Green's Function Embedding Methods

Within the self-energy embedding theory (SEET) framework, we study the coupled cluster Green's function (GFCC) method in two different contexts: as a method to treat either the system or the environment present in the embedding construction. Our study reveals that when GFCC is used to treat the environment we do not see improvement in total energies in comparison to the coupled cluster method itself. To rationalize this puzzling result, we analyze the performance of GFCC as an impurity solver with a series of transition metal oxides. These studies shed light on the strength and weaknesses of such a solver and demonstrate that such a solver gives very accurate results when the size of the impurity is small. We investigate if it is possible to achieve a systematic accuracy of the embedding solution when we increase the size of the impurity problem. We found that in such a case, the performance of the solver worsens, both in terms of finding the ground state solution of the impurity problem and the self-energies produced. We concluded that increasing the rank of GFCC solver is necessary to be able to enlarge impurity problems and achieve a reliable accuracy. We also have shown that natural orbitals from weakly correlated perturbative methods are better suited than symmetrized atomic orbitals (SAO) when the total energy of the system is the target quantity.

Material-Specific Optimization of Gaussian Basis Sets against Plane Wave Data

Since in periodic systems, a given element may be present in different spatial arrangements displaying vastly different physical and chemical properties, an elemental basis set that is independent of physical properties of materials may lead to significant simulation inaccuracies. To avoid such a lack of material specificity within a given basis set, we present a material-specific Gaussian basis optimization scheme for solids, which simultaneously minimizes the total energy of the system and optimizes the band energies when compared to the reference plane wave calculation while taking care of the overlap matrix condition number. To assess this basis set optimization scheme, we compare the quality of the Gaussian basis sets generated for diamond, graphite, and silicon via our method against the existing basis sets. The optimization scheme of this work has also been tested on the existing Gaussian basis sets for periodic systems such as MoS₂ and NiO, yielding improved results.

Finite-temperature many-body perturbation theory for electrons: Algebraic recursive definitions, second-quantized derivation, linked-diagram theorem, general-order algorithms, and grand canonical and canonical ensembles

A comprehensive and detailed account is presented for the finite-temperature many-body perturbation theory for electrons that expands in power series all thermodynamic functions on an equal footing. Algebraic recursions in the style of the Rayleigh-Schrödinger perturbation theory are derived for the grand potential, chemical potential, internal energy, and entropy in the grand canonical ensemble and for the Helmholtz energy, internal energy, and entropy in the canonical ensemble, leading to their sum-over-states analytical formulas at any arbitrary order. For the grand canonical ensemble, these sum-over-states formulas are systematically transformed to sum-over-orbitals reduced analytical formulas by the quantum-field-theoretical techniques of normal-ordered second quantization and Feynman diagrams extended to finite temperature. It is found that the perturbation corrections to energies entering the recursions have to be treated as a nondiagonal matrix, whose off-diagonal elements are generally nonzero within a subspace spanned by degenerate Slater determinants. They give rise to a unique set of linked diagrams-renormalization diagrams-whose resolvent lines are displaced upward, which are distinct from the well-known anomalous diagrams of which one or more resolvent lines are erased. A linked-diagram theorem is introduced that proves the size-consistency of the finite-temperature many-body perturbation theory at any order. General-order algorithms implementing the recursions establish the convergence of the perturbation series toward the finite-temperature full-configuration-interaction limit unless the series diverges. The normal-ordered Hamiltonian at finite temperature sheds light on the relationship between the finite-temperature Hartree-Fock and first-order many-body perturbation theories.

Evaluation of two-particle properties within finite-temperature self-consistent one-particle Green's function methods: Theory and application to GW and GF2

One-particle Green's function methods can model molecular and solid spectra at zero or non-zero temperatures. One-particle Green's functions directly provide electronic energies and one-particle properties, such as dipole moment. However, the evaluation of two-particle properties, such as ⟨S²⟩ and ⟨N²⟩, can be challenging because they require a solution of the computationally expensive Bethe-Salpeter equation to find two-particle Green's functions. We demonstrate that the solution of the Bethe-Salpeter equation can be completely avoided. Applying the thermodynamic Hellmann-Feynman theorem to self-consistent one-particle Green's function methods, we derive expressions for two-particle density matrices in a general case and provide explicit expressions for GF2 and GW methods. Such density matrices can be decomposed into an antisymmetrized product of correlated one-electron density matrices and the two-particle electronic cumulant of the density matrix. Cumulant expressions reveal a deviation from ensemble representability for GW, explaining its known deficiencies. We analyze the temperature dependence of ⟨S²⟩ and ⟨N²⟩ for a set of small closed-shell systems. Interestingly, both GF2 and GW show a non-zero spin contamination and a non-zero fluctuation of the number of particles for closed-shell systems at the zero-temperature limit.

An efficient adaptive variational quantum solver of the Schrödinger equation based on reduced density matrices

Recently, adaptive variational quantum algorithms, e.g., Adaptive Derivative-Assembled Pseudo-Trotter-Variational Quantum Eigensolver (ADAPT-VQE) and Iterative Qubit-Excitation Based-Variational Quantum Eigensolver (IQEB-VQE), have been proposed to optimize the circuit depth, while a huge number of additional measurements make these algorithms highly inefficient. In this work, we reformulate the ADAPT-VQE with reduced density matrices (RDMs) to avoid additional measurement overhead. With Valdemoro's reconstruction of the three-electron RDM, we present a revised ADAPT-VQE algorithm, termed ADAPT-V, without any additional measurements but at the cost of increasing variational parameters compared to the ADAPT-VQE. Furthermore, we present an ADAPT-Vx algorithm by prescreening the anti-Hermitian operator pool with this RDM-based scheme. ADAPT-Vx requires almost the same variational parameters as ADAPT-VQE but a significantly reduced number of gradient evaluations. Numerical benchmark calculations for small molecules demonstrate that ADAPT-V and ADAPT-Vx provide an accurate description of the ground- and excited-state potential energy curves. In addition, to minimize the quantum resource demand, we generalize this RDM-based scheme to circuit-efficient IQEB-VQE algorithm and achieve significant measurement reduction.

Simulating Periodic Systems on a Quantum Computer Using Molecular Orbitals

The variational quantum eigensolver (VQE) is one of the most appealing quantum algorithms to simulate electronic structure properties of molecules on near-term noisy intermediate-scale quantum devices. In this work, we generalize the VQE algorithm for simulating periodic systems. However, the numerical study of a one-dimensional (1D) infinite hydrogen chain using existing VQE algorithms shows a remarkable deviation of the ground-state energy with respect to the exact full configuration interaction (FCI) result. Here, we present two schemes to improve the accuracy of quantum simulations for periodic systems. The first one is a modified VQE algorithm, which introduces a unitary transformation of Hartree-Fock orbitals to avoid the complex wave function. The second one is combining VQE with the quantum subspace expansion approach (VQE/QSE). Numerical benchmark calculations demonstrate that both of the two schemes provide an accurate description of the potential energy curve of the 1D hydrogen chain. In addition, excited states computed with the VQE/QSE approach also agree very well with FCI results.

Finite Temperature Coupled Cluster Theories for Extended Systems

At zero temperature, coupled cluster theories are widely used to predict total energies, ground state expectation values, and even excited states for molecules and extended systems. However, for systems with a small band gap, such as metals, the zero-temperature approximation does not necessarily hold. Thermal effects may even give rise to interesting chemistry on metal surfaces. Most approaches to temperature dependent electronic properties employ finite temperature perturbation theory in the Matsubara frequency formulation. Computations require a large number of Matsubara frequencies to yield sufficiently accurate results, especially at low temperatures. This work, and independently the work of White and Chan J. Chem. Theory Comput. 2018 , DOI: 10.1021/acs.jctc.8b00773 , proposes a coupled cluster implementation directly in the imaginary time domain on the compact interval [0, β], closely related to the thermal cluster cumulant approach of Sanyal et al. [ Chem. Phys. Lett. 1992 , 192 , 55 - 61 ] , Sanyal et al. [ Phys. Rev. E 1993 , 48 , 3373 - 3389 ], and Mandal et al. [ Int. J. Mod. Phys. B 2003 , 17 , 5367 - 5377 ]. Here, the arising imaginary time dependent coupled cluster amplitude integral equations are solved in the linearized direct ring doubles approximation, also referred to as Tamm-Dancoff approximation with second order (linearized) screened exchange. In this framework, the transition from finite to zero temperature is uniform and comes at no extra costs, allowing to go to temperatures as low as room temperature. In this approximation, correlation grand potentials are calculated over a wide range of temperatures for solid lithium, a metallic system, and for solid silicon, a semiconductor.

Spin-Unrestricted Self-Energy Embedding Theory

We present a new theoretical approach, unrestricted self-energy embedding theory (USEET), that is a Green's function embedding theory used to study problems in which an open, embedded system exchanges electrons with the environment. USEET has a high potential to be used in studies of strongly correlated systems with an odd number of electrons and open shell systems such as transition metal complexes important in inorganic chemistry. In this paper, we show that USEET results agree very well with common quantum chemistry methods while avoiding typical bottlenecks present in these methods.

Ground state properties of 3d metals from self-consistent GW approach

The self consistent GW approach (scGW) has been applied to calculate the ground state properties (equilibrium Wigner-Seitz radius S _WZ and bulk modulus B) of 3d transition metals Sc, Ti, V, Fe, Co, Ni, and Cu. The approach systematically underestimates S _WZ with average relative deviation from the experimental data of about 1% and it overestimates the calculated bulk modulus with relative error of about 25%. It is shown that scGW is superior in accuracy as compared to the local density approximation but it is less accurate than the generalized gradient approach for the materials studied. If compared to the random phase approximation, scGW is slightly less accurate, but its error for 3d metals looks more systematic. The systematic nature of the deviation from the experimental data suggests that the next order of the perturbation theory should allow one to reduce the error.

Generalized Self-Energy Embedding Theory

Ab initio quantum chemistry calculations for systems with large active spaces are notoriously difficult and cannot be successfully tackled by standard methods. We generalize a Green's function QM/QM embedding method called self-energy embedding theory (SEET) that has the potential to be successfully employed to treat large active spaces. In generalized SEET, active orbitals are grouped into intersecting groups of a few orbitals, allowing us to perform multiple parallel calculations yielding results comparable to the full active-space treatment. We examine generalized SEET on a series of examples and discuss a hierarchy of systematically improvable approximations.