Renormalization of States and Quasiparticles in Many-body Downfolding (2024)

Annabelle CanestraightDepartment of Chemical Engineering, University of California, Santa Barbara, CA 93106-9510, U.S.A.acanestraight@ucsb.edu  Zhen HuangDepartment of Mathematics, University of California, Berkeley, CA 94720, U.S.A  Vojtech VlcekDepartment of Materials, University of California, Santa Barbara, CA 93106-9510, U.S.A.Department of Chemistry and Biochemistry, University of California, Santa Barbara, CA 93106-9510, U.S.A.

Abstract

We explore the principles of many-body Hamiltonian complexity reduction via downfolding on an effective low-dimensional representation. We present a unique measure of fidelity between the effective (reduced-rank) description and the full many-body treatment for arbitrary (i.e., ground and excited) states. When the entire problem is mapped on a system of interacting quasiparticles [npj Computational Materials 9 (1), 126, 2023], the effective Hamiltonians can faithfully reproduce the physics only when a clear energy scale separation exists between the subsystems and its environment. We also demonstrate that it is necessary to include quasiparticle renormalization at distinct energy scales, capturing the distinct interaction between subsystems and their surrounding environments. Numerical results from simple, exactly solvable models highlight the limitations and strengths of this approach, particularly for ground and low-lying excited states. This work lays the groundwork for applying dynamical downfolding techniques to problems concerned with (quantum) interfaces.

preprint: APS/123-QED

I Introduction

The solution to a strongly correlated electronic structure problem necessitates a simplification. In many practical cases, such as for defects[1, 2] or molecules on surfaces[3, 4, 5, 6], the key properties of interest are associated with only a selected subset of electronic states and excitations. In such cases, it is natural to develop an effective, or “downfolded,” representation of the original problem in which the dimensionality is greatly reduced: the subsystem of interest is treated with a high-level theory, while the latter is approximated or treated using a mean-field or level of theory [7, 2, 8, 9, 10]. Such partitioning has a long tradition in quantum chemistry literature [11, 12, 13]. The key question remains how to systematically develop such an effective Hamiltonian[14, 15, 16, 17, 18].

In the condensed matter literature, it is typical to focus on the two-body interactions and their renormalization based on the Constrained Random Phase Approximation (cRPA) [19, 20, 21, 22, 23, 24, 25]. Further, the renormalization is often taken in the static limit[2], although a fully dynamical representation has been shown to significantly affect the results[26, 27, 28]. Recently, alternative quantum chemistry approaches have been developed employing renormalization based on similarity transformation also yielding static Hamiltonians [29, 30, 31, 32, 33, 34, 35]. An alternative, which we will explore here in more detail, is to approximate the problem by a set of interacting quasiparticles (QPs), i.e., renormalized electrons, within the subspace of interest. This was termed the dynamical downfolding in [1]. In this approach, we define the renormalization of the electron energies (and their interactions) through solving a complementary set of one and two-body propagator problems[1]. Such renormalizations can be computed efficiently within many-body perturbation theory even for large systems[36, 37]. The application to the negatively charged nitrogen-vacancy defect center in diamond [1] successfully reproduced its excitation energies known experimentally even with extremely small “active space.” Yet, it is not clear a priori whether such a compression correctly captures the nature of the excitations (beyond their energy scales) and how to define the subsystem QPs for the cases when the particles can dissipate energy in the subsystem.

Here, we provide a conceptual analysis of the downfolding procedure based on Hamiltonian compression and explore the QP couplings between the subsystem and the environment (the rest of the system). We illustrate these concepts on simplified, exactly solvable problems. Both analyses show that faithful downfolding on a set of interacting QPs requires a separation of energy scales between the subsystem and the environment and electron localization within the subsystem of interest. Both steps confirm that such an approach is suitable for e.g., quantum defects with excitations within a gap of the rest of the system.

This paper is organized as follows: in Section II, we analyze exact many-body Hamiltonian downfolding using the Schur complement to establish a measure for the fidelity of this compressed representation. We demonstrate that in the context of many-body representation, the renormalization has a definite meaning relating the subspace solution to the full many-body wavefunction. Next, we analyze the use of single-particle Green’s function (GF) to define a renormalized effective one-particle terms of the subspace Hamiltonian. In contrast to the original proposition[1], we show that it is critical to include not only the single QP solutions, but also all “satellites” that capture the effective coupling to the rest of the system and hence provide further information about the renormalization by the environment.

II Exact Many-Body Downfolding: The Schur Complement

We assume that the system Hamiltonian is partitioned into a block structure consisting of a subspace of interest, represented by 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, and a rest space characterized by 𝐇2subscript𝐇2\mathbf{H}_{2}bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. These are coupled by off-diagonal blocks 𝐂𝐂\mathbf{C}bold_C. The corresponding states are represented as tensor products of ψjsubscript𝜓𝑗\psi_{j}italic_ψ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT representing particular configurations in each subspace. In this context a particular choice of partitioning is such that 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT act on all configurations in the subspace of interest while the rest space is kept in a single selected configuration, e.g., in its ground state provided that the rest space excitations are energetically well separated. The particular choice of the partitioning determines the role of the downfolding and its physical interpretation discussed in next sections. The stationary states of the total system Hamiltonian and their energies thus constitute an eigenvalue problem:

[𝐇1𝐂𝐂𝐇2][ψ1ψ2]=ε[ψ1ψ2]matrixsubscript𝐇1𝐂superscript𝐂subscript𝐇2matrixsubscript𝜓1subscript𝜓2𝜀matrixsubscript𝜓1subscript𝜓2\begin{bmatrix}\mathbf{H}_{1}&\mathbf{C}\\\mathbf{C}^{\dagger}&\mathbf{H}_{2}\end{bmatrix}\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}=\varepsilon\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}[ start_ARG start_ROW start_CELL bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL bold_C end_CELL end_ROW start_ROW start_CELL bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] = italic_ε [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ](1)

where ε𝜀\varepsilonitalic_ε is the eigenstate energy.

In the context of downfolding, we seek to determine the energies of the stationary states by focusing only on a selected subspace of interest ( 𝐇𝟏subscript𝐇1\mathbf{H_{1}}bold_H start_POSTSUBSCRIPT bold_1 end_POSTSUBSCRIPT), which does not contain a portion of the eigenvector (in the rest space spanned by ψ2subscript𝜓2\psi_{2}italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT). We thus introduce a renormalized (low dimensional) effective Hamiltonian employing on the Schur complement of the rest space

𝐇eff(ω)=𝐇1+𝐂(𝐈ω𝐇2)1𝐂=𝐇1+𝚺S(ω),subscript𝐇eff𝜔subscript𝐇1𝐂superscript𝐈𝜔subscript𝐇21superscript𝐂subscript𝐇1superscript𝚺S𝜔\mathbf{H}_{\rm eff}(\omega)=\mathbf{H}_{1}+\mathbf{C}(\mathbf{I}\omega-%\mathbf{H}_{2})^{-1}\mathbf{C}^{\dagger}=\mathbf{H}_{1}+\mathbf{\Sigma}^{\rm S%}(\omega),bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ) = bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_C ( bold_I italic_ω - bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT = bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ) ,(2)

where we introduce 𝚺S(ω)superscript𝚺S𝜔\mathbf{\Sigma}^{\rm S}(\omega)bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ), as the “self-energy” that renormalizes terms in the 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT block. The reduced dimensionality translates Eq.1 to a non-linear eigenvalue problem (in ω)\omega)italic_ω ) acting only on ψ1subscript𝜓1\psi_{1}italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT space. Such a partitioning and renormalization has been explored in the past by Lowdin [12, 11], as well as in the context of the renormalization group [38, Chap. 24].

In principle, ΣSsuperscriptΣ𝑆\Sigma^{S}roman_Σ start_POSTSUPERSCRIPT italic_S end_POSTSUPERSCRIPThas a pole structure determined by the rest space (𝐇𝟐subscript𝐇2\mathbf{H_{2}}bold_H start_POSTSUBSCRIPT bold_2 end_POSTSUBSCRIPT). If the matrix (𝐈ω𝐇2)𝐈𝜔subscript𝐇2(\mathbf{I}\omega-\mathbf{H}_{2})( bold_I italic_ω - bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) is invertible for all values of ω𝜔\omegaitalic_ω, the non-linear eigenvalue problem w=Heff(w)𝑤subscript𝐻eff𝑤w=H_{\rm eff}(w)italic_w = italic_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_w )can be solved to find every eigenvalue of the full matrix in Eq. 1 [11, 39].

This solution is demonstrated by the red point on the blue curve of Fig. 1. There is, however, not a unique way to generate an effective Hamiltonian with these eigenvalues, since it is based on an arbitrary choice of 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, however, physical interpretation of the self-energy is dependent on the basis. Even if all the eigenvalues (or at least those of interest, e.g., the lowest lying ones) are obtained, the corresponding eigenvectors rely on the underlying choice of the subspace. For instance, when the matrix is partitioned into two subspaces, the eigenvectors of 𝐇effsubscript𝐇eff\mathbf{H}_{\rm eff}bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT naturally do not contain the entanglement between the spaces that may be seen in full eigenvector. In this scenario, the fixed point solution provides meaningful eigenvalues but the eigenvectors of 𝐇effsubscript𝐇eff\mathbf{H}_{\rm eff}bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT do not faithfully represent physical interpretation found in the eigenstates of 𝐇𝐇\mathbf{H}bold_H.

In the remainder of this section, we will demonstrate that the structure of self-energy, which renormalizes 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, is used to draw a connection between the full many-body eigenstates and the eigenvectors of the effective (renormalized) Hamiltonian, i.e., it provides a direct access to the degree of separability between the subspaces. In Section II.1, we will derive the mathematical relationship between the eigenstates of 𝐇𝐇\mathbf{H}bold_H and 𝐇eff(ω)subscript𝐇eff𝜔\mathbf{H}_{\rm eff}(\omega)bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ). Following this derivation in Section II.2, we will demonstrate the relationship in a numerical proof, as well as discussing how this math can be interpreted physically in the case of a many-body Hamiltonian. Most importantly, we show that the relation between the exact eigenstates and the subspace eigenvectors is established merely from the knowledge of renormalized subspace, i.e., without the need to evaluate the full system Hamiltonian.

II.1 Physical Interpretation of the Eigenvectors

We will first derive the relation of the eigenvectors of the subspace and the stationary states of the full Hamiltonian. The eigenvectors of the Hamiltonian carry a critical information identifying the particular types of excitations associated with each stationary state, characterized by its energy ε𝜀\varepsilonitalic_ε, in Eq.1. Therefore, it is essential to the physical interpretation of a downfolded Hamiltonian that this relationship is understood. Here, we will demonstrate that such information about the full eigenvectors can be constructed from the knowledge of 𝐇eff(ω)subscript𝐇eff𝜔\mathbf{H}_{\rm eff}(\omega)bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ) alone.

We begin by considering the degree of renormalization of a given eigenvalue, which is associated with the magnitude of the self-energy at the fixed point solution. In analogy to the single QP picture [40] the typical measure is the “renormalization factor” representing the residue of the Schur complement.

Zisubscript𝑍𝑖\displaystyle Z_{i}italic_Z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT=(1ωψi|𝐇eff(ω)|ψi|ω=εi)1\displaystyle=\left(1-\partial_{\omega}\left\langle\psi_{i}|\mathbf{H}_{\rm eff%}(\omega)|\psi_{i}\right\rangle\middle|_{\omega=\varepsilon_{i}}\right)^{-1}= ( 1 - ∂ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ⟨ italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ) | italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ | start_POSTSUBSCRIPT italic_ω = italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT
=(1ωψi|𝚺S(ω)|ψi|ω=εi)1.absentsuperscript1evaluated-atsubscript𝜔quantum-operator-productsubscript𝜓𝑖superscript𝚺S𝜔subscript𝜓𝑖𝜔subscript𝜀𝑖1\displaystyle=\left(1-\partial_{\omega}\left\langle\psi_{i}|\mathbf{\Sigma}^{%\rm S}(\omega)|\psi_{i}\right\rangle|_{\omega=\varepsilon_{i}}\right)^{-1}.= ( 1 - ∂ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ⟨ italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ) | italic_ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ | start_POSTSUBSCRIPT italic_ω = italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT .(3)

Here, Zisubscript𝑍𝑖Z_{i}italic_Z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is a scalar corresponding to the ithsuperscript𝑖thi^{\rm th}italic_i start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT eigenvalue of the Hamiltonian. The “Z𝑍Zitalic_Z Factor” is evaluated from the slope of the self-energy Σ(ω)Σ𝜔\Sigma(\omega)roman_Σ ( italic_ω ) when the frequency is equal to the eigenvalue εisubscript𝜀𝑖\varepsilon_{i}italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (demonstrated by the dashed, grey tangent-line in Fig. 1.

Renormalization of States and Quasiparticles in Many-body Downfolding (1)

The renormalization factor has been defined in the downfolding of a single-particle Hamiltonian, and we interpret it likewise for a many-body Hamiltonian. While it is well understood in the context of eigenvalue renormalization, we will now show how an analytical relationship between the eigenvector of the full Hamiltonian and the eigenvectors of 𝐇effsubscript𝐇eff\mathbf{H}_{\rm eff}bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is found to be given by Z𝑍Zitalic_Z.

We consider a matrix of the following form:

𝐇(ω)=[𝐇1ω𝐈𝐂𝐂𝐇2ω𝐈]𝐇𝜔matrixsubscript𝐇1𝜔𝐈𝐂superscript𝐂subscript𝐇2𝜔𝐈\mathbf{H}(\omega)=\begin{bmatrix}\mathbf{H}_{1}-\omega\mathbf{I}&\mathbf{C}\\\mathbf{C}^{\dagger}&\mathbf{H}_{2}-\omega\mathbf{I}\end{bmatrix}bold_H ( italic_ω ) = [ start_ARG start_ROW start_CELL bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω bold_I end_CELL start_CELL bold_C end_CELL end_ROW start_ROW start_CELL bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I end_CELL end_ROW end_ARG ](4)

Note that H(ε)|ψ=0𝐻𝜀ket𝜓0H{(\varepsilon)}|\psi\rangle=0italic_H ( italic_ε ) | italic_ψ ⟩ = 0 is equivalent to the original many-body eigenvalue problem (1).

The effective Hamiltonian 𝐇eff(ω)subscript𝐇eff𝜔\mathbf{H}_{\text{eff}}(\omega)bold_H start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ( italic_ω ) (2) appears naturally if we perform the following matrix equivalence transformation of H(ω)𝐻𝜔H(\omega)italic_H ( italic_ω ):

𝐇~=[𝐈1𝐂(𝐇2ω𝐈)10𝐈2][𝐇1ω𝐈𝐂𝐂𝐇2ω𝐈][𝐈10(𝐇2ω𝐈)1𝐂𝐈2]=[𝐇1ω𝐈𝐂(𝐇2ω𝐈)1𝐂00𝐇2]=[𝐇eff(ω)ω𝐈00𝐇2]~𝐇matrixsubscript𝐈1𝐂superscriptsubscript𝐇2𝜔𝐈10subscript𝐈2matrixsubscript𝐇1𝜔𝐈𝐂superscript𝐂subscript𝐇2𝜔𝐈matrixsubscript𝐈10superscriptsubscript𝐇2𝜔𝐈1superscript𝐂subscript𝐈2matrixsubscript𝐇1𝜔𝐈𝐂superscriptsubscript𝐇2𝜔𝐈1superscript𝐂00subscript𝐇2delimited-[]subscript𝐇eff𝜔𝜔𝐈00subscript𝐇2\begin{split}\tilde{\mathbf{H}}=\begin{bmatrix}\mathbf{I}_{1}&-\mathbf{C}(%\mathbf{H}_{2}-\omega\mathbf{I})^{-1}\\0&\mathbf{I}_{2}\end{bmatrix}\begin{bmatrix}\mathbf{H}_{1}-\omega\mathbf{I}&%\mathbf{C}\\\mathbf{C}^{\dagger}&\mathbf{H}_{2}-\omega\mathbf{I}\end{bmatrix}\begin{%bmatrix}\mathbf{I}_{1}&0\\-(\mathbf{H}_{2}-\omega\mathbf{I})^{-1}\mathbf{C}^{\dagger}&\mathbf{I}_{2}\end%{bmatrix}=\begin{bmatrix}\mathbf{H}_{1}-\omega\mathbf{I}-\mathbf{C}(\mathbf{H}%_{2}-\omega\mathbf{I})^{-1}\mathbf{C}^{\dagger}&0\\0&\mathbf{H}_{2}\end{bmatrix}\\=\left[\begin{array}[]{cc}\mathbf{H}_{\text{eff}}(\omega)-\omega\mathbf{I}&0\\0&\mathbf{H}_{2}\end{array}\right]\end{split}start_ROW start_CELL over~ start_ARG bold_H end_ARG = [ start_ARG start_ROW start_CELL bold_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL - bold_C ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL bold_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω bold_I end_CELL start_CELL bold_C end_CELL end_ROW start_ROW start_CELL bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL bold_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL - ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL bold_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] = [ start_ARG start_ROW start_CELL bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω bold_I - bold_C ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] end_CELL end_ROW start_ROW start_CELL = [ start_ARRAY start_ROW start_CELL bold_H start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ( italic_ω ) - italic_ω bold_I end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ] end_CELL end_ROW(5)

We can see there is a self-energy, 𝚺(ω)=𝐂(𝐇2ω𝐈)1𝐂.𝚺𝜔𝐂superscriptsubscript𝐇2𝜔𝐈1superscript𝐂\mathbf{\Sigma}(\omega)=\mathbf{C}(\mathbf{H}_{2}-\omega\mathbf{I})^{-1}%\mathbf{C}^{\dagger}.bold_Σ ( italic_ω ) = bold_C ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT .

Conceptually, the downfolding procedure encodes the information about the entire system into the subspace of 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and the problem is thus represented in two equivalent ways as:

𝐇[ψ1ψ2]=0𝐇matrixsubscript𝜓1subscript𝜓20\displaystyle\mathbf{H}\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}=0bold_H [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] = 0𝐇~[ϕ10]=0~𝐇matrixsubscriptitalic-ϕ100\displaystyle\tilde{\mathbf{H}}\begin{bmatrix}\phi_{1}\\0\end{bmatrix}=0over~ start_ARG bold_H end_ARG [ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL end_ROW end_ARG ] = 0(6)

This is consistent with the fact that the eigenvectors of the effective Hamiltonian H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG span a subspace that is orthogonal to the ψ2subscript𝜓2\psi_{2}italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT components.

Given the form of the transformation in Eq. 5, the eigenvectorsΨi=[ψ1ψ2]isubscriptΨ𝑖subscriptmatrixsubscript𝜓1subscript𝜓2𝑖\Psi_{i}=\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}_{i}roman_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Φi=[ϕ10]isubscriptΦ𝑖subscriptmatrixsubscriptitalic-ϕ10𝑖\Phi_{i}=\begin{bmatrix}\phi_{1}\\0\end{bmatrix}_{i}roman_Φ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = [ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are related by the following transformation[13]:

[ψ1ψ2]i[𝐈10(𝐇2εiI)1𝐂𝐈2][ϕ10]i=[ϕ1(𝐇2εi𝐈)1𝐂ϕ1]iproportional-tosubscriptmatrixsubscript𝜓1subscript𝜓2𝑖matrixsubscript𝐈10superscriptsubscript𝐇2subscript𝜀𝑖𝐼1superscript𝐂subscript𝐈2subscriptmatrixsubscriptitalic-ϕ10𝑖subscriptmatrixsubscriptitalic-ϕ1superscriptsubscript𝐇2subscript𝜀𝑖𝐈1superscript𝐂subscriptitalic-ϕ1𝑖\begin{split}\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}_{i}\propto\begin{bmatrix}\mathbf{I}_{1}&0\\-(\mathbf{H}_{2}-\varepsilon_{i}I)^{-1}\mathbf{C}^{\dagger}&\mathbf{I}_{2}\end%{bmatrix}\begin{bmatrix}\phi_{1}\\0\end{bmatrix}_{i}\\=\begin{bmatrix}\phi_{1}\\-(\mathbf{H}_{2}-\varepsilon_{i}\mathbf{I})^{-1}\mathbf{C}^{\dagger}\phi_{1}%\end{bmatrix}_{i}\end{split}start_ROW start_CELL [ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∝ [ start_ARG start_ROW start_CELL bold_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL - ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL bold_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL = [ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_CELL end_ROW(7)

𝐇𝐇\mathbf{H}bold_H and 𝐇effsubscript𝐇eff\mathbf{H}_{\rm eff}bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT are both hermitian matrices with stationary eigenstates that must normalized to 1.Consequently, we must normalize ψ𝜓\psiitalic_ψ:

[|ψ1|ψ2]i=ci[𝐈00(𝐇2εi𝐈)1𝐂][ϕ1ϕ1],ci=11+ϕ1|C(H2εiI)2C|ϕ1,formulae-sequencesubscriptmatrixketsubscript𝜓1ketsubscript𝜓2𝑖subscript𝑐𝑖matrix𝐈00superscriptsubscript𝐇2subscript𝜀𝑖𝐈1superscript𝐂matrixsubscriptitalic-ϕ1subscriptitalic-ϕ1subscript𝑐𝑖11quantum-operator-productsubscriptitalic-ϕ1CsuperscriptsubscriptH2subscript𝜀𝑖I2superscriptCsubscriptitalic-ϕ1\displaystyle\begin{split}\begin{bmatrix}|\psi_{1}\rangle\\|\psi_{2}\rangle\end{bmatrix}_{i}=c_{i}\begin{bmatrix}\mathbf{I}&0\\0&-(\mathbf{H}_{2}-\varepsilon_{i}\mathbf{I})^{-1}\mathbf{C}^{\dagger}\end{%bmatrix}\begin{bmatrix}\phi_{1}\\\phi_{1}\end{bmatrix},\\c_{i}=\frac{1}{\sqrt{1+\langle\phi_{1}|\textbf{C}(\textbf{H}_{2}-\varepsilon_{%i}\textbf{I})^{-2}\textbf{C}^{\dagger}|\phi_{1}\rangle}},\end{split}start_ROW start_CELL [ start_ARG start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ end_CELL end_ROW start_ROW start_CELL | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ end_CELL end_ROW end_ARG ] start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT [ start_ARG start_ROW start_CELL bold_I end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL - ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_I ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , end_CELL end_ROW start_ROW start_CELL italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 1 + ⟨ italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | C ( H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT I ) start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ end_ARG end_ARG , end_CELL end_ROW(8)

Given the 2 sets of eigenvectors[ψ1ψ2]matrixsubscript𝜓1subscript𝜓2\begin{bmatrix}\psi_{1}\\\psi_{2}\end{bmatrix}[ start_ARG start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ], which belong to the full Hamiltonian and [ϕ10]matrixsubscriptitalic-ϕ10\begin{bmatrix}\phi_{1}\\0\end{bmatrix}[ start_ARG start_ROW start_CELL italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL end_ROW end_ARG ], belonging to the effective Hamiltonian, we can measure their similarity through their inner product. This yields the following relationship between the two sets of eigenvectors, where i𝑖iitalic_i indexes over the individual eigenstates of both Hamiltonians.

Zi=|Φi|Ψi|2=|ci|2=11+ϕ1,i|𝐂(𝐇2εi𝐈)2𝐂|ϕ1,isubscript𝑍𝑖superscriptinner-productsubscriptΦ𝑖subscriptΨ𝑖2superscriptsubscript𝑐𝑖211quantum-operator-productsubscriptitalic-ϕ1𝑖𝐂superscriptsubscript𝐇2subscript𝜀𝑖𝐈2superscript𝐂subscriptitalic-ϕ1𝑖Z_{i}=|\langle\Phi_{i}|\Psi_{i}\rangle|^{2}=|c_{i}|^{2}=\frac{1}{1+\langle\phi%_{1,i}|\mathbf{C}\left(\mathbf{H}_{2}-\varepsilon_{i}\mathbf{I}\right)^{-2}%\mathbf{C}^{\dagger}|\phi_{1,i}\rangle}italic_Z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = | ⟨ roman_Φ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = | italic_c start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 1 + ⟨ italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT | bold_C ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_I ) start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT ⟩ end_ARG(9)

By inspection, we can see that the overlap of the eigenvectors is a function of the derivative of the Schur self-energy with respect to ω𝜔\omegaitalic_ω.

ωϕ1,i|𝚺S(ω)|ϕ1,i=ϕ1,i|𝐂(𝐇2ω𝐈)2𝐂|ϕ1,isubscript𝜔quantum-operator-productsubscriptitalic-ϕ1𝑖superscript𝚺S𝜔subscriptitalic-ϕ1𝑖quantum-operator-productsubscriptitalic-ϕ1𝑖𝐂superscriptsubscript𝐇2𝜔𝐈2superscript𝐂subscriptitalic-ϕ1𝑖\partial_{\omega}\langle\phi_{1,i}|\mathbf{\Sigma}^{\rm S}(\omega)|\phi_{1,i}%\rangle=\langle\phi_{1,i}|\mathbf{C}(\mathbf{H}_{2}-\omega\mathbf{I})^{-2}%\mathbf{C}^{\dagger}|\phi_{1,i}\rangle∂ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ⟨ italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT | bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ) | italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT ⟩ = ⟨ italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT | bold_C ( bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω bold_I ) start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT bold_C start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT ⟩(10)

Note that |ϕ1,iketsubscriptitalic-ϕ1𝑖|\phi_{1,i}\rangle| italic_ϕ start_POSTSUBSCRIPT 1 , italic_i end_POSTSUBSCRIPT ⟩ also depends on ω𝜔\omegaitalic_ω, and Eq. 10 holds due to Hellman-Feynman theorem [41].Substituting this into Eq. 9, we see that this overlap is the same as the Z𝑍Zitalic_Z factor, i.e., the slope of the self-energy at the fixed point solution. The difference between the true eigenvector of Eq. 1 and the eigenvector of the effective Hamiltonian is thus given by the renormalization factor alone.

In fact, Eq.8 reveals that the unknown part of the full eigenvector is constructed directly from the knowledge of the spectral decomposition of Heffsubscript𝐻effH_{\rm eff}italic_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT (i.e., from ϕ1subscriptitalic-ϕ1\phi_{1}italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and the self-energy). Indeed, the remaining component |ψ2i=𝐂1𝚺(εi)|ϕ1isubscriptketsubscript𝜓2𝑖superscript𝐂1𝚺subscript𝜀𝑖subscriptketsubscriptitalic-ϕ1𝑖|\psi_{2}\rangle_{i}=\mathbf{C}^{-1}\mathbf{\Sigma}(\varepsilon_{i})|\phi_{1}%\rangle_{i}| italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = bold_C start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_Σ ( italic_ε start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) | italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT which requires the knowledge of only the Schur complement and the coupling block. One can use these to evaluate any expectation value OR=ψ2|O^|ψ2subscriptdelimited-⟨⟩𝑂𝑅quantum-operator-productsubscript𝜓2^𝑂subscript𝜓2\langle O\rangle_{R}=\left\langle\psi_{2}|\hat{O}|\psi_{2}\right\rangle⟨ italic_O ⟩ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ⟨ italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | over^ start_ARG italic_O end_ARG | italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ for the rest-space. For large systems, this can not be done exactly, however, in cases where the action of the Schur complement and the coupling block are reliably approximated, these expectation values can be estimated. We do not utilize this reconstruction further here, although future work will explore this relation further.

Renormalization of States and Quasiparticles in Many-body Downfolding (2)

As mentioned earlier, the choice of partitioning can generally be arbitrary. For some choices of the subspace Hamiltonian, however, the problem is not invertible (as the particular ε𝜀\varepsilonitalic_ε is an eigenvalue of 𝐇2subscript𝐇2\mathbf{H}_{2}bold_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT). 𝐂𝐂\mathbf{C}bold_C is then sparse and does couple all excitations in the rest space to 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. In other words, the ithsuperscript𝑖thi^{\rm th}italic_i start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT eigenvector of the full Hamiltonian is entirely orthogonal to the states of the downfolded subspace and Zi=0subscript𝑍𝑖0Z_{i}=0italic_Z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0. As a result, there are fewer poles in the self-energy ΣS(ω)superscriptΣS𝜔\Sigma^{\rm S}(\omega)roman_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ), and the fixed point solution to 𝐇eff(ω)subscript𝐇eff𝜔\mathbf{H}_{\rm eff}(\omega)bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ) will miss such eigenvalues of the original problem[11]. In the rest of this paper, we will assume that all eigenvalues are accessible, in principle. This is accomplished, for instance, by employing a random congruent transform of the basis, as shown in the next subsection. Through this unitary transformation all eigenvalues are preserved, and it is unlikely that any eigenvector is orthogonal to the downfolded subspace. In practice this yields Zi>0,isubscript𝑍𝑖0for-all𝑖Z_{i}>0,\quad\forall iitalic_Z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT > 0 , ∀ italic_i.

II.2 Numerical example and Physical Interpretation of Exact Downfolding

To this point, the mathematics and interpretation has been general to any Hamiltonian or matrix. The choice of downfolding, however, leads to unique interpretations of a many-body problem. In this subsection, we will analyze the particular consequences of the exact downfolding procedure for the physical interpretation of interactions in a many-body system. Without loss of generality, we consider a Hamiltonian of the following form:

𝐇^=i,j,σtijc^iσc^jσ+12i,j,σ,σUijc^iσc^iσc^jσc^jσ^𝐇subscript𝑖𝑗𝜎subscript𝑡𝑖𝑗superscriptsubscript^𝑐𝑖𝜎subscript^𝑐𝑗𝜎12subscript𝑖𝑗𝜎superscript𝜎subscript𝑈𝑖𝑗superscriptsubscript^𝑐𝑖superscript𝜎subscript^𝑐𝑖superscript𝜎superscriptsubscript^𝑐𝑗𝜎subscript^𝑐𝑗𝜎\hat{\mathbf{H}}=-\sum_{i,j,\sigma}t_{ij}\hat{c}_{i\sigma}^{\dagger}\hat{c}_{j%\sigma}+\frac{1}{2}\sum_{i,j,\sigma,\sigma^{\prime}}U_{ij}\hat{c}_{i\sigma^{%\prime}}^{\dagger}\hat{c}_{i\sigma^{\prime}}\hat{c}_{j\sigma}^{\dagger}\hat{c}%_{j\sigma}over^ start_ARG bold_H end_ARG = - ∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_σ end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_σ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_σ , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_U start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_σ end_POSTSUBSCRIPT(11)

Here, tijsubscript𝑡𝑖𝑗t_{ij}italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT represents the one-body terms (both on-site and inter-site, or “hopping” amplitudes), and Uijsubscript𝑈𝑖𝑗U_{ij}italic_U start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT are the two-body (long-range) density-density interaction terms. This Hamiltonian acts on a basis of configuration states, which can be represented as product states of a subsystem of interest and its environment.

In Fig. 2, we demonstrate the fixed point solution for a example Hamiltonian in multiple bases: one of many-body configurations and one stochastic basis, where each state is a random linear combination of configuration states. In Fig.2a, we show the fixed point solution in the configuration basis, where some ED eigenvalues (red points) do not correspond to a fixed point solution and are lost by downfolding. This means that the excitation is in the orthogonal subspace. We then use a random congruent transform to change the basis of this matrix, and we partition it again into subspace and rest-space blocks. In Fig2b more poles are introduced to 𝚺S(ω)superscript𝚺S𝜔\mathbf{\Sigma}^{\rm S}(\omega)bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT ( italic_ω ) and all of eigenvalues can be found by fixed point solution. Using these 2 sets, we give a numerical proof of the Z𝑍Zitalic_Z factor in Eq. 9 by computing both the slope and the overlap of the eigenvectors. In Fig.2c it is shown that in both bases, all solutions follow the established relationship, although they arise from different partitioning.

Although we have shown that the choice of basis can guarantee all eigenvalues of the original Hamiltonian can be found, we will now choose to work in a basis where each element of 𝚺Ssuperscript𝚺S\mathbf{\Sigma}^{\rm S}bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT can be clearly interpreted as the renormalization of an individual term of the extended Hubbard Hamiltonian. In this basis, some excitations confined to the ψ2subscript𝜓2\psi_{2}italic_ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT subspace are missing, however, we chose our subspace such that the select solutions are guaranteed to be present.

The physical interpretation of the excitations depends strongly on the form of the the effective Hamiltonian (i.e., the choice of the downfolding subspace and basis). For instance, even when the full Hamiltonian matrix is sparse and contains only diagonal density-density interactions and single particle hopping terms, the its compressed version is does not preserve the original sparsity as the Schur complement constructed from this matrix is dense. The renormalized Hamiltonian contains entries that can be interpreted as two-body interactions beyond density-density terms.

Similarly ambiguity arises in the diagonal terms of the matrix where, in a basis of configuration states, the effect of the Schur complement can be equivalently thought of as renormalization of the one-body on-site potential or of the density-density Hartree term. Therefore, in the basis of configurations, we can (arbitrarily) define 𝚺Ssuperscript𝚺S\mathbf{\Sigma^{\rm S}}bold_Σ start_POSTSUPERSCRIPT roman_S end_POSTSUPERSCRIPT to renormalize each of the individual one-body and two-body interactions in 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT.

In practice, we aim for a partitioning defined either energetically (e.g., on the low energy sector) or spatially (on selected sites).

While the subspace is spanned by all configurations of the subsystem, the environment is held in a fixed configuration (or a selected small number of them). The rest-space contains (in principle) all of the remaining configurations of the environment. Generally, downfolding is performed in a basis where that spans multiple configurations of the subspace of interest, but fixes the environment to be in its ground state [1, 14, 35, 29] In this work, we will downfold on such states of the form

|ΨN=|SiN|R0NketsuperscriptΨ𝑁tensor-productketsubscriptsuperscript𝑆𝑁𝑖ketsuperscriptsubscript𝑅0𝑁|\Psi^{N}\rangle=|S^{N}_{i}\rangle\otimes|R_{0}^{N}\rangle| roman_Ψ start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩ = | italic_S start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ ⊗ | italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩(12)

where both subsystems have a conserved number of particles, and the environment, R𝑅Ritalic_R, is in its ground state, while the subsystem of interest, S𝑆Sitalic_S can span all configurations.

Downfolding is typically thought of as a renormalization of one and/or two-body terms by the environment [19, 20, 21, 22, 23, 24, 25, 1, 2, 26, 27, 28]. When the downfolding subspace is in a configuration basis, the Schur complement gives the renormalization of individual one and two-body terms, and the effective Hamiltonian takes the following form:

𝐇~1=i,j,σt~ijc^iσc^jσ+12i,j,k,l,σ,σU~ijklc^iσc^jσc^kσc^lσsubscript~𝐇1subscript𝑖𝑗𝜎subscript~𝑡𝑖𝑗superscriptsubscript^𝑐𝑖𝜎subscript^𝑐𝑗𝜎12subscript𝑖𝑗𝑘𝑙𝜎superscript𝜎subscript~𝑈𝑖𝑗𝑘𝑙superscriptsubscript^𝑐𝑖superscript𝜎subscript^𝑐𝑗superscript𝜎superscriptsubscript^𝑐𝑘𝜎subscript^𝑐𝑙𝜎\tilde{\mathbf{H}}_{1}=-\sum_{i,j,\sigma}\tilde{t}_{ij}\hat{c}_{i\sigma}^{%\dagger}\hat{c}_{j\sigma}+\frac{1}{2}\sum_{i,j,k,l,\sigma,\sigma^{\prime}}%\tilde{U}_{ijkl}\hat{c}_{i\sigma^{\prime}}^{\dagger}\hat{c}_{j\sigma^{\prime}}%\hat{c}_{k\sigma}^{\dagger}\hat{c}_{l\sigma}over~ start_ARG bold_H end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - ∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_σ end_POSTSUBSCRIPT over~ start_ARG italic_t end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_σ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_i , italic_j , italic_k , italic_l , italic_σ , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over~ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_i italic_j italic_k italic_l end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_k italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_l italic_σ end_POSTSUBSCRIPT(13)

Here, t~ijsubscript~𝑡𝑖𝑗\tilde{t}_{ij}over~ start_ARG italic_t end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT of the effective Hamiltonian contains an additional self-energy correction (ΣijenvsubscriptsuperscriptΣenv𝑖𝑗\Sigma^{\rm env}_{ij}roman_Σ start_POSTSUPERSCRIPT roman_env end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT)from the rest-space on which 𝐇~~𝐇\tilde{\mathbf{H}}over~ start_ARG bold_H end_ARG does not act explicitly.

t~ij=tij+Σijenvsubscript~𝑡𝑖𝑗subscript𝑡𝑖𝑗subscriptsuperscriptΣenv𝑖𝑗\tilde{t}_{ij}=t_{ij}+\Sigma^{\rm env}_{ij}over~ start_ARG italic_t end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_t start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + roman_Σ start_POSTSUPERSCRIPT roman_env end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT(14)

Further, in this basis, where the matrix has been partitioned such that the downfolding subspace contains only variations of the subsystem of interest, the many body renormalization factor Z𝑍Zitalic_Z gives a measure of how well an excitation is contained within that subsystem. In many approximate downfolding methods, a large Hamiltonian is mapped onto a single static matrix of a smaller dimension. The eigenstates correspond to the true many-body states when Z1𝑍1Z\approx 1italic_Z ≈ 1, meaning the excitation is well contained in the downfolding subspace. For a system where the subsystem and environment are energetically degenerate, such clear separation obviously fails. In figure 3, we numerically show this to be true by performing the exact downfolding on a model system where the energy separation between the subsystem and environment is varied:

Renormalization of States and Quasiparticles in Many-body Downfolding (3)

In Fig. 3 the color of each spectral line gives the Z𝑍Zitalic_Z factor for each of the eigenstates. In Fig 3a , we see that for no energy separation (tenv=1superscript𝑡𝑒𝑛𝑣1t^{env}=1italic_t start_POSTSUPERSCRIPT italic_e italic_n italic_v end_POSTSUPERSCRIPT = 1) that rather that there are >4absent4>4> 4 eigenvalues and some are split between 2 values with nearly equal Z𝑍Zitalic_Z factor. As tenvsuperscript𝑡𝑒𝑛𝑣t^{env}italic_t start_POSTSUPERSCRIPT italic_e italic_n italic_v end_POSTSUPERSCRIPT is increased and we move across the plot, these split values move apart and one takes on a larger Z𝑍Zitalic_Z factor while the other disappears as an “intruder state” that have strong fluctuations in the environment. For tenv=1superscript𝑡𝑒𝑛𝑣1t^{env}=1italic_t start_POSTSUPERSCRIPT italic_e italic_n italic_v end_POSTSUPERSCRIPT = 1 we can clearly see 4 eigenvalues that correspond to the 4 eigenvalues of the subspace Hamiltonian 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. This effect can be interpreted in Fig.3b where the fixed point solution is shown for tenv=1superscript𝑡𝑒𝑛𝑣1t^{env}=1italic_t start_POSTSUPERSCRIPT italic_e italic_n italic_v end_POSTSUPERSCRIPT = 1. Here we see that the solution stemming from the 3rd and 4th eigenvalues of 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT occur at poles of the self-energy, meaning they occur near an excitation of the environment. In Fig. 3c, when tenv=1.25superscript𝑡𝑒𝑛𝑣1.25t^{env}=1.25italic_t start_POSTSUPERSCRIPT italic_e italic_n italic_v end_POSTSUPERSCRIPT = 1.25, we see that the solution is now to the left of the pole and the 2 solutions at each pole have very different Z𝑍Zitalic_Z factors. In other words, it becomes possible to distinguish the excitations as occurring in the subsystem of interest versus the environment subsystem. We conclude that, for an approximately renormalized Hamiltonian 𝐇~~𝐇\tilde{\mathbf{H}}over~ start_ARG bold_H end_ARG to have eigenstates that correspond to ED eigenstates of the original Hamiltonian, a separation of energy scales is required between the subsystem and environment.

While downfolding via the Schur complement is intractable for realistic systems, as its construction is equivalent to solving the full many-body problem, the results shown above demonstrate that a near product-state form of the eigenvectors, which arises from energy scale separation, is necessary for physically meaningful eigenstates to be found from a static renormalized effective Hamiltonian. In the following section, we will discuss how such an effective Hamiltonian can be formulated using Green’s functions, and how the Green’s function can inform us of when the true eigenvectors are expected to take a product-state form.

III Dynamical Downfolding: Renormalization in a system of quasiparticles

In this section, we shift our focus from the explicit construction of the self-energy via the Schur complement to the Dynamical Downfolding method. This approach leverages Green’s functions to solve for individual terms of the many-body Hamiltonian. We assume that the environment “renormalizes” the subsystem, effectively describing it as a set of interacting quasiparticles[1]. These individual quasiparticles/quasiholes are defined in the context of the one-body Green’s Function, which utilizes the same conceptual machinery as the many-body downfolding but on the (effective) single-particle basis. The goal of the dynamical renormalization is to construct an effective static Hamiltonian that represents the ground and some of the excited states of the subsystem. We will now discuss the intricacies of the Hamiltonian construction using the reduced information from the one-particle Green’s function. Unlike in the Schur complement construction focusing on each non-linear solution separately, we show that the renormalization requires using the entire (multipole) structure of the one-QP Green’s function.

In this section, we first comment on the origin of multiple poles and follow with the analysis of their contribution to the renormalization of QPs

III.1 1-Body Green’s Function

We relate the renormalization of one-body terms in 𝐇1subscript𝐇1\mathbf{H}_{1}bold_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to the effective one-body Hamiltonian HQPsuperscript𝐻𝑄𝑃H^{QP}italic_H start_POSTSUPERSCRIPT italic_Q italic_P end_POSTSUPERSCRIPT, which is characterized by its resolvent, the single-particle GF

Gij(tt)=Ψ0N|𝒯[c^j(t),c^i(t)]|Ψ0Nsubscript𝐺𝑖𝑗𝑡superscript𝑡quantum-operator-productsuperscriptsubscriptΨ0𝑁𝒯subscript^𝑐𝑗superscript𝑡superscriptsubscript^𝑐𝑖𝑡superscriptsubscriptΨ0𝑁G_{ij}(t-t^{\prime})=\langle\Psi_{0}^{N}|\mathcal{T}[\hat{c}_{j}(t^{\prime}),%\hat{c}_{i}^{\dagger}(t)]|\Psi_{0}^{N}\rangleitalic_G start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_t - italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ⟨ roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT | caligraphic_T [ over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) ] | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩(15)

Here, c^jsubscriptsuperscript^𝑐𝑗\hat{c}^{\dagger}_{j}over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and c^isubscript^𝑐𝑖\hat{c}_{i}over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are creation/ annhilation operators on the sites of the subspace (i𝑖iitalic_i and j𝑗jitalic_j), and 𝒯𝒯\mathcal{T}caligraphic_T is the time-ordering operator; the Ψ0NsuperscriptsubscriptΨ0𝑁\Psi_{0}^{N}roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT is the N𝑁Nitalic_N particle ground state of the system. The GF represents the probability amplitude associated with adding/removing a particle at with time delay tt𝑡superscript𝑡t-t^{\prime}italic_t - italic_t start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (at equilibrium). This quantity is determined by an effective dynamics of a single (quasi-)particle entering the the one body portion of the Hamiltonian in Eq. 11.

The Lehmann representation of the GF provides a convenient form of the equilibrium GF:

G(ω)ij=limη0+kΨ0N|c^j|ΨkN1ΨkN1|c^i|Ψ0Nωε~kh+iη+kΨ0N|c^j|ΨkN+1ΨkN+1|c^i|Ψ0Nωε~kpiη𝐺subscript𝜔𝑖𝑗subscript𝜂superscript0subscript𝑘quantum-operator-productsuperscriptsubscriptΨ0𝑁superscriptsubscript^𝑐𝑗superscriptsubscriptΨ𝑘𝑁1quantum-operator-productsubscriptsuperscriptΨ𝑁1𝑘subscript^𝑐𝑖superscriptsubscriptΨ0𝑁𝜔superscriptsubscript~𝜀𝑘𝑖𝜂subscript𝑘quantum-operator-productsuperscriptsubscriptΨ0𝑁subscript^𝑐𝑗superscriptsubscriptΨ𝑘𝑁1quantum-operator-productsubscriptsuperscriptΨ𝑁1𝑘subscriptsuperscript^𝑐𝑖superscriptsubscriptΨ0𝑁𝜔subscriptsuperscript~𝜀𝑝𝑘𝑖𝜂\begin{split}G(\omega)_{ij}=\lim_{\eta\to 0^{+}}\sum_{k}\frac{\langle\Psi_{0}^%{N}|\hat{c}_{j}^{\dagger}|\Psi_{k}^{N-1}\rangle\langle\Psi^{N-1}_{k}|\hat{c}_{%i}|\Psi_{0}^{N}\rangle}{\omega-\tilde{\varepsilon}_{k}^{h}+i\eta}+\\\sum_{k}\frac{\langle\Psi_{0}^{N}|\hat{c}_{j}|\Psi_{k}^{N+1}\rangle\langle\Psi%^{N+1}_{k}|\hat{c}^{\dagger}_{i}|\Psi_{0}^{N}\rangle}{\omega-\tilde{%\varepsilon}^{p}_{k}-i\eta}\end{split}start_ROW start_CELL italic_G ( italic_ω ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = roman_lim start_POSTSUBSCRIPT italic_η → 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT | over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT | roman_Ψ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N - 1 end_POSTSUPERSCRIPT ⟩ ⟨ roman_Ψ start_POSTSUPERSCRIPT italic_N - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩ end_ARG start_ARG italic_ω - over~ start_ARG italic_ε end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT + italic_i italic_η end_ARG + end_CELL end_ROW start_ROW start_CELL ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT | over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N + 1 end_POSTSUPERSCRIPT ⟩ ⟨ roman_Ψ start_POSTSUPERSCRIPT italic_N + 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩ end_ARG start_ARG italic_ω - over~ start_ARG italic_ε end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - italic_i italic_η end_ARG end_CELL end_ROW(16)

𝐆(ω)𝐆𝜔\mathbf{G}(\omega)bold_G ( italic_ω ) is a complex valued function for which the real part has poles located at the single QP energies, ε~ksubscript~𝜀𝑘\tilde{\varepsilon}_{k}over~ start_ARG italic_ε end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, eigenvalues of an effective (renormalized) single-particle Hamiltonian H^QP(ω)superscript^𝐻𝑄𝑃𝜔\hat{H}^{QP}(\omega)over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT italic_Q italic_P end_POSTSUPERSCRIPT ( italic_ω ). The imaginary part of 𝐆(ω)𝐆𝜔\mathbf{G}(\omega)bold_G ( italic_ω ) has peaks located at the QP energies. The fixed point solutions to the QP Equation,

ε~k|Dk=H^QP(ε~k)|Dk,subscript~𝜀𝑘ketsubscript𝐷𝑘superscript^𝐻𝑄𝑃subscript~𝜀𝑘ketsubscript𝐷𝑘\tilde{\varepsilon}_{k}|D_{k}\rangle=\hat{H}^{QP}(\tilde{\varepsilon}_{k})|D_{%k}\rangle,over~ start_ARG italic_ε end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | italic_D start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩ = over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT italic_Q italic_P end_POSTSUPERSCRIPT ( over~ start_ARG italic_ε end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | italic_D start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩ ,(17)

yields the QP energies and the Dyson orbitals, |Dket𝐷|D\rangle| italic_D ⟩. In the following, we represent the single particle position states as a linear combination of the Dyson orbitals 111We note that Dyson orbitals naturally form a non-orthogonal basis owing to the frequency dependence of the quasiparticle Hamiltonian:

|wi=kαk|Dkketsubscript𝑤𝑖subscript𝑘subscript𝛼𝑘ketsubscript𝐷𝑘|w_{i}\rangle=\sum_{k}\alpha_{k}|D_{k}\rangle| italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | italic_D start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩(18)

Here, |wiketsubscript𝑤𝑖|w_{i}\rangle| italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⟩ is a position state of a particle on site i𝑖iitalic_i and αk=w|Dksubscript𝛼𝑘inner-product𝑤subscript𝐷𝑘\alpha_{k}=\langle w|D_{k}\rangleitalic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = ⟨ italic_w | italic_D start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩. The i,j𝑖𝑗i,jitalic_i , italic_j elements of the Green’s function differ only by the relative amplitudes of the peaks of the imaginary part of the GF (i.e., the values αksubscript𝛼𝑘\alpha_{k}italic_α start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT), determined by the projection of the Dyson orbitals onto the position states.

Using these Dyson orbitals, energy eigenvectors of the single-particle Hamiltonian, we define the single-particle (onsite) energy in a position basis [43]:

εij=kαikαjkε~ksubscript𝜀𝑖𝑗subscript𝑘subscript𝛼𝑖𝑘subscriptsuperscript𝛼𝑗𝑘subscript~𝜀𝑘\varepsilon_{ij}=\sum_{k}\alpha_{ik}\alpha^{*}_{jk}\tilde{\varepsilon}_{k}italic_ε start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT italic_α start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT over~ start_ARG italic_ε end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT(19)

Spectral weight transfer to the satellites results in a shift in the single-particle energy, which is a weighted average over the hole peaks of the GF.

In practice, we use the one-body GF to compute the energy of a single particle in the subsystem of interest with and without environment response. This is done by defining the N±1plus-or-minus𝑁1N\pm 1italic_N ± 1 particle Hilbert space with and without multiple configurations of the environment (see SI for details). The response of the environment introduces additional poles to the GF, which account for the coupling of the particle to neutral excitations of the environment. The difference of the two single-particle energies we obtain is the one-body environment self-energy ΣenvsuperscriptΣenv\Sigma^{\rm env}roman_Σ start_POSTSUPERSCRIPT roman_env end_POSTSUPERSCRIPT, and it is incorporated into the effective Hamiltonian as shown in Eq. 14.

III.2 Renormalization Factor in the 1-Body Green’s Function

The many-body renormalization factor Z𝑍Zitalic_Z can not be computed exactly from the Green’s function, however, information about the structure of the true eigenvectors may be found from the satellites of the GF. We will now consider how excitations of the environment correspond to spectral weight transfer to the higher energy satellites, indicating entanglement between the subsystems.

For the description of the many-body states, we consider a product form basis:

|ΨN=|SN|RNketsuperscriptΨ𝑁tensor-productketsuperscript𝑆𝑁ketsuperscript𝑅𝑁|\Psi^{N}\rangle=|S^{N}\rangle\otimes|R^{N}\rangle| roman_Ψ start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩ = | italic_S start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩ ⊗ | italic_R start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ⟩(20)

Here, SNsuperscript𝑆𝑁S^{N}italic_S start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT denotes an N𝑁Nitalic_N particle state of the subsystem and R𝑅Ritalic_R is a state of the environment. We consider the case of no hopping between the subsystem and the environment222When there are no interactions between subsystems, a particle created or annihilated in the subsystem of interest does not affect the environment, which remains in its ground state. Consequently, the two GFs we compute are identical and Σijenv=0i,jsubscriptsuperscriptΣenv𝑖𝑗0for-all𝑖𝑗\Sigma^{\rm env}_{ij}=0\,\forall\,{i,j}roman_Σ start_POSTSUPERSCRIPT roman_env end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 0 ∀ italic_i , italic_j. When we compute the full one-body Green’s function, the peaks represent states following general form|ΨN±1=|SN±1|RNketsuperscriptΨplus-or-minus𝑁1tensor-productketsuperscript𝑆plus-or-minus𝑁1ketsuperscript𝑅𝑁|\Psi^{N\pm 1}\rangle=|S^{N\pm 1}\rangle\otimes|R^{\prime N}\rangle| roman_Ψ start_POSTSUPERSCRIPT italic_N ± 1 end_POSTSUPERSCRIPT ⟩ = | italic_S start_POSTSUPERSCRIPT italic_N ± 1 end_POSTSUPERSCRIPT ⟩ ⊗ | italic_R start_POSTSUPERSCRIPT ′ italic_N end_POSTSUPERSCRIPT ⟩

Here, a particle which is added or removed from the subsystem S𝑆Sitalic_S can couple to neutral excitation of S𝑆Sitalic_S and or R𝑅Ritalic_R. The primary QP peak of the GF corresponds to no excitation of the system.

When the environment is fixed in its ground state as an external potential, however, all satellite peaks of the GF represent excitations of S𝑆Sitalic_S and R=R𝑅superscript𝑅R=R^{\prime}italic_R = italic_R start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Therefore, peaks which are exclusive to the case of a general Rsuperscript𝑅R^{\prime}italic_R start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT indicate that the particle/hole is coupled to some excitation of the environment.

When there is a substantial separation of the energy scales of the subsystem of interest and environment, the additional peaks in the Rsuperscript𝑅R^{\prime}italic_R start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT case will be energetically distinct from those in the R=R𝑅superscript𝑅R=R^{\prime}italic_R = italic_R start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT case. This indicates that many-body excitations of the subsystem are unentangled and the many-body renormalization factor Z1𝑍1Z\approx 1italic_Z ≈ 1 and the resulting eigenvectors can be high-fidelity.

IV Numerical Results

We now illustrate the Dynamical Downfolding method and show that this method generally succeeds for the ground states but gradually fails for higher energy excited states. These calculations were performed for multiple values of U𝑈Uitalic_U on a particular example system selected from the Exact Downfolding: two dimers at half-filling placed end to end (See SI for details). We downfold one dimer onto the other.

Renormalization of States and Quasiparticles in Many-body Downfolding (4)

In Fig. 4 a. we see that for the lowest 3 eigenvalues (corresponding to states |0,|1,|2ket0ket1ket2|0\rangle\,,|1\rangle\,,|2\rangle| 0 ⟩ , | 1 ⟩ , | 2 ⟩), there is a large improvement when the 1-body renormalization is applied for all 6 values of U𝑈Uitalic_U. This is most notable in the ground state |0ket0|0\rangle| 0 ⟩, which, without renormalization has very similar error to |1ket1|1\rangle| 1 ⟩ and |2ket2|2\rangle| 2 ⟩ excited states but is much lower after renormalization. The highest excited state |3ket3|3\rangle| 3 ⟩ is unaffected by the renormalization and shows the largest error.

Next, we will consider whether H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG yields eigenvalues only, or whether the eigenvectors also approximate the ED eigenvectors. In Fig. 4b we show the overlaps of the H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG eigenvectors Φ~~Φ\tilde{\Phi}over~ start_ARG roman_Φ end_ARG with the 𝐇eff(ω)subscript𝐇eff𝜔\mathbf{H}_{\rm eff}(\omega)bold_H start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_ω ) eigenvectors ΦΦ\Phiroman_Φ. For all eigenstates, we see that the overlap is close to unity. Eigenvectors |0ket0|0\rangle| 0 ⟩ and |1ket1|1\rangle| 1 ⟩ are highly accurate 333In the case of the |1ket1|1\rangle| 1 ⟩ eigenvector, this state is always a product state and is always the same across all values of U𝑈Uitalic_U. For |2ket2|2\rangle| 2 ⟩ and |3ket3|3\rangle| 3 ⟩, we see that the overlap decreases more significantly as U𝑈Uitalic_U increases. We note that there is not direct correlation in eigenvalue and eigenvector accuracy. |3ket3|3\rangle| 3 ⟩ is a higher fidelity eigenvector than |2ket2|2\rangle| 2 ⟩ , although the corresponding eigenvalue is much worse.

We will now comment on the limitations of Dynamical Downfolding based on the physical interpretations of the third excited state |3ket3|3\rangle| 3 ⟩. The bar-plot insets to Fig. 4a, show the particle density on the left and right sites of the subsystem dimer for |3ket3|3\rangle| 3 ⟩. As U𝑈Uitalic_U increases, density shifts from being nearly equal across the two sights, to being heavily localized on the right-hand side, which is in closed proximity to the environment dimer. The energy of this state is heavily determined by the two-body interactions between the subspace particles as well with the environment. Such a physical analysis of the eigenstate gives us a means of predicting which eigenvalues of H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG are accurate without knowing the ED spectrum.

In practice, we observe that the accuracy of each eigenvalue is correlated with the sensitivity of the solutions to the variations in the environment self-energy. The least accurate eigenvalues are insensitive to a change in the one-body self-energy. We also note that at this point, there is no obvious and simple route to define a renormalized two-body interaction that would satisfactorily reproduce the spectrum; in principle, such a solution needs to be obtained by solving the effective two-body propagator for all pairs of quasiparticles. This is, in turn, a multiparameter non-linear eigenvalue problem, which needs to be further approximated as discussed in[1].

V Outlook and Discussion

In conclusion, we have analyzed multiple downfolding approaches and illustrated them on a small, exactly solvable model system. Specifically, we explored an approach using the many-body Schur complement of the full Hamiltonian and an approach based on the map on effective renormalized quasiparticles (i.e., invoking the single-particle renormalization scheme). In Section II, we demonstrate that for any matrix compressed via its Schur complement, the renormalization factor is fully defined by the overlap between the true (ED) eigenvector and the downfolded eigenvector. Thus, the renormalization factor serves as a fidelity metric for the downfolded eigenvectors. Not surprisingly, the downfolded Hamiltonian represents the original problem (i.e., the portion of the energy spectrum) if there is a sufficient energy separation between the subsystem of interest and the environment. This indicates that the excitations represented by the eigenvectors are contained in the correlated subsystem. In this case, the true stationary states are well captured by a product state between the environment and the subsystems.

In Section IIIa, we demonstrate how an effective many-body Hamiltonian can be constructed from a subspace of interacting quasiparticles derived from one-body Green’s Functions (GF). This Dynamical Downfolding approach was heuristically suggested in Ref.[1], while we provide a more in-depth discussion of its formulation here. In this first-order approximation, all single-particle terms of the Hamiltonian are corrected by the single-particle environment self-energy. Notably, the exact GF yields multiple solutions to the quasiparticle equations, accounting for the correlation between the inserted particle/hole and a neutral excitation of the system. For the first time, we provide a method for including these multiple solutions in the renormalization of the single-particle energy based on their projection onto the single-particle states in a chosen basis (i.e., position states). Additionally, in Section III b, we discuss how the position and height of the GF’s satellite peaks can serve as diagnostics for the relative energy scales of subsystems, indicating the reliability of the downfolded eigenvectors. This is a key to interpreting the results of downfolding without finding the many-body renormalization factor Z𝑍Zitalic_Z.

In Section IV, we apply Dynamical Downfolding of one-body terms to a fully solvable model system. By varying the Hubbard interaction parameter U𝑈Uitalic_U, we observe that incorporating satellite solutions consistently and significantly reduces the magnitude of the one-body environment self-energy. Notably, for our largest value, U=6𝑈6U=6italic_U = 6, the single-particle environment self-energy is reduced by up to 42%percent4242\%42 %. This finding highlights the need to approximate the self-energy using methods beyond GW𝐺𝑊GWitalic_G italic_W—such as GWΓ𝐺𝑊ΓGW\Gammaitalic_G italic_W roman_Γ—which are known to provide multiple solutions to the QP equation (e.g., due to coupling to spin fluctuations, etc.)[46, 47, 48, 49, 50]. Additional methods for improving the satellite solutions from the non-interacting GF have been pioneered [51, 52]. Note that accurate downfolded representations do not necessitate that spectral weight transfer carries a well-defined physical meaning. Indeed, a fictitious coupling to charge neutral (bosonic) excitations at the “average” energy of the environment excitations would suffice to reproduce the energetics; this approach would connect the dynamical downfolding with the recent advances in Gutzwiller and slave boson approaches[53, 54, 55, 56].

As shown (heuristically) before, Dynamical Downfolding approaches can be (and have been) readily applied to realistic systems using many-body perturbation theory (e.g., with GW𝐺𝑊GWitalic_G italic_W approximation)[1]. This work provides a jumping-off point for the future development of the renormalized compression techniques that leverage Green’s function framework with well-defined rules for ensuring the fidelity of the reduced problem solutions.

Acknowledgements

The theoretical development and numerical implementation (A.C. and V.V.), and the Analytical proof (Z.H.) are based upon work supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research and Office of Basic Energy Sciences, Scientific Discovery through Advanced Computing (SciDAC) program under Award Number DE-SC0022198. The numerical results fo the Green’s function downfolding calculations performed by A.C. were supported by Wellcome Leap as part of the Quantum for Bio Program. Finally, the authors would like to thank Carlos Mejuto-Zaera, Lin Lin, and Cian Reeves for many insightful discussions.

References

  • Romanovaetal. [2023]M.Romanova, G.Weng, A.Apelian,andV.Vlček,Dynamical downfolding for localized quantum states,npj Computational Materials9,126 (2023).
  • Muechleretal. [2022]L.Muechler, D.I.Badrtdinov, A.Hampel, J.Cano, M.Rösner,andC.E.Dreyer,Quantum embedding methods for correlated excited states of point defects: Case studies and challenges,Phys. Rev. B105,235104 (2022).
  • Canestraightetal. [2024]A.Canestraight, X.Lei, K.Z.Ibrahim,andV.Vlček,Efficient quasiparticle determination beyond the diagonal approximation via random compression,Journal of Chemical Theory and Computation20,551 (2024),pMID: 38175913,https://doi.org/10.1021/acs.jctc.3c01069 .
  • Rignaneseetal. [2001]G.-M.Rignanese, X.Blase,andS.Louie,Quasiparticle effects on tunneling currents: A study of c 2 h 4 adsorbed on the si (001)-(2×\times× 1) surface,Physical review letters86,2110 (2001).
  • Leietal. [0]X.Lei, A.Canestraight,andV.Vlcek,Exceptional spatial variation of charge injection energies on plasmonic surfaces,The Journal of Physical Chemistry Letters0,8470 (0),pMID: 37721434,https://doi.org/10.1021/acs.jpclett.3c02223 .
  • Eggeretal. [2015]D.A.Egger, Z.-F.Liu, J.B.Neaton,andL.Kronik,Reliable energy level alignment at physisorbed molecule–metal interfaces from density functional theory,Nano letters15,2448 (2015).
  • Changetal. [2023]Y.Chang, S.Joshi,andL.K.Wagner,Learning emergent models from ab initio many-body calculations (2023),arXiv:2302.02899 [cond-mat.str-el] .
  • Phametal. [2020]H.Q.Pham, M.R.Hermes,andL.Gagliardi,Periodic electronic structure calculations with the density matrix embedding theory,J. Chem. Theory Comput.16,130 (2020).
  • Rusakovetal. [2019]A.A.Rusakov, S.Iskakov, L.N.Tran,andD.Zgid,Self-Energy embedding theory (SEET) for periodic systems,J. Chem. Theory Comput.15,229 (2019).
  • SunandChan [2016]Q.SunandG.K.-L.Chan,Quantum embedding theories,Acc. Chem. Res.49,2705 (2016).
  • Löwdin [1963]P.-O.Löwdin,Studies in perturbation theory: Part i. an elementary iteration-variation procedure for solving the schrödinger equation by partitioning technique,Journal of Molecular Spectroscopy10,12 (1963).
  • Löwdin [1962]P.Löwdin,Studies in Perturbation Theory. IV. Solution of Eigenvalue Problem by Projection Operator Formalism,Journal of Mathematical Physics3,969 (1962),https://pubs.aip.org/aip/jmp/article-pdf/3/5/969/19196745/969_1_online.pdf .
  • BekasandSaad [2005]C.BekasandY.Saad,Computation of smallest eigenvalues using spectral schur complements,SIAM Journal on Scientific Computing27,458 (2005),https://doi.org/10.1137/040603528 .
  • DvorakandRinke [2019]M.DvorakandP.Rinke,Dynamical configuration interaction: Quantum embedding that combines wave functions and green’s functions,Phys. Rev. B99,115134 (2019).
  • LiandYang [2022]J.LiandJ.Yang,Downfolded configuration interaction for chemically accurate electron correlation,J. Phys. Chem. Lett.13,10042 (2022).
  • Dvoraketal. [2019]M.Dvorak, D.Golze,andP.Rinke,Quantum embedding theory in the screened coulomb interaction: Combining configuration interaction with gw/BSE𝑔𝑤BSEgw/\mathrm{BSE}italic_g italic_w / roman_BSE,Phys. Rev. Mater.3,070801 (2019).
  • AuthierandLoos [2020]J.AuthierandP.-F.Loos,Dynamical kernels for optical excitations,The Journal of Chemical Physics153,184105 (2020).
  • Eskridgeetal. [2019]B.Eskridge, H.Krakauer,andS.Zhang,Local embedding and effective downfolding in the auxiliary-field quantum monte carlo method,Journal of Chemical Theory and Computation15,3949 (2019),pMID: 31244125,https://doi.org/10.1021/acs.jctc.8b01244 .
  • Aryasetiawanetal. [2009]F.Aryasetiawan, J.M.Tomczak, T.Miyake,andR.Sakuma,Downfolded self-energy of many-electron systems,Phys. Rev. Lett.102,176402 (2009).
  • Miyakeetal. [2009]T.Miyake, F.Aryasetiawan,andM.Imada,Ab initio procedure for constructing effective models of correlated materials with entangled band structure,Phys. Rev. B80,155134 (2009).
  • Aryasetiawanetal. [2004]F.Aryasetiawan, M.Imada, A.Georges, G.Kotliar, S.Biermann,andA.I.Lichtenstein,Frequency-dependent local interactions and low-energy effective models from electronic structure calculations,Phys. Rev. B70,195104 (2004).
  • Changetal. [2024]Y.Chang, E.G. C.P.van Loon, B.Eskridge, B.Busemeyer, M.A.Morales, C.E.Dreyer, A.J.Millis, S.Zhang, T.O.Wehling, L.K.Wagner,andM.Rösner,Downfolding from ab initio to interacting model hamiltonians: comprehensive analysis and benchmarking of the dft+crpa approach,npjComputational Materials10,129 (2024).
  • Bockstedteetal. [2018]M.Bockstedte, F.Schütz, T.Garratt, V.Ivády,andA.Gali,Ab initio description of highly correlated states in defects for realizing quantum bits,npj Quantum Materials3,31 (2018).
  • Shengetal. [2022]N.Sheng, C.Vorwerk, M.Govoni,andG.Galli,Green’s function formulation of quantum defect embedding theory,J. Chem. Theory Comput.18,3512 (2022).
  • Maetal. [2021]H.Ma, N.Sheng, M.Govoni,andG.Galli,Quantum embedding theory for strongly correlated states in materials,J. Chem. Theory Comput.17,2116 (2021).
  • Sakumaetal. [2013]R.Sakuma, P.Werner,andF.Aryasetiawan,Electronic structure of srvo3 within gw𝑔𝑤gwitalic_g italic_w+dmft,Phys. Rev. B88,235110 (2013).
  • WernerandMillis [2010]P.WernerandA.J.Millis,Dynamical screening in correlated electron materials,Phys. Rev. Lett.104,146401 (2010).
  • Casulaetal. [2012]M.Casula, P.Werner, L.Vaugier, F.Aryasetiawan, T.Miyake, A.J.Millis,andS.Biermann,Low-energy models for correlated materials: Bandwidth renormalization from coulombic screening,Phys. Rev. Lett.109,126408 (2012).
  • Baumanetal. [2019a]N.P.Bauman, G.H.Low,andK.Kowalski,Quantum simulations of excited states with active-space downfolded Hamiltonians,The Journal of Chemical Physics151,234114 (2019a),https://pubs.aip.org/aip/jcp/article-pdf/doi/10.1063/1.5128103/15566753/234114_1_online.pdf .
  • BaumanandKowalski [2022]N.P.BaumanandK.Kowalski,Coupled cluster downfolding theory: towards universal many-body algorithms for dimensionality reduction of composite quantum systems in chemistry and materials science,Materials Theory6,17 (2022).
  • Baumanetal. [2019b]N.P.Bauman, E.J.Bylaska, S.Krishnamoorthy, G.H.Low, N.Wiebe, C.E.Granade, M.Roetteler, M.Troyer,andK.Kowalski,Downfolding of many-body Hamiltonians using active-space models: Extension of the sub-system embedding sub-algebras approach to unitary coupled cluster formalisms,The Journal of Chemical Physics151,014107 (2019b),https://pubs.aip.org/aip/jcp/article-pdf/doi/10.1063/1.5094643/13251203/014107_1_online.pdf .
  • Kowalski [2021]K.Kowalski,Dimensionality reduction of the many-body problem using coupled-cluster subsystem flow equations: Classical and quantum computing perspective,Phys. Rev. A104,032804 (2021).
  • Sheeetal. [2024]A.Shee, F.M.Faulstich, B.Whaley, L.Lin,andM.Head-Gordon,A static quantum embedding scheme based on coupled cluster theory,arXiv preprint arXiv:2404.09078 (2024).
  • Lietal. [2024]C.Li, S.Mao, R.Huang,andF.A.Evangelista,Frozen natural orbitals for the State-Averaged driven similarity renormalization group,J. Chem. Theory Comput.20,4170 (2024).
  • HeandEvangelista [2020]N.HeandF.A.Evangelista,A zeroth-order active-space frozen-orbital embedding scheme for multireference calculations,The Journal of Chemical Physics152,094107 (2020).
  • Vlčeketal. [2018]V.c.v.Vlček, W.Li, R.Baer, E.Rabani,andD.Neuhauser,Swift gw𝑔𝑤gwitalic_g italic_w beyond 10,000 electrons using sparse stochastic compression,Phys. Rev. B98,075107 (2018).
  • Vlčeketal. [2017]V.Vlček, E.Rabani, D.Neuhauser,andR.Baer,Stochastic GW calculations for molecules,J. Chem. Theory Comput.13,4997 (2017).
  • GustafsonandSigal [2020]S.J.GustafsonandI.M.Sigal,Mathematical concepts of quantum mechanics,3rded.,Universitext(Springer Nature,Cham, Switzerland,2020).
  • Martinetal. [2016]R.M.Martin, L.Reining,andD.M.Ceperley,Interacting Electrons: Theory and Computational Approaches(Cambridge University Press,2016).
  • FetterandWalecka [1971]A.L.FetterandJ.D.Walecka,Quantum Theory of Many-Particle Systems(McGraw-Hill,Boston,1971).
  • Feynman [1939]R.P.Feynman,Forces in molecules,Physical review56,340 (1939).
  • Note [1]We note that Dyson orbitals naturally form a non-orthogonal basis owing to the frequency dependence of the quasiparticle Hamiltonian.
  • ManneandÅberg [1970]R.ManneandT.Åberg,Koopmans’ theorem for inner-shell ionization,Chemical Physics Letters7,282 (1970).
  • Note [2]When there are no interactions between subsystems, a particle created or annihilated in the subsystem of interest does not affect the environment, which remains in its ground state. Consequently, the two GFs we compute are identical and Σijenv=0i,jsubscriptsuperscriptΣenv𝑖𝑗0for-all𝑖𝑗\Sigma^{\rm env}_{ij}=0\,\forall\,{i,j}roman_Σ start_POSTSUPERSCRIPT roman_env end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 0 ∀ italic_i , italic_j.
  • Note [3]In the case of the |1ket1|1\rangle| 1 ⟩ eigenvector, this state is always a product state and is always the same across all values of U𝑈Uitalic_U.
  • Mejuto-ZaeraandVlček [2022]C.Mejuto-ZaeraandV.c.v.Vlček,Self-consistency in gwΓ𝑔𝑤Γgw\mathrm{\Gamma}italic_g italic_w roman_Γ formalism leading to quasiparticle-quasiparticle couplings,Phys. Rev. B106,165129 (2022).
  • Wengetal. [2023]G.Weng, R.Mallarapu,andV.Vlček,Embedding vertex corrections in GW self-energy: Theory, implementation, and outlook,J Chem Phys158,144105 (2023).
  • Kutepov [2022]A.L.Kutepov,Full versus quasiparticle self-consistency in vertex-corrected gw approaches,Phys. Rev. B105,045124 (2022).
  • MaggioandKresse [2017]E.MaggioandG.Kresse,GW vertex corrected calculations for molecular systems,J. Chem. Theory Comput.13,4765 (2017).
  • Grüneisetal. [2014]A.Grüneis, G.Kresse, Y.Hinuma,andF.Oba,Ionization potentials of solids: The importance of vertex corrections,Phys. Rev. Lett.112,096401 (2014).
  • Crisostomoetal. [2024]S.Crisostomo, E.K.U.Gross,andK.Burke,Exchange-correlation energy from green’s functions,Phys. Rev. Lett.133,086401 (2024).
  • El-Sahilietal. [2024]A.El-Sahili, F.Sottile,andL.Reining,Total energy beyond gw: Exact results and guidelines for approximations,Journal of Chemical Theory and Computation20,1972 (2024).
  • Mejuto-ZaeraandFabrizio [2023]C.Mejuto-ZaeraandM.Fabrizio,Efficient computational screening of strongly correlated materials: Multiorbital phenomenology within the ghost gutzwiller approximation,Phys. Rev. B107,235150 (2023).
  • Lanatà [2023]N.Lanatà,Derivation of the ghost gutzwiller approximation from quantum embedding principles: Ghost density matrix embedding theory,Phys. Rev. B108,235112 (2023).
  • Leeetal. [2021]T.-H.Lee, N.Lanatà, M.Kim,andG.Kotliar,Efficient slave-boson approach for multiorbital two-particle response functions and superconductivity,Phys. Rev. X11,041040 (2021).
  • Lechermannetal. [2007]F.Lechermann, A.Georges, G.Kotliar,andO.Parcollet,Rotationally invariant slave-boson formalism and momentum dependence of the quasiparticle weight,Phys. Rev. B76,155102 (2007).
Renormalization of States and Quasiparticles in Many-body Downfolding (2024)
Top Articles
Latest Posts
Recommended Articles
Article information

Author: Dean Jakubowski Ret

Last Updated:

Views: 5605

Rating: 5 / 5 (70 voted)

Reviews: 93% of readers found this page helpful

Author information

Name: Dean Jakubowski Ret

Birthday: 1996-05-10

Address: Apt. 425 4346 Santiago Islands, Shariside, AK 38830-1874

Phone: +96313309894162

Job: Legacy Sales Designer

Hobby: Baseball, Wood carving, Candle making, Jigsaw puzzles, Lacemaking, Parkour, Drawing

Introduction: My name is Dean Jakubowski Ret, I am a enthusiastic, friendly, homely, handsome, zealous, brainy, elegant person who loves writing and wants to share my knowledge and understanding with you.