This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

An accurate and efficient Ehrenfest dynamics approach for calculating linear and nonlinear electronic spectra

Austin O. Atsango Department of Chemistry, Stanford University, Stanford, California, 94305, USA    Andrés Montoya-Castillo [email protected] Department of Chemistry, University of Colorado Boulder, Boulder, Colorado, 80309, USA    Thomas E. Markland [email protected] Department of Chemistry, Stanford University, Stanford, California, 94305, USA
Abstract

Linear and nonlinear electronic spectra provide an important tool to probe the absorption and transfer of electronic energy. Here we introduce a pure state Ehrenfest approach to obtain accurate linear and nonlinear spectra that is applicable to systems with large numbers of excited states and complex chemical environments. We achieve this by representing the initial conditions as sums of pure states and unfolding multi-time correlation functions into the Schrödinger picture. By doing this we show that one can obtain significant improvements in accuracy over the previously used projected Ehrenfest approach and that these benefits are particularly pronounced in cases where the initial condition is a coherence between excited states. While such initial conditions do not arise when calculating linear electronic spectra, they play a vital role in capturing multidimensional spectroscopies. We demonstrate the performance of our method by showing that it is able to quantitatively capture the exact linear, 2DES, and pump-probe spectra for a Frenkel exciton model in slow bath regimes and is even able to reproduce the main spectral features in fast bath regimes.

I Introduction

Nonlinear optical spectroscopy is a powerful tool for probing the structure and dynamics of chemical systems Ginsberg, Cheng, and Fleming (2009); Cho (2008); Khalil, Demirdöven, and Tokmakoff (2003), and it typically provides significantly more information than its linear counterparts. For example, 2D electronic spectroscopy (2DES) Hybl et al. (1998); Mukamel (1995) is frequently used to elucidate inter-chromophoric couplings, energy transfer and relaxation processes, and environmental effects in systems such as photosynthetic molecular aggregates with femtosecond time resolution Brixner et al. (2005); Engel et al. (2007); Dostál et al. (2012); Abramavicius and Mukamel (2010). However, interpreting these spectra in terms of the specific molecular structures and motions that give rise to the electronic states and their relaxation pathways often requires the assistance of simulations to disentangle spectral features such as short-time coherent oscillations and long-time population decay pathways. Accurately and efficiently simulating 2DES signals from atomistic simulations and uncovering how they arise from the underlying quantum dynamics of the nuclear and electronic states remains a significant challenge.

Simulating nonlinear optical spectra requires obtaining higher-order response functions and hence the number of methods that have successfully been applied to generate them is significantly more limited than for the less computationally demanding linear spectra. Exact methods such as the Hierarchical Equations of Motion (HEOM) Tanimura and Kubo (1989); Ishizaki and Tanimura (2007); Kreisbeck et al. (2011); Chen et al. (2010) and multiconfiguration time-dependent Hartree (MCTDH) Meyer (2011); Schulze et al. (2017) provide important insights and benchmarks for approximate methods. However, the desire to treat large condensed-phase systems containing many electronic states with a fully atomistic treatment of the nuclear motions and even on-the-fly evaluation of the electronic surfaces has spurred the recent development of approximate dynamics methods. When approximate methods are used, 2DES has been shown to provide a much stricter test of the quantum dynamics method employed than linear electronic spectroscopy. For example, when using Redfield theoryREDFIELD (1965); Bloch (1957) it has been shown that in parameter regimes where the linear electronic spectrum can be quantitatively captured, the 2DES spectrum significantly deviates from the exact results Fetherolf and Berkelbach (2017), although this can be somewhat alleviated by freezing the low-frequency bath modes.Montoya-Castillo, Berkelbach, and Reichman (2015); Fetherolf and Berkelbach (2017)

Trajectory-based methods provide a particularly appealing approach to simulate 2DES since they are typically compatible with a fully atomistic treatment of the nuclear motions and even on-the-fly evaluation of the electronic surfaces on which the nuclei evolve. Many recent applications of trajectory-based methods to 2DES have been based on semiclassical treatments of the Meyer-Miller-Stock-Thoss Meyer and Miller (1979); Stock and Thoss (1997) mapping of the electronic degrees of freedom. In particular, the partially linearized density matrix (PLDM) approach Huo and Coker (2011) and its more recent spin-PLDM variant Mannouch and Richardson (2020a, b) have been shown to produce accurate 2DES spectra in parameter regimes where perturbative methods break down Provazza et al. (2018); Mannouch and Richardson (2022). Further work has shown how mapping-based semiclassical methods can be used to simulate 2DES beyond the perturbative treatment of the field-matter interaction Gao and Geva (2020). The optimized mean trajectory approach has also been recently coupled with trajectories based on the Meyer-Miller Hamiltonian to compute two-dimensional vibrational-electronic spectra Polley and Loring (2021); Loring (2022). Other trajectory-based approaches include the numerical integration of the Schrodinger equation (NISE) Jansen and Knoester (2006); Liang and Jansen (2012); Torii (2006) and the stochastic Liouville Equation methods Jansen, Zhuang, and Mukamel (2004); Jansen et al. (2005), which involve an explicit treatment of the bath degrees of freedom but do not account for the back-reaction of the electronic degrees of freedom on the bath, leading to inaccuracies in linear and nonlinear spectra. To correct this, NISE has been combined with the fewest switches surface hopping approach, allowing it to incorporate the quantum back-reaction on the bath and thus improve its accuracy.Tempelaar et al. (2013)

Here, we present an accurate method to simulate 2DES using Ehrenfest dynamics and contrast it with a previously reported method detailed in Ref. van der Vegte et al., 2013. By applying our method, we show that significantly more accurate 2DES spectra can be obtained from Ehrenfest dynamics if one uses an appropriate initialization of coherence and mixed states. In particular, we express all initial conditions as sums of pure states, which have important implications for the accuracy of the resulting dynamics and allow the simulation to be done unambiguously in either the wavefunction or density matrix formulations of Ehrenfest theory. We show that when formulated in this way, Ehrenfest theory can closely reproduce the HEOM result, and that this result is not achieved when initialization is not done from pure states.

II Pure State and Projected Ehrenfest Methods

It has previously been shown that in the density matrix formulation of the Ehrenfest method Kapral and Ciccotti (1999), a carefully constructed initialization is required to obtain unambiguous results because density matrices initialized from non-pure states do not yield unique dynamics Montoya-Castillo and Reichman (2016). Conversely, the wavefunction formulation of Ehrenfest does not suffer from this problem because all initial conditions are automatically pure states. Our approach to the density matrix formulation of Ehrenfest avoids this previously reported ambiguity by expanding any given initial density matrix ρ0\rho_{0} as a sum of pure states,

ρ0=iai|ψiψi|.\rho_{0}=\sum_{\rm{i}}a_{\rm{i}}\ket{\psi_{\rm{i}}}\bra{\psi_{\rm{i}}}. (1)

For an arbitrary initial density matrix ρ0=|ab|\rho_{0}=\ket{a}\bra{b}, the pure state decomposition can be accomplished as follows:

|ab|=12(ρab++iρab[1+i](ρaa+ρbb))\ket{a}\bra{b}=\frac{1}{2}\left(\rho^{+}_{\rm{ab}}+i\rho^{-}_{\rm{ab}}-\left[1+i\right]\left(\rho_{\rm{aa}}+\rho_{\rm{bb}}\right)\right) (2)

where

ρaa=|aa|ρbb=|bb|ρab+=12(|a+|b)(a|+b|)ρab=12(|a+i|b)(a|ib|)\begin{split}\rho_{\rm{aa}}&=\ket{a}\bra{a}\\ \rho_{\rm{bb}}&=\ket{b}\bra{b}\\ \rho^{+}_{\rm{ab}}&=\frac{1}{2}\left(\ket{a}+\ket{b}\right)\left(\bra{a}+\bra{b}\right)\\ \rho^{-}_{\rm{ab}}&=\frac{1}{2}\left(\ket{a}+i\ket{b}\right)\left(\bra{a}-i\bra{b}\right)\end{split} (3)

are pure states. Here we will refer to this approach as pure state Ehrenfest and contrast it with the unmodified alternative, which we refer to as projected Ehrefest, where all initial conditions |ab|\ket{a}\bra{b} are propagated directly without having been decomposed into pure states.

III Simulation Details: Frenkel exciton model

We consider a Frenkel exciton model of coupled chromophores where the full matter Hamiltonian is

H^mat=H^s+H^b+H^sb.\hat{H}_{\rm{mat}}=\hat{H}_{\rm{s}}+\hat{H}_{\rm{b}}+\hat{H}_{\rm{sb}}. (4)

Here, H^s\hat{H}_{\rm{s}} is the system Hamiltonian, H^b\hat{H}_{\rm{b}} is the bath Hamiltonian, and H^sb\hat{H}_{\rm{sb}} is the system-bath coupling. The system Hamiltonian, H^s\hat{H}_{\rm{s}}, consists of individual chromophores, each with a site energy ϵm\epsilon_{\rm{m}}, that couple electronically via the transfer integrals JmnJ_{\rm{mn}}:

H^s=mϵm|mm|+mnJmn|mn|.\hat{H}_{\rm{s}}=\sum_{\rm{m}}\epsilon_{\rm{m}}\ket{m}\bra{m}+\sum_{\rm{m\neq n}}J_{\rm{mn}}\ket{m}\bra{n}. (5)

The bath Hamiltonian, H^b\hat{H}_{\rm{b}}, consists of independent sets of phonon modes coupled to each chromophore. It is expressed in terms of the phonon mode frequencies ω\omega and their mass-weighted momenta and coordinates P^\hat{P} and Q^\hat{Q} as:

H^b=mj=1Nbm(12P^mj2+12ωmj2Q^mj2).\hat{H}_{b}=\sum_{\rm{m}}\sum_{\rm{j=1}}^{\rm{N^{m}_{b}}}\left(\frac{1}{2}\hat{P}^{2}_{\rm{mj}}+\frac{1}{2}\omega^{2}_{\rm{mj}}\hat{Q}^{2}_{\rm{mj}}\right). (6)

Each chromophore site |mm|\ket{m}\bra{m} is linearly coupled to its local bath of phonon modes, such that H^sb\hat{H}_{\rm{sb}} takes the form

H^sb=mj=1NbmcmjQ^mj|mm|,\hat{H}_{sb}=\sum_{\rm{m}}\sum_{\rm{j=1}}^{\rm{N^{m}_{b}}}c_{\rm{mj}}\hat{Q}_{\rm{mj}}\ket{m}\bra{m}, (7)

where cmjc_{\rm{mj}} is the coupling strength of the jthj^{th} phonon mode attached to chromophore mm. The characteristics of the baths and their effect on the chromophores are specified via the spectral density,

Jm(ω)=π2jcmj2ωjδ(ωωj).J_{\rm{m}}(\omega)=\frac{\pi}{2}\sum_{\rm{j}}\frac{c^{2}_{\rm{mj}}}{\omega_{\rm{j}}}\delta(\omega-\omega_{\rm{j}}). (8)

All chromophore sites are assumed to have identical spectral densities (Jm(ω)=J(ω)J_{\rm{m}}(\omega)=J(\omega)). Here, we use an Ohmic spectral density with a Lorentzian cutoff (Debye),

J(ω)=2λωcωωc2+ω2,J(\omega)=\frac{2\lambda\omega_{\rm{c}}\omega}{\omega_{\rm{c}}^{2}+\omega^{2}}, (9)

where ωc\omega_{\rm{c}} is the bath cut-off frequency and λ=(π)10𝑑ωJ(ω)/ω\lambda=(\hbar\pi)^{-1}\int_{0}^{\infty}d\omega J(\omega)/\omega is the reorganization energy.

To obtain linear and non-linear spectra, we treat the light-matter interaction perturbatively Mukamel (1995), i.e.,

H^spec=H^mat𝝁𝑬(𝒕),\hat{H}_{\rm{spec}}=\hat{H}_{\rm{mat}}-\bm{\mu}\cdot\bm{E(t)}, (10)

where 𝑬(𝒕)\bm{E(t)} is the classical electric field and 𝝁\bm{\mu} is the total dipole operator,

𝝁=mμm(|m0|+|0m|).\bm{\mu}=\sum_{\rm{m}}\mu_{\rm{m}}(\ket{m}\bra{0}+\ket{0}\bra{m}). (11)

We consider a system of two coupled chromophores with ϵ1=50\epsilon_{1}=50 cm-1, ϵ2=50\epsilon_{2}=-50 cm-1, and J12=J_{12}=  100 cm-1, consistent with that used in previous studies Ishizaki and Fleming (2009); Fetherolf and Berkelbach (2017). In this system, there are four states, all of which are accessible: the ground state, two singly excited states, and one doubly excited state. We report results for two sets of bath parameters: a slow bath with a relaxation time ωc1=300\omega_{c}^{-1}=300 fs and a fast bath with a relaxation time ωc1\omega_{c}^{-1} = 17.7 fs, both at kBT=208k_{B}T=208 cm-1. Each bath was discretized using 300 phonon modes via the method employed in Ref. Berkelbach, Reichman, and Markland, 2012 that is designed to yield the exact reorganization energy regardless of the number of modes used. The reorganization energy λ\lambda was set to 50 cm-1. All spectra were calculated with a transition dipole matrix where μ1/μ2=5\mu_{1}/\mu_{2}=-5. The slow bath parameter regime was previously investigated via HEOM and Redfield theory and its frozen mode variant in Ref. Fetherolf and Berkelbach, 2017.

Our HEOM and projected Ehrenfest calculations were conducted using the python package pyrho Berkelbach et al. (2020). For the HEOM calculations, converged results for the regimes studied here were obtained by employing the high-temperature approximation, i.e. using zero Matsubara frequencies (K=0K=0), and truncating the auxiliary density matrices at L=15L=15. Both the HEOM and projected Ehrenfest equations of motion were propagated using a fourth-order Runge-Kutta integrator, while the pure state Ehrenfest method was propagated via the split Liouvillian method, allowing for the use of larger time steps. In the slow bath parameter regime, we used time steps of 10 fs for HEOM and 2 fs for both versions of Ehrenfest, while in the fast bath parameter regime, we used a time step of 2.5 fs for HEOM and 10 fs for pure state Ehrenfest. The linear spectra were generated using 20000 trajectories of length 400 fs, while the nonlinear spectra used 20000 trajectories of length 300 fs for the slow bath regime and 200 fs for the fast bath regime.

IV Results

Here we compare the Ehrenfest results for both the linear and nonlinear optical spectra of the Frenkel exciton model outlined in Sec. III to spectra obtained using the numerically exact HEOM approach. We demonstrate that, while in linear absorption spectra the differences between pure state and projected Ehrenfest are subtle, they become much more pronounced for nonlinear spectra.

IV.1 Linear Optical Spectroscopy

Refer to caption
Figure 1: Linear absorption spectra for the slow bath (a) and fast bath (b) parameter regimes computed via HEOM, pure state Ehrenfest, and projected Ehrenfest.

Linear absorption spectra can be obtained from the Fourier transform of the first-order response function, χ(t)\chi(t) Mukamel (1995),

χ(t)=Tr[μ^eiH^tμ^(0)ρ(0)eiH^t]σ(ω)=0𝑑teiωtχ(t).\begin{split}\chi(t)=\mathrm{Tr}[\hat{\mu}e^{-i\hat{H}t}\hat{\mu}(0)\rho(0)e^{i\hat{H}t}]\\ \sigma(\omega)=\int_{0}^{\infty}dte^{i\omega t}\chi(t).\end{split} (12)

Applying the dipole operator at t=0t=0 results in an optical coherence between the ground state and singly excited states, ρ~(0)=μ^(0)ρ(0)\tilde{\rho}(0)=\hat{\mu}(0)\rho(0). This initial condition can be represented either as an unmodified projected state (i.e., |eg|\ket{e}\bra{g}) or as a sum of pure states. Absorption spectra computed via pure state Ehrenfest, projected Ehrenfest, and the numerically exact HEOM for both the fast and slow bath parameter regimes are shown in Fig. 1. In the slow bath regime (Fig. 1 (a)), where Ehrenfest theory is expected to be accurate, both projected Ehrenfest and pure state Ehrenfest quantitatively reproduce the HEOM result. In the fast bath parameter regime (Fig. 1 (b)), despite qualitative agreement with the HEOM result, there are small inaccuracies for both Ehrenfest methods, with the pure state Ehrenfest method giving a more accurate result than the projected Ehrenfest method. These results can be explained by examining the dynamics arising from the coherence initial condition, ρS(0)=|01|\rho_{S}(0)=\ket{0}\bra{1} shown in Figs. 2 (a) and (b). |01|\ket{0}\bra{1} is one of the coherence initial conditions (the others being ρS(0)=|02|\rho_{S}(0)=\ket{0}\bra{2} and their complex conjugates) that is propagated to give rise to the first-order response function, χ(t)\chi(t). In the slow bath regime, there is near quantitative agreement between both versions of Ehrenfest and the HEOM result, while in the fast bath regime, there are more pronounced differences, with the pure state Ehrenfest dynamics matching the HEOM result more closely and the projected Ehrenfest result being underdamped. These differences mirror and point to the source of inaccuracies in the absorption spectra for the fast bath parameter regime. The overall similarity in coherence dynamics across different methods (Fig. 2) also reveals why the linear spectra appear to be relatively insensitive to the initialization scheme used for Ehrenfest dynamics: the dynamics starting from a density matrix corresponding to a coherence with the ground state are not as sensitive to the initialization scheme. The relative insensitivity of the linear absorption spectra to methods that inaccurately treat coherence dynamics has previously been observed for Redfield theory, which was shown to yield accurate linear absorption spectra despite getting incorrect population dynamics Fetherolf and Berkelbach (2017), albeit with a different dynamical method rooted in perturbation theory.

Refer to caption
Figure 2: Coherence dynamics for the slow bath (a) and fast bath (b) parameter regimes computed via HEOM, pure state Ehrenfest, and projected Ehrenfest.

IV.2 Nonlinear Optical Spectroscopy

Two-dimensional electronic spectra offer a much stricter test than absorption spectroscopy of a method’s accuracy because they require one to correctly capture both the population and coherence dynamics for a wider range of initial conditions.

Refer to caption
Figure 3: Exact 2DES spectra for the slow bath parameter regime computed using HEOM (top row). 2DES spectra computed using the pure state Ehrenfest and projected Ehrenfest methods are shown in the middle and bottom rows respectively. All spectra are normalized such that the maximum amplitude equals 1.

2DES spectra can be obtained from a Fourier transform over the rephasing (RrpR_{rp}) and non-rephasing (RnrR_{nr}) terms of third-order response function under the rotating wave approximation Mukamel (1995),

S(ω3,t2,ω1)=Re0dt10dt3[ei(ω1t1+ω3)Rnr(t3,t2,t1)+ei(ω1t1+ω3)Rrp(t3,t2,t1)],\begin{split}S(\omega_{3},t_{2},\omega_{1})&=\mathrm{Re}\int_{0}^{\infty}dt_{1}\int_{0}^{\infty}dt_{3}[e^{i(\omega_{1}t_{1}+\omega_{3})}R_{\rm{nr}}(t_{3},t_{2},t_{1})\\ &+e^{i(-\omega_{1}t_{1}+\omega_{3})}R_{\rm{rp}}(t_{3},t_{2},t_{1})],\end{split} (13)

where

Rrp=Φ1(t3,t2,t1)+Φ2(t3,t2,t1)Φ3(t3,t2,t1),Rnr=Φ4(t3,t2,t1)+Φ5(t3,t2,t1)Φ6(t3,t2,t1)\begin{split}R_{\rm{rp}}&=\Phi_{1}(t_{3},t_{2},t_{1})+\Phi_{2}(t_{3},t_{2},t_{1})-\Phi_{3}(t_{3},t_{2},t_{1}),\\ R_{\rm{nr}}&=\Phi_{4}(t_{3},t_{2},t_{1})+\Phi_{5}(t_{3},t_{2},t_{1})-\Phi_{6}(t_{3},t_{2},t_{1})\end{split} (14)

include the ground state bleaching, stimulated emission, and excited state absorption contributions, and

Φ1(t3,t2,t1)=μ𝒢(t3)[𝒢(t2)[μ+𝒢(t1)(ρ0μ)]μ+]Φ2(t3,t2,t1)=μ𝒢(t3)[μ+𝒢(t2)[𝒢(t1)(ρ0μ)μ+]]Φ3(t3,t2,t1)=μ𝒢(t3)[μ+𝒢(t2)[μ+𝒢(t1)(ρ0μ)]]Φ4(t3,t2,t1)=μ𝒢(t3)[𝒢(t2)[𝒢(t1)(μ+ρ0)μ]μ+]Φ5(t3,t2,t1)=μ𝒢(t3)[μ+𝒢(t2)[μ𝒢(t1)(μ+ρ0)]]Φ6(t3,t2,t1)=μ𝒢(t3)[μ+𝒢(t2)[𝒢(t1)(μ+ρ0)]μ].\begin{split}\Phi_{1}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mathcal{G}(t_{2})[\mu_{+}\mathcal{G}(t_{1})(\rho_{0}\mu_{-})]\mu_{+}]\rangle\\ \Phi_{2}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mu_{+}\mathcal{G}(t_{2})[\mathcal{G}(t_{1})(\rho_{0}\mu_{-})\mu_{+}]]\rangle\\ \Phi_{3}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mu_{+}\mathcal{G}(t_{2})[\mu_{+}\mathcal{G}(t_{1})(\rho_{0}\mu_{-})]]\rangle\\ \Phi_{4}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mathcal{G}(t_{2})[\mathcal{G}(t_{1})(\mu_{+}\rho_{0})\mu_{-}]\mu_{+}]\rangle\\ \Phi_{5}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mu_{+}\mathcal{G}(t_{2})[\mu_{-}\mathcal{G}(t_{1})(\mu_{+}\rho_{0})]]\rangle\\ \Phi_{6}(t_{3},t_{2},t_{1})&=\langle\mu_{-}\mathcal{G}(t_{3})[\mu_{+}\mathcal{G}(t_{2})[\mathcal{G}(t_{1})(\mu_{+}\rho_{0})]\mu_{-}]\rangle.\end{split} (15)

Here, 𝒢(t)ρ=eiHmatt/ρeiHmatt/\mathcal{G}(t)\rho=e^{-iH_{\rm{mat}}t/\hbar}\rho e^{iH_{\rm{mat}}t/\hbar} is the Liouville-space propagator and

μ=mμm|0m|μ+=mμm|m0|.\begin{split}\mu_{-}&=\sum_{\rm{m}}\mu_{\rm{m}}\ket{0}\bra{m}\\ \mu_{+}&=\sum_{\rm{m}}\mu_{\rm{m}}\ket{m}\bra{0}.\end{split} (16)

A procedure for obtaining the third-order response function from Ehrenfest dynamics was previously outlined in Ref. van der Vegte et al., 2013, which employs ensemble averages over the ground state wavefunction, |0\ket{0}. In this scheme, the dipole operator is applied via a product with individual dipole matrix elements, time propagation is done only over select population states, and the effect of coherences is modeled via an average over two wavefunctions formed from the ket and bra. However, the use of specific dipole matrix elements as well as time-propagation over select population states make it difficult to generalize that method to arbitrary systems with multiple quantum states. Here, we present a generalizable method that exploits the linearity of density matrices to compute third-order response functions as follows:

  1. 1.

    Apply the first dipole operator to ρ0\rho_{0} at t=0t=0 and split the resultant density matrix into 4 pure states as described in Section II. Via the Condon approximation, the bath degrees of freedom are untouched by the dipole operator and are initially sampled from the Wigner transform of the Boltzmann distribution on the ground state. Each resultant pure state inherits its own copy of the bath. Propagate states and their corresponding baths independently through t1t_{1}.

  2. 2.

    Apply the second dipole operator at t=t1t=t_{1}, this time to all 4 propagated states. This operation usually results in a new set of non-pure states, which are subsequently split into 4 of their respective pure states, bringing the total number of branches to 16. Each branch adopts a copy of bath coordinates and momenta from its parent branch, ensuring continuity from t=0t=0. Propagate the pure states and baths independently through the waiting time, t2t_{2}.

  3. 3.

    Apply the third dipole operator at t=t1+t2t=t_{1}+t_{2} to the 16 propagated states. This splits them again into a total of 64 branches, each a pure state. Propagate all branches through t3t_{3}.

  4. 4.

    Consolidate all 64 branches at t=t1+t2+t3t=t_{1}+t_{2}+t_{3} and apply the final dipole operator to obtain the third-order response function.

Multiple instances of this procedure are run in order to average over an ensemble of initial bath states. From the above, it is clear that the pure state Ehrenfest method requires more sampling than projected Ehrenfest, which does not involve any splitting of initial conditions into pure states. As we will see below, this splitting into pure states is required to obtain accurate 2DES spectra. The procedure can also be trivially parallelized since all trajectories in the scheme run independently. Additionally, as demonstrated in Section II, we decompose each initial density matrix |ab|\ket{a}\bra{b} as a sum of only 4 pure states in the same Liouville space.

An alternative method for obtaining accurate Ehrenfest dynamics from non-pure state density matrices is outlined in our previous work in the Appendices of Ref. Pfalzgraff et al., 2019, and it involves stochastically sampling an auxiliary wavefunction. For example, the initial condition |01|\ket{0}\bra{1} would be obtained from

|ψ=12(|0+eiϕ|1),\ket{\psi}=\frac{1}{\sqrt{2}}\left(\ket{0}+e^{i\phi}\ket{1}\right), (17)

where ϕ\phi is a parameter that is sampled over the range 02π0-2\pi. In this stochastic scheme, sampling is required both over values of ϕ\phi and initial positions and momenta of the bath. In the context of a third-order response function, ϕ\phi would require fresh sampling every time a measurement is made (i.e., at times t=0t=0, t=t1t=t_{1}, and t=t1+t2t=t_{1}+t_{2}) because the auxiliary wavefunction would otherwise return incorrect dynamics. In contrast, the pure state Ehrenfest method detailed above only requires the usual sampling over initial bath conditions, which can be done once at t=0t=0 since the baths are continuous through t=t1+t2+t3t=t_{1}+t_{2}+t_{3}.

Refer to caption
Figure 4: Real parts of Φ2\Phi_{2} for the slow bath parameter regime as computed via HEOM, pure state Ehrenfest, and projected Ehrenfest.
Refer to caption
Figure 5: Imaginary parts of Φ2\Phi_{2} for the slow bath parameter regime as computed via HEOM, pure state Ehrenfest, and projected Ehrenfest.

Fig. 3 shows the 2DES spectra obtained from both the pure state and projected forms of Ehrenfest and how they compare to the HEOM spectra. The response functions used to obtain the Ehrenfest spectra were truncated (windowed using a step function) as outlined in the SI Sec. LABEL:sec:third_order_truncation. From this, we observe that pure state Ehrenfest recovers almost quantitative agreement with the HEOM result, with just a slight deterioration as the waiting time t2t_{2} increases. In contrast, projected Ehrenfest yields much worse agreement with the HEOM spectrum. While most of the spectral features from the HEOM spectrum are present at t2=0t_{2}=0, the projected Ehrenfest spectrum becomes progressively worse as t2t_{2} increases and bears little resemblance to the HEOM result by the time t2=600t_{2}=600 fs.

The poor performance of the projected Ehrenfest method can be tracked down to discrepancies in the contributions of the response function. Figs. 4 and 5 illustrate this using plots of Φ2\Phi_{2}, with the rest of the contributions of the response function being shown in SI Figs. LABEL:fig:phi_1_slowLABEL:fig:phi_6_fast. Here, we observe that, as expected, pure state Ehrenfest accurately reproduces the HEOM result while projected Ehrenfest fails to do so, and that the discrepancy is much more striking in the imaginary part of the response function. These discrepancies can be further traced to the single-time dynamics obtained from coherence initial conditions between excited states. Since the Frenkel exciton model is in the global ground state ρ0=|00|\rho_{0}=\ket{0}\bra{0} at t=0t=0, such coherence states can only be obtained when the dipole operator is applied multiple times, as is the case when computing the third-order response. As such, the dynamics of coherence initial conditions between excited states (e.g. |12|\ket{1}\bra{2}) are relevant to nonlinear spectra but not linear spectra. Figure 6 shows both the population and coherence dynamics for |12|\ket{1}\bra{2}. In both the slow and fast bath parameter regimes, we see from the first two rows that the population dynamics obtained from pure state Ehrenfest more closely match the HEOM result, especially at longer times. In contrast, the projected Ehrenfest result matches the HEOM result until \sim200 fs, after which there are notable deviations. This poor performance of projected Ehrenfest is also observed to a lesser extent in the coherence dynamics of the |12|\ket{1}\bra{2} initial state (bottom two rows of Fig. 6). We emphasize that the coherence dynamics presented here are distinct from those involved in the absorption spectra since they do not involve the ground state. The worsening performance of projected Ehrenfest with time in reproducing the dynamics arising from |12|\ket{1}\bra{2} also explains why the respective 2DES spectrum degrades progressively as the waiting time t2t_{2} increases (Fig. 3). As such, the differences in the performance between projected and pure state Ehrenfest can be attributed to inaccuracies in the projected Ehrenfest dynamics when populations, and coherences to a lesser extent, arise from an initial condition of coherences between two excited states.

Refer to caption
Figure 6: Single-time dynamics for an initial condition of |12|\ket{1}\bra{2} for both the slow (left) and fast (right) bath parameter regimes. The first two rows contain population dynamics (i.e. |11|\ket{1}\bra{1} and |22|\ket{2}\bra{2}), while the bottom two rows show coherence dynamics (|21|\ket{2}\bra{1} and |12|\ket{1}\bra{2}).

Pump-probe spectra, generated by integrating over ω1\omega_{1}, are shown in Fig. 7. The results here mirror those of the 2DES spectrum, where the pure state Ehrenfest method accurately reproduces the HEOM result, albeit with slightly higher peaks at 200 cm-1 for t2t_{2}\geq 200 fs. In contrast, while the projected Ehrenfest method yields accurate results at t2=0t_{2}=0, the accuracy of the pump-probe spectra degrades at t2t_{2}\geq 200 fs, with the peak around 200 cm-1 losing definition.

Refer to caption
Figure 7: Pump-probe spectra for the slow bath parameter regime obtained from integrating the 2DES spectra over ω1\omega_{1}.

Next we examine how well pure state Ehrenfest performs in a more challenging fast bath regime. Fig. 8 shows 2DES spectra for the fast bath parameters computed via HEOM and pure state Ehrenfest. The range of values for t2t_{2} (0 - 150 fs) is more limited here than in the slow bath regime because we observed virtually no change in the 2DES spectrum beyond t2=t_{2}=200 fs (see SI Figure LABEL:fig:fast_bath_extended). As with the slow bath parameter regime, the pure state Ehrenfest response functions were truncated before being Fourier transformed to produce the 2DES spectra (see SI Sec. LABEL:sec:third_order_truncation). In this more challenging regime, pure state Ehrenfest does not perform as well as it did for the slow bath parameters. This is not surprising, as it aligns with the well-known deficiencies of the Ehrenfest method, which struggles to capture the correct dynamics in the limit of fast nuclei. Nonetheless, it is able to qualitatively capture most of the features present in the HEOM spectrum. This result is corroborated by the pump-probe spectra shown in Fig. 9.

Refer to caption
Figure 8: Exact two-dimensional spectra for the fast bath parameters computed using HEOM (top row), compared to the pure state Ehrenfest method (bottom row). All spectra are normalized such that the maximum amplitude equals 1.
Refer to caption
Figure 9: Pump-probe spectra for the fast bath parameter regime obtained from integrating the 2DES spectra over ω1\omega_{1}.

V Conclusion

Here we have introduced the pure state Ehrenfest method to obtain linear and nonlinear spectra. We have shown that exploiting the linearity of the density matrix to express all initial conditions as sums of pure states is essential to obtaining accurate coherence dynamics. In particular, while our approach provides modest improvements over projected Ehrenfest in computing linear spectra, it is able to dramatically improve the accuracy with which nonlinear spectra (2DES and pump-probe) can be obtained, especially at longer waiting times. The physical origin of this improvement arises from the ability of our pure state Ehrenfest approach to much more accurately capture the dynamics when the initial condition is a coherence between excited states. These conditions do not occur when calculating the linear spectra (where all the initial density matrices are coherences with the ground state) but play a vital role in obtaining the higher-order response functions needed to capture nonlinear spectroscopy. We have shown that pure state Ehrenfest gives excellent agreement with the exact linear and 2DES spectra in the slow bath regime where the Ehrenfest method is expected to be accurate and have also demonstrated that it still provides good results in a faster bath regime and preserves the qualitative features observed in the exact spectra. These results suggest that the pure state Ehrenfest approach provides a tractable and accurate approach to calculate nonlinear spectra for multichromophoric systems in a wide range of chemical environments.

References

References

Acknowledgements

This work was funded by the U.S. Department of Energy, Office of Science, Office of Basic Energy Sciences (DE-SC0020203 to T.E.M.). A.O.A. acknowledges support from the Edward Curtis Franklin Award and the Stanford Diversifying Academia, Recruiting Excellence Fellowship. A.M.C. acknowledges the start-up funds from the University of Colorado, Boulder.