Chemistry:N-electron valence state perturbation theory

In quantum chemistry, n-electron valence state perturbation theory (NEVPT) is a perturbative treatment applicable to multireference CASCI-type wavefunctions. It can be considered as a generalization of the well-known second-order Møller–Plesset perturbation theory to multireference Complete Active Space cases. The theory is directly integrated into many quantum chemistry packages such as MOLCAS, Molpro, DALTON, PySCF and ORCA.

The research performed into the development of this theory led to various implementations. The theory here presented refers to the deployment for the Single-State NEVPT, where the perturbative correction is applied to a single electronic state. Research implementations has been also developed for Quasi-Degenerate cases, where a set of electronic states undergo the perturbative correction at the same time, allowing interaction among themselves. The theory development makes use of the quasi-degenerate formalism by Lindgren and the Hamiltonian multipartitioning technique from Zaitsevskii and Malrieu.

Theory

Let [math]\displaystyle{ \Psi_m^{(0)} }[/math] be a zero-order CASCI wavefunction, defined as a linear combination of Slater determinants

[math]\displaystyle{ \Psi_m^{(0)} = \sum_{I \in {\rm CAS}}C_{I,m} \left|I\right\rangle }[/math]

obtained diagonalizing the true Hamiltonian [math]\displaystyle{ \hat{\mathcal{H}} }[/math] inside the CASCI space

[math]\displaystyle{ \hat{\mathcal{P}}_{\rm CAS}\hat{\mathcal{H}}\hat{\mathcal{P}}_{\rm CAS}\left|\Psi_m^{(0)}\right\rangle = E_m^{(0)} \left|\Psi_m^{(0)}\right\rangle }[/math]

where [math]\displaystyle{ \hat{\mathcal{P}}_{\rm CAS} }[/math] is the projector inside the CASCI space. It is possible to define perturber wavefunctions in NEVPT as zero-order wavefunctions of the outer space (external to CAS) where [math]\displaystyle{ k }[/math] electrons are removed from the inactive part (core and virtual orbitals) and added to the valence part (active orbitals). At second order of perturbation [math]\displaystyle{ -2 \le k \le 2 }[/math]. Decomposing the zero-order CASCI wavefunction as an antisymmetrized product of the inactive part [math]\displaystyle{ \Phi_c }[/math] and a valence part [math]\displaystyle{ \Psi_m^v }[/math]

[math]\displaystyle{ \left|\Psi_m^{(0)}\right\rangle = \left|\Phi_c \Psi_m^v\right\rangle }[/math]

then the perturber wavefunctions can be written as

[math]\displaystyle{ \left|\Psi_{l,\mu}^{k}\right\rangle = \left|\Phi_l^{-k} \Psi_{\mu}^{v+k}\right\rangle }[/math]

The pattern of inactive orbitals involved in the procedure can be grouped as a collective index [math]\displaystyle{ l }[/math], so to represent the various perturber wavefunctions as [math]\displaystyle{ \Psi_{l,\mu}^{k} }[/math], with [math]\displaystyle{ \mu }[/math] an enumerator index for the different wavefunctions. The number of these functions is relative to the degree of contraction of the resulting perturbative space.

Supposing indexes [math]\displaystyle{ i }[/math] and [math]\displaystyle{ j }[/math] referring to core orbitals, [math]\displaystyle{ a }[/math] and [math]\displaystyle{ b }[/math] referring to active orbitals and [math]\displaystyle{ r }[/math] and [math]\displaystyle{ s }[/math] referring to virtual orbitals, the possible excitation schemes are:

1. two electrons from core orbitals to virtual orbitals (the active space is not enriched nor depleted of electrons, therefore [math]\displaystyle{ k=0 }[/math])
2. one electron from a core orbital to a virtual orbital, and one electron from a core orbital to an active orbital (the active space is enriched with one electron, therefore [math]\displaystyle{ k=+1 }[/math])
3. one electron from a core orbital to a virtual orbital, and one electron from an active orbital to a virtual orbital (the active space is depleted with one electron, therefore [math]\displaystyle{ k=-1 }[/math])
4. two electrons from core orbitals to active orbitals (active space enriched with two electrons, [math]\displaystyle{ k=+2 }[/math])
5. two electrons from active orbitals to virtual orbitals (active space depleted with two electrons, [math]\displaystyle{ k=-2 }[/math])

These cases always represent situations where interclass electronic excitations happen. Other three excitation schemes involve a single interclass excitation plus an intraclass excitation internal to the active space:

1. one electron from a core orbital to a virtual orbital, and an internal active-active excitation ([math]\displaystyle{ k=0 }[/math])
2. one electron from a core orbital to an active orbital, and an internal active-active excitation ([math]\displaystyle{ k=+1 }[/math])
3. one electron from an active orbital to a virtual orbital, and an internal active-active excitation ([math]\displaystyle{ k=-1 }[/math])

Totally Uncontracted Approach

A possible approach is to define the perturber wavefunctions into Hilbert spaces [math]\displaystyle{ S_l^k }[/math] defined by those determinants with given k and l labels. The determinants characterizing these spaces can be written as a partition comprising the same inactive (core + virtual) part [math]\displaystyle{ \Phi_l^{-k} }[/math] and all possible valence (active) parts [math]\displaystyle{ \Psi_I^k }[/math]

[math]\displaystyle{ S_l^k \ \stackrel{\mathrm{def}}{=}\ \{ \Phi_l^{-k} \Psi_I^k \} }[/math]

The full dimensionality of these spaces can be exploited to obtain the definition of the perturbers, by diagonalizing the Hamiltonian inside them

[math]\displaystyle{ \hat{\mathcal{P}}_{S_l^k}\hat{\mathcal{H}}\hat{\mathcal{P}}_{S_l^k} \left|\Phi_l^{-k} \Psi_{\mu}^{v+k}\right\rangle = E_{l,\mu} \left|\Phi_l^{-k} \Psi_{\mu}^{v+k}\right\rangle }[/math]

This procedure is impractical given its high computational cost: for each [math]\displaystyle{ S_l^k }[/math] space, a diagonalization of the true Hamiltonian must be performed. Computationally, is preferable to improve the theoretical development making use of the modified Dyall's Hamiltonian [math]\displaystyle{ \hat{\mathcal{H}}^D }[/math]. This Hamiltonian behaves like the true Hamiltonian inside the CAS space, having the same eigenvalues and eigenvectors of the true Hamiltonian projected onto the CAS space. Also, given the decomposition for the wavefunction defined before, the action of the Dyall's Hamiltonian can be partitioned into

[math]\displaystyle{ \hat{\mathcal{H}}^D \left|\Phi_l^{-k} \Psi_{\mu}^{v+k}\right\rangle = E_{l,\mu}^{k} \left|\Phi_l^{-k} \Psi_{\mu}^{v+k}\right\rangle }[/math]

stripping out the constant contribution of the inactive part and leaving a subsystem to be solved for the valence part

[math]\displaystyle{ \hat{\mathcal{H}}^D_v \left|\Psi_{\mu}^{v+k}\right\rangle = E_{\mu}^{k} \left|\Psi_{\mu}^{v+k}\right\rangle }[/math]

The total energy [math]\displaystyle{ E_{l,\mu}^{k} }[/math] is the sum of [math]\displaystyle{ E_{\mu}^{k} }[/math] and the energies of the orbitals involved in the definition of the inactive part [math]\displaystyle{ \Phi_l^{-k} }[/math]. This introduces the possibility to perform a single diagonalization of the valence Dyall's Hamiltonian on the CASCI zero-order wavefunction and evaluate the perturber energies using the property depicted above.

Strongly Contracted Approach

A different choice in the development of the NEVPT approach is to choose a single function for each space [math]\displaystyle{ S_l^k }[/math], leading to the Strongly Contracted (SC) scheme. A set of perturbative operators are used to produce a single function for each space, defined as the projection inside each space [math]\displaystyle{ \hat{\mathcal{P}}_{S_l^k} }[/math] of the application of the Hamiltonian to the contracted zero order wavefunction. In other words,

[math]\displaystyle{ \Psi_l^k = \hat{\mathcal{P}}_{S_l^k} \hat{\mathcal{H}} \Psi_m^{(0)} }[/math]

where [math]\displaystyle{ \hat{\mathcal{P}}_{S_l^k} }[/math] is the projector onto the subspace. This can be equivalently written as the application of a specific part of the Hamiltonian to the zero-order wavefunction

[math]\displaystyle{ \Psi_l^k = V_l^k \Psi_m^{(0)} }[/math]

For each space, appropriate operators can be devised. We will not present their definition, as it could result overkilling. Suffice to say that the resulting perturbers are not normalized, and their norm

[math]\displaystyle{ N_l^k = \left\langle\Psi_l^k\left.\right| \Psi_l^k\right\rangle = \left\langle\Psi_m^{(0)}\left| \left(V_l^k\right)^+ V_l^k \right| \Psi_m^{(0)} \right\rangle }[/math]

plays an important role in the Strongly Contracted development. To evaluate these norms, the spinless density matrix of rank not higher than three between the [math]\displaystyle{ \Psi_m^{(0)} }[/math] functions are needed.

An important property of the [math]\displaystyle{ \Psi_{l}^{k} }[/math] is that any other function of the space [math]\displaystyle{ S_l^k }[/math] which is orthogonal to [math]\displaystyle{ \Psi_{l}^{k} }[/math] do not interact with the zero-order wavefunction through the true Hamiltonian. It is possible to use the [math]\displaystyle{ \Psi_{l}^{k} }[/math] functions as a basis set for the expansion of the first-order correction to the wavefunction, and also for the expression of the zero-order Hamiltonian by means of a spectral decomposition

[math]\displaystyle{ \hat{\mathcal{H}}_0 = \sum_{lk} \left| \Psi_{l}^{k}{}^\prime \right\rangle E_{l}^{k} \left\langle \Psi_{l}^{k}{}^\prime \right\rangle + \sum_{m} \left| \Psi_{m}^{(0)} \right\rangle E_{m}^{(0)} \left\langle \Psi_{m}^{(0)} \right| }[/math]

where [math]\displaystyle{ \left| \Psi_{l}^{k}{}^\prime \right\rangle }[/math] are the normalized [math]\displaystyle{ \left| \Psi_{l}^{k} \right\rangle }[/math].

The expression for the first-order correction to the wavefunction is therefore

[math]\displaystyle{ \Psi_m^{(1)} = \sum_{kl} \left| \Psi_{l}^{k}{}^\prime \right\rangle \frac{ \left\langle \Psi_{l}^{k}{}^\prime \left| \hat{\mathcal{H}} \right| \Psi_{m}^{(0)} \right\rangle} {E_m^{(0)} - E_{l}^{k}} = \sum_{kl} \left| \Psi_{l}^{k}{}^\prime \right\rangle \frac{\sqrt{N_l^k}}{E_{m}^{(0)} - E_{l}^{k}} }[/math]

and for the energy is

[math]\displaystyle{ E_{m}^{(2)} = \sum_{kl} \frac{\left| \left\langle \Psi_{l}^{k}{}^\prime \left| \hat{\mathcal{H}} \right| \Psi_{m}^{(0)}\right\rangle \right|^2} {E_m^{(0)} - E_{l}^{k}} = \sum_{kl} \frac{N_l^k}{E_m^{(0)} - E_{l}^{k}} }[/math]

This result still misses a definition of the perturber energies [math]\displaystyle{ E_l^k }[/math], which can be defined in a computationally advantageous approach by means of the Dyall's Hamiltonian

[math]\displaystyle{ E_{l}^{k} = \frac{1}{N_l^k} \left\langle \Psi_{l}^{k} \left| \hat{\mathcal{H}}^D \right| \Psi_{l}^{k} \right\rangle }[/math]

leading to

[math]\displaystyle{ N_{l}^{k} E_{l}^{k} = \left\langle \Psi_{m}^{(0)} \left| \left( V_{l}^{k}\right)^{+} \hat{\mathcal{H}}^D V_{l}^{k} \right| \Psi_{m}^{(0)} \right\rangle = \left\langle \Psi_{m}^{(0)} \left| \left(V_{l}^{k} \right)^{+} V_{l}^{k} \hat{\mathcal{H}}^D \right| \Psi_{m}^{(0)} \right\rangle + \left\langle \Psi_{m}^{(0)} \left| \left( V_{l}^{k}\right)^{+} \left[ \hat{\mathcal{H}}^D , V_{l}^{k} \right] \right| \Psi_{m}^{(0)} \right\rangle }[/math]

Developing the first term and extracting the inactive part of the Dyall's Hamiltonian it can be obtained

[math]\displaystyle{ E_{l}^{k} = E_m^{(0)} + \Delta \epsilon_l + \frac{1}{N_l^k} \left\langle \Psi_{m}^{(0)} \left| \left(V_{l}^{k}\right)^{+} \left[\hat{\mathcal{H}}_v , V_{l}^{k} \right] \right| \Psi_{m}^{(0)} \right\rangle }[/math]

with [math]\displaystyle{ \Delta \epsilon_l }[/math] equal to the sum of the orbital energies of the newly occupied virtual orbitals minus the orbital energies of the unoccupied core orbitals.

The term that still needs to be evaluated is the bracket involving the commutator. This can be obtained developing each [math]\displaystyle{ V }[/math] operator and substituting. To obtain the final result it is necessary to evaluate Koopmans matrices and density matrices involving only active indexes. An interesting case is represented by the contribution for the [math]\displaystyle{ V_{ijrs}^{(0)} }[/math] case, which is trivial and can be demonstrated identical to the Møller–Plesset second-order contribution

[math]\displaystyle{ E_m^{(2)}\left( S_{rsij}^{0} \right) = - \frac{N_{rsij}^{0}}{\epsilon_r +\epsilon_s - \epsilon_i - \epsilon_{j}} }[/math]

NEVPT2 can therefore be seen as a generalized form of MP2 to multireference wavefunctions.

Partially Contracted Approach

An alternative approach, named Partially Contracted (PC) is to define the perturber wavefunctions in a subspace [math]\displaystyle{ \overline{S}_l^k }[/math] of [math]\displaystyle{ S_l^k }[/math] with dimensionality higher than one (like in case of the Strongly Contracted approach). To define this subspace, a set of functions [math]\displaystyle{ \Phi }[/math] is generated by means of the [math]\displaystyle{ V_l^k }[/math] operators, after decontraction of their formulation. For example, in the case of the [math]\displaystyle{ V_{rsi}^{-1} }[/math] operator

[math]\displaystyle{ V_{rsi}^{-1} = \gamma_{rs} \sum_a \left( \left\langle rs\left.\right| ia \right\rangle E_{ri} E_{sa} + \left\langle sr \left.\right| ia \right\rangle E_{si} E_{ra} \right) \quad r \le s }[/math]

The Partially Contracted approach makes use of functions [math]\displaystyle{ \Phi_{risa} = E_{ri} E_{sa} \Psi_m^{(0)} }[/math] and [math]\displaystyle{ \Phi_{risa} = E_{si} E_{ra} \Psi_m^{(0)} }[/math]. These functions must be orthonormalized and purged of linear dependencies which may arise. The resulting set spans the [math]\displaystyle{ \overline{S}_{rsi}^{-1} }[/math] space.

Once all the [math]\displaystyle{ \overline{S}_l^k }[/math] spaces have been defined, we can obtain as usual a set of perturbers from the diagonalization of the Hamiltonian (true or Dyall) inside this space

[math]\displaystyle{ \hat{\mathcal{P}}_{\overline{S}_l^k}\hat{\mathcal{H}}\hat{\mathcal{P}}_{\overline{S}_l^k} \left| \Psi_{l\mu}^{k} \right\rangle = E_{l,\mu}^{k} \left| \Psi_{l\mu}^{k} \right\rangle }[/math]

As usual, the evaluation of the Partially Contracted perturbative correction by means of the Dyall Hamiltonian involves simply manageable entities for nowadays computers.

Although the Strongly Contracted approach makes use of a perturbative space with very low flexibility, in general it provides values in very good agreement with those obtained by the more decontracted space defined for the Partially Contracted approach. This can be probably explained by the fact that the Strongly Contracted perturbers are a good average of the totally decontracted perturbative space.

The Partially Contracted evaluation has a very little overhead in computational cost with respect to the Strongly Contracted one, therefore they are normally evaluated together.

Properties

NEVPT is blessed with many important properties, making the approach very solid and reliable. These properties arise both from the theoretical approach used and on the Dyall's Hamiltonian particular structure:

• Size consistency: NEVPT is size consistent (strict separable). Briefly, if A and B are two non-interacting systems, the energy of the supersystem A-B is equal to the sum of the energy of A plus the energy of B taken by themselves ([math]\displaystyle{ E(A-B) = E(A) + E(B) }[/math]). This property is of particular importance to obtain correctly behaving dissociation curves.
• Absence of intruder states: in perturbation theory, divergencies can occur if the energy of some perturber happens to be nearly equal to the energy of the zero-order wavefunction. This situation, which is due to the presence of an energy difference at the denominator, can be avoided if the energies associated to the perturbers are guaranteed to be never nearly equal to the zero-order energy. NEVPT satisfies this requirement.
• Invariance under active orbital rotation: The NEVPT results are stable if an intraclass active-active orbital mixing occurs. This arises both from the structure of the Dyall Hamiltonian and the properties of a CASSCF wavefunction. This property has been also extended to the intraclass core-core and virtual-virtual mixing, thanks to the Non Canonical NEVPT approach, allowing to apply a NEVPT evaluation without performing an orbital canonization (which is required, as we saw previously)
• Spin purity is guaranteed: The resulting wave functions are guaranteed to be spin pure, due to the spin-free formalism.
• Efficiency: although not a formal theoretical property, computational efficiency is highly important for the evaluation on medium-size molecular systems. The current limit of the NEVPT application is largely dependent on the feasibility of the previous CASSCF evaluation, which scales factorially with respect to the active space size. The NEVPT implementation using the Dyall's Hamiltonian involves the evaluation of Koopmans' matrices and density matrices up to the four-particle density matrix spanning only active orbitals. This is particularly convenient, given the small size of currently used active spaces.
• Partitioning into additive classes: The perturbative correction to the energy is additive on eight different contributions. Although the evaluation of each contribution has a different computational cost, this fact can be used to improve performance, by parallelizing each contribution to a different processor.

See also

• Electron correlation
• Perturbation theory (quantum mechanics)
• Post-Hartree–Fock

References

• Angeli, C.; Cimiraglia, R.; Evangelisti, S.; Leininger, T.; Malrieu, J. -P. (2001). "Introduction of n-electron valence states for multireference perturbation theory". The Journal of Chemical Physics 114 (23): 10252. doi:10.1063/1.1361246. Bibcode: 2001JChPh.11410252A. 
• Angeli, C.; Cimiraglia, R.; Malrieu, J. P. (2001). "N-electron valence state perturbation theory: A fast implementation of the strongly contracted variant". Chemical Physics Letters 350 (3–4): 297. doi:10.1016/S0009-2614(01)01303-3. Bibcode: 2001CPL...350..297A. 
• Angeli, C.; Cimiraglia, R.; Malrieu, J. P. (2002). "N-electron valence state perturbation theory: A spinless formulation and an efficient implementation of the strongly contracted and of the partially contracted variants". The Journal of Chemical Physics 117 (20): 9138. doi:10.1063/1.1515317. Bibcode: 2002JChPh.117.9138A.