- Sorbonne Université, CNRS, Institut des NanoSciences de Paris, Paris, France
For complex molecules, nuclear degrees of freedom can act as an environment for the electronic “system” variables, allowing the theory and concepts of open quantum systems to be applied. However, when molecular system-environment interactions are non-perturbative and non-Markovian, numerical simulations of the complete system-environment wave function become necessary. These many body dynamics can be very expensive to simulate, and extracting finite-temperature results—which require running and averaging over many such simulations—becomes especially challenging. Here, we present numerical simulations that exploit a recent theoretical result that allows dissipative environmental effects at finite temperature to be extracted efficiently from a single, zero-temperature wave function simulation. Using numerically exact time-dependent variational matrix product states, we verify that this approach can be applied to vibronic tunneling systems and provide insight into the practical problems lurking behind the elegance of the theory, such as the rapidly growing numerical demands that can appear for high temperatures over the length of computations.
1. Introduction
The dissipative quantum dynamics of electronic processes play a crucial role in the physics and chemistry of materials and biological life, particularly in the ultra-fast and non-equilibrium conditions typical of photophysics, nanoscale charge transfer and glassy, low-temperature phenomena (Miller et al., 1983). Indeed, the through-space tunneling of electrons, protons and their coupled dynamics critically determine how either ambient energy is transduced, or stored energy is utilized in supramolecular “devices,” and real-time dynamics are especially important when the desired processes occur against thermodynamical driving forces, or at the single-to-few particle level (Devault, 1980; May and Kühn, 2008).
In many physio-chemical systems, a reaction, energy transfer, or similar event proceeds in the direction of a free energy gradient, necessitating the dissipation of energy and the generation of entropy (Dubi and Dia Ventra, 2011; Benenti et al., 2017). A powerful way of modeling the microscopic physics at work during these irreversible dynamics is the concept of an “open” quantum system (Breuer and Petruccione, 2002; Weiss, 2012). Here a few essential and quantized degrees of freedom constituting the “system” are identified and explicitly coupled to a much larger number of “environmental” degrees of freedom. Equations of motion for the coupled system and environment variables are then derived and solved, with the goal of obtaining the behavior of the “system” degrees of freedom once the unmeasureable environmental variables are averaged over their uncertain initial and final states. It is in this “tracing out” of the environment that the originally conservative, reversible dynamics of the global system gives way to apparently irreversible dynamics in the behavior of the system's observable variables. The effective behavior of the system “opened” to the environment is entirely contained within its so-called reduced density matrix, which we shall later define. Important examples of the emergent phenomenology of reduced density matrices include the ubiquitous processes of thermalization, dephasing, and decoherence.
In the solid state, a typical electronic excitation will interact weakly with the lattice vibrations of the material, particularly the long-wavelength, low frequency modes. Under such conditions it is often possible to treat the environment with low-order perturbation theory and—given that the lattice “environment” relaxes back to equilibrium very rapidly—it is possible to derive a Markovian master equation for the reduced density matrix, such as the commonly used Bloch-Redfield theory (Breuer and Petruccione, 2002; May and Kühn, 2008; Weiss, 2012). However, in sufficiently complex molecular systems, such as organic bio-molecules, the primary environmental degrees of freedom acting on electronic states are typically the stochastic vibrational motions of the atomic nuclear coordinates. Unlike the solid state, these vibrations can: (1) couple non-perturbatively to electronic states, (2) relax back to equilibrium on timescales that are longer than the dynamics they induce in the system, and (3) have frequencies ω such that ℏω ≫ KBT, where T is the environmental temperature, and so must be treated quantum mechanically (zero-point energy and nuclear quantum effects). In this regime, the theory and numerical simulation of open quantum systems becomes especially challenging, as the detailed dynamics of the interacting system and environmental quantum states need to be obtained, essentially requiring the solution of a correlated (entangled) many body problem.
One well-known and powerful approach to this problem in theoretical chemistry is the Multi-layer Multiconfigurational Time-dependent Hartree (ML-MCTDH) technique, which enables vibronic wave functions to be efficiently represented and propagated without the a priori limitations due to the “curse of dimensionality” associated with many body quantum systems (Lubich, 2015; Wang and Shao, 2019). However, computationally demanding methods based on the propagation of a large wave function from a definite initial state will typically struggle when dealing with finite-temperature environments (vide infra), as the probability distribution of initial states requires extensive sampling. For this reason, the majority of ML-MCTDH studies have been effectively on zero-temperature systems.
In this article we will explore a recent and intriguing development in an alternative approach to real-time dynamics and chemical rate prediction. This approach is based on the highly efficient representation and manipulation of large, weakly entangled wave functions with DMRG, Matrix-Product, and Tensor-Network-State methods (Orus, 2014). These methods, widely used in condensed matter, quantum information and cold atom physics, have recently been applied to a range of open system models, including chemical systems, but—as wave function methods—are typically used at zero-temperature (Prior et al., 2010, 2013; Chin et al., 2013; Alvertis et al., 2019; Schröder et al., 2019; Xie et al., 2019). However, a remarkable new result due to Tamascelli et al. shows that it is indeed possible to obtain the finite-temperature reduced dynamics of a system based on a simulation of a “pure,” i.e., zero-temperature wave function (Tamascelli et al., 2019).
In principle, this opens the way for many existing wave function methods to be extended into finite temperature regimes, although the present formulation of Tamascelli et al.'s T-TEDOPA mapping is most easily implemented with matrix product states (MPS). In this article, we shall investigate this extension to finite temperature in the regime of relevance for molecular quantum dynamics, that is, non-perturbative vibrational environments, and present numerical data that verifies the elegance and utility of the method, as well as some of the potential issues arising in implementation.
The structure of the article is as follows. In section 2, we will summarize Tamascelli et al.'s T-TEDOPA mapping. In section 3, we verify the theory by comparing numerical simulations against an exactly solvable open system model, and also employ further numerical investigations to provide some insight into the manner in which finite temperatures are handled within this method. By looking at the observables of the environment, we find that the number of excitations in the simulations grows continuously over time, which may place high demands on computational resources in some problems. In section 4, we will present results for a model system inspired by electron transfer in a multi-dimensional vibrational environment, and show how the temperature-driven transition from quantum tunneling to classical barrier transfer are successfully captured by this new approach. This opens a potentially fruitful new phase for the application of tensor network and related many body approaches for the simulation of non-equilibrium dynamics in a wide variety of vibronic materials and molecular reactions.
2. T-TEDOPA
In this section we shall summarize the essential features of the T-TEDOPA approach, closely following the original notation and presentation of Tamascelli et al. (2019). Our starting point is the generic Hamiltonian for a system coupled to a bosonic environment consisting of a continuum of harmonic oscillators
where
The Hamiltonian HS is the free system Hamiltonian, which for chemical systems, molecular photophysics and related problems will often be a description of a few of the most relevant diabatic states at some reference geometry of the environment(s) (May and Kühn, 2008). AS is the system operator which couples to the bath. For the bath operators we take the displacements
thus defining the spectral density J(ω). This has been written here as a continuous function, but coupling to a discrete set of vibrational modes in, say, a molecular chromophore, can be included within this description by adding suitable structure to the spectral density, i.e., sets of Lorentzian peaks or Dirac functions (Wilhelm et al., 2004; Schulze and Kuhn, 2015; Mendive-Tapia et al., 2018). The state of the system+environment at time t is described by a mixed state described by a density matrix ρSE(t). The initial condition is assumed to be a product of system and environment states ρSE(0) = ρS(0) ⊗ ρE (0) where ρS(0) is an arbitrary density matrix for the system and , with the environment partition function given by . Such a product state is commonly realized in photophysics, where the reference geometry for the environment is the electronic ground state and the electronic system is excited according to the Franck-Condon principle into some manifold of electronic excited states without nuclear motion (Mukamel, 1995; May and Kühn, 2008). Indeed, this can also occur following any sufficiently rapid non-adiabatic event, just as ultra-fast charge separation at a donor-acceptor interface (Gélinas et al., 2019; Smith and Chin, 2015). The environment thus begins in a thermal equilibrium state with inverse temperature β, and the energy levels of each harmonic mode are statistically populated, as shown in Figure 1A. For a very large (continuum) of modes, the number of possible thermal configurations of the initial probability distribution grows extremely rapidly with temperature, essentially making a naive sampling of these configurations impossible for full wave function simulations. We note, however, that some significantly better sampling methods involving sparse grids and/or stochastic mean-field approaches have been proposed and demonstrated (Alvermann and Fehske, 2009; Binder and Burghardt, 2019).
Figure 1. (A) A generic open quantum system contains a few-level “system” (S) that interacts with a much larger thermal heat bath of bosonic oscillators (the environment, E). The continuum of oscillator modes are initially uncorrelated with the system and each is thermally occupied with characteristic temperature T = β−1. Coupling and stochastic fluctuations of the environment lead to the effective thermalization of the system, once the environmental states have been traced over. (B) In the T-TEDOPA approach, the harmonic environment is extended to include modes of negative frequency, and all modes (positive and negative frequency) are initially in their ground states. It can be formally demonstrated that the thermalization of S in (A) can always be obtained from the pure zero-temperature state in (B), provided the spectral density of the original environment is known.
The initial thermal condition of the environmental oscillators is also a Gaussian state, for which is it further known that the influence functional (Weiss, 2012)—which is a full description of the influence of the bath on the system—will depend only on the two-time correlation function of the bath operators
Any two environments with the same S(t) will have the same influence functional and thus give rise to the same reduced system dynamics, i.e., the same ρS(t) = Tr{ρSE(t)}. That the reduced systems dynamics are completed specified by the spectral density and temperature of a Gaussian environment has been known for a long time (Weiss, 2012), but the key idea of the equivalence—and thus the possibility of the interchange—of environments with the same correlation functions has only recently been demonstrated by Tamascelli et al. (2018).
The time dependence in Equation (4) refers to the interaction picture so that the bath operators evolve under the free bath Hamiltonian: . Using Equation (3) and we have
Making use of the relation
we can write Equation (5) as an integral over all positive and negative ω
But Equation (7) is exactly the two-time correlation function one would get if the system was coupled to a bath, now containing positive and negative frequencies, at zero temperature, with a temperature weighted spectral density given by
Thus, we find that our open system problem is completely equivalent to the one governed by the Hamiltonian
in which the system couples to an extended environment, where
and which has the initial condition ρSE(0) = ρS(0) ⊗ |0〉E 〈0|. The system now couples to a bath consisting of harmonic oscillators of positive and negative frequencies which are initially in their ground states, as shown in Figure 1B. This transformed initial condition is now far more amenable to simulation as the environment is now described by a pure, single-configuration wave function, rather than a statistical mixed state, and so no statistical sampling is required to capture the effects of temperature on the reduced dynamics!
Analyzing the effective spectral density of Equation (8), it can be seen that the new extended environment has thermal detailed balance between absorption and emission processes encoded in the ratio of the coupling strengths to the positive and negative modes in the extended Hamiltonian, as opposed to the operator statistics of a thermally occupied state of the original, physical mode, i.e.,
Indeed, from the system's point of view, there is no difference between the absorption from an occupied, positive energy, bath mode and the emission into an unoccupied, negative energy, bath mode.
In fact, the equivalence between these two environments goes beyond the reduced system dynamics as there exists a unitary transformation which links the extended environment to the original thermal environment. This means that one is able to reverse the transformation and calculate thermal expectations for the actual bosonic bath such as . This is particularly useful for molecular systems in which environmental (vibrational) dynamics are also important observables that report on the mechanisms and pathways of physio-chemical transformations (Musser et al., 2015; Schnedermann et al., 2016, 2019). This is a major advantage of many body wave function approaches, as the full information about the environment is available, c.f. effective master equation descriptions which are obtained after averaging over the environmental state. We note that the idea of introducing a second environment of negative frequency oscillators to provide finite temperature effects in pure wave functions was previously proposed in the thermofield approach of de Vega and Bañuls (2015). This approach explicitly uses the properties of two-mode squeezed states to generate thermal reduced dynamics, but the original thermofield approach, unlike the T-TEDOPA mapping, considered the positive and negative frequency environments as two separate baths.
Following this transformation a further step is required to facilitate efficient simulation of the many-body system+environment wave function. This is to apply a unitary transformation to the bath modes which converts the star-like geometry of into a chain-like geometry, thus allowing the use of MPS methods (Chin et al., 2010, 2013; Prior et al., 2013). We thus define new modes , known as chain modes, via the unitary transformation where pn(ω) are orthonormal polynomials with respect to the measure dωJβ(ω). Thanks to the three term recurrence relations associated with all orthonormal polynomials pn(ω), only one of these new modes, n = 1, will be coupled to the system, while all other chain modes will be coupled only to their nearest neighbors (Chin et al., 2010). Our interaction and bath Hamiltonians thus become
The chain coefficients appearing in Equation (12) are related to the three-term recurrence parameters of the orthonormal polynomials and can be computed using standard numerical techniques (Chin et al., 2010). The full derivation of the above Hamiltonian is given in the Appendix. Since the initial state of the bath was the vacuum state, it is unaffected by the chain transformation.
We have thus arrived at a formulation of the problem of finite-temperature open systems in which the many-body environmental state is initialized as a pure product of trivial ground states, whilst the effects of thermal fluctuations and populations are encoded in the Hamiltonian chain parameters and system-chain coupling. These parameters must be determined once for each temperature but—in principle—the actual simulation of the many body dynamics is now no more complex than a zero-temperature simulations. This thus opens up the use of powerful T = 0K wave function methods for open systems, such as those based on MPS, numerical renormalization group and ML-MCTDH (Lubich, 2015; Wang and Shao, 2019). However, while this seems remarkable—and we believe this mapping to be a major advance—there must be a price to be paid elsewhere. We shall now demonstrate with numerical examples where some of the computational costs for including finite-T effects may appear and discuss how they might effect the feasibility and precision of simulations. We also propose a number of ways to mitigate these potential problems within the framework of tensor network approaches.
3. Numerical Tests and Computational Efficiency
All numerical results in the following sections are obtained by representing the many body system-environment wave function as a MPS and evolving it using time-dependent variational methods. All results have been converged w.r.t. the parameters of MPS wave functions (bond dimensions, local Hilbert space dimensions, integrator time steps), meaning that the results and discussion should—unless explicitly stated—pertain to the essential properties of the T-TEDOPA mapping itself. Extensive computational details and background theory can be founds in Orus (2014), Schollwock (2011), Lubich et al. (2015), Paeckel et al. (2019), and Haegeman et al. (2016).
3.1. Chain Dynamics and Chain-Length Truncation
Before looking at the influence of thermal bath effects on a quantum system, we first investigate the effects of the changing chain parameters that appear due to the inclusion of temperature in the effective spectral density Jβ(ω). As a consequence of the nearest-neighbor nature of Equation (12) (see Figure 2), the chain mapping establishes a kind of causality among the bath modes which is extremely convenient for simulation. Starting from t = 0 the system will interact first with the chain mode n = 1 which, as well as acting back on the system, will in turn excite the next mode along the chain and so on. The dynamics thus have a well-defined light-cone structure in which a perturbation travels outwards from the system along the chain to infinity. This means that we may truncate the chain at any distant mode n = N without causing an error in the system or bath observables up to a certain time TLC(N) which is the time it takes for the edge of the light-cone to reach the Nth chain mode. Beyond TLC(N) there will be reflections off the end of the chain leading to error in the bath observables, however these reflections will not cause error in the system observables until the time t ≈ 2TLC(N). Figure 3 shows a snapshot of the chain mode occupations for the Ohmic spin-boson model considered in the next section. One can see that the velocity of the wave-front that travels outward from the system depends on temperature, with hotter baths leading to faster propagation and thus requiring somewhat longer chains.
Figure 2. (A) The extended proxy environment of Figure 1A is described by an effective, temperature-dependent spectral density Jβ(ω). Once the effective Jβ(ω) has been specified, new oscillator modes can be found that provide a unitary transformation to a linear chain representation of the environment with nearest neighbor interactions. The non-perturbative wave function dynamics for such a many-body 1D system can be very efficiently simulated with MPS methods. (B) Jβ(ω) for a physical Ohmic environment at three representative temperatures. At very low temperature (ωc β ≫1) there is essentially no coupling to the negative frequency modes, as excitation of these modes leads to an effective absorption of heat from the environment. At higher temperatures, Jβ(ω) becomes increasingly symmetric for the positive and negative modes.
Figure 3. Chain mode occupations at time ωct = 45 for baths of several temperatures. The system, which in this case is the Ohmic SBM, with ω0 = 0.2ωc and α = 0.1, is attached at site n = 1 of the chain.
To enable simulation we are also required to truncate the infinite Fock space dimension of each chain mode to a finite dimension d, introducing an error for which there exist rigorously derived bounds (Woods et al., 2015). The initial state |Ψ(0)〉SE = |ψ(0)〉S ⊗ |0〉E (here we specialize to the case where the system is initially in a pure state) can then be encoded in an MPS and evolved under one of the many time-evolution methods for MPS. We choose to use the one-site Time-Dependent-Variational-Principle (1TDVP) as it has been shown to be a efficient method for tracking long-time thermalization dynamics and has previously been shown to give numerically exact results for the zero-temperature spin-boson model in the highly challenging regime of quantum criticality (Schröder and Chin, 2016). In our implementation of 1TDVP the edge of the light-cone is automatically estimated throughout the simulation by calculating the overlap of the wave-function |Ψ(t)〉SE with its initial value |Ψ(0)〉SE at each chain site. This allows us expand the MPS dynamically to track to expanding light-cone, providing roughly a 2-fold speed-up compared to using a fixed length MPS.
3.2. Two-Level System Dynamics: Dephasing and Divergence of Chain Occupations Due to Energy Exchange
To confirm the accuracy of this approach in terms of reduced system dynamics we now explore the effects of a dissipative environment on a quantum two-level system. First, we compare the numerical results against the analytically solvable Independent-Boson-Model (IBM) (Mahan, 2000; Breuer and Petruccione, 2002). This is a model of pure dephasing, defined by and AS = σz, where {σx, σy, σz} are the standard Pauli matrices. We take an Ohmic spectral density with a hard cut-off J(ω) = 2αωΘ(ω−ωc) and choose a coupling strength of α = 0.1 and a gap of ω0 = 0.2ωc for the two level system (TLS). The initial state of the system is a positive superposition of the spin-up and spin-down states, and we monitor the decay of the TLS coherence, which is quantified by 〈σx(t)〉. All results were converged using a Fock space dimension of d = 6 for the chain modes and maximum MPS bond-dimension Dmax = 4. We find that the results obtained using the T-TEDOPA method agree very well with the exact solution (see Figure 4) and correctly reproduce the transition from under-damped to over-damped decay as the temperature is increased (Mahan, 2000; Breuer and Petruccione, 2002).
Figure 4. Comparison of T-TEDOPA (Black crosses) with the exact solution for the Independent-Boson-Model at β = 100 (Red), β = 10 (Blue), and β = 1 (Green). , AS = σz, , α = 0.1, s = 1, ω0 = 0.2ωc.
As a second numerical example we take the Spin-Boson-Model (SBM), identical to the IBM considered above except that now the TLS couples to the bath via AS = σx. Unlike the previous case, the bath can now drive transitions within the TLS, so that energy is now dynamically exchanged between the TLS and its environment. Indeed, as AS no longer commutes with HS, no exact solution for this model is known (Weiss, 2012). It has thus become an important testing ground for numerical approaches to non-perturbative simulations of open systems and has been widely applied to the physics of decoherence, energy relaxation and thermalization in diverse physical, chemical and biological systems—see Weiss, 2012; De Vega and Alonso, 2017 for extensive references. In our example, we prepare the spin in the upper spin state (〈σz〉 = +1) and allow the bath to thermalize by environmental energy exchange (see Figure 1A). Here, instead of presenting the spin dynamics for this model we will here interest ourselves in the observables of the bath as these will provided insight into the manner in which a finite temperature bath is being mimicked by an initially empty tight-binding chain. In Figure 5, we plot the bath mode occupations for several temperatures. Each observation was taken after the spin had decayed into its thermal steady state and thus provides a kind of absorption spectrum for the system. We note that these data refer to the modes of the extended environment of Equation (9) rather than the original bosonic bath and thus the mode energies run from −ωc to ωc.
Figure 5. Bath mode occupations for the extended environment after the TLS has decayed. The TLS is governed by a Hamiltonian where ω0 = 0.2ωc and is coupled to an Ohmic bath with a hard cut-off via AS = σx. The coupling strength is α = 0.1. Left inset: total mode occupation as a function of time . Right inset shows plotted on a log scale against the inverse temperature, demonstrating the detailed balance of the absorption and emission rates.
We find that for zero temperature (β = ∞) the bath absorption spectrum contains a single peak at a frequency around ωp = 0.17ωc, suggesting that the spin emits into the bath at a re-normalized frequency that is lower than the bare gap of the TLS (ω0 = 0.2ωc). This agrees well with the renormalized gap predicted by the non-perturbative variational polaron theory of Silbey and Harris (1984), which for the parameters used here gives .
Moving to non-zero temperature we see that a peak begins to form at a corresponding negative frequency, which we interpret as being due the spin absorbing thermal energy from the bath by the emission (creation) of negative energy quanta. In accordance with detailed balance, the ratio between the positive and negative frequency peaks approaches unity as temperature is increased and by βωc = 2 the two peaks have merged to form a single, almost symmetric, distribution, reflecting the dominance of thermal absorption and emission over spontaneous emission at high temperature. Indeed, as shown in the right inset of Figure 5 the ratio of the peak heights we extract obeys with ϵ = 0.118. Thus we see that the chain is composed of two independent vacuum reservoirs of positive and negative energy which the system emits into at rates which effectively reproduce the emission and absorption dynamics that would be induced by a thermal bath.
However, the introduction of positive and negative modes has an interesting and important consequence for the computational resources required for simulation. Shown in the left inset of Figure 5 is the total mode occupation as a function of time for some of the different temperatures simulated. One sees that for β = ∞ (zero temperature) the total occupation of the bath modes increases initially and then plateaus at a certain steady state value corresponding to the total number of excitations created in the bath by the TLS during its decay. In contrast, for finite temperature, the total mode occupation increases indefinitely at a rate which grows with temperature. This is despite the fact that for the finite temperature baths the total excitation number will also reach a steady state once the TLS has decayed. The reason for this is clear. The thermal occupation of the physical bath mode with frequency ω is obtained by subtracting its negative, from its positive energy counterpart in the extended mode basis, i.e., 〈nω〉β = 〈nω〉|0〉E − 〈n−ω〉|0〉E. While 〈nω〉β will reach a steady state, the components 〈nω〉|0〉E and 〈n−ω〉|0〉E will be forever increasing, reflecting the fact that the TLS reaches a dynamic equilibrium with the bath in which energy is continuously being absorbed from and emitted into the bath at equal rates, thus filling up the positive and negative reservoirs. Since, it is the modes of the extended environment that appear in the numerical simulation, one will always encounter potentially large errors once the filling of the modes exceeds their capacity set by the truncation to d Fock states per oscillator. The rate at which this filling occurs increases with temperature and is linear in time. However, as the relaxation time of the system is also broadly proportional to temperature for βωc ≪ 1, this may not be a problem, if one is only interested in the short-time transient dynamics. Where this may pose problems is for the extraction of converged properties of relaxed, i.e., locally thermalized excited states, such as their (resonance) fluorescence spectra, or multidimensional optical spectra (Mukamel, 1995). While these ever-growing computational resources must—as argued above—be present in any simulation approach, we note that one possible way to combat the growth of local dimensions could be to use the dynamical version of Guo's Optimized Boson Basis (OBB) which was introduced into 1TDVP for open systems by Schroeder et al. (Guo et al., 2012; Schröder and Chin, 2016).
4. Electron Transfer
Having established that the T-TEDOPA mapping allows efficient computational access to finite temperature open dynamics, we now study the chemically relevant problem of tunneling electron transfer. Electron transfer is a fundamental problem in chemical dynamics and plays an essential role in a vast variety of crucial processes including the ultra-fast primary electron transfer step in photosynthetic reaction centers and the electron transport that powers biological respiration (Devault, 1980; Marcus, 1993; May and Kühn, 2008). The problem of modeling electron transfer between molecules comes down to accurately treating the coupling between the electronic states and environmental vibrational modes, and often involves the use of first principle techniques to parameterize the total spectral functions of the vibrational and outer solvent, or protein environment (Mendive-Tapia et al., 2018; Schröder et al., 2019; Zuehlsdorff et al., 2019). In many molecular systems—and particularly biological systems where the transfer between electronic states is affected by coupling to chromophore and protein modes—the system-bath physics is highly non-perturbative and J(ω) has very sharp frequency-dependence (May and Kühn, 2008; Womick et al., 2011; Kolli et al., 2012; Chin et al., 2013). Until recently, and even at zero temperature, a fully quantum mechanical description of the coupling to a continuum of environmental vibrations was challenging due to the exponential scaling of the vibronic wave functions. However, with advances in numerical approaches driven by developments in Tensor-Networks and ML-MCTDH, the exact quantum simulation of continuum environment models can now be explored very precisely at zero temperature. Given this, we now explore how the T-TEDOPA mapping can extend this capability to finite temperature quantum tunneling.
Here, we will again adapt the spin-boson model to analyse a typical donor-acceptor electron transfer system, as shown in Figure 6. In this model the electron transfer process is modeled using two states representing the reactant and product states which we take to be the eigenstates of σx with |↓〉 representing the reactant and |↑〉 the product. We take our system Hamiltonian to be , and the coupling operator as , where λR is the reorganization energy which for an Ohmic bath is λR = 2αωc. The electron tunnels from the environmentally relaxed reactant state to the product state by moving through a multi-dimensional potential energy landscape along a collective reaction coordinate which is composed of the displacements of the ensemble of bath modes (this is effectively the coordinate associated with the mode that is directly coupled to the system in the chain representation of the environment). Figure 6A shows two potential energy surfaces—Marcus parabolas—of the electronic system for ϵ = 0. Although in the actual model we simulate the reaction coordinate is composed of the displacements of an infinite number of modes, in Figure 6 we present a simplified picture in which the electron moves along a single reaction coordinate, x. The potential minimum of the reactant state corresponds to the bath in its undisplaced, vacuum state, whereas at the potential minimum of the product state each bath mode is displaced by an amount depending on its frequency and the strength of its coupling to the TLS . The presence of the reorganization energy in HS ensures that these two minima are degenerate in energy and thus detailed balance will ensure an equal forward and backward rate.
Figure 6. (A) Potential energy surfaces (Marcus parabolas) for ϵ = 0 as a function of the reaction coordinate x. We consider only the case of zero bias, i.e., when the minima of the two wells are at the same energy. (B) Turning the electronic coupling ϵ leads to an avoided crossing and thus an energy barrier Eb for the reaction. Note that this is a simplified picture in which we treat the bath as being represented by a single mode of frequency ω and coupling strength g whereas in the actual model we simulate there is a similar surface for all bath modes.
Turning on the coupling ϵ between the two levels leads to an avoided crossing in the two energy surfaces in an adiabatic representation of the vibronic tunneling system, leading to two potential wells. In such a semi-classical (Born-Oppeheimer) picture, we see that the electron must overcome a kind of effective energy barrier Eb that scales with the total reorganization energy of the entire environment λR in order for the reaction to progress. We thus might well expect to see thermally activated (exponential) behavior whereby the tunneling rate ∝exp(−βEb). However, at low temperatures this behavior should be dramatically quenched and dissipative quantum tunneling should become dominant and strongly dependent on the spectral function of the environment (Weiss, 2012).
4.1. Numerical Results
For our numerical investigation we take an Ohmic spectral density with α = 0.8 for which the dynamics are expected to be incoherent at all temperatures, i.e., the energy surfaces of Figure 6B are well-separated and friction is such that there will be no oscillatory tunneling dynamics between reactant and product. In Figure 7, we present results for this model at several temperatures using the T-TEDOPA mapping and 1TDVP. The expectation of σx can be taken to be a measure of the progress of the reaction, starting at the value of −1 when the system is entirely in the reactant state, and approaching 0 as the electron tunnels through the barrier and the populations thermalize. We find that as the temperature is increased the dynamics tend to an exponential decay to the steady state, whereas non-exponential behavior is observed for lower temperatures. In Figure 7B, we show the expectation of σy, which is the conjugate coordinate to the σx and which may thus be interpreted as a kind of momentum associated with the tunneling. We find that there is a sharp initial spike in 〈σy〉 which decays with oscillations which are increasingly damped at higher temperatures. As we might have predicted, these transient dynamics occur on a timescale of , which the fastest response time of an environment with an upper cut-off frequency of ωc. This is approximately the timescale over which the environment will adjust to the sudden presence of the electron, and essentially sets the timescale for the formation of the adiabatic landscape (or, alternatively, for the formation of the dressed polaron states), after which the tunneling dynamics proceed. This period is related to the slippage of initial conditions that is sometimes used to fix issues of density matrix positivity in perturbative Redfield Theory (Gaspard and Nagaoka, 1999), although here the establishment of these conditions is described exactly and in real-time. We also see that the crossover to the tunneling regime happens faster as the temperature increases, meaning that the effective initial conditions—particularly 〈σy(t)〉—are temperature dependent.
Figure 7. (A) 〈σx(t)〉 for several temperatures, which represents the progress of the reaction. The decay to the steady state is exponential at high temperature. (B) 〈σy(t)〉, representing the momentum along the reaction coordinate. We encounter some noise beyond about ωct = 50 in the β = 2 data. This is as a result of the truncation of the local Hilbert spaces of the bath modes (cf. section 3). The inset shows an enlarged view of the initial fast dynamics which appear to be broadly independent of temperature.
We extract approximate reaction rates from the TLS dynamics by fitting each 〈σx(t)〉 to an exponential decay −e−Γt on timescales t > τ. We thus obtain the rates Γ(ϵ, β) for the various values of β and ϵ simulated. The values of ϵ were chosen to be small compared to the characteristic vibrational frequency of the bath, ϵ ≪ ωc and to the reorganization energy, ϵ ≪ λR and thus lie in the non-adiabatic regime which is the relevant regime for electron transfer. One may then perform a perturbative expansion in ϵ, otherwise known as the “Golden Rule” approach which, for an Ohmic bath, yields the following formulas for the high and low temperature limits corresponding respectively to the classical and quantum regimes (Weiss, 2012).
The golden rule result is based on second-order perturbation in the tunneling coupling ϵ, but it is exact to all orders in the system-environment coupling α. Additionally, the Ohmic form of the spectral function generates a non-trivial power-law dependence of the tunneling rate on the temperature for βωc ≫ 1 in which the rate may either decrease or increase as the temperature is lowered, depending on the value of α. We plot these formulas along with the numerically evaluated rates in Figure 8. There is a good agreement in the high and low temperature limits between the Golden Rule expressions and the T-TEDOPA results, and one clearly sees that the temperature dependence of the rate is non-monotonic with a transition from power law growth (quantum, 2α − 1 > 0) to power-law decay (classical, ) as the temperature increases from T = 0. We note that for the parameters we present here, the intermediate regime where thermally activated behavior is predicted βωc ~ 1 is not observed for the Ohmic environment, and one essentially switches from tunneling limited by the effect of friction on the attempt frequency to the low-temperature polaronic tunneling of Equation (13).
Figure 8. Log plot of the rates, Γ, extracted from 〈σx(t)〉 for ϵ = 0.2 (Red), ϵ = 0.3 (Blue), and ϵ = 0.4 (Red) as a function of β. (Dashed lines) High temperature (T≫ωc), classical, limit of Golden Rule formula. (Dotted lines) Low temperature (T ≪ ωc), quantum, limit of Golden Rule formula.
5. Conclusion
In this article we have shown how the combination of the Tamasceli's remarkable T-TEDOPA mapping and non-perturbative variational Tensor-Network dynamics can be applied to chemical and photophysical systems under laboratory conditions. Through numerical experiments we have carefully investigated how the T-TEDOPA mapping allows the effects of finite temperatures to be obtained efficiently without any need for costly sampling of the thermal environment state, or the explicit use of density matrices. However, analysis of these environmental dynamics reveals how incorporating finite temperatures can lead to more expensive simulations, due to the filling-up of the chain modes and the longer chains that are needed to prevent recurrence dynamics. Yet, we believe that this method, and others like it, based on the exact quantum many-body treatment of vibrational modes (Somoza et al., 2019), could present an attractive complementary approach to the Multi-Layer Multi-Configurational Time-Dependent Hartree Method (MLMCTDH) commonly used in chemical dynamics. One possible direction for this would be to consider a problem in which a (discretized) potential surface for a reaction is contained within the system Hamiltonian, while the environment bath provides the nuclear thermal and quantum fluctuations that ultimately determine both real-time kinetics and thermodynamical yields for the process, as is currently captured in methods such as Ring Polymer Molecular Dynamics (Craig and Manolopoulos, 2004). Furthermore, the Tensor-Network structures are not limited to the simple chain geometries we consider here but can in fact adopt a tree structure, thus enabling the treatment of complex coupling to multiple independent baths (Schröder et al., 2019). Such trees tensor networks have recently been interfaced with ab initio methods to explore ultra-fast photophysics of real molecules and their pump-probe spectra (Schnedermann et al., 2019), but such efforts have so far been limited to zero temperature. Finally, the cooperative, antagonistic or sequential actions of different types of environments, i.e., light and vibrations (Wertnik et al., 2018), or even the creation of new excitations, such as polaritons (Memmi et al., 2017; Del Pino et al., 2018; Herrera and Owrutsky, 2020), could play a key role in sophisticated new materials for energy transduction, catalysis or regulation (feedback) of reactions, and T-TDEPODA-based tensor networks are currently being used to explore these developing areas.
Data Availability Statement
The datasets presented in this study can be found in online repositories. The names of the repository/repositories and accession number(s) can be found below: https://github.com/angusdunnett/MPSDynamics.
Author Contributions
AD implemented the T-TEDOPA mapping in a bespoke 1TDVP code and performed the numerical simulations. AD and AC wrote the manuscript. AC oversaw the project. All authors contributed to the article and approved the submitted version.
Funding
AD was supported by the Ecole Doctorale 564 Physique en Ile-de-France. AC was partly supported by ANR project No. 195608/ACCEPT.
Conflict of Interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
References
Alvermann, A., and Fehske, H. (2009). Sparse polynomial space approach to dissipative quantum systems: Application to the sub-ohmic spin-boson model. Phys. Rev. Lett. 102:150601. doi: 10.1103/PhysRevLett.102.150601
Alvertis, A. M., Schröder, F. A. Y. N., and Chin, A. W. (2019). Non-equilibrium relaxation of hot states in organic semiconductors: Impact of mode-selective excitation on charge transfer. J. Chem. Phys. 151:084104. doi: 10.1063/1.5115239
Benenti, G., Casati, G., Saito, K., and Whitney, R. (2017). Fundamental aspects of steady-state conversion of heat to work at the nanoscale. Phys. Rep. 694, 1–124. doi: 10.1016/j.physrep.2017.05.008
Binder, R., and Burghardt, I. (2019). First-principles quantum simulations of exciton diffusion on a minimal oligothiophene chain at finite temperature. Faraday Discuss. 221, 406–427. doi: 10.1039/C9FD00066F
Breuer, H.-P., and Petruccione, F. (2002). The Theory of Open Quantum Systems. Oxford University Press.
Chin, A., Prior, J., Rosenbach, R., Caycedo-Soler, F., Huelga, S. F., and Plenio, M. B. (2013). The role of non-equilibrium vibrational structures in electronic coherence and recoherence in pigment-protein complexes. Nat. Phys. 9, 113–118. doi: 10.1038/nphys2515
Chin, A. W., Rivas, Á., Huelga, S. F., and Plenio, M. B. (2010). Exact mapping between system-reservoir quantum models and semi-infinite discrete chains using orthogonal polynomials. J. Math. Phys. 51:092109. doi: 10.1063/1.3490188
Craig, I. R., and Manolopoulos, D. E. (2004). Quantum statistics and classical mechanics: real time correlation functions from ring polymer molecular dynamics. J. Chem. Phys. 121, 3368–3373. doi: 10.1063/1.1777575
De Vega, I., and Alonso, D. (2017). Dynamics of non-Markovian open quantum systems. Rev. Modern Phys. 89:015001. doi: 10.1103/RevModPhys.89.015001
de Vega, I., and Bañuls, M.-C. (2015). Thermofield-based chain-mapping approach for open quantum systems. Phys. Rev. A 92:052116. doi: 10.1103/PhysRevA.92.052116
Del Pino, J., Schröder, F. A., Chin, A. W., Feist, J., and Garcia-Vidal, F. J. (2018). Tensor network simulation of polaron-polaritons in organic microcavities. Phys. Rev. B 98:165416. doi: 10.1103/PhysRevB.98.165416
Devault, D. (1980). Quantum mechanical tunnelling in biological systems. Q. Rev. Biophys. 13, 387–564. doi: 10.1017/S003358350000175X
Dubi, Y., and Dia Ventra, M. (2011). Colloquium: heat flow and thermoelectricity in atomic and molecular junctions. Rev. Modern Phys. 83, 131–155. doi: 10.1103/RevModPhys.83.131
Gaspard, P., and Nagaoka, M. (1999). Slippage of initial conditions for the redfield master equation. J. Chem. Phys. 111, 5668–5675. doi: 10.1063/1.479867
Gélinas, S., Rao, A., Kumar, A., Smith, S. L., Chin, A. W., Clark, J., et al. (2014). Ultrafast long-range charge separation in organic semiconductor photovoltaic diodes. Science 343, 512–516. doi: 10.1126/science.1246249
Guo, C., Weichselbaum, A., von Delft, J., and Vojta, M. (2012). Critical and strong-coupling phases in one-and two-bath spin-boson models. Phys. Rev. Lett. 108:160401. doi: 10.1103/PhysRevLett.108.160401
Haegeman, J., Lubich, C., Oseledets, I., Vandereycken, B., and Verstraete, F. (2016). Unifying time evolution and optimization with matrix product states. Phys. Rev. B 94:165116. doi: 10.1103/PhysRevB.94.165116
Herrera, F., and Owrutsky, J. (2020). Molecular polaritons for controlling chemistry with quantum optics. J. Chem. Phys. 152:100902. doi: 10.1063/1.5136320
Kolli, A., O'Reilly, E. J., Scholes, G. D., and Olaya-Castro, A. (2012). The fundamental role of quantized vibrations in coherent light harvesting by cryptophyte algae. J. Chem. Phys. 137:174109. doi: 10.1063/1.4764100
Lubich, C. (2015). Time integration in the multiconfiguration time-dependent Hartree method of molecular quantum dynamics. Appl. Math. Res. Express 2015, 311–328. doi: 10.1093/amrx/abv006
Lubich, C., Oseledets, I., and Vandereycken, B. (2015). Time integration of tensor trains. SIAM J. Num. Anal. 53, 917–941. doi: 10.1137/140976546
Marcus, R. A. (1993). Electron transfer reactions in chemistry. Theory and experiment. Rev. Modern Phys. 65:599. doi: 10.1103/RevModPhys.65.599
May, V., and Kühn, O. (2008). Charge and Energy Transfer Dynamics in Molecular Systems. Weinheim: John Wiley & Sons.
Memmi, H., Benson, O., Sadofev, S., and Kalusniak, S. (2017). Strong coupling between surface plasmon polaritons and molecular vibrations. Phys. Rev. Lett. 118:126802. doi: 10.1103/PhysRevLett.118.126802
Mendive-Tapia, D., Mangaud, E., Firmino, T., de la Lande, A., Desouter-Lecomte, M., Meyer, H.-D., et al. (2018). Multidimensional quantum mechanical modeling of electron transfer and electronic coherence in plant cryptochromes: the role of initial bath conditions. J. Phys. Chem. B 122, 126–136. doi: 10.1021/acs.jpcb.7b10412
Miller, W. H., Schwartz, S. D., and Tromp, J. W. (1983). Quantum mechanical rate constants for bimolecular reactions. J. Chem. Phys. 79, 4889–4898. doi: 10.1063/1.445581
Mukamel, S. (1995). Principles of Nonlinear Optical Spectroscopy, Vol. 6. New York, NY: Oxford University Press.
Musser, A. J., Liebel, M., Schnedermann, C., Wende, T., Kehoe, T. B., Rao, A., et al. (2015). Evidence for conical intersection dynamics mediating ultrafast singlet exciton fission. Nat. Phys. 11, 352–357. doi: 10.1038/nphys3241
Orus, R. (2014). A practical introduction to tensor networks: matrix product states and projected entangled pair states. Ann. Phys. 349, 117–158. doi: 10.1016/j.aop.2014.06.013
Paeckel, S., Kohler, T., Swoboda, A., Manmana, S. R., Schollwock, U., and Hubig, C. (2019). Time-evolution methods for matrix-product states. Ann. Phys. 411:167998. doi: 10.1016/j.aop.2019.167998
Prior, J., Chin, A. W., Huelga, S. F., and Plenio, M. B. (2010). Efficient simulation of strong system-environment interactions. Phys. Rev. Lett. 105:050404. doi: 10.1103/PhysRevLett.105.050404
Prior, J., de Vega, I., Chin, A. W., Huelga, S. F., and Plenio, M. B. (2013). Quantum dynamics in photonic crystals. Phys. Rev. A 87:013428. doi: 10.1103/PhysRevA.87.013428
Schnedermann, C., Alvertis, A. M., Wende, T., Lukman, S., Feng, J., Schröder, F. A., et al. (2019). A molecular movie of ultrafast singlet fission. Nat. Commun. 10, 1–11. doi: 10.1038/s41467-019-12220-7
Schnedermann, C., Lim, J. M., Wende, T., Duarte, A. S., Ni, L., Gu, Q., et al. (2016). Sub-10 fs time-resolved vibronic optical microscopy. J. Phys. Chem. Lett. 7, 4854–4859. doi: 10.1021/acs.jpclett.6b02387
Schollwock, U. (2011). The density-matrix renormalization group in the age of matrix product states. Ann. Phys. 326, 96–192. doi: 10.1016/j.aop.2010.09.012
Schröder, F. A., and Chin, A. W. (2016). Simulating open quantum dynamics with time-dependent variational matrix product states: towards microscopic correlation of environment dynamics and reduced system evolution. Phys. Rev. B 93:075105. doi: 10.1103/PhysRevB.93.075105
Schröder, F. A. Y. N., Turban, D. H. P., Musser, A. J., Hine, N. D. M., and Chin, A. W. (2019). Tensor network simulation of multi-environmental open quantum dynamics via machine learning and entanglement renormalisation. Nat. Commun. 10:1062. doi: 10.1038/s41467-019-09039-7
Schulze, J., and Kuhn, O. (2015). Explicit correlated exciton-vibrational dynamics of the FMO complex. J. Phys. Chem. B 119, 6211–6216. doi: 10.1021/acs.jpcb.5b03928
Silbey, R., and Harris, R. A. (1984). Variational calculation of the dynamics of a two level system interacting with a bath. J. Chem. Phys. 80, 2615–2617. doi: 10.1063/1.447055
Smith, S. L., and Chin, A. W. (2015). Phonon-assisted ultrafast charge separation in the PCBM band structure. Phys. Rev. B 91:201302. doi: 10.1103/PhysRevB.91.201302
Somoza, A. D., Marty, O., Lim, J., Huelga, S. F., and Plenio, M. B. (2019). Dissipation-assisted matrix product factorization. Phys. Rev. Lett. 123:100502. doi: 10.1103/PhysRevLett.123.100502
Tamascelli, D., Smirne, A., Huelga, S. F., and Plenio, M. B. (2018). Nonperturbative treatment of non-markovian dynamics of open quantum systems. Phys. Rev. Lett. 120:030402. doi: 10.1103/PhysRevLett.120.030402
Tamascelli, D., Smirne, A., Lim, J., Huelga, S. F., and Plenio, M. B. (2019). Efficient simulation of finite-temperature open quantum systems. Phys. Rev. Lett. 123:090402. doi: 10.1103/PhysRevLett.123.090402
Wang, H., and Shao, J. (2019). Quantum phase transition in the spin-boson model: a multilayer multiconfiguration time-dependent Hartree study. J. Phys. Chem. A 123, 1882–1893. doi: 10.1021/acs.jpca.8b11136
Weiss, U. (2012). Quantum Dissipative Systems, 4th Edn. Singapore: World Scientific. doi: 10.1142/8334
Wertnik, M., Chin, A., Nori, F., and Lambert, N. (2018). Optimizing co-operative multi-environment dynamics in a dark-state-enhanced photosynthetic heat engine. J. Chem. Phys. 149:084112. doi: 10.1063/1.5040898
Wilhelm, F., Kleff, S., and Von Delft, J. (2004). The spin-boson model with a structured environment: a comparison of approaches. Chem. Phys. 296, 345–353. doi: 10.1016/j.chemphys.2003.10.010
Womick, J. M., Liu, H., and Moran, A. M. (2011). Exciton delocalization and energy transport mechanisms in r-phycoerythrin. J. Phys. Chem. A 115, 2471–2482. doi: 10.1021/jp111720a
Woods, M., Cramer, M., and Plenio, M. (2015). Simulating bosonic baths with error bars. Phys. Rev. Lett. 115:130401. doi: 10.1103/PhysRevLett.115.130401
Xie, X., Liu, Y., Yao, Y., Schollwock, U., Liu, C., and Ma, H. (2019). Time-dependent density matrix renormalization group quantum dynamics for realistic chemical systems. J. Chem. Phys. 151:224101. doi: 10.1063/1.5125945
Zuehlsdorff, T. J., Montoya-Castillo, A., Napoli, J. A., Markland, T. E., and Isborn, C. M. (2019). Optical spectra in the condensed phase: capturing anharmonic and vibronic features using dynamic and static approaches. J. Chem. Phys. 151:074111. doi: 10.1063/1.5114818
Appendix
The chain mapping used in section 2 is based on the theory of orthogonal polynomials. A polynomial of degree n is defined by
The space of polynomials of degree n is denoted ℙn and is a subset of the space of all polynomials ℙn ⊂ ℙ. Given a measure dμ(x) which has finite moments of all orders on some interval [a, b], we may define the inner product of two polynomials
This inner product gives rise to a unique set of orthonormal polynomials which all satisfy
This set forms a complete basis for ℙ, and more specifically the set is a complete basis for .
It is often useful to express the orthonormal polynomials in terms of the orthogonal monic polynomials πn(x) which are the unnormalized scalar multiples of whose leading coefficient is 1 (an = 1)
The key property of orthogonal polynomials for the construction of the chain mapping is that they satisfy a three term recurrence relation
where it can be easily shown that
Now that we have defined the orthogonal polynomials we may use them to construct the unitary transformation that will convert the star Hamiltonian of Equation (9) with
into the chain Hamiltonian of Equation (12). The transformation is given by
where
and the polynomials are orthonormal with respect to the measure dωJβ(ω). The unitarity of Un(ω) follows immediately from the orthonormality of the polynomials.
Applying the above transformation to the interaction Hamiltonian we have
For the zeroth order monic polynomial we have π0 = 1 and so we may insert this into the above expression
Recognizing the inner product in the above expression and making use of the orthogonality of the polynomials we have
and thus, in the new basis, only one mode now couples to the system.
Now for the environment part of the Hamiltonian we have
Substituting for ωπn(ω) from the three term recurrence relation of Equation (A5) yields
Again, evaluating the inner products we have
where in the second line we have used the fact that
We thus arrive at the nearest-neighbor coupling Hamiltonian of Equation (12) and are able to identify the chain coefficients as
Note that in Equation (12) the chain sites are labeled starting from n = 1 and not n = 0 as in Equation (A15). All that remains now to calculate the chain coefficients for a particular spectral density Jβ(ω) is to compute the recurrence coefficients, αn and βn, and this may done iteratively using Equations (A5) and (A6) and numerically evaluating the inner product integrals using a quadrature rule.
Keywords: open quantum systems, tunneling, thermal relaxation, decoherence and noise, vibronic, matrix product state (MPS)
Citation: Dunnett AJ and Chin AW (2021) Simulating Quantum Vibronic Dynamics at Finite Temperatures With Many Body Wave Functions at 0 K. Front. Chem. 8:600731. doi: 10.3389/fchem.2020.600731
Received: 31 August 2020; Accepted: 24 November 2020;
Published: 07 January 2021.
Edited by:
Jacob Dean, Southern Utah University, United StatesReviewed by:
Alejandro Gil-Villegas, University of Guanajuato, MexicoTomas Mancal, Charles University, Czechia
Akihito Ishizaki, Institute for Molecular Science (NINS), Japan
Copyright © 2021 Dunnett and Chin. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Angus J. Dunnett, YW5ndXMuZHVubmV0dCYjeDAwMDQwO2luc3AudXBtYy5mcg==