The quantum-classical Liouville equation provides a description of the dynamics of a quantum subsystem coupled to a classical environment. Representing this equation in the mapping basis leads to a continuous description of discrete quantum states of the subsystem and may provide an alternate route to the construction of simulation schemes. In the mapping basis the quantum-classical Liouville equation consists of a Poisson bracket contribution and a more complex term. By transforming the evolution equation, term-by-term, back to the subsystem basis, the complex term (excess coupling term) is identified as being due to a fraction of the back reaction of the quantum subsystem on its environment. A simple approximation to quantum-classical Liouville dynamics in the mapping basis is obtained by retaining only the Poisson bracket contribution. This approximate mapping form of the quantum-classical Liouville equation can be simulated easily by Newtonian trajectories. We provide an analysis of the effects of neglecting the presence of the excess coupling term on the expectation values of various types of observables. Calculations are carried out on nonadiabatic population and quantum coherence dynamics for curve crossing models. For these observables, the effects of the excess coupling term enter indirectly in the computation and good estimates are obtained with the simplified propagation.
The quantum-classical Liouville equation provides a description of the dynamics of a quantum subsystem coupled to a classical environment. Representing this equation in the mapping basis leads to a continuous description of discrete quantum states of the subsystem and may provide an alternate route to the construction of simulation schemes. In the mapping basis the quantum-classical Liouville equation consists of a Poisson bracket contribution and a more complex term. By transforming the evolution equation, term-by-term, back to the subsystem basis, the complex term (excess coupling term) is identified as being due to a fraction of the back reaction of the quantum subsystem on its environment. A simple approximation to quantum-classical Liouville dynamics in the mapping basis is obtained by retaining only the Poisson bracket contribution. This approximate mapping form of the quantum-classical Liouville equation can be simulated easily by Newtonian trajectories. We provide an analysis of the effects of neglecting the presence of the excess coupling term on the expectation values of various types of observables. Calculations are carried out on nonadiabatic population and quantum coherence dynamics for curve crossing models. For these observables, the effects of the excess coupling term enter indirectly in the computation and good estimates are obtained with the simplified propagation.
The quantum-classical Liouville equation describes the dynamics of a quantum subsystem coupled to a classical environment. It has been simulated using various methods, notably, surface-hopping schemes. A representation of this equation in the mapping Hamiltonian basis for the quantum subsystem is derived. The resulting equation of motion, in conjunction with expressions for quantum expectation values in the mapping basis, provides another route to the computation of the nonadiabatic dynamics of observables that does not involve surface-hopping dynamics. The quantum-classical Liouville equation is exact for the spin-boson system. This well-known model is simulated using an approximation to the evolution equation in the mapping basis, and close agreement with exact quantum results is found.
In the Meyer--Miller--Stock--Thoss mapping representation, the Liouville operator of the quantum--classical Liouville equation contains an excess coupling term in addition to the Poisson bracket. Neglecting this term yields the Poisson bracket mapping equation (PBME). We expand the mapping dependence of the density in Hermite functions about the Gaussian factor common to all physical mapping densities. In this basis, the excess coupling term acts purely as a raising operator and exactly cancels the raising contribution generated by the back--reaction force. Consequently, the exact dynamics does not generate higher Hermite orders and closes on a finite, sparse system of equations for the coefficient fields. Within the physical sector, these equations reduce to the subsystem quantum--classical Liouville equation. In contrast, the PBME retains the raising contribution of the force, modifying the back reaction within the physical sector while continuously generating higher Hermite orders. For Tully's dual avoided crossing model, direct propagation of the coefficient equations confirms this finite closure and agrees with independent solutions of the subsystem equation. Comparison with converged full quantum dynamics further shows that, across all regimes examined, the PBME is less accurate than the quantum--classical description for populations, coherences, and momentum distributions.
Solving quantum dynamics is an exponentially difficult problem. Thus, an exact numerical solution is inaccessible for any condensed matter system.\nA promising approach is to divide the system into a quantum subsystem containing degrees of freedom which are of greater interest or those which have more profound quantum character (e.g., have smaller mass) and a classical bath containing the rest of the system.\nImposing such a partition and treating the bath classically results in quantum-classical dynamics. The quantum-classical Liouville equation is a general equation in the Hilbert space of quantum degrees of freedom while it resides in the phase space of the classical degrees of freedom.\nAny numerical solution to this equation requires representation of the quantum subsystem in some basis. Solutions to this equation have been already proposed in the subsystem, adiabatic and force bases, each with its own cons and pros.\n\nIn this work, the quantum-classical equations of motion are cast in the subsystem basis and subsequently mapped to a number of fictitious harmonic oscillators.\nThe result is quantum-classical dynamics in the mapping basis which treats both quantum and classical degrees of freedom on the same footing, i.e., in phase space. Neglecting a portion of the back reaction of the quantum-subsystem to classical bath results in an expression for the time evolution of an operator (density matrix) equal to its Poisson bracket with the Hamiltonian.\nThis equation can be solved in terms of characteristics to provide a computationally tractable method for calculating quantum-classical dynamical properties. The expressions for expectation values and correlation functions in this formalism are derived.\nCalculations on spin-boson system, barrier crossing models---the so called Tully models---and the Fenna-Mathews-Olson pigments show very good agreement between the results of this method and numerical solutions to the Schrödinger equation.
The evolution of a mixed quantum-classical system is expressed in the mapping formalism where discrete quantum states are mapped onto oscillator states, resulting in a phase space description of the quantum degrees of freedom. By defining projection operators onto the mapping states corresponding to the physical quantum states, it is shown that the mapping quantum-classical Liouville operator commutes with the projection operator so that the dynamics is confined to the physical space. It is also shown that a trajectory-based solution of this equation can be constructed that requires the simulation of an ensemble of entangled trajectories. An approximation to this evolution equation which retains only the Poisson bracket contribution to the evolution operator does admit a solution in an ensemble of independent trajectories but it is shown that this operator does not commute with the projection operators and the dynamics may take the system outside the physical space. The dynamical instabilities, utility, and domain of validity of this approximate dynamics are discussed. The effects are illustrated by simulations on several quantum systems.
Simulation of quantum dynamics for many-body systems is an open area of research. For interacting many-body quantum systems, the computer memory necessary to perform calculations has an astronomical value, so that approximated models are needed to reduce the required computational resources. A useful approximation that can often be made is that of quantum-classical dynamics, where the majority of the degrees are treated classically, while a few of them must be treated quantum mechanically. When energy is exchanged very quickly between the quantum subsystem and classical environment, the dynamics is nonadiabatic. Most theories for nonadiabatic dynamics are unsatisfactory, as they fail to properly describe the quantum backreaction of the subsystem on the environment. However, an approach based on the quantum-classical Liouville equation solves this problem. Even so, nonadiabatic dynamics is difficult to implement on a computer, and longer simulation times are often inaccessible due to statistical error. There is thus a need for improved algorithms for nonadiabatic dynamics. In this thesis, two algorithms that utilise the quantum-classical Liouville equation will be qualitatively and quantitatively compared. In addition, stochastic sampling schemes for nonadiabatic transitions will be studied, and a new sampling scheme is introduced [D. A. Uken et al., Phys. Rev. E. 88, 033301 (2013)] which proves to have a dramatic advantage over existing techniques, allowing far longer simulation times to be calculated reliably.
In this thesis quantum-classical dynamics is applied to the study of quantum condensed phase processes. This approach is based on the quantum-classical Liouville equation where the dynamics of a small subset of the degrees of freedom are treated quantum mechanically while the remaining degrees of freedom are treated by classical mechanics to a good approximation. We use this approach as it is computationally tractable, and the resulting equation of motion accurately accounts for the quantum and classical dynamics, as well as the coupling between these two components of the system. \n\nBy recasting the quantum-classical Liouville equation into the form of a generalized master equation we investigate connections to surface-hopping. The link between these approaches is decoherence arising from interaction of the subsystem with the environment. We derive an evolution equation for the subsystem which contains terms accounting for the effects of the environment. One of these terms involves a memory kernel that accounts for the coherent dynamics. If this term decays rapidly, a Markovian approximation can be made. By lifting the resulting subsystem master equation into the full phase space, we obtain a Markovian master equation that prescribes surface-hopping-like dynamics. Our analysis outlines the conditions under which such a description is valid.\n\nNext, we consider the calculation of the rate constant for a quantum mechanical barrier crossing process. Starting from the reactive-flux autocorrelation function, we derive a quantum-classical expression for the rate kernel. This expression involves quantum-classical evolution of a species operator averaged over the initial quantum equilibrium structure of the system making it possible to compute the rate constant via computer simulation. Using a simple model for a proton transfer reaction we compare the results of the rate calculation obtained by quantum-classical Liouville dynamics with that of master equation dynamics. The master equation provides a good approximation to the full quantum-classical Liouville calculation for our model and a more stable algorithm results due to the elimination of oscillating phase factors in the simulation. \n\nFinally, we make use of the theoretical framework established in this thesis to analyze some aspects of decoherence used in popular surface-hopping techniques.