32
1 Burkhard Schmidt Biocomputing Group Free University Berlin Quasi Quasi - - classical Liouville dynamics classical Liouville dynamics Burkhard Schmidt with I. Horenko, Ch. Salzmann, Ch. Schütte Cooperation with M. Weiser/P. Deuflhard @ ZIB Biocomputing group Institute for Mathematics II Free University Berlin www.math.fu-berlin.de/~biocomp

Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

1Burkhard SchmidtBiocomputing GroupFree University Berlin

QuasiQuasi--classical Liouville dynamicsclassical Liouville dynamicsBurkhard Schmidt

with I. Horenko, Ch. Salzmann, Ch. SchütteCooperation with M. Weiser/P. Deuflhard @ ZIB

Biocomputing groupInstitute for Mathematics II

Free University Berlin

www.math.fu-berlin.de/~biocomp

Page 2: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

2Burkhard SchmidtBiocomputing GroupFree University Berlin

Contents

• Introduction / Motivation

• Fully classical Liouville Dynamics– Classical limit of quantum Liouville dynamics

– Basis of Gaussian phase-space packets (GPPs)

– Adaptive integration of GPP equations of motion

• Quasi-classical Liouville Dynamics– Quantum nature of initial state

– Basis of Gaussian wave packets (GWPs)

– Classical Liouville dynamics with quantum initial conditions

• Conclusions / Outlook

Page 3: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

3Burkhard SchmidtBiocomputing GroupFree University Berlin

Introduction

Molecular dynamics betweenquantum and classical mechanics

Page 4: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

4Burkhard SchmidtBiocomputing GroupFree University Berlin

The goal

• Progress in molecular dynamics– Experiment: Ultrashort light pulses (ps → fs → as)

– Simulations: Increasing computer power

– Mathematics: Novel algorithms

• Exploring the limit of large molecular systems– Challenges in physical chemistry / chemical physics:

Large molecules, clusters, liquids and solids/matrices

– Challenges in biophysical chemistry:Photosynthesis, peptides→proteins, conformations, ...

Page 5: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

5Burkhard SchmidtBiocomputing GroupFree University Berlin

State of the art: quantum dynamics

• Small systems (2...4 atoms)– Exact quantum dynamics

– Grid representations of wavefunctions, e. g., Fourier / DVR

• Medium systems (10...100 atoms)– Approximate quantum dynamics

– Separable and nonseparable approaches, e. g., MCTDH

• Large systems (103...106 atoms)– Classical trajectory dynamics

– Newton‘s / Hamiltonian‘s equations, e. g., leap frog

Page 6: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

6Burkhard SchmidtBiocomputing GroupFree University Berlin

Classical Liouville dynamics

Classical limit of quantum dynamics

Page 7: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

7Burkhard SchmidtBiocomputing GroupFree University Berlin

Quantum mechanics in phase space

• Concept of Wigner transform– E. P. Wigner (Szillard)

Phys. Rev. 40, 749-759 (1932)

– W. HeisenbergPhysik. Zeitschr. 32, 737-740 (1931)

– P. A. M. Dirac

Proc. Camb. Phil. Soc. 26, 376-385 (1930)

• Alternative approaches– K. Husimi

Proc. Phys. Math. Soc. Jap. 22, 264 (1940)

Page 8: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

8Burkhard SchmidtBiocomputing GroupFree University Berlin

Wigner transform

• Quantum-mechanical operator→phase space function

2)exp(),( SRASRSPidSPRAW −+⋅−= ∫ h

• Calculate quantum-mechanical expectation values

),(),(ˆ PRPRAdPdRA WW ρ∫ ∫=

• Wigner distribution function ρW(R,P)– Defined as Wigner transform of density operator

Page 9: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

9Burkhard SchmidtBiocomputing GroupFree University Berlin

Wigner distribution function

Momentum distribution0),()( ≥= ∫ PRdRP Wρρ

Position distribution

∫ ≥= 0),()( PRdPR Wρρ

Phase space distribution

hπρ 1),( ≤PRW

⇒ „Quasi-distribution“

Page 10: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

10Burkhard SchmidtBiocomputing GroupFree University Berlin

Dynamics of Wigner distribution

• Quantum Liouville-von Neumann equation (QLE)

)](ˆ,ˆ[)(ˆ tHitt ρρh

−=∂

• Wigner transform of QLE

{ } { } )()(,)(,2

sin2)( 2hh

hOtHtHt WWWWt +−=

⋅⋅−=∂ ρρρ

• Problems- Doubled dimensionality of Schrödinger equation- High powers of Poisson bracket operator {·,·}- Convergence of Taylor series problematic

Page 11: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

11Burkhard SchmidtBiocomputing GroupFree University Berlin

Classical limit

• Second order approximation (in Planck‘s constant)

– Special case: exact for harmonic oscillator

• Classical Liouville equation- Symplectic flow conserves phase space volume

(continuity equation)

- Motion according to Hamilton‘s class. equations of motion

- „Classical and quantum dynamics coincide for harmonic oscillator“

{ }),,(),,(),,( tPRPRHtPR WWWt ρρ −=∂

Page 12: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

12Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Coherent (Glauber) state

• Initial state: – Displaced Gaussian phase-space packet– Width of quant.-mech. ground state

• Time evolution– Center moves along classical trajectory– Constant width

Page 13: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

13Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: „Squeezed“ state

• Initial state– Displaced Gaussian phase-space packet – Arbitrary width

• Time evolution– Center moves along classical trajectory– Widths oscillate periodically

Page 14: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

14Burkhard SchmidtBiocomputing GroupFree University Berlin

Guidelines for numerical work

• Representation of distribution functions– Particle methods (travelling basis set)

– Finite width Gaussians instead of „delta“ trajectories

– Easy to implement in existing MD codes

• Adaptivity and control– Specified precision of representation

– Adaptive control of basis size and time step

• Monte Carlo based approaches– Weak dependance of numerical effort on dimensionality

– Applicability to multidimensional systems

Page 15: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

15Burkhard SchmidtBiocomputing GroupFree University Berlin

Gaussian phasespace packets (GPPs)

• Optimal decomposition of dynamical Wigner function

−−

−−

−=)()(

)()()(

exp)(),,(tPPtRR

ttPPtRR

tBtPRn

nn

T

n

nnn Gρ

where Gn are positively definite matrices determining GPP shape

• Minimize global error functional for given global error

∫ ∑∫=

−=2

1),(),();(

N

nnWn PRPRdPdRN ρρρξ

• Monte-Carlo based algorithm optimizes GPP parameters

Page 16: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

16Burkhard SchmidtBiocomputing GroupFree University Berlin

Optimization strategy

Monte Carlo based algorithm1. Randomly choose set of coord.‘s where |ρW(R,P)|>>0

2. N=1: Pick initial phase space point (R1, P1) from this set

3. Minimization of error ξ: optimize Ri,Pi,Bi,Gi, i=1,...,N

– Solve sparse set of linear equations to optimize Bi

– Solve set of nonlinear equations to optimize Gi

4. If ξ (N)>ε then N = N+1. Pick (RN+1 ,PN+1) from set.

5. Redo minimization (steps 3-4) until ξ(N)<ε

Law of large numbers: dN ∝

Page 17: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

17Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Morse oscillator (v=4)

• 1000 GPP‘s for given global error: ξ<ε=0.001

Wigner function Local error

Page 18: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

18Burkhard SchmidtBiocomputing GroupFree University Berlin

Classical GPP dynamics

• Basic assumptions1. Locally harmonic approximation of potential (LHA)2. Independent particle approximation (IPA)

• GPP centers follow class. trajectories in phase-space

• GPP shape depends on Hessian of potential

see IH+BS+CS, JCP 117 (10), 4643-4650 (2002)

)1(1 and VPPMR ntnnt −=∂=∂ −

=+=∂− 0

0with 1

)2(

MVT

nnt CGCCGG

Page 19: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

19Burkhard SchmidtBiocomputing GroupFree University Berlin

Explicit numerical integrator

• Strang splitting for Lie generators L = L1 + L2

• Modified Leap frog

• Quasi-conservation of energy and norm of GPP

( ) ( ) ( ) ( ) )(2/expexp2/expexp 3121 τττττ OiLiLiLiL +=

( ) ( )

11

2/11

2/102/11

2/1)1(

01

01

02/1

2

)(exp)(exp

)(

2

PMRR

RR

RVPP

PMRR

T

+=

=

−=

+=

τ

ττ

τ

τ

CGCG

Page 20: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

20Burkhard SchmidtBiocomputing GroupFree University Berlin

Implicit numerical integrator

• Trapezoidal rule

• Error estimator (to be minimized)

⇒ Least squares for GPP amplitudes

)(2

)(~2

tLItLI WW ρττρτ

+=+

Unknown:GPP representation

Known:Distribution function

||)()(~|| τρτρετ +−+= tt WW

Page 21: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

21Burkhard SchmidtBiocomputing GroupFree University Berlin

Adaptivity

• Adaptivity in phase-space

Dynamic creation / annihilation of GPPs according to local error

• Adaptivity of time step

see IH+MW, ZIB reprint 29 (2002)

ΓΓ ≤

+−+

−= Tol)(

2)(~

2tLItLI WW ρττρτε

τ

τ

ετ Tolopt ∝

Page 22: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

22Burkhard SchmidtBiocomputing GroupFree University Berlin

Quasi-classical Liouville dynamics

Classical Liouville dynamicswith

Quantum initial conditions

Page 23: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

23Burkhard SchmidtBiocomputing GroupFree University Berlin

The problem

• Quantum initial conditions– Delocalized ground state (weak forces) or– Excited initial state (nodal structure)

• Wigner transform of initial wavefunction– Few analytically known cases (harmonic, Morse oscillator)– Grid methods limited to very low dimensionality

• Open questions ...– Numerical Wigner transform in high dimensionality– Choice of appropriate basis set ?!?

Page 24: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

24Burkhard SchmidtBiocomputing GroupFree University Berlin

Gaussian wavepackets (GWPs)• Optimal decomposition of initial wavefunction

• Minimize error functional for given global errorusing minimal number of GWP basis functions

• Monte Carlo based algorithm optimizes GWP parameters

−+−−−= )()()(exp)( j

Tjjj

Tjjj RRPiRRaRRAR

∫ ∑=

−=2

1)()();(

N

jjj RRdRN ψψψΘ

Page 25: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

25Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Morse oscillator (H2 vib)

• For given global error: Θ<ε=0.001

Number of GWPs Example: v=4

Page 26: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

26Burkhard SchmidtBiocomputing GroupFree University Berlin

Wigner transform of superposition

• Analytical result for superpositions of GWPs

∑ ∑<

++=j kj

jkjW OPRWPRWPR )(),(),(),( ερ

W1: cat is aliveW2: cat is dead

W12: interference state

Page 27: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

27Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Morse oscillator: v=4

• 5 Gaussian packets ⇒ 15 terms in double sum

Local errorWigner function

Page 28: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

28Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Photodissociation

• Ground state (initial)– Shallow potential and/or– Vibrational pre-excitation

• Excited state dynamics– Instantaneous excitation– Direct fragment separation

• Reflection principle– Kinetic energy of fragments reflects initial density

• Classical Liouville dynamics with quantum initial conditions

Page 29: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

29Burkhard SchmidtBiocomputing GroupFree University Berlin

Example: Photodissociation

Kinetic energy distribution after dissociation

– Deficiency of classical trajectories (bars)– Improvement by Gaussian phase-space packets (circles)

⇒ Importance of dense sampling of phase space

Page 30: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

30Burkhard SchmidtBiocomputing GroupFree University Berlin

Summary• Representation of Wigner distribution function

– Basis of Gaussian phase-space packets (GPPs)– Monte-Carlo algorithm: Optimal GPP representation

• Classical Liouville dynamics– Explicit Leap-Frog algorithm for GPP dynamics– Implicit trapezoidal rule: Time and space adaptivity

• Quantum initial condition– Use of Gaussian wave packets (GWPs)– Monte-Carlo algorithm: Optimal GWP representation

• Classical dynamics with quantum initial conditions

Page 31: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

31Burkhard SchmidtBiocomputing GroupFree University Berlin

Outlook

• Quantum-classical Liouville dynamics JCP 117 11075 (2002)

– Nonadiabatic transitions in multistate Liouville dynamics

– Surface-hopping Gaussian phase-space packets

• Photoinduced dynamics JCP 115, 5733 (2001)

– Intense, short pulses: beyond perturbation theory

– Nonadiabatic transitions between „dressed states“ (Floquet)

• Control of molecular dynamics ?!?– Error control through adaptive algorithms

– Forward-backward propagation in optimal control theory

Page 32: Quasi-classical Liouville dynamics - Freie Universitätusers.physik.fu-berlin.de/~abt/sfb450/vortrag-schmidt.pdf · 2003. 2. 19. · 2 Burkhard Schmidt Biocomputing Group Free University

32Burkhard SchmidtBiocomputing GroupFree University Berlin

Further reading• M. Hillery, R. F. O'Connell, M. O. Scully, and E. P. Wigner:

Distribution functions in physics: FundamentalsPhys. Rep. 106(3), 121-167 (1984)

• W. Schleich: Quantum optics in phase spaceWiley-VCH, Berlin (2001)

• J. Ma, D. Hsu, and J. E. Straub: Approximate solution of the classical Liouville equation using Gaussian phase packetsJ. Chem. Phys. 99(5), 4024{4035 (1993)

• I. Horenko, B. Schmidt, Ch. Schütte: Multidimensional classical Liouville dynamics with quantum initial conditionsJ. Chem. Phys., 117 (10), 4643-4650 (2002)

• I. Horenko and M. Weiser : Adaptive integration of multidimesional molecular dynamicsZIB preprint 02-29 (2002)